WorldCat Identities

Cooper, S. B. (S. Barry)

Overview
Works: 56 works in 282 publications in 1 language and 10,204 library holdings
Genres: Conference proceedings  Biography 
Roles: Author, Editor, Creator, Other
Classifications: QA9.59, 511.3
Publication Timeline
.
Most widely held works by S. B Cooper
Computability, enumerability, unsolvability : directions in recursion theory( Book )

15 editions published between 1996 and 2009 in English and Undetermined and held by 304 WorldCat member libraries worldwide

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by Logic Colloquium( Book )

17 editions published in 1999 in English and held by 269 WorldCat member libraries worldwide

Computability theory by S. B Cooper( Book )

15 editions published between 2002 and 2014 in English and held by 260 WorldCat member libraries worldwide

"Computability Theory presents a comprehensive, highly readable introduction to contemporary computability theory, techniques, and results. The author places the basic concepts and techniques in their historical, philosophical, and logical contexts, and offers an unusual breadth of coverage, including a number of advanced topics not usually addressed in books at this level. The result is an invaluable text, reference, and guide to the direction of current research in the field. The author brings the techniques and results of this beautiful and basic subject alive in an approachable and lively way."--Jacket
New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedings by S. B Cooper( Book )

21 editions published in 2005 in English and Undetermined and held by 254 WorldCat member libraries worldwide

Alan Turing : his work and impact by S. B Cooper( Book )

15 editions published between 2012 and 2013 in English and held by 251 WorldCat member libraries worldwide

This new and exciting book, published in celebration of the centenary of Alan Turing's birth in London, includes a large number of the most significant contributions from the 4-volume set of the Collected Works of A.M. Turing. These contributions, together with a wide spectrum of accompanying commentaries from current world-leading experts in many different fields and backgrounds, provide insight on the significance and contemporary impact of A.M. Turing's work
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by S. B Cooper( Book )

17 editions published in 1999 in English and held by 249 WorldCat member libraries worldwide

Second of two volumes providing a comprehensive guide to the current state of mathematical logic
Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings by Jin-yi Cai( Book )

14 editions published in 2006 in English and held by 216 WorldCat member libraries worldwide

"TAMC 2006 was the third conference in the series. The previous two meetings were held May 17-19, 2004 in Beijing, and May 17-20, 2005 in Kunming."
Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings by S. B Cooper( Book )

18 editions published in 2007 in English and held by 198 WorldCat member libraries worldwide

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. Among them are papers corresponding to 12 plenary talks and papers of 8 special sessions entitled doing without turing machines: constructivism and formal topology, approaches to computational learning, real computation, computability and mathematical structure, complexity of algorithms and proofs, logic and ne
Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings by Jin-yi Cai( Book )

14 editions published in 2007 in English and held by 195 WorldCat member libraries worldwide

Computability and models : perspectives east and west by S. B Cooper( Book )

7 editions published in 2003 in English and held by 118 WorldCat member libraries worldwide

There are few notions as fundamental to contemporary science as those of computability and modelling. Computability and Models attempts to make some of the exciting and important new research developments in this area accessible to a wider readership. Written by international leaders drawn from major research centres both East and West, this book is an essential addition to scientific libraries serving both specialist and the interested non-specialist reader
Computability in context : computation and logic in the real world( Book )

13 editions published between 2009 and 2011 in English and Undetermined and held by 102 WorldCat member libraries worldwide

Addresses various ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues. This book covers problems related to logic, mathematics, physical processes, real computation and learning theory
Logic Colloquium 2006 by S. B Cooper( Book )

12 editions published between 2008 and 2009 in English and held by 82 WorldCat member libraries worldwide

The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium
New computational paradigms : changing conceptions of what is computable by S. B Cooper( )

13 editions published between 2007 and 2008 in English and held by 44 WorldCat member libraries worldwide

The recent necessity to deal with computability in the real world (computing on continuous data, biological computing, physical computing, etc.) has switched attention to new paradigms of computation, based on biological and physical models. This book looks at new developments in the theory and practice of computation from a mathematical and predominantly logical perspective, with topics ranging from classical computability to complexity, biocomputing and quantum computing. Traditional topics in Computability Theory are also covered as well as relationships between Proof Theory, Computability and Complexity Theory, new paradigms of computation arising from biology and quantum physics and issues related to computability with/on the real numbers. The book is addressed to researchers and graduate students in mathematics, philosophy and computer science with a special interest in logic and foundational issues. Logicians and theoretical physicists will also benefit from this book
How the world computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18 - 23, 2012 ; proceedings by S. B Cooper( )

10 editions published in 2012 in English and held by 41 WorldCat member libraries worldwide

Annotation. 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
Applied issues in investigative interviewing, eyewitness memory, and credibility assessment by S. B Cooper( Book )

9 editions published between 2012 and 2013 in English and held by 35 WorldCat member libraries worldwide

Victims. Witnesses. Suspects. Answers to an interviewer's questions may mean the diference between prison or freedom, custody or loss, justice served or justice miscarriedoutcomes that depend on expert decision-making as much as on the answers themselves. Meticulously researched and reasoned by an international panel of experts from across the criminal justice helds, Applied Issues in Investigative Interviewing, Eyewitness Memory, and Credibility Assessment illustrates areas and strategies for improvement in this complex legal arena. The book begins by arguing for the need for held research in studying eyewitness memory, and subsequent chapters bear this out ably in issues such as biopsychosocial phenomena of memory, why inconsistent testimony may not necessarily equal deceit, and the challenges and opportunities digital technology poses in evaluating truthfulness. Throughout, the book's theories, critiques, models, and tools are informed not only by the behavioral sciences but by the real-world experience of law enforcement and judicial professionals. Among the topics covered: Credibility assessment, common law trials, and fuzzy logic. Errors made by investigative interviewers and suggestions for redress. Children's memory in scientic case studies of child sexual abuse. Repeated interviews about repeated trauma from the distant past. The contextualization of words by expert lie detectors. Applied Issues in Investigative Interviewing, Eyewitness Memory, and Credibility Assessment will and an interested audience among investigative interviewers, law enforcement professionals, clinical and forensic psychologists, lawyers, and judges looking to integrate more substantial psychological knowledge into this critical area of legal practice
Theory and applications of models of computation : 9th annual conference, TAMC 2012, Beijing, China, May 16 - 21, 2012 ; proceedings by Manindra Agrawal( Book )

7 editions published in 2012 in English and held by 23 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turings unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012.The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification
Theory and applications of models of computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009 : proceedings by Jianer Chen( Book )

12 editions published in 2009 in English and Undetermined and held by 20 WorldCat member libraries worldwide

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
Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsa, China, May 18-22, 2009 : proceedings by TAMC (Conference)( Book )

4 editions published in 2009 in English and held by 20 WorldCat member libraries worldwide

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
The selected works of A.M. Turing his work and impact by S. B Cooper( )

1 edition published in 2012 in English and held by 0 WorldCat member libraries worldwide

Sets and Proofs by S. B Cooper( )

1 edition published in 1999 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.38 (from 0.02 for Computabil ... to 0.78 for Theory and ...)

Alternative Names
Barry Cooper, Stuart 1943-

Cooper, B. 1943-

Cooper, Barry 1943-

Cooper, Barry 1943, 9 oct.-

Cooper, Barry 1943 October 9-

Cooper, Barry 1943 říj. 9.-

Cooper, Barry, 1943 říjen 9.-

Cooper, Barry S.

Cooper, S. B.

Cooper, S. Barry.

Cooper, S. Barry 1943-

Cooper, Stuart Barry

Cooper, Stuart Barry 1943-

Languages
English (230)

Covers
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Computability theoryNew computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedingsModels and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedingsComputation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedingsTheory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedingsComputability and models : perspectives east and west