Choose an application

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

This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean. After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers. Subsequently, typical design options are discussed and brought to life through worked examples in the setting of simplicial complexes (a higher-dimensional generalisation of graph theory). Finally, the book demonstrates how current research in algebraic and geometric topology can be formalised by means of suitable abstraction layers. Informed by the author's recent teaching and research experience, this book allows students and researchers to quickly get started with formalising and checking their proofs. The core material of the book is accessible to mathematics students with basic programming skills. For the final chapter, familiarity with elementary category theory and algebraic topology is recommended.

Mathematical logic --- Algebraic geometry --- Algebraic topology --- Differential topology --- Computer architecture. Operating systems --- algebra --- topologie (wiskunde) --- informatica --- wiskunde --- logica --- geometrie --- topologie --- Automatic theorem proving --- Demostració automàtica de teoremes --- Programes d'ordinador --- Computer programs.

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)

This book reviews key recent advances and new frontiers within psychiatric research and clinical practice. These advances either represent or are enabling paradigm shifts in the discipline and are influencing how we observe, derive and test hypotheses, and intervene. Progress in information technology is allowing the collection of scattered, fragmented data and the discovery of hidden meanings from stored data, and the impacts on psychiatry are fully explored. Detailed attention is also paid to the applications of artificial intelligence, machine learning, and data science technology in psychiatry and to their role in the development of new hypotheses, which in turn promise to lead to new discoveries and treatments. Emerging research methods for precision medicine are discussed, as are a variety of novel theoretical frameworks for research, such as theoretical psychiatry, the developmental approach to the definition of psychopathology, and the theory of constructed emotion. The concluding section considers novel interventions and treatment avenues, including psychobiotics, the use of neuromodulation to augment cognitive control of emotion, and the role of the telomere-telomerase system in psychopharmacological interventions.

Molecular biology. --- Neurosciences. --- Laboratory medicine. --- Psychiatry. --- Molecular Medicine. --- Laboratory Medicine. --- Medicine and psychology --- Mental health --- Psychology, Pathological --- Clinical medicine --- Clinical pathology --- Diagnostic laboratory tests --- Laboratory diagnosis --- Laboratory medicine --- Medical laboratory diagnosis --- Diagnosis --- Pathology --- Neural sciences --- Neurological sciences --- Neuroscience --- Medical sciences --- Nervous system --- Molecular biochemistry --- Molecular biophysics --- Biochemistry --- Biophysics --- Biomolecules --- Systems biology --- 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)

Human-computer interaction --- Artificial intelligence --- Intel·ligència artificial --- Interacció persona-ordinador --- Comunicació home-ordinador --- Comunicació persona-màquina --- Comunicació persona-ordinador --- IPO --- Interacció home-ordinador --- Interacció persona-màquina --- Relacions home-ordinador --- Relacions persona-màquina --- Relacions persona-ordinador --- Ergonomia --- Interfícies d'usuari (Sistemes d'ordinadors) --- Usabilitat (Disseny de sistemes) --- 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)

Informàtica --- Enginyeria de programari --- 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 de programes d'ordinador --- Enginyeria del software --- Enginyeria informàtica --- Enginyeria --- Programació (Ordinadors) --- Arquitectura del programari --- Desenvolupament de programari --- Mètodes formals (Informàtica) --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Sistemes informàtics --- Teledocumentació --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació