Choose an application

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

Quantitative methods in social research --- Artificial intelligence. Robotics. Simulation. Graphics --- Cognition --- Cognitive learning --- Distributed cognition --- Human information processing --- Multivariate analysis --- Thought and thinking --- Uncertainty (Information theory) --- Methoden en technieken --- Data processing --- statistiek --- statistiek.

Choose an application

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

Spatial Processing in Navigation, Imagery and Perception serves as a state-of-the-art platform, on which the very latest developments in spatial processing are presented. Spatial processing is centrally involved in almost any cognitive function and the neural underpinnings of spatial functions are much more complex than they have been conceived before. Studying spatial processing helps to explore how basic cognitive functions operate such as language, attention, perception, movement control and mental imagery. The processing of spatial information is distributed in complex cortical and sub-cortical structures and we are now in a position to better understand the underlying neuroanatomy and neurophysiology. This is made possible by the advent of novel techniques such as structural and functional in vivo anatomy, modeling, and sophisticated behavioral research tools. Modern neuroscientific techniques have been in many ways the catalyst of this research but there is also a revival of behavioral methods used in studies on spatial processing. It is in fact the fruitful combination of both the neuroscientific and behavioral approaches why this exciting field has progressed so far and is still progressing for many years to come. Research on spatial processing is not only restricted to basic science but rather has important applied implications. It is tremendously important to know how the human brain is accomplishing spatial tasks in real life scenarios such as driving a car, orienting oneself in large scale cities, postural control or playing various sports like baseball, soccer or tennis. Moreover, knowing more about plasticity and training related influences on spatial functions will have a huge impact on how to efficiently insert new technologies in everyday life. The findings presented in Spatial Processing in Navigation, Imagery and Perception emerge from different disciplines such as cognitive neuroscience, cognitive psychology, neuropsychology, neuroanatomy, computer science and robotics. The reader will learn to see several connections across these disciplines. Chapter authors are the most respected and internationally renowned researchers in the field. This book will be useful for experimental scientists, clinicians and graduate students.

Human information processing. --- Space perception. --- Information processing, Human --- Bionics --- Information theory in psychology --- Perception --- Spatial perception --- Spatial behavior --- Figure-ground perception --- Geographical perception --- Neurosciences. --- Consciousness. --- Neurobiology. --- Psychology, clinical. --- Cognitive Psychology. --- Neuropsychology. --- Neurosciences --- Apperception --- Mind and body --- Philosophy --- Psychology --- Spirit --- Self --- Neural sciences --- Neurological sciences --- Neuroscience --- Medical sciences --- Nervous system --- Cognitive psychology. --- Neurophysiology --- Psychophysiology --- Psychology, Cognitive --- Cognitive science

Choose an application

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

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaudemodulede?nesaprecisemathematicalmodel.Thismeans that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal speci?cation language; and • as a formal veri?cation system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a ?exible logical framework in which many di?erent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.

Computer logic. --- Rewriting systems (Computer science) --- Human information processing. --- Logique informatique --- Systèmes de réécriture (Informatique) --- Information, Traitement de l', chez l'homme --- Maude (Computer program language) --- Computer logic --- Human information processing --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Computer Science (Hardware & Networks) --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- 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 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Artificial Intelligence. --- Computer science logic --- Logic, Symbolic and mathematical --- Graph rewriting systems (Computer science) --- Term rewriting systems (Computer science) --- Programming languages (Electronic computers) --- Logic, Symbolic and mathematical.

Choose an application

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

An essential reference for the new discipline of evolutionary cognitive neuroscience that defines the field's approach of applying evolutionary theory to guide brain-behavior investigations.

