Filter by
Turing Machine Universality of the Game of Life
This book presents a proof of universal computation in the Game of Life cellular automaton by using a Turing machine construction. It provides an introduction including background information and an extended review of the literature for Turing Machines, Counter Machines and the relevant patterns in Conway's Game of Life so that the subject matter is accessibly to non specialists. The book co…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19842-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Cooperative design, visualization, and engineering
This book constitutes the refereed proceedings of the 12th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2015, held in Mallorca, Spain, in September 2015. The 30 full papers presented together with 4 short papers were carefully reviewed and selected from numerous submissions. There is a group of papers dressing the big data related to the cooperative work.…
- Edition
- -
- ISBN/ISSN
- 9783319241326
- Collation
- xii, 273 pages
- Series Title
- -
- Call Number
- 004.8
Cooperative Robots and Sensor Networks 2015
This book compiles some of the latest research in cooperation between robots and sensor networks. Structured in twelve chapters, this book addresses fundamental, theoretical, implementation and experimentation issues. The chapters are organized into four parts namely multi-robots systems, data fusion and localization, security and dependability, and mobility
- Edition
- -
- ISBN/ISSN
- 9783319182995
- Collation
- vii, 278 pages
- Series Title
- -
- Call Number
- 004.8
Coordination, organizations, institutions, and norms in agent systems X
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2014. The workshops were co-located with AAMAS 2014, held in Paris, France, in May 2014, and with PRICAI 2014, held in Gold Coast, QLD, Australia, in December 2014. The 16 full papers were carefully reviewed a…
- Edition
- -
- ISBN/ISSN
- 9783319254203
- Collation
- x, 269 pages
- Series Title
- -
- Call Number
- 004.8
A Formal Theory of Commonsense Psychology
Commonsense psychology refers to the implicit theories that we all use to make sense of people's behavior in terms of their beliefs, goals, plans, and emotions. These are also the theories we employ when we anthropomorphize complex machines and computers as if they had humanlike mental lives. In order to successfully cooperate and communicate with people, these theories will need to be represen…
- Edition
- -
- ISBN/ISSN
- 9781316584705
- Collation
- -
- Series Title
- -
- Call Number
- -
Queer Reflections on AI Uncertain Intelligences
This volume offers a socio-technical exploration of Artificial Intelligence (AI) and the way it reflects and reproduces certain normative representations of gender and sexuality, to ultimately guide more diverse and radical discussions of life with digital technologies. Moving beyond the examination of empirical examples and technical solutions, the book approaches the relationship between quee…
- Edition
- -
- ISBN/ISSN
- 9781000923575
- Collation
- -
- Series Title
- -
- Call Number
- -
Environmental Software Systems. Infrastructures, Services and Applications 1…
This book constitutes the refereed proceedings of the 11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2015, held in Melbourne, Australia, in March 2015. The 62 revised full papers presented were carefully reviewed and selected from 104 submissions. The papers are organized in the following topical sections: information systems, information modeling and semanti…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15994-2
- Collation
- 206 illustrations in colour
- Series Title
- Springer Texts in Business and Economics
- Call Number
- -
Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS C…
PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems. PAAMS is an international yearly tribune to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a uniq…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40159-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainab…
This volume presents the papers that have been accepted for the 2015 special sessions of the 13th International Conference on Practical Applications of Agents and Multi-Agent Systems, held at University of Salamanca, Spain, at 3rd-5th June, 2015: Agents Behaviours and Artificial Markets (ABAM); Agents and Mobile Devices (AM); Multi-Agent Systems and Ambient Intelligence (MASMAI); Web Mining and…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19629-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Trends in Functional Programming 15th International Symposium, TFP 2014, Soe…
This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional prog…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14675-1
- 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