| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910463604903321 |
|
|
Titolo |
Mind in architecture : neuroscience, embodiment, and the future of design / / edited by Sarah Robinson and Juhani Pallasmaa ; contributors, Thomas D. Albright [and twelve others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge, Massachusetts ; ; London, England : , : The MIT Press, , 2015 |
|
©2015 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (270 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Neurosciences in architecture |
Architecture - Human factors |
Architectural design - Psychological aspects |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"This book has its origins at the Minding Design symposium that took place at Taliesin West in November, 2012, an event sponsored by the Frank Lloyd Wright Foundation and Taliesin, the Frank Lloyd Wright School of Architecture"--Page ix. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Acknowledgments; Introduction: Survival Through Design; 1 "Know Thyself": Or What Designers Can Learn From the Contemporary Biological Sciences; 2 The Embodied Meaning of Architecture; 3 Body, Mind, and Imagination: The Mental Essence of Architecture; 4 Toward a Neuroscience of the Design Process; 5 Tending to the World; 6 Architecture and Neuroscience: A Double Helix; 7 Nested Bodies; 8 Embodied Simulation, Aesthetics, and Architecture: An Experimental Aesthetical Approach; 9 From Intuition to Immersion: Architecture and Neuroscience; 10 Neuroscience for Architecture |
11 Mood and Meaning in ArchitectureContributors; Figure Credits; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
"Although we spend more than ninety percent of our lives inside buildings, we understand very little about how the built environment affects our behavior, thoughts, emotions, and well-being. We are biological beings whose senses and neural systems have developed |
|
|
|
|
|
|
|
|
|
|
|
|
|
over millions of years; it stands to reason that research in the life sciences, particularly neuroscience, can offer compelling insights into the ways our buildings shape our interactions with the world. This expanded understanding can help architects design buildings that support both mind and body. In Mind in Architecture, leading thinkers from architecture and other disciplines, including neuroscience, cognitive science, psychiatry, and philosophy, explore what architecture and neuroscience can learn from each other. They offer historical context, examine the implications for current architectural practice and education, and imagine a neuroscientifically informed architecture of the future. Architecture is late in discovering the richness of neuroscientific research. As scientists were finding evidence for the bodily basis of mind and meaning, architecture was caught up in convoluted cerebral games that denied emotional and bodily reality altogether. This volume maps the extraordinary opportunity that engagement with cutting-edge neuroscience offers present-day architects"--MIT CogNet. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996418291303316 |
|
|
Titolo |
Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2020] |
|
©2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 12302 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems. |
|
|
|
|
|
|
|
| |