Logic category: 1296 books
VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things
25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers
Language: English
Release Date: May 16, 2019
This book contains extended and revised versions of the best papers presented at the 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, held in Abu Dhabi, United Arab Emirates, in August 2017.
The 11 papers included in this book were carefully...
Evolution and Constitution
The Evolutionary Selfconstruction of Law
Language: English
Release Date: June 29, 2013
This work for the first time brings together case law and law based on norms. It offers the reader a survey and a new explanation of evolutionary emergence of social contracts and constitutions in the European history, and should help to build a bridge between 'two cultures', science and humanities....
by Rohit Sharma, Tapas Chakravarty
Language: English
Release Date: February 17, 2012
Language: English
Release Date: February 17, 2012
Compact Models and Measurement Techniques for High-Speed Interconnects provides detailed analysis of issues related to high-speed interconnects from the perspective of modeling approaches and measurement techniques. Particular focus is laid on the unified approach (variational method combined with...
Introduction to Coalgebra
Towards Mathematics of States and Observation
Language: English
Release Date: October 27, 2016
The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of...
Why
A Guide to Finding and Using Causes
Language: English
Release Date: November 16, 2015
Can drinking coffee help people live longer? What makes a stock’s price go up? Why did you get the flu? Causal questions like these arise on a regular basis, but most people likely have not thought deeply about how to answer them.
This book helps you think about causality in a structured...
by Nick Gurski
Language: English
Release Date: March 21, 2013
Language: English
Release Date: March 21, 2013
Dimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence theorem, of which this book provides a definitive treatment, as well as covering related results. Along...
by L. Minkovskii, A. K. Kharcheva, V. M. Bradis
Language: English
Release Date: October 28, 2016
Language: English
Release Date: October 28, 2016
Designed as a method for teaching correct mathematical thinking to high school students, this book contains a brilliantly constructed series of what the authors call "lapses," erroneous statements that are part of a larger mathematical argument. These lapses lead to sophism or mathematical...
Principles and Practice of Constraint Programming
22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Language: English
Release Date: August 22, 2016
This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016.
The 63 revised regular papers presented together with 4 short papers and the abstracts of...
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Language: English
Release Date: August 8, 2016
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.
The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from...
Designing Sorting Networks
A New Paradigm
Language: English
Release Date: February 2, 2012
Designing Sorting Networks: A New Paradigm provides an in-depth guide to maximizing the efficiency of sorting networks, and uses 0/1 cases, partially ordered sets and Haase diagrams to closely analyze their behavior in an easy, intuitive manner.
This book also outlines new ideas and techniques...
Burn Math Class
And Reinvent Mathematics for Yourself
Language: English
Release Date: March 22, 2016
A manifesto for a mathematical revolution
Forget everything you've been taught about math. In Burn Math Class, Jason Wilkes takes the traditional approach to how we learn math--with its unwelcoming textbooks, unexplained rules, and authoritarian assertions-and sets it on fire.
Focusing...
Combinatorics on Words
10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings
Language: English
Release Date: August 26, 2015
This book constitutes the refereed proceedings of the 10th International Conference on Combinatorics on Words, WORDS 2015, held in Kiel, Germany, in September 2015 under the auspices of the EATCS.
The 14 revised full papers presented were carefully reviewed and selected from 22 submissions....
Coalgebraic Methods in Computer Science
12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Language: English
Release Date: August 19, 2014
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions....
Gegen Demokratie
Warum wir die Politik nicht den Unvernünftigen überlassen dürfen
Language: German
Release Date: April 7, 2017
Jason Brennan erhebt eine provokante Forderung: Die Demokratie soll endlich nach ihren Ergebnissen beurteilt werden. Und die sind keineswegs überzeugend. Demokratie führt oft dazu, dass lautstarke Meinungsmacher den Bürgern ihre fatalen Entscheidungen aufzwingen. Zumal die Mehrheit der Wähler...