Filter by
The Physical Basis of Bacterial Quorum Communication
Quorum sensing (QS) describes a chemical communication behavior that is nearly universal among bacteria. Individual cells release a diffusible small molecule (an autoinducer) into their environment. A high concentration of this autoinducer serves as a signal of high population density, triggering new patterns of gene expression throughout the population. However QS is often much more complex th…
- Edition
- 1
- ISBN/ISSN
- 978-1-4939-1402-9
- Collation
- IX, 252, 28 b/w illustrations, 47 illustrations in colour
- Series Title
- Biological and Medical Physics, Biomedical Engineering
- Call Number
- -
Towards Mathematical Philosophy
area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering. The third concerns the logic of belief management,whichis likewise closely connected with recent work in computer science but also links directly with epistemology,…
- Edition
- -
- ISBN/ISSN
- 978-1-4020-9084-4
- Collation
- -
- Series Title
- XIV, 344
- Call Number
- -
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
- -
Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, …
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23707-7
- Collation
- X, 211
- Series Title
- -
- Call Number
- 510
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organize…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46678-0
- Collation
- XVI, 465 pages
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Global Perspectives on Educational Innovations for Emergency Situations
This open access book focuses on making the transition from in-person, classroom education to other feasible alternative modes and methodologies to deliver education at all levels. The book presents and analyzes research questions to explore in this arena, including pedagogical issues relating to technological and infrastructure challenges, teacher professional development, issues of disparity,…
- Edition
- -
- ISBN/ISSN
- 9783030996345
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST …
The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming and error-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstract…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14720-8
- Collation
- -
- Series Title
- -
- Call Number
- -
A Combinatorial Theory of Possibility
David Armstrong's book is a contribution to the philosophical discussion about possible worlds. Taking Wittgenstein's Tractatus as his point of departure, Professor Armstrong argues that nonactual possibilities and possible worlds are recombinations of actually existing elements, and as such are useful fictions. There is an extended criticism of the alternative-possible-worlds approach champion…
- Edition
- -
- ISBN/ISSN
- 9781139172226
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards an Arithmetical Logic The Arithmetical Foundations of Logic
This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kroneck…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22087-1
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography