Filter by
Theory and Applications of Satisfiability Testing -- SAT 2015 18th Internati…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24318-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Models of Computation 12th Annual Conference, TAM…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Formal Argumentation Third International Workshop…
This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28460-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical and Observational Consistency of Massive Gravity
This work is a detailed study of both the theoretical and phenomenological consequences of a massive graviton, within the ghost-free theory of massive gravity, the de Rham-Gabadadze-Tolley (dRGT) theory. Its aim is to test the physical viability of the theory. It begins by putting constraints on the parameters of the theory in the decoupling limit based on purely theoretical grounds, like class…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18935-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Developments and Applications of Non-Integer Order Systems 7th C…
This volume is devoted to presentation of new results of research on systems of non-integer order, called also fractional systems. Their analysis and practical implementation have been the object of spontaneous development for a few last decades. The fractional order models can depict a physical plant better than the classical integer order ones. This covers different research fields such as in…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23039-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Spatial-Temporal Modeling
This book provides a modern introductory tutorial on specialized theoretical aspects of spatial and temporal modeling. The areas covered involve a range of topics which reflect the diversity of this domain of research across a number of quantitative disciplines. For instance, the first chapter provides up-to-date coverage of particle association measures that underpin the theoretical properties…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55336-6
- Collation
- -
- Series Title
- -
- Call Number
- -
The Whole Truth About Whole Numbers An Elementary Introduction to Number Theory
The Whole Truth About Whole Numbers is an introduction to the field of Number Theory for students in non-math and non-science majors who have studied at least two years of high school algebra. Rather than giving brief introductions to a wide variety of topics, this book provides an in-depth introduction to the field of Number Theory. The topics covered are many of those included in an introduct…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11035-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Applications of Measure Theory to Statistics
This book aims to put strong reasonable mathematical senses in notions of objectivity and subjectivity for consistent estimations in a Polish group by using the concept of Haar null sets in the corresponding group. This new approach – naturally dividing the class of all consistent estimates of an unknown parameter in a Polish group into disjoint classes of subjective and objective estimates â…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-45578-5
- Collation
- XV, 134
- Series Title
- -
- Call Number
- 519.5 PAN a
Applications of Location Analysis
This book, companion to Foundations of Location Analysis (Springer, 2011), highlights some of the applications of location analysis within the spheres of businesses, those that deal with public services and applications that deal with law enforcement and first responders. While the Foundations book reviewed the theory and first contributions, this book describes how different location technique…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-20282-2
- Collation
- XIII, 437
- Series Title
- International Series in Operations Research & Management Science
- Call Number
- 003 APP a
The Visual Language of Technique Volume 1 - History and Epistemology
The book is inspired by the first seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Dealing with the Image Ivory Towers and Virtual Bridges" was the motto of this meeting, aiming to stimulate a discussion among engineers, designers and architects, all of whom are traditionally involved in the use of the Image as a specialized language suppo…
- Edition
- -
- ISBN/ISSN
- 978-3-319-05350-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