You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
What are the unique characteristics of sign languages that make them so fascinating? What have recent researchers discovered about them, and what do these findings tell us about human language more generally? This thematic and geographic overview examines more than forty sign languages from around the world. It begins by investigating how sign languages have survived and been transmitted for generations, and then goes on to analyse the common characteristics shared by most sign languages: for example, how the use of the visual system affects grammatical structures. The final section describes the phenomena of language variation and change. Drawing on a wide range of examples, the book explores sign languages both old and young, from British, Italian, Asian and American to Israeli, Al-Sayyid Bedouin, African and Nicaraguan. Written in a clear, readable style, it is the essential reference for students and scholars working in sign language studies and deaf studies.
This is a formal and systematic study of the logical foundations of speech act theory. The study of speech acts has been a flourishing branch of the philosophy of language and linguistics over the last two decades, and John Searle has of course himself made some of the most notable contributions to that study in the sequence of books Speech Acts (1969), Expression and Meaning (1979) and Intentionality (1983). In collaboration with Daniel Vanderveken he now presents the first formalised logic of a general theory of speech acts, dealing with such things as the nature of an illocutionary force, the logical form of its components, and the conditions of success of elementary illocutionary acts. The central chapters present a systematic exposition of the axioms and general laws of illocutionary logic.
This book constitutes the refereed proceedings of the 14th European Symposium on Programming, ESOP 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 28 revised full papers presented with the extended abstract of an invited paper were carefully reviewed and selected from 14 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems.
This book constitutes the refereed proceedings of the 9th International Conference on Applied Cryptography and Network Security, ACNS 2011, held in Nerja, Spain, in June 2011. The 31 revised full papers included in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical sessions on malware and intrusion detection; attacks, applied crypto; signatures and friends; eclectic assortment; theory; encryption; broadcast encryption; and security services.
Original and penetrating, this book investigates of the notion of inference from signs, which played a central role in ancient philosophical and scientific method. It examines an important chapter in ancient epistemology: the debates about the nature of evidence and of the inferences based on it--or signs and sign-inferences as they were called in antiquity. As the first comprehensive treatment of this topic, it fills an important gap in the histories of science and philosophy.
Comprehensively presents the foundations and leading application research in medical informatics/biomedicine. The concepts and techniques are illustrated with detailed case studies. Authors are widely recognized professors and researchers in Schools of Medicine and Information Systems from the University of Arizona, University of Washington, Columbia University, and Oregon Health & Science University. Related Springer title, Shortliffe: Medical Informatics, has sold over 8000 copies The title will be positioned at the upper division and graduate level Medical Informatics course and a reference work for practitioners in the field.
This book constitutes the refereed proceedings of the 22nd International Conference on Cryptology and Network Security, CANS 2023, which was held in October/November 2023 in Augusta, GA, USA. The 25 papers presented were thoroughly revised and selected from the 54 submissions. They are organized in the following topical sections: Schemes I; Basic Primitives; Security; MPC with Cards; Blockchain; MPC and Secret Sharing; Schemes II.
In an age when computers process immense amounts of information by the manipulation of sequences of 1s and 0s, it remains a frustrating mystery how prehistoric Inka recordkeepers encoded a tremendous variety and quantity of data using only knotted and dyed strings. Yet the comparison between computers and khipu may hold an important clue to deciphering the Inka records. In this book, Gary Urton sets forth a pathbreaking theory that the manipulation of fibers in the construction of khipu created physical features that constitute binary-coded sequences which store units of information in a system of binary recordkeeping that was used throughout the Inka empire. Urton begins his theory with the...