Filter by
Differential Object Marking in Romance : The third wave
After a “first wave” of traditional studies on prepositional accusatives and a “second wave” exploring the typological dimensions of Differential Object Marking in Bossong’s footsteps, a new line of research is currently introducing new methods, deepening the level of analysis, and offering new perspectives on the issue. This volume presents 11 innovative, original contributions repre…
- Edition
- -
- ISBN/ISSN
- 9783110716207
- Collation
- -
- Series Title
- -
- Call Number
- 800 DIF
Ultra Low Bit-Rate Speech Coding
Ultra Low Bit-Rate Speech Coding" focuses on the specialized topic of speech coding at very low bit-rates of 1 Kbits/sec and less, particularly at the lower ends of this range, down to 100 bps. The authors set forth the fundamental results and trends that form the basis for such ultra low bit-rates to be viable and provide a comprehensive overview of various techniques and systems in literature…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-1341-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Body, Personhood and Privacy : Perspectives On The Cultural Other and Human E…
This book studies how the concepts of body, personhood and privacy can be expanded across disciplinary borders. Notwithstanding the diversity of empirical material and theoretical frameworks, the chapters suggest innovative tools for common key issues: dialogue with the cultural Other, the appropriation of space, and personality. Human embodiment and ethical aspects of representing and regulati…
- Edition
- -
- ISBN/ISSN
- 9789949774593
- Collation
- 344 halaman
- Series Title
- Approaches to Culture Theory, 7
- Call Number
- 306 TAS b
Type Systems for Distributed Programs: Components and Sessions
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety propert…
- Edition
- -
- ISBN/ISSN
- 978-94-6239-204-5
- Collation
- -
- Series Title
- -
- Call Number
- -
A General Algebraic Semantics for Sentential Logics
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of…
- Edition
- -
- ISBN/ISSN
- 9781316716915
- Collation
- -
- Series Title
- Lecture Notes in Logic (7)
- Call Number
- -
Fashion Figures : How Missy the Mathlete Made the Cut
Missy Maker is a middle school girl who loves math and fashion. She sees math in everything she does. She tries to hide this from her friends, because she thinks it’s too geeky. Missy hears that the school math club needs more members, but she’s worried about what her friends will think if she joins, and she’s already committed to joining the fashion club. After an epic internal st…
- Edition
- -
- ISBN/ISSN
- 9781484222737
- Collation
- -
- Series Title
- -
- Call Number
- 800 BOR f
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
- -
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
- -
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
- -
How and Why to Read and Create Children's Digital Books : A Guide for Primary…
How and Why to Read and Create Children's Digital Books outlines effective ways of using digital books in early years and primary classrooms, and specifies the educational potential of using digital books and apps in physical spaces and virtual communities. With a particular focus on apps and personalised reading, Natalia Kucirkova combines theory and practice to argue that personalised reading…
- Edition
- -
- ISBN/ISSN
- 9781787353473
- Collation
- -
- Series Title
- -
- Call Number
- 025 KUC h
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography