Filter by
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
- -
Cellular Automata and Discrete Complex Systems
This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014. The 10 regular papers included in this volume were carefully reviewed and selected from a total of 25 submissions. It also contains one invited talk in full paper length.
- Edition
- -
- ISBN/ISSN
- 978-3-319-18812-6
- Collation
- -
- Series Title
- -
- Call Number
- 004
Dag Prawitz on Proofs and Meaning
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main…
- Edition
- -
- ISBN/ISSN
- 9783319110417
- Collation
- -
- Series Title
- -
- Call Number
- 005.1
Implementing IT Processes: The Main 17 IT Processes and Directions for a Succ…
Information Technology plays a major role in our society. Due to system integration and process automation, a company has to rely on performant information systems. To achieve this objective, it is important to have relevant IT processes in place on the one hand to ensure current operation and on the other hand to enable the successful introduction of new technologies. Once IT processes are def…
- Edition
- -
- ISBN/ISSN
- 978-3-658-04772-6
- Collation
- XIV, 239
- Series Title
- -
- Call Number
- 004 IMP
Foundations of Augmented Cognition
This book constitutes the proceedings of the 9th International Conference on the Foundations of Augmented Cognition, AC 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, which took place in Los Angeles, CA, USA, in August 2015. HCII 2015 received a total of 4843 submissions, of which 1462 papers and 246 posters were accepted for publication after …
- Edition
- -
- ISBN/ISSN
- 978-3-319-20816-9
- Collation
- XX, 837 pages
- Series Title
- Lecture Notes in Computer Science
- 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
- -
Topics in Cryptology –- CT-RSA 2015 The Cryptographer's Track at the RSA C…
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2015, CT-RSA 2015, held in San Francisco, CA, USA, in April 2015. The 26 papers presented in this volume were carefully reviewed and selected from 111 submissions. The focus of the track is on following subjects: timing attacks, design and analysis of block ciphers, attribute and identity based enc…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16715-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools of Transport Telematics 15th International Conference on Transport Sys…
This book constitutes the proceedings of the 15th International Conference on Transport Systems Telematics, TST 2015, held in Wrocław, Poland, in April 2015. The 35 revised full papers and two short papers included in this volume were carefully reviewed and selected from 115 submissions. The papers provide an overview of solutions being developed in the fields of transport telematics and inte…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24577-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools for High Performance Computing 2014 Proceedings of the 8th Internation…
Numerical simulation and modelling using High Performance Computing has evolved into an established technique in academic and industrial research. At the same time, the High Performance Computing infrastructure is becoming ever more complex. For instance, most of the current top systems around the world use thousands of nodes in which classical CPUs are combined with accelerator cards in order …
- Edition
- -
- ISBN/ISSN
- 978-3-319-16012-2
- 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