Genetic Concepts --- Genetic Phenomenon --- Genetic Process --- Concept, Genetic --- Concepts, Genetic --- Genetic Concept --- Phenomena, Genetic --- Phenomenon, Genetic --- Process, Genetic --- Processes, Genetic --- Nervous Systems --- System, Nervous --- Systems, Nervous --- Biologic Phenomena --- Biological Phenomenon --- Biological Process --- Phenomena, Biological --- Phenomena, Biologic --- Phenomenon, Biological --- Process, Biological --- Processes, Biological --- Cerebrospinal Axis --- Axi, Cerebrospinal --- Axis, Cerebrospinal --- Central Nervous Systems --- Cerebrospinal Axi --- Nervous System, Central --- Nervous Systems, Central --- System, Central Nervous --- Systems, Central Nervous --- Cognitive neuroscience --- Brain --- Evolutionary psychology --- Behavior --- Cognition --- Biological Evolution --- Cognitive Science --- Neurosciences --- Psychology --- Biological Processes --- Central Nervous System --- Behavior and Behavior Mechanisms --- Mental Processes --- Biological Science Disciplines --- Genetic Processes --- Natural Science Disciplines --- Behavioral Sciences --- Psychological Phenomena and Processes --- Biological Phenomena --- Nervous System --- Genetic Phenomena --- Psychiatry and Psychology --- Behavioral Disciplines and Activities --- Phenomena and Processes --- Anatomy --- Disciplines and Occupations --- Neuroscience --- Human Anatomy & Physiology --- Health & Biological Sciences --- Psychologic Processes and Principles --- Proxemics --- Behavioral Science --- Proxemic --- Science, Behavioral --- Sciences, Behavioral --- Natural Sciences --- Physical Sciences --- Discipline, Natural Science --- Disciplines, Natural Science --- Natural Science --- Natural Science Discipline --- Physical Science --- Science, Natural --- Science, Physical --- Sciences, Natural --- Sciences, Physical --- Biologic Sciences --- Biological Science --- Science, Biological --- Sciences, Biological --- Biological Sciences --- Life Sciences --- Biologic Science --- Biological Science Discipline --- Discipline, Biological Science --- Disciplines, Biological Science --- Life Science --- Science Discipline, Biological --- Science Disciplines, Biological --- Science, Biologic --- Science, Life --- Sciences, Biologic --- Sciences, Life --- Human Information Processing --- Information Processing, Human --- Factors, Psychological --- Psychological Factors --- Psychological Side Effects --- Psychologists --- Psychosocial Factors --- Side Effects, Psychological --- Factor, Psychological --- Factor, Psychosocial --- Factors, Psychosocial --- Psychological Factor --- Psychological Side Effect --- Psychologist --- Psychosocial Factor --- Side Effect, Psychological --- Cognitive Sciences --- Science, Cognitive --- Sciences, Cognitive --- Evolution, Biological --- Cognitive Function --- Cognitions --- Cognitive Functions --- Function, Cognitive --- Functions, Cognitive --- Encephalon --- Brains --- Encephalons --- Acceptance Process --- Acceptance Processes --- Behaviors --- Process, Acceptance --- Processes, Acceptance --- Cerebrum --- Mind --- Cognitive neuropsychology --- Evolution --- Anatomies --- Molecular Biology --- Psychologic Processes --- Psychological Processes --- Phenomena, Psychological --- Processes, Psychologic --- Processes, Psychological --- Psychological Phenomenas --- Psychological Processe --- Sociobiology --- Human evolution --- Central nervous system --- Head --- Cognitive science --- Neuropsychology --- Cognitive neuroscience. --- Evolutionary psychology. --- Evolution. --- Neurosciences cognitives --- Cerveau --- Psychologie évolutionniste. --- NEUROSCIENCE/General --- BIOMEDICAL SCIENCES/Evolution

Choose an application

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

