Filter by
A Framework for Priority Arguments
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…
- Edition
- -
- ISBN/ISSN
- 9780511750779
- Collation
- -
- Series Title
- Lecture Notes in Logic
- Call Number
- -
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
- -
Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, …
Normal 0 false false false EN-US X-NONE X-NONE This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Trusted Systems, INTRUST 2014, held in Beijing, China, in December 2014. The conference brings together academic and industrial researchers, designers, and implementers with end-users of trusted systems, in order to foster the exchan…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27998-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Information Technologies and Mathematical Modelling - Queueing Theory and App…
This book constitutes the refereed proceedings fo the 14th International Scientific Conference on Information Technologies and Mathematical Modeling, named after A. F. Terpugov, ITMM 2015, held in Anzhero-Sudzhensk, Russia, in November 2015. The 35 full papers included in this volume were carefully reviewed and selected from 89 submissions. They are devoted to new results in the queueing the…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25860-7
- Collation
- IX, 433
- Series Title
- -
- Call Number
- -
A First Course in Random Matrix Theory for Physicists, Engineers and Data Sc…
The real world is perceived and broken down as data, models and algorithms in the eyes of physicists and engineers. Data is noisy by nature and classical statistical tools have so far been successful in dealing with relatively smaller levels of randomness. The recent emergence of Big Data and the required computing power to analyse them have rendered classical tools outdated and insufficient. T…
- Edition
- -
- ISBN/ISSN
- 9781108768900
- Collation
- -
- Series Title
- -
- Call Number
- -
A First Course in Combinatorial Optimization
A First Course in Combinatorial Optimization is a text for a one-semester introductory graduate-level course for students of operations research, mathematics, and computer science. It is a self-contained treatment of the subject, requiring only some mathematical maturity. Topics include: linear and integer programming, polytopes, matroids and matroid optimization, shortest paths, and network fl…
- Edition
- -
- ISBN/ISSN
- 9780511616655
- Collation
- -
- Series Title
- Cambridge Texts in Applied Mathematics (36)
- Call Number
- -
The Definitive Guide to MongoDB
The Definitive Guide to MongoDB, Third Edition, is updated for MongoDB 3 and includes all of the latest MongoDB features, including the aggregation framework introduced in version 2.2 and hashed indexes in version 2.4. The Third Edition also now includes Python. MongoDB is the most popular of the "Big Data" NoSQL database technologies, and it's still growing. David Hows from 10gen, along wit…
- Edition
- 1
- ISBN/ISSN
- 978-1-4842-1182-3
- Collation
- XXVII, 343, 96 b/w illustrations
- Series Title
- -
- Call Number
- -
Cross-Cultural Design
The two LNCS volume set 9180-9181 constitutes the refereed proceedings of the 7th International Conference on Cross-Cultural Design, CCD 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters presented at the HCII 201…
- Edition
- -
- ISBN/ISSN
- 9783319209340
- Collation
- XX, 419 p. 136 illus.
- Series Title
- -
- Call Number
- 004
A Distributed Pi-Calculus
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and…
- Edition
- -
- ISBN/ISSN
- 9780511611063
- Collation
- -
- Series Title
- -
- Call Number
- -
Energy Efficient Servers Blueprints for Data Center Optimization
Computer science
- Edition
- -
- ISBN/ISSN
- 9781430266389
- 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