LEADER 03188nam 22006492 450 001 9910453637903321 005 20160115114341.0 010 $a1-139-89206-1 010 $a1-107-46067-0 010 $a1-107-45899-4 010 $a1-107-56233-3 010 $a1-107-46478-1 010 $a1-107-47187-7 010 $a1-107-46824-8 010 $a1-139-09431-9 010 $a1-107-47291-1 035 $a(CKB)2550000001138805 035 $a(EBL)1543544 035 $a(OCoLC)862614146 035 $a(SSID)ssj0000999550 035 $a(PQKBManifestationID)12346503 035 $a(PQKBTitleCode)TC0000999550 035 $a(PQKBWorkID)10933256 035 $a(PQKB)11468431 035 $a(UkCbUP)CR9781139094313 035 $a(MiAaPQ)EBC1543544 035 $a(Au-PeEL)EBL1543544 035 $a(CaPaEBR)ebr10774111 035 $a(CaONFJC)MIL538475 035 $a(EXLCZ)992550000001138805 100 $a20131007d2013|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe psychology of contemporary art /$fGregory Minissale$b[electronic resource] 210 1$aNew York :$cCambridge University Press,$d2013. 215 $a1 online resource (xxxv, 372 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 14 Jan 2016). 311 $a1-107-01932-X 311 $a1-306-07224-7 320 $aIncludes bibliographical references and index. 327 $aMachine generated contents note: 1. Introduction; 2. Brain; 3. Body; 4. World. 330 $aWhile recent studies in neuroscience and psychology have shed light on our sensory and perceptual experiences of art, they have yet to explain how contemporary art downplays perceptual responses and, instead, encourages conceptual thought. The Psychology of Contemporary Art brings together the most important developments in recent scientific research on visual perception and cognition and applies the results of empirical experiments to analyses of contemporary artworks not normally addressed by psychological studies. The author explains, in simple terms, how neuroaesthetics, embodiment, metaphor, conceptual blending, situated cognition and extended mind offer fresh perspectives on specific contemporary artworks - including those of Marina Abramovic?, Francis Aly?s, Martin Creed, Tracey Emin, Felix Gonzales-Torres, Marcus Harvey, Mona Hatoum, Thomas Hirschorn, Gabriel Orozco, Marc Quinn and Cindy Sherman. This book will appeal to psychologists, cognitive scientists, artists and art historians, as well as those interested in a deeper understanding of contemporary art. 606 $aArt, Modern$y20th century$xPsychological aspects 606 $aArt, Modern$y21st century$xPsychological aspects 615 0$aArt, Modern$xPsychological aspects. 615 0$aArt, Modern$xPsychological aspects. 676 $a701/.1 700 $aMinissale$b Gregory$0957144 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910453637903321 996 $aThe psychology of contemporary art$92467965 997 $aUNINA LEADER 04598nam 22008175 450 001 996466298303316 005 20231211230627.0 010 $a3-030-17502-2 024 7 $a10.1007/978-3-030-17502-3 035 $a(CKB)4100000007823629 035 $a(DE-He213)978-3-030-17502-3 035 $a(MiAaPQ)EBC5920106 035 $a(Au-PeEL)EBL5920106 035 $a(OCoLC)1096325925 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/27642 035 $a(PPN)235668540 035 $a(EXLCZ)994100000007823629 100 $a20190403d2019 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTools and Algorithms for the Construction and Analysis of Systems$b[electronic resource] $e25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings, Part III /$fedited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XXVII, 258 p. 449 illus., 25 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11429 311 $a3-030-17501-4 327 $aTOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Completion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution). 330 $aThis book is Open Access under a CC BY licence. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11429 606 $aComputer science 606 $aSoftware engineering 606 $aMachine theory 606 $aComputers 606 $aProfessions 606 $aElectronic digital computers?Evaluation 606 $aComputer simulation 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aThe Computing Profession 606 $aSystem Performance and Evaluation 606 $aComputer Modelling 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aComputers. 615 0$aProfessions. 615 0$aElectronic digital computers?Evaluation. 615 0$aComputer simulation. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aThe Computing Profession. 615 24$aSystem Performance and Evaluation. 615 24$aComputer Modelling. 676 $a005.1015113 700 $aBeyer$b Dirk$4edt$01351238 702 $aBeyer$b Dirk$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHuisman$b Marieke$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKordon$b Fabrice$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSteffen$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466298303316 996 $aTools and Algorithms for the Construction and Analysis of Systems$93091235 997 $aUNISA