Affective and dynamic functions --- Complementary Therapies --- Medicine, East Asian Traditional --- Mental Processes --- Behavior and Behavior Mechanisms --- Psychological Phenomena and Processes --- Therapeutics --- Psychiatry and Psychology --- Medicine, Traditional --- Analytical, Diagnostic and Therapeutic Techniques and Equipment --- Culture --- Anthropology, Cultural --- Anthropology --- Social Sciences --- Anthropology, Education, Sociology and Social Phenomena --- Medicine, Chinese Traditional --- Acupuncture Therapy --- Emotions --- Mind-Body Relations, Metaphysical --- Body-Mind Relations --- Soul-Body Relations --- Mind-Body Relations (Metaphysics) --- Mind-Body Relations (Non-Physiology) --- Body Mind Relations --- Body-Mind Relation --- Metaphysical Mind-Body Relation --- Metaphysical Mind-Body Relations --- Mind Body Relations (Metaphysics) --- Mind Body Relations (Non Physiology) --- Mind Body Relations, Metaphysical --- Mind-Body Relation (Metaphysics) --- Mind-Body Relation (Non-Physiology) --- Mind-Body Relation, Metaphysical --- Relation, Body-Mind --- Relation, Metaphysical Mind-Body --- Relation, Mind-Body (Metaphysics) --- Relation, Mind-Body (Non-Physiology) --- Relation, Soul-Body --- Relations, Body-Mind --- Relations, Metaphysical Mind-Body --- Relations, Mind-Body (Metaphysics) --- Relations, Mind-Body (Non-Physiology) --- Relations, Soul-Body --- Soul Body Relations --- Soul-Body Relation --- Regret --- Feelings --- Emotion --- Feeling --- Regrets --- Acupotomy --- Acupuncture Treatment --- Pharmacoacupuncture Therapy --- Pharmacoacupuncture Treatment --- Therapy, Acupuncture --- Acupotomies --- Acupuncture Treatments --- Therapy, Pharmacoacupuncture --- Treatment, Acupuncture --- Treatment, Pharmacoacupuncture --- Acupuncture --- Chinese Traditional Medicine --- Traditional Chinese Medicine --- Traditional Tongue Assessment --- Traditional Tongue Diagnosis --- Chinese Medicine, Traditional --- Chung I Hsueh --- Traditional Medicine, Chinese --- Zhong Yi Xue --- Hsueh, Chung I --- Tongue Assessment, Traditional --- Tongue Diagnoses, Traditional --- Tongue Diagnosis, Traditional --- Traditional Tongue Assessments --- Traditional Tongue Diagnoses --- Medicine, Kampo --- Science, Social --- Sciences, Social --- Social Science --- Cultural Anthropology --- Material Culture --- Ethnography --- Culture, Material --- Ethnographies --- Material Cultures --- Qualitative Research --- Beliefs --- Cultural Background --- Cultural Relativism --- Customs --- Background, Cultural --- Backgrounds, Cultural --- Belief --- Cultural Backgrounds --- Cultural Relativisms --- Cultures --- Relativism, Cultural --- Relativisms, Cultural --- Indigenous Medicine --- Primitive Medicine --- Traditional Medicine --- Ethnomedicine --- Folk Medicine --- Folk Remedies --- Home Remedies --- Medicine, Folk --- Medicine, Indigenous --- Medicine, Primitive --- Folk Remedy --- Home Remedy --- Remedies, Folk --- Remedies, Home --- Remedy, Folk --- Remedy, Home --- Traditional Pulse Diagnosis --- Traditional Medicine Practitioners --- Materia Medica --- Nostrums --- Pharmacognosy --- Plants, Medicinal --- Ethnopharmacology --- Therapy --- Treatment --- Therapeutic --- Therapies --- Treatments --- Disease --- Behavior And Behavior Mechanism --- Human Information Processing --- Information Processing, Human --- East Asian Medicine --- East Asian Traditional Medicine --- Medicine, East Asia --- Medicine, Far East --- Medicine, Oriental --- Medicine, Oriental Traditional --- Medicine, Traditional, East Asia --- Oriental Medicine --- Oriental Medicine, Traditional --- Oriental Traditional Medicine --- Traditional East Asian Medicine --- Traditional Far Eastern Medicine --- Traditional Medicine, Oriental --- Traditional Medicine, East Asia --- Asia Medicines, East --- East Asia Medicine --- East Asia Medicines --- East Asian Medicines --- East Medicine, Far --- East Medicines, Far --- Far East Medicine --- Far East Medicines --- Medicine, East Asian --- Medicine, Traditional Oriental --- Medicines, East Asia --- Medicines, Far East --- Traditional Oriental Medicine --- Traditional Oriental Medicines --- Alternative Therapies --- Therapy, Alternative --- Therapy, Complementary --- Alternative Medicine --- Complementary Medicine --- Medicine, Alternative --- Medicine, Complementary --- Therapies, Alternative --- Therapies, Complementary --- therapy