This book collects 63 revised, full-papers contributed to a research project on the "General Theory of Information Transfer and Combinatorics" that was hosted from 2001-2004 at the Center for Interdisciplinary Research (ZIF) of Bielefeld University and several incorporated meetings. Topics covered include probabilistic models, cryptology, pseudo random sequences, quantum models, pattern discovery, language evolution, and network coding.
As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics (cicm 2009) is a c- lection of co-located meetings, allowing researchers and practitioners active in these related areas to share recent results and identify the next challenges. The speci?c areas of the cicm conferences and workshops are described below, but the unifying theme is the computerized handling of mathematical knowledge. The successful formalization of much of mathematics, as well as a better - derstanding of its internal structure, makes mathematical knowledge in many waysmore tractable than generalknowledge,as traditionally treatedin arti?cial intelligence. Similarly, we can also expect the problem of e?ectively using ma- ematical knowledge in automated ways to be much more tractable. This is the goal of the work in the cicm conferences and workshops. In the long view, so- ing the problems addressed by cicm is an important milestone in formulating the next generation of mathematical software.
This work reports on research into intelligent systems, models, and architectures for educational computing applications. It covers a wide range of advanced information and communication and computational methods applied to education and training.
The four-volume set LNAI 6276--6279 constitutes the refereed proceedings of the 14th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2010, held in Cardiff, UK, in September 2010. The 272 revised papers presented were carefully reviewed and selected from 360 submissions. They present the results of high-quality research on a broad range of intelligent systems topics.
The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the number of submitted papers and workshop attendees from the ?rst meeting, held July 2003 in Melbourne. Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT’s (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro?t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate ?exibility, heterogeneity and openness, and enable system veri?cation.
Man-machine interaction is the interdisciplinary field, focused on a human and a machine in conjunction. It is the intersection of computer science, behavioural sciences, social psychology, ergonomics, security. It encompasses study, design, implementation, and evaluation of small- and large-scale, interacting, computing, hardware and software systems dedicated for human use. Man-machine interaction builds on supportive knowledge from both sides, the machine side providing techniques, methods and technologies relevant for computer graphics, visualisation, programming environments, the human side bringing elements of communication theory, linguistics, social sciences, models of behaviour. The discipline aims to improve ways in which machines and their users interact, making hardware and software systems better adapted to user's needs, more usable, more receptive, and optimised for desired properties. This monograph is the second edition in the series, providing the reader with a selection of high-quality papers dedicated to current progress, new developments and research trends in man-machine interactions area. In particular, the topical subdivisions of this volume include human-computer interfaces, robot control and navigation systems, bio-data analysis and mining, pattern recognition for medical applications, sound, text and image processing, design and decision support, rough and fuzzy systems, crisp and fuzzy clustering, prediction and regression, algorithms and optimisation, and data management systems.
This book constitutes the refereed proceedings of the 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010, held in Bahía Blanca, Argentina, in November 2010. The 61 papers presented were carefully reviewed and selected from 148 submissions. The papers are organized in topical sections on artificial intelligence in education, cognitive modeling and human reasoning, constraint satisfaction, evolutionary computation, information, integration and extraction, knowledge acquisition and ontologies, knowledge representation and reasoning, machine learning and data mining, multiagent systems, natural language processing, neural networks, planning and scheduling, probabilistic reasoning, search, and semantic web.
Statistics and the Evaluation of Evidence for Forensic Scientists The leading resource in the statistical evaluation and interpretation of forensic evidence The third edition of Statistics and the Evaluation of Evidence for Forensic Scientists is fully updated to provide the latest research and developments in the use of statistical techniques to evaluate and interpret evidence. Courts are increasingly aware of the importance of proper evidence assessment when there is an element of uncertainty. Because of the increasing availability of data, the role of statistical and probabilistic reasoning is gaining a higher profile in criminal cases. That’s why lawyers, forensic scientists, graduate students, and researchers will find this book an essential resource, one which explores how forensic evidence can be evaluated and interpreted statistically. It’s written as an accessible source of information for all those with an interest in the evaluation and interpretation of forensic scientific evidence. Discusses the entire chain of reasoning–from evidence pre-assessment to court presentation; Includes material for the understanding of evidence interpretation for single and multiple trace evidence; Provides real examples and data for improved understanding. Since the first edition of this book was published in 1995, this respected series has remained a leading resource in the statistical evaluation of forensic evidence. It shares knowledge from authors in the fields of statistics and forensic science who are international experts in the area of evidence evaluation and interpretation. This book helps people to deal with uncertainty related to scientific evidence and propositions. It introduces a method of reasoning that shows how to update beliefs coherently and to act rationally. In this edition, readers can find new information on the topics of elicitation, subjective probabilities, decision analysis, and cognitive bias, all discussed in a Bayesian framework.
