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
- -
Digitization and the Law
"Digitization of information" means, to state it in the simplest way possi‐ ble, the representation of information as a sequence of zeros and ones. Digitized information can be edited, stored and easily transferred between computers. In view of the high power of today's computers and their glob‐ al networking via the Internet, this means that vast amounts of information can be processe…
- Edition
- -
- ISBN/ISSN
- 9783848747009
- Collation
- 140 halaman
- Series Title
- -
- Call Number
- 340 DIG
Coordination Models and Languages
This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and one short paper presented were carefully reviewed and selected from 36 submissions. Th…
- Edition
- -
- ISBN/ISSN
- 9783319192826
- Collation
- xiv, 247 pages
- Series Title
- -
- Call Number
- 005.1
A Foundation in Digital Communication
Written in the intuitive yet rigorous style that readers of A Foundation in Digital Communication have come to expect, this second edition includes entirely new chapters on the radar problem (with Lyapunov's theorem) and intersymbol interference channels, new discussion of the baseband representation of passband noise, and a simpler, more geometric derivation of the optimal receiver for the add…
- Edition
- -
- ISBN/ISSN
- 9781316822708
- Collation
- -
- Series Title
- -
- Call Number
- -
A Foundation in Digital Communication
This intuitive yet rigorous introduction derives the core results of digital communication from first principles. Theory, rather than industry standards, motivates the engineering approaches, and key results are stated with all the required assumptions. The book emphasizes the geometric view, opening with the inner product, the matched filter for its computation, Parseval's theorem, the samplin…
- Edition
- -
- ISBN/ISSN
- 9780511981234
- Collation
- -
- Series Title
- -
- Call Number
- -
Wheat Improvement Food Security in a Changing Climate
This open-access textbook provides a comprehensive, up-to-date guide for students and practitioners wishing to access in a single volume the key disciplines and principles of wheat breeding. Wheat is a cornerstone of food security: it is the most widely grown of any crop and provides 20% of all human calories and protein. The authorship of this book includes world class researchers and breeders…
- Edition
- -
- ISBN/ISSN
- 9783030906733
- Collation
- -
- Series Title
- -
- Call Number
- -
Syntax of Dutch: Adjectives and Adjective Phrases
The Syntax of Dutch will be published in at least seven volumes in the period 2012-2016 and aims at presenting a synthesis of the currently available syntactic knowledge of Dutch. It is primarily concerned with language description and not with linguistic theory, and provides support to all researchers interested in matters relating to the syntax of Dutch, including advanced students of languag…
- Edition
- -
- ISBN/ISSN
- 9789089645494
- Collation
- -
- Series Title
- -
- Call Number
- -
The Walking Dead at Saqqara Strategies of Social and Religious Interaction i…
Funerary rituals and mortuary cults are classics of religious studies research in ancient Egypt. Still, we know little about how the living interacted with ancestors and gods in daily life. The case study of the city of Memphis and its Saqqara necropolis in the late 2nd mil. BCE focusses on lived ancient religion, and demonstrates the spectrum of religious practices and options to configure rel…
- Edition
- -
- ISBN/ISSN
- 9783110706833
- Collation
- -
- Series Title
- -
- Call Number
- -
How Data Quality Affects our Understanding of the Earnings Distribution
This open access book demonstrates how data quality issues affect all surveys and proposes methods that can be utilised to deal with the observable components of survey error in a statistically sound manner. This book begins by profiling the post-Apartheid period in South Africa's history when the sampling frame and survey methodology for household surveys was undergoing periodic changes due to…
- Edition
- -
- ISBN/ISSN
- 9789811936395
- Collation
- -
- Series Title
- -
- 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography