You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the thoroughly refereed post-proceedings of four workshops held as satellite events of the JSAI International Symposia on Artificial Intelligence 2010, in Tokyo, Japan, in November 2010. The 28 revised full papers with four papers for the following four workshops presented were carefully reviewed and selected from 70 papers. The papers are organized in sections Logic and Engineering of Natural Language Semantics (LENLS), Juris-Informatics (JURISIN), Advanced Methodologies for Bayesian Networks (AMBN), and Innovating Service Systems (ISS).
Arti?cial intelligence has recently been re-energized to provide the clues needed to resolve complicated problems. AI is also expected to play a central role in enhancing a wide variety of daily activities. JSAI (The Japanese Society for Arti?cial Intelligence) is responsible for boosting the activities of AI researchers in Japan, and their series of annual conferences o?ers attractive forums for the exposition of the latest achievements and inter-group communication. In the past, the best papers of the conferences were published in the LNAI series. This book consists of award papers from the 22nd annual conference of the JSAI (JSAI 2008) and selected papers from the three co-located worksho...
This book presents the joint post-proceedings of five international workshops organized by the Japanese Society for Artificial Intelligence, during the 19th Annual Conference JSAI 2005. The volume includes 5 award winning papers of the main conference, along with 40 revised full workshop papers, covering such topics as logic and engineering of natural language semantics, learning with logics, agent network dynamics and intelligence, conversational informatics and risk management systems with intelligent data analysis.
The first of two companion volumes on anabelian algebraic geometry, this book contains the famous, but hitherto unpublished manuscript 'Esquisse d'un Programme' (Sketch of a Program) by Alexander Grothendieck. This work, written in 1984, fourteen years after his retirement from public life in mathematics, together with the closely connected letter to Gerd Faltings, dating from 1983 and also published for the first time in this volume, describe a powerful program of future mathematics, unifying aspects of geometry and arithmetic via the central point of moduli spaces of curves; it is written in an artistic and informal style. The book also contains several articles on subjects directly related to the ideas explored in the manuscripts; these are surveys of mathematics due to Grothendieck, explanations of points raised in the Esquisse, and surveys on progress in the domains described there.
This book describes the interaction between several key aspects of Galois theory based on Iwasawa theory, fundamental groups and automorphic forms. These ideas encompass a large portion of mainstream number theory and ramifications that are of interest to graduate students and researchers in number theory, algebraic geometry, topology and physics.
This book is a stop-gap contribution to the science and technology of carbon plasmas and carbon vapors. It strives to cover two strongly related fields: the molecular quantum theory of carbon plasmas and carbon nanostructures; and the molecular and atomic spectroscopy of such plasmas and vapors. These two fields of research are strongly intertwined and thus reinforce one another.Even though the use of carbon nanostructures is increasing by the day and their practical uses are emerging, there is no modern review on carbon plasmas, especially from molecular theoretical and spectroscopic viewpoints. The importance of the present book is therefore great from both educational and practical aspects. This review might be the first step towards bringing such textbooks into existence for university education. Similarly, for applied and engineering works in carbon nanostructures, the book provides a theoretical salient point for technologists in the field.
Formal ADLs offer great potential to analyse the architecture of a system, predict the overall performance by using simulations, and allow to automatically generate parts of the implementation. Nevertheless, ADLs are rather not used in industrial practice since several problems hinder to exploit their potential to the full extend. This thesis elaborates the design of an ADL that copes with these impediments of ADLs in practice. Therefore, the design of a lightweight ADL is derived which also provides well defined extension points to be adapted to a certain domain or development process. Furthermore, it is investigated how architectural modeling can be enriched with agile development methods ...
The Grothendieck–Teichmüller group was defined by Drinfeld in quantum group theory with insights coming from the Grothendieck program in Galois theory. The ultimate goal of this book is to explain that this group has a topological interpretation as a group of homotopy automorphisms associated to the operad of little 2-discs, which is an object used to model commutative homotopy structures in topology. This volume gives a comprehensive survey on the algebraic aspects of this subject. The book explains the definition of an operad in a general context, reviews the definition of the little discs operads, and explains the definition of the Grothendieck–Teichmüller group from the viewpoint o...