Choose an application

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

This unique book provides a self-contained exposition of the theory of cellular automata on groups and explores its deep connections with recent developments in geometric and combinatorial group theory, amenability, symbolic dynamics, the algebraic theory of group rings, and other branches of mathematics and theoretical computer science. The topics treated include the Garden of Eden theorem for amenable groups, the Gromov–Weiss surjunctivity theorem, and the solution of the Kaplansky conjecture on the stable finiteness of group rings for sofic groups. Entirely self-contained and now in its second edition, the volume includes 10 appendices and more than 600 exercises, the solutions of which are presented in the companion book Exercises in Cellular Automata and Groups (2023) by the same authors. It will appeal to a large audience, including specialists and newcomers to the field.

Algebra. --- Dynamical systems. --- Computer science. --- Dynamical Systems. --- Computer Science Logic and Foundations of Programming. --- Autòmats cel·lulars

Choose an application

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

Image processing --- Processament digital d'imatges --- Reconeixement de formes (Informàtica) --- Digital techniques. --- Digital techniques --- Data processing. --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- Digital image processing --- Digital electronics --- Autòmats cel·lulars --- Reconeixement automàtic de la parla --- Visió per ordinador --- Tècniques digitals de processament d'imatges --- Tècniques numèriques de processament d'imatges --- Electrònica digital --- Processament d'imatges --- Vídeo digital --- Fotografia digital

Choose an application

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

The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors’ approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into applications across propositional logic, binary arithmetic, coding, cryptography, complexity, logic design, and artificial intelligence. Updated throughout, some major additions for the 3rd edition include: a new chapter about the concepts contributing to the power of XBOOLE; a new chapter that introduces into the application of the XBOOLE-Monitor XBM 2; many tasks that support the readers in amplifying the learned content at the end of the chapters; solutions of a large subset of these tasks to confirm learning success; challenging tasks that need the power of the XBOOLE software for their solution. The XBOOLE-monitor XBM 2 software is used to solve the exercises; in this way the time-consuming and error-prone manipulation on the bit level is moved to an ordinary PC, more realistic tasks can be solved, and the challenges of thinking about algorithms leads to a higher level of education.

Àlgebra de Boole --- Lògica matemàtica --- Teoria de màquines --- Lògica formal --- Lògica simbòlica --- Lògica simbòlica i matemàtica --- Lògica universal --- Logística (Filosofia) --- Matemàtica --- Atzar --- Càlcul lambda --- Categories (Matemàtica) --- Decidibilitat (Lògica matemàtica) --- Funcions recursives --- Independència (Matemàtica) --- Lògica algebraica --- Lògica borrosa --- Lògica combinatòria --- Lògica de primer ordre --- Lògica informàtica --- Matemàtica constructiva --- Metodologia de la ciència --- Nombres cardinals --- Pragmàtica (Lingüística) --- Probabilitats --- Semàntica (Filosofia) --- Teoria axiomàtica de conjunts --- Teorema de Gödel --- Teoria de la commutació --- Teoria de la prova --- Teoria de la recursió --- Teoria de models --- Teoria de tipus --- Àlgebra abstracta --- Metamatemàtica --- Programació lògica --- Sil·logisme --- Teoria de conjunts --- Àlgebra booleana --- Teoria dels reticles --- Autòmats matemàtics --- Teoria dels autòmats matemàtics --- Algorismes --- Models matemàtics --- Aprenentatge automàtic --- Complexitat computacional --- Estructura lògica --- Llenguatges formals --- Màquines de Turing --- Sistemes de reescriptura (Informàtica) --- Teoria de control --- Robòtica --- Algebra, Boolean. --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Lògica difusa --- Electronic circuits. --- Logic design. --- Computer science --- Discrete mathematics. --- Electronic Circuits and Systems. --- Logic Design. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Computer mathematics --- Electronic data processing --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics

Choose an application

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

This book brings together the impact of Prof. John Horton Conway, the playful and legendary mathematician's wide range of contributions in science which includes research areas—Game of Life in cellular automata, theory of finite groups, knot theory, number theory, combinatorial game theory, and coding theory. It contains transcripts where some eminent scientists have shared their first-hand experience of interacting with Conway, as well as some invited research articles from the experts focusing on Game of Life, cellular automata, and the diverse research directions that started with Conway's Game of Life. The book paints a portrait of Conway's research life and philosophical direction in mathematics and is of interest to whoever wants to explore his contribution to the history and philosophy of mathematics and computer science. It is designed as a small tribute to Prof. Conway whom we lost on April 11, 2020.

Cellular automata. --- Game theory. --- Mathematicians. --- Scientists --- Games, Theory of --- Theory of games --- Mathematical models --- Mathematics --- Computers, Iterative circuit --- Iterative circuit computers --- Structures, Tessellation (Automata) --- Tessellation structures (Automata) --- Parallel processing (Electronic computers) --- Pattern recognition systems --- Sequential machine theory --- Autòmats cel·lulars --- Teoria de jocs --- Matemàtics --- Conway, John H. (John Horton) --- Científics --- Dones matemàtiques --- Matemàtica --- Presa de decisions (Estadística) --- Jocs cooperatius (Matemàtica) --- Jocs d'atzar (Matemàtica) --- Jocs d'estratègia (Matemàtica) --- Jocs diferencials --- Jocs no cooperatius (Matemàtica) --- Presa de decisions --- Processament en paral·lel (Ordinadors) --- Reconeixement de formes (Informàtica) --- Intel·ligència col·lectiva --- Engineering mathematics. --- Engineering --- Dynamics. --- Nonlinear theories. --- Group theory. --- Number theory. --- Mathematical and Computational Engineering Applications. --- Applied Dynamical Systems. --- Group Theory and Generalizations. --- Number Theory. --- Data processing. --- Number study --- Numbers, Theory of --- Algebra --- Groups, Theory of --- Substitutions (Mathematics) --- Nonlinear problems --- Nonlinearity (Mathematics) --- Calculus --- Mathematical analysis --- Mathematical physics --- Dynamical systems --- Kinetics --- Mechanics, Analytic --- Force and energy --- Mechanics --- Physics --- Statics --- Engineering analysis

Choose an application

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

th This volume is an edition of the papers selected from the 12 FIRA RoboWorld C- gress, held in Incheon, Korea, August 16–18, 2009. The Federation of International Robosoccer Association (FIRA – www. fira. net) is a non-profit organization, which organizes robotic competitions and meetings around the globe annually. The RoboSoccer competitions started in 1996 and FIRA was - tablished on June 5, 1997. The Robot Soccer competitions are aimed at promoting the spirit of science and technology to the younger generation. The congress is a forum in which to share ideas and future directions of technologies, and to enlarge the human networks in robotics area. The objectives of the FIRA Cup and Congress are to explore the technical dev- opment and achievement in the field of robotics, and provide participants with a robot festival including technical presentations, robot soccer competitions and exhibits - der the theme “Where Theory and Practice Meet. ” th Under the umbrella of the 12 FIRA RoboWorld Congress Incheon 2009, six int- national conferences were held for greater impact and scientific exchange: th • 6 International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS) th • 5 International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE) • International Conference on Social Robotics (ICSR) • International Conference on Advanced Humanoid Robotics Research (ICAHRR) • International Conference on Entertainment Robotics (ICER) • International Robotics Education Forum (IREF) This volume consists of selected quality papers from the six conferences.

Robotics --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Information Technology --- Artificial Intelligence --- Automation --- Computer science. --- User interfaces (Computer systems). --- Artificial intelligence. --- Application software. --- Education --- Computers and civilization. --- Personal computers. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- User Interfaces and Human Computer Interaction. --- Computers and Society. --- Computers and Education. --- Personal Computing. --- Computer Appl. in Social and Behavioral Sciences. --- Data processing. --- Education. --- Social sciences --- Artificial Intelligence. --- Children --- Education, Primitive --- Education of children --- Human resource development --- Instruction --- Pedagogy --- Schooling --- Students --- Youth --- Civilization --- Learning and scholarship --- Mental discipline --- Schools --- Teaching --- Training --- Informatics --- Science --- 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 --- Education—Data processing. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Home computers --- Micro computers --- Micros (Microcomputers) --- PCs (Microcomputers) --- Personal computers --- Small computers --- Minicomputers --- Civilization and computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Robòtica --- Enginyeria robòtica --- Cibernètica --- Autòmats --- Robòtica en medicina --- Robots --- Robots industrials --- Automatització --- Teoria de màquines