| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910580176203321 |
|
|
Autore |
Manto Mario |
|
|
Titolo |
The New Revolution in Psychology and the Neurosciences : With an Interdisciplinary Approach to the Role of the Cerebellum / / by Mario Manto, Cherie Marvel, Larry Vandervert |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (135 pages) |
|
|
|
|
|
|
Collana |
|
Behavioral Science and Psychology Series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Psychology |
Cognitive psychology |
Cognitive neuroscience |
Psychobiology |
Human behavior |
Cognition |
Behavioral Sciences and Psychology |
Cognitive Psychology |
Cognitive Neuroscience |
Behavioral Neuroscience |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Chapter 1: What is the revolutionary conception of the cerebellum-driven working memory and language of Homo sapiens? -- Chapter 2: How, exactly, did this revolutionary concept of the human mind come about? -- Chapter 3: What, exactly, is prominent role of the cerebellum in everyday learning and thinking? -- Chapter 4:How did and how does the cerebellum prominently contribute to the development of the mind of both ancient and modern peoples? -- Chapter 5: Without the contribution of the cerebellum, we could not be creative—the cerebellar origin of sudden insight (the a-ha! phenomenon) in working memory -- Chapter 6: Without the contribution of the cerebellum, we would not have mathematics. -- Einstein was smart, but his cerebellum actually guided his super superior thinking -- Chapter 7: How can people play a |
|
|
|
|
|
|
|
|
|
|
|
complex piano piece (in the cerebellum) and carry on an equally complex conversation at the same time? -- Chapter 8: The crucial role of the cerebellum in the development of the signature moves of sports heroes -- Chapter 9: How does the cerebellum make play more skillful, improve personality and make one more creative? -- Chapter 10: What crucial role does the cerebellum play in mental disorders?. |
|
|
|
|
|
|
Sommario/riassunto |
|
Historically researchers of neuroscience and psychology have believed that the cerebral cortex produces the unique mental capacities of human beings. However, a prevalence of brain-imaging evidence now shows that the cerebral cortex, while the seat of our everyday experience (notably in working memory), is not predominant in actually formulating our amazing capabilities. Rather, the achievements that mark humans as “Homo sapiens” originate in the cerebellum which increased three- to fourfold in size and acquired massive cognitive and social optimization capabilities over the last million years. Thus, through its optimization of experience and skill of the cerebral cortex, it was the cerebellum that was and is predominant in producing culture, language, mathematics, creativity, and extreme levels of skill in all areas from sports to computer science and art. These optimizing functions of the cerebellum are shown in the cases of Albert Einstein, Wolfgang Amadeus Mozart, Maryam Mirzakhani, and the predictive powers of Stonehenge. This book fills a critical role in bringing courses up-to-date with the profound, basic changes this newly understood predominant role of the cerebellum provides for understanding the mechanisms related to all topics in psychology and neuroscience. It is critical that this “new revolution in psychology and the neurosciences” be introduced and reviewed in courses that are part of both undergraduate and graduate studies in psychology and neuroscience. This text might also be of use to courses in anthropology and cross-disciplinary studies as the cerebellum was critically involved in the evolution of cognitive and social behaviour. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484499503321 |
|
|
Titolo |
Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / / edited by Zhong Shao |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 576 p. 161 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8410 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Computer science |
Software engineering |
Computer programming |
Compilers and Interpreters |
Computer Science Logic and Foundations of Programming |
Software Engineering |
Theory of Computation |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and author index. |
|
|
|
|
|
|
Nota di contenuto |
|
Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional Equality for All -- Verified Compilation for Shared-Memory C -- Verifying an Open Compiler Using Multi-language Semantics -- Impredicative Concurrent Abstract Predicates -- Local Reasoning for the POSIX File System -- A Coq Formalization of the Relational Data Model -- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from |
|
|
|
|
|
|
|
|
|
|
|
Small-Step Semantics -- Communicating State Transition Systems for Fine-Grained Concurrent Resources -- Checking Linearizability of Encapsulated Extended Operations -- Bounded Linear Types in a Resource Semiring -- A Core Quantitative Coeffect Calculus -- Measurements in Proof Nets as Higher-Order Quantum Circuits -- Automatic Termination Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using Alternative Paths -- The Network as a Language Construct -- Resolving Non-determinism in Choreographies -- A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join -- Targeted Update – Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis -- Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis. |
|
|
|
|
|
|
|
| |