Issues in Multicore Programming Using the Parc Language

Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming. Written f

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing

This book provides a precise and thorough description of the meaning and use of spatial expressions, using both a linguistics and an artificial intelligence perspective, and also an enlightening discussion of computer models of comprehension and production in the spatial domain. The author proposes a theoretical framework that explains many previously overlooked or misunderstood irregularities. The use of prepositions reveals underlying schematisations and idealisations of the spatial world, which, for the most part, echo representational structures necessary for human action (movement and manipulation). Because spatial cognition seems to provide a key to understanding much of the cognitive system, including language, the book addresses one of the most basic questions confronting cognitive science and artificial intelligence, and brings fresh and original insights to it.

Want to learn to program in Windows but don?t know where to start? Look no further! This book is designed to teach you how to develop Windows applications using Microsoft Visual Basic 2008 Express. T

This comprehensive introduction to SQL Server begins with an overview of database design basics and the SQL query language along with an in-depth look at SQL Server itself Progresses on to a clear ex

Practical UML Statecharts in C/C++ Second Edition bridges the gap between high-level abstract concepts of the Unified Modeling Language (UML) and the actual programming aspects of modern hierarchical

Data Analysis Using SASAyoffers a comprehensive core text focused on key concepts and techniques in quantitative data analysis using the most current SAS commands and programming language. The covera

There is a need to motivate and in some cases re-engage students who feel that the classroom of 2007 means nothing to them - it does not speak in their language or culture, or communicate to them in a

A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O), while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's 'applicative bisimulation'.

Using an analysis of Euripides' use of language and of imagery, this book demonstrates that his imaginative powers differ in kind, not just in quality, from those of Aeschylus and Sophocles, and that

Since the 1980s, bilingualism has become one of the main themes of sociolinguistics - but there are as yet few large-scale treatments of the subject specific to the ancient world. This book is the first work to deal systematically with bilingualism during a period of antiquity (the Roman period, down to about the fourth century AD) in the light of sociolinguistic discussions of bilingual issues. The general theme of the work is the nature of the contact between Latin and numerous other languages spoken in the Roman world. Among the many issues discussed three are prominent: code-switching (the practice of switching between two languages in the course of a single utterance) and its motivation, language contact as a cause of change in one or both of the languages in contact, and the part played by language choice and language switching in the establishment of personal and group identities.

This book argues that identity as a term needs to be problematized, not taken for granted – for both the risks and the potential that the concept offers to educators for understanding issues of social

Japanese Language in Use is the companion volume to Japanese Linguistics: An Introduction. Using a wide range of examples drawn from everyday life and literary texts, Japanese Language in Use introduc

Using Chomsky's minimalist program as a framework, this volume explores the role of formal (or functional) features in current descriptions and accounts of language acquistion. In engaging, up-to-date

This book presents a detailed description of Spoken Language Translator (SLT), one of the first major projects in the area of automatic speech translation. The SLT system can translate between English, French, and Swedish in the domain of air travel planning, using a vocabulary of about 1500 words, and with an accuracy of about 75 per cent. The greater part of the book describes the language processing components, which are largely built on top of the SRI Core Language Engine, using a combination of general grammars and techniques that allow them to be rapidly customized to specific domains. Speech recognition is based on Hidden Markov Mode technology, and uses versions of the SRI DECIPHER system. This account of the Spoken Language Translator should be an essential resource both for those who wish to know what is achievable in spoken-language translation today, and for those who wish to understand how to achieve it.

Japanese Language in Use is the companion volume to Japanese Linguistics: An Introduction. Using a wide range of examples drawn from everyday life and literary texts, Japanese Language in Use introduc

Rogerson (emeritus biblical studies, U. of Sheffield and canon emeritus, Sheffield Cathedral) inaugurates the series on using the Bible as a resource for thinking and acting on moral and social issues

The dawn of the 21st century revealed the error of thinking that language change was regulated by laws like those of Newtonian mechanics, and the 12 papers re-examine some traditional issues from the

C++ has grown rapidly in response to the practical need for a programming language that is able to efficiently handle composite and diverse data types. Today, C++ dominates the commercial market and

Thirty-three international academics, researchers, and consultants contribute 18 chapters examining the complex nature of international online interactions. Coverage includes how factors of language a

Learn sign language with this complete book & DVD package!Getting Started in Signing teaches students the basic words, phrases, and expressions of American Sign Language (ASL) using a simple, step

Ethical Issues in International Biomedical Research is the definitive book on the ethics of research involving human subjects in developing countries. Using 21 actual case studies, it covers the mos

Using English provides an invaluable introduction to the study of English for students of language and linguistics. It examines the way in which the English language is used today in different context

This thought-provoking study examines the ethical, legal, and social problems that arise with cutting-edge medical technology. Using as examples four powerful and largely unregulated technologies --

Survivor Rhetoric concludes with a call for more holistic and local responses to the problem of violence against women and girl children ? responses carefully attentive to language issues, informed by

This 1990 book is a reading of Euripides' Hippolytos, a central play for the study of Euripides and of Greek tragedy. Dr Goff approaches the play through the techniques of modern literary criticism, including deconstruction and feminism, and is able to shed light on this influential text through her close examination of the language of the play. She divides her discussion into five important critical issues: gender, desire, violence, language and the status of poetry and drama. Throughout she is concerned to site the play in the historical and cultural context of fifth-century Athens, and her analysis of the position of women is particularly illuminating for the role of Phaedra, and for female characters throughout Greek tragedy. This is a provocative book which brings critical insights to one of the most extensively discussed of all Greek tragedies. It will be accessible both to classicists and students of drama and literary theory.

Get on the fast track to creating computer games Ever want to develop your own computer game? Learn the practical concepts of object-oriented programming for game design using Python(r) in this easy

This book examines several contentious and under-studied criminal career issues using one of the world's most important longitudinal studies, the Cambridge Study in Delinquent Development (CSDD), a longitudinal study of 411 South London boys followed in criminal records to age 40. The analysis reported in the book explores issues related to prevalence, offending frequency, specialization, onset sequences, co-offending, chronicity, career length, and trajectory estimation. The results of the study are considered in the context of developmental/life-course theories, and the authors outline an agenda for criminal career research generally, and within the context of the CSDD specifically.

This book examines several contentious and under-studied criminal career issues using one of the world's most important longitudinal studies, the Cambridge Study in Delinquent Development (CSDD), a longitudinal study of 411 South London boys followed in criminal records to age 40. The analysis reported in the book explores issues related to prevalence, offending frequency, specialization, onset sequences, co-offending, chronicity, career length, and trajectory estimation. The results of the study are considered in the context of developmental/life-course theories, and the authors outline an agenda for criminal career research generally, and within the context of the CSDD specifically.

In the sixteenth century the modern meaning of courtship - 'wooing someone' - developed from an older sense - 'being at court'. The Rhetoric of Courtship takes this semantic shift as the starting point for an incisive account of the practice and meanings of courtship at the court of Elizabeth I, where 'being at court' pre-eminently came to mean the same as 'wooing' the Queen. Exploring the wider context of social anthropology, philology, cultural and literary history, Catherine Bates presents courtship as a judicious, sensitive and rhetorically conscious understanding of public and private relations. Gascoigne, Lyly, Sidney, Leicester, Essex, and Spenser are shown to reflect in the fictional courtships of their poetry and prose the vulnerabilities of court life that were created by the system of patronage. The Rhetoric of Courtship thus makes an important contribution to Renaissance cultural history, using the court of Elizabeth I as a test case for representations of the courtier's ro

Groovy Programming is an introduction to the Java-based scripting language Groovy. Groovy has much in common with popular scripting languages such as Perl, Python, and Ruby, but is written in a Java-l

The chapters in this volume engage with issues arising from the impact of globalization on language in the societies where Spanish is spoken, providing up-to-date studies from both a macro and a micro

Although natural language processing has come far, the technology has not achieved a major impact on society. Is this because of some fundamental limitation that cannot be overcome? Or because there has not been enough time to refine and apply theoretical work already done? Editors Madeleine Bates and Ralph Weischedel believe it is neither; they feel that several critical issues have never been adequately addressed in either theoretical or applied work, and they have invited capable researchers in the field to do that in Challenges in Natural Language Processing. This volume will be of interest to researchers of computational linguistics in academic and non-academic settings and to graduate students in computational linguistics, artificial intelligence and linguistics.

Contributors analyze the pedagogical, social, educational and socio-political issues inherent in teaching immigrant students, indigenous peoples, traditional majorities and minorities and groups with

Written for those with a basic competence in Spanish, this comprehensive synonyms guide is designed to help the learner find the right word for the right context - thus improving their vocabulary and enabling them to communicate more precisely and fluently. It contains around 900 lists of synonyms, each one classified according to its level of formality. Every synonym is illustrated with authentic examples, and the subtle shades of difference between them are clearly explained. The book contains four clear indexes: Spanish-Spanish, Argentinean-Spanish, Mexican-Spanish and English-Spanish, enabling the reader to instantly locate any word. This second edition has been thoroughly revised and updated, and includes new material on Argentinean and Mexican varieties, including a useful comparison of Mexican and Iberian Spanish. It will continue to be an essential reference for college and undergraduate students, their teachers, and other language professionals seeking a clear, user-friendly

"Inoue has accomplished an extraordinary task, which is without precedent in the East Asian Fields. To my knowledge, no author has ever demonstrated as persuasively as she does that the issues concern

The Blackwell Guide to Philosophy of Language is a collection of twenty new essays in a cutting-edge and wide-ranging field. Surveys central issues in contemporary philosophy of language while examin

The Blackwell Guide to Philosophy of Language is a collection of twenty new essays in a cutting-edge and wide-ranging field. * Surveys central issues in contemporary philosophy of language while

This 32-page flipchart provides a wealth of practical tips and suggestions for using the power of novels to explore the fascinating world of language. Through simple steps, this handy guide helps stud

Language Teacher Supervision illuminates an under-explored area of the language teaching profession. Using case studies of actual teaching situations, the book explores such issues as teacher evaluati