Barry S. Cooper

Jin-Yi Cai

Angsheng Li

This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. The 75 revised full papers presented together with 7 plenary talks were carefully reviewed and selected from 319 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly with regard to computation and computability theory are addressed.

Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings

Theory and Applications of Models of Computation

Marguerite Ternes

Dorothee Griesel

Contingent on funding being available, a Festschrift will be held in honor of Dr. John Yuille’s career as a Forensic Psychologist. He has become one of the most visible and respected Canadian psychologists worldwide. In light of his upcoming retirement in December 2006, the Festschrift will recognize Dr. Yuille’s achievements in the areas of eyewitness memory research (i.e., pioneering a new research paradigm that grants better validity), investigative interviewing (i.e., the development and use of the Step Wise Interview Protocol), and credibility assessment (i.e., introducing Statement Validity Analysis to North America). New directions for future work will be explored at the workshop. The focus of this Festschrift will be three-fold: 1. International. Dr. Yuille’s work has influenced law enforcement practices and stimulated research in and outside of Canada. The international and multicultural aspects of the work that Dr. Yuille has inspired will be reflected and promoted by this workshop. 2. Interdisciplinary. Dr. Yuille is internationally known as an expert, consultant and trainer to law enforcement. As such, Dr. Yuille’s work has also influenced other disciplines, e.g., the law, social work, oral history. The participants of this Festschrift will gain insight into other professionals’ perspectives and foster potential collaborations on future projects. 3. Emphasis on applied research. A hallmark of Dr. Yuille’s research has been the application of field and archival methods, which made his work directly applicable to forensically relevant contexts. The potential future directions of applied forensic research will be discussed at this Festschrift. The importance of the subject at this time: - A lack of integrative models in the literatures of eyewitness memory and the assessment of truthfulness and deception. Presenters of the Festschrift have recently developed such models and will discuss them at the Festschrift. Publishing these models and their discussions will spark further research to validate or modify them. - New, pioneering field research based on such integrative models has recently been conducted. This book would be one of the first publications of the results.

Applied Issues in Investigative Interviewing, Eyewitness Memory, and Credibility Assessment

Jianer Chen

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. The 39 full papers presented together with 7 invited papers as well as 3 plenary talks were selected from 86 submissions. The papers address the three main themes of the conference which were Computability, Complexity, and Algorithms. The conference aimed to bring together researchers with interests in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

Benedikt Löwe

Andrea Sorbi

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.

Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

Computation and Logic in the Real World

Anuj Dawar

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.

Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings

How the World Computes

Hong Zhu

This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007. It addresses all major areas in computer science; mathematics, especially logic; and the physical sciences, particularly with regard to computation and computability theory. The papers particularly focus on algorithms, complexity and computability theory.

4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science.

Barry S. Cooper

Books

Your next favorite book is out there