This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributions represent these three fields and the symposia aim to foster interaction between them. The boo…
Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties are nowadays accepted to be of various kinds. Uncertainty in general could refer to differen…
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
Introduction to Programming Languages is designed to formalize and consolidate the knowledge of programming languages gained in the introductory courses a computer science curriculum and to provide a base for further studies in the semantics and translation of programming languages. This book is intended as an undergraduate text in the theory of programming languages. To gain maximum benefit…
This book provides a comprehensive introduction to the conversational interface, which is becoming the main mode of interaction with virtual personal assistants, smart devices, various types of wearable, and social robots. The book consists of four parts. Part I presents the background to conversational interfaces, examining past and present work on spoken language interaction with computers. …
This book constitutes the proceedings of the 6th International Conference on Statistical Language and Speech Processing, SLSP 2018, held in Mons, Belgium, in October 2018. The 15 full papers presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: speech synthesis and spoken language generation; speech recognition and p…
The monograph is devoted to the notion of strategic intervention and its application in the foreign language classroom, in particular with reference to teaching grammar structures. The first four chapters, which are theoretical in nature, address such concepts as form-focused instruction, language learning strategies and strategies-based instruction. The last chapter provides insight into the r…
This book is a guide to current research and debate in the field of literacies practice and education. It provides both an historical and lifespan view of the field as well as an overview of research methodologies with first-hand examples from a range of researchers involved in literacy research.
Teachers of Chinese as a foreign language in many international contexts are searching for pedagogic solutions to promote effective learning. Models of innovative and successful approaches are urgently needed. This volume presents a collection of compelling and empirically rich research studies that showcases innovative developments in the practice of teaching Chinese as a foreign language. The…