Filter by
Cyber physical systems : design, modeling, and evaluation
This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015. The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, sim…
- Edition
- -
- ISBN/ISSN
- 9783319251417
- Collation
- -
- Series Title
- -
- Call Number
- 006.3
Cyber-Humans Our Future with Machines
It is predicted that robots will surpass human intelligence within the next fifty years. The ever increasing speed of advances in technology and neuroscience, coupled with the creation of super computers and enhanced body parts and artificial limbs, is paving the way for a merger of both human and machine. Devices which were once worn on the body are now being implanted into the body, and as a …
- Edition
- -
- ISBN/ISSN
- 9783319250502
- Collation
- xx, 291 pages
- Series Title
- -
- Call Number
- 006.3
Cybercrime, digital forensics and jurisdiction
The purpose of law is to prevent the society from harm by declaring what conduct is criminal, and prescribing the punishment to be imposed for such conduct. The pervasiveness of the internet and its anonymous nature make cyberspace a lawless frontier where anarchy prevails. Historically, economic value has been assigned to visible and tangible assets. With the increasing appreciation that intan…
- Edition
- -
- ISBN/ISSN
- 9783319151502
- Collation
- xviii, 145 pages
- Series Title
- -
- Call Number
- 006.3
Towards Paraconsistent Engineering
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40418-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards Autonomous Robotic Systems 16th Annual Conference, TAROS 2015, Liver…
This book constitutes the refereed proceedings of the 16th Annual Conference on Towards Autonomous Robotics, TAROS 2015, held in Liverpool UK, in September 2015. The 16 revised full papers presented together with 18 short papers were carefully reviewed and selected from 59 submissions. The overall program covers various aspects of robotics, including navigation, planning, sensing and perceptio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22416-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Toward Robotic Socially Believable Behaving Systems - Volume II Modeling Soc…
This volume presents a collection of research studies on sophisticated and functional computational instruments able to recognize, process, and store relevant situated interactional signals, as well as, interact with people, displaying reactions (under conditions of limited time) that show abilities of appropriately sensing and understanding environmental changes, producing suitable, autonomous…
- Edition
- -
- ISBN/ISSN
- 978-3-319-31053-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Toward Robotic Socially Believable Behaving Systems - Volume I Modeling Emot…
This volume is a collection of research studies on the modeling of emotions in complex autonomous systems. Several experts in the field are reporting their efforts and reviewing the literature in order to shed lights on how the processes of coding and decoding emotional states took place in humans, which are the physiological, physical, and psychological variables involved, invent new mathemati…
- Edition
- -
- ISBN/ISSN
- 978-3-319-31056-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Cartography - Maps Connecting the World
This book is an important volume in the series on the state-of-art research in Cartography and GI Science. It is a collection of selected peer-reviewed papers organized into contemporary topics of research, presented at the 27th International Cartographic Conference (ICC) in Rio de Janeiro. This is the 3rd edition of selected ICA conference papers published by Springer Lectures in Geoinformatio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17738-0
- Collation
- -
- Series Title
- -
- Call Number
- 550
Tourism Informatics Towards Novel Knowledge Based Approaches
This book introduces new trends of theory and practice of information technologies in tourism. The book does not handle only the fundamental contribution, but also discusses innovative and emerging technologies to promote and develop new generation tourism informatics theory and their applications. Some chapters are concerned with data analysis, web technologies, social media and their case stu…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47227-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Topics in Numerical Partial Differential Equations and Scientific Computing
Numerical partial differential equations (PDEs) are an important part of numerical simulation, the third component of the modern methodology for science and engineering, besides the traditional theory and experiment. This volume contains papers that originated with the collaborative research of the teams that participated in the IMA Workshop for Women in Applied Mathematics: Numerical Partial …
- Edition
- -
- ISBN/ISSN
- 978-1-4939-6399-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography