Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book explains the role of human behavior research, from both a historical and modern perspective, in improving objective, measurable performance outcomes to include safety, strategic decision making, and organizational performance. The book builds upon empirically supported foundations of human cognition, but with a focus on applying this knowledge in a manner that can improve human decision-making to enhance safety and performance. It includes explanations of how the human mind processes information, including differences in novice versus expert information processing, and tools to combat various cognitive biases. Explained within the framework of complex adaptive systems, this book builds upon resources developed through the author’s years of combined applied research and graduate teaching and includes chapters on the roles of uncertainty and complexity within scientific research. Finally, the book offers tools that are rooted in empirical research and demonstrated within the context of contemporary, real-world scenarios, with a focus on improving organizational effectiveness through improved strategic decision making and the development of learning cultures within organizations.

Psychology. --- Cognitive psychology. --- Cognition. --- Social psychology. --- Behavioral Sciences and Psychology. --- Cognitive Psychology. --- Social Psychology. --- Mass psychology --- Psychology, Social --- Human ecology --- Psychology --- Social groups --- Sociology --- Psychology, Cognitive --- Cognitive science --- Behavioral sciences --- Mental philosophy --- Mind --- Science, Mental --- Human biology --- Philosophy --- Soul --- Mental health --- Cognició --- Presa de decisions --- Sistemes adaptatius

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012. Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kučera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of New Zealand in this area. The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely: algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three general areas of complexity, computability, and randomness; physics, philosophy (and logic), and computation; and algorithms, automata, and formal models (including unconventional computing).

Computer science --- Engineering & Applied Sciences --- Computer Science --- Computer logic --- Mathematics --- Computer science. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Mathematics of Computing. --- Theory of Computation. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Informatics --- Science --- Foundations --- Computer software. --- Logic design. --- Information theory. --- Communication theory --- Communication --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer science—Mathematics. --- Lògica informàtica --- Sistemes adaptatius --- Lògica de la informàtica --- Lógica dels ordinadors --- Lògica matemàtica --- Control adaptatiu --- Sistemes adaptatius de control --- Sistemes autoadaptatius de control --- Sistemes de control adaptatius --- Sistemes de control autoadaptatius --- Intel·ligència artificial --- Sistemes autoorganitzatius --- Sistemes de control per retroacció --- Workshop on Theoretical Computer Science --- WTCS --- Machine theory. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Física estadística --- Intel·ligència artificial --- Ciència cognitiva --- Mètodes de simulació --- Processament de dades --- Sistemes autoorganitzatius --- Aprenentatge automàtic --- Demostració automàtica de teoremes --- Intel·ligència artificial distribuïda --- Intel·ligència computacional --- Sistemes adaptatius --- Tractament del llenguatge natural (Informàtica) --- Raonament qualitatiu --- Representació del coneixement (Teoria de la informació) --- Sistemes de pregunta i resposta --- Traducció automàtica --- Visió per ordinador --- Xarxes neuronals (Informàtica) --- Xarxes semàntiques (Teoria de la informació) --- Agents intel·ligents (Programes d'ordinador) --- Programació per restriccions --- Vida artificial --- Estadística matemàtica --- Física --- Integrals de camí --- Mecànica estadística --- Percolació (Física estadística) --- Sistemes oberts (Física) --- Teoria cinètica de la matèria --- Teoria cinètica dels líquids --- Transformacions de fase (Física estadística) --- Statistical physics --- Artificial intelligence. --- Artificial intelligence --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical Logic and Foundations. --- Artificial intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Intel·ligència artificial --- Ciència cognitiva --- Mètodes de simulació --- Processament de dades --- Sistemes autoorganitzatius --- Aprenentatge automàtic --- Demostració automàtica de teoremes --- Intel·ligència artificial distribuïda --- Intel·ligència computacional --- Sistemes adaptatius --- Tractament del llenguatge natural (Informàtica) --- Raonament qualitatiu --- Representació del coneixement (Teoria de la informació) --- Sistemes de pregunta i resposta --- Traducció automàtica --- Visió per ordinador --- Xarxes neuronals (Informàtica) --- Xarxes semàntiques (Teoria de la informació) --- Agents intel·ligents (Programes d'ordinador) --- Programació per restriccions --- Vida artificial

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence --- Education, Higher. --- Teachers --- Intel·ligència artificial --- Ensenyament assistit per ordinador --- Internet en l'ensenyament --- Educational applications. --- Training of. --- Internet a l'escola --- Internet en l'educació --- Ensenyament --- Ensenyament a distància --- Ensenyament informatitzat --- Ensenyament programat (Informàtica) --- Informàtica a l'ensenyament --- Informàtica educativa --- Ordinadors en l'ensenyament --- Tecnologia educativa --- Sistemes tutorials intel·ligents --- Aprenentatge electrònic --- Ensenyament individualitzat --- Ciència cognitiva --- Mètodes de simulació --- Processament de dades --- Sistemes autoorganitzatius --- Aprenentatge automàtic --- Demostració automàtica de teoremes --- Intel·ligència artificial distribuïda --- Intel·ligència computacional --- Sistemes adaptatius --- Tractament del llenguatge natural (Informàtica) --- Raonament qualitatiu --- Representació del coneixement (Teoria de la informació) --- Sistemes de pregunta i resposta --- Traducció automàtica --- Visió per ordinador --- Xarxes neuronals (Informàtica) --- Xarxes semàntiques (Teoria de la informació) --- Agents intel·ligents (Programes d'ordinador) --- Programació per restriccions --- Vida artificial --- Teacher education --- Teacher training --- Teachers, Training of --- College students --- Higher education --- Postsecondary education --- Universities and colleges --- Education --- Data processing