Choose an application

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

This book complements the authors’ monograph Cellular Automata and Groups [CAG] (Springer Monographs in Mathematics). It consists of more than 600 fully solved exercises in symbolic dynamics and geometric group theory with connections to geometry and topology, ring and module theory, automata theory and theoretical computer science. Each solution is detailed and entirely self-contained, in the sense that it only requires a standard undergraduate-level background in abstract algebra and general topology, together with results established in [CAG] and in previous exercises. It includes a wealth of gradually worked out examples and counterexamples presented here for the first time in textbook form. Additional comments provide some historical and bibliographical information, including an account of related recent developments and suggestions for further reading. The eight-chapter division from [CAG] is maintained. Each chapter begins with a summary of the main definitions and results contained in the corresponding chapter of [CAG]. The book is suitable either for classroom or individual use.

Cellular automata. --- 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)

Robotics. --- Agricultural machinery. --- Agriculture --- Automation. --- Farming --- Husbandry --- Industrial arts --- Life sciences --- Food supply --- Land use, Rural --- Crops --- Farm machinery --- Machinery --- Farm equipment --- Farm mechanization --- Machine-tractor stations --- Automation --- Machine theory --- Equipment and supplies --- Robòtica --- Mecanització agrícola --- Agricultura mecanitzada --- Gestió de les explotacions agrícoles --- Maquinària agrícola --- Maquinària en la indústria --- Electricitat en l'agricultura --- Enginyeria robòtica --- Cibernètica --- Autòmats --- Robòtica en medicina --- Robots --- Robots industrials --- Automatització --- Teoria de màquines

Choose an application

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

Completed in 1931, New York’s Waldorf-Astoria towers over Park Avenue as an international landmark and a masterpiece of Art Deco architecture. A symbol of elegance and luxury, the hotel has hosted countless movie stars, business tycoons, and world leaders over the past ninety years. American Hotel takes us behind the glittering image to reveal the full extent of the Waldorf’s contribution toward shaping twentieth-century life and culture. Historian David Freeland examines the Waldorf from the opening of its first location in 1893 through its rise to a place of influence on the local, national, and international stage. Along the way, he explores how the hotel’s mission to provide hospitality to a diverse range of guests was put to the test by events such as Prohibition, the anticommunist Red Scare, and civil rights struggles. Alongside famous guests like Frank Sinatra, Martin Luther King, Richard Nixon, and Eleanor Roosevelt, readers will meet the lesser-known men and women who made the Waldorf a leader in the hotel industry and a key setting for international events. American Hotel chronicles how institutions such as the Waldorf-Astoria played an essential role in New York’s growth as a world capital.

Waldorf-Astoria Hotel (New York, N.Y.) --- Waldorf, Astoria, Ladies of Soul, Automats, Taxi Dances, Vaudeville, Vaudeville: Excavating Manhattan’s Lost Places of Leisure, Manhattan, New York City, NYC, New York, luxury, elegance, hotel, hotels, Deco architecture, twentieth-century, world capital, urban landscape, Boom Centre, Waldorf-Astoria, NY, hotel rooms, Park Ave, luxury hotel, influential position hotels, DEco, New York's rise, American, Manhattan's rise, city.

Choose an application

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

This book gathers selected papers presented at the Fourth International Conference on Mechatronics and Intelligent Robotics (ICMIR 2020), held in Kunming, China, on May 22-44, 2020. The proceedings cover new findings in the following areas of research: mechatronics, intelligent mechatronics, robotics and biomimetics; novel and unconventional mechatronic systems; modeling and control of mechatronic systems; elements, structures and mechanisms of micro- and nano-systems; sensors, wireless sensor networks and multi-sensor data fusion; biomedical and rehabilitation engineering, prosthetics and artificial organs; artificial intelligence (AI), neural networks and fuzzy logic in mechatronics and robotics; industrial automation, process control and networked control systems; telerobotics and human-computer interaction; human-robot interaction; robotics and artificial intelligence; bio-inspired robotics; control algorithms and control systems; design theories and principles; evolutional robotics; field robotics; force sensors, accelerometers and other measuring devices; healthcare robotics; kinematics and dynamics analysis; manufacturing robotics; mathematical and computational methodologies in robotics; medical robotics; parallel robots and manipulators; robotic cognition and emotion; robotic perception and decisions; sensor integration, fusion and perception; and social robotics.

Mechatronics --- Robotics --- Mecatrònica --- Robòtica --- 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 --- Enginyeria robòtica --- Cibernètica --- Autòmats --- Robòtica en medicina --- Robots --- Robots industrials --- Automatització --- Teoria de màquines --- Microelectrònica en mecànica --- Enginyeria mecànica --- Microelectrònica --- Sistemes microelectromecànics

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