Choose an application

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

Demostració automàtica de teoremes --- Programes d'ordinador --- Fitxers informàtics --- Programació (Ordinadors) --- Programari --- Bots (Programes d'ordinador) --- Compiladors (Programes d'ordinador) --- Editors de text (Programes d'ordinador) --- Fulls de càlcul --- Sistemes operatius (Ordinadors) --- ATP --- Deducció automàtica --- Prova automàtica de teoremes --- Intel·ligència artificial --- Teoria de la prova --- Automatic theorem proving --- 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ó