{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":50,"n_cols":5,"rows_kept":50,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[12,2,12,3],[13,2,13,3],[17,2,17,3],[20,2,20,3],[20,4,20,5],[21,2,21,3],[21,4,21,5],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[31,2,31,3],[32,2,32,3],[42,2,42,3],[43,2,43,3],[47,2,47,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910453625803321"]
[null,null,"Autore",null,"Harrell D. Fox"]
[null,null,"Titolo",null,"Phantasmal media : an approach to imagination, computation, and expression / / D. Fox Harrell"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge, Massachusetts : , : MIT Press, , [2013]"]
[{"$nulls":4},"[Piscataqay, New Jersey] : , : IEEE Xplore, , [2013]"]
[null,null,"ISBN",null,"0-262-31766-4"]
[null,null,"Descrizione fisica",null,"1 online resource (441 p.)"]
[null,null,"Disciplina",null,"303.48/34"]
[null,null,"Soggetti",null,"Computers and civilization"]
[{"$nulls":4},"Creation (Literary, artistic, etc.)"]
[{"$nulls":4},"New media art"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Defining phantasms -- Imagining and computing phantasms -- Subjective computing -- Expressive epistemologies -- Polymorphic poetics -- Cultural computing -- Cultural phantasms -- Integrative cultural systems -- Critical computing -- Agency play -- Critical-computational empowerment -- Conclusion -- Phantasmal media and the human condition."]
[null,null,null,"Sommario/riassunto","In Phantasmal Media, D. Fox Harrell considers the expressive power of computational media. He argues, forcefully and persuasively, that the great expressive potential of computational media comes from the ability to construct and reveal phantasms -- blends of cultural ideas and sensory imagination. These ubiquitous and often-unseen phantasms -- cognitive phenomena that include sense of self, metaphors, social categories, narrative, and poetic thinking -- influence almost all our everyday experiences. Harrell offers an approach for understanding and designing computational systems that have the power to evoke these phantasms, paying special attention to the exposure of oppressive phantasms and the creation of empowering ones. He argues for the importance of cultural content, diverse worldviews, and social values in computing. The expressive power of phantasms is not purely aesthetic, he contends; phantasmal media can express and construct the types of meaning central to the human condition.Harrell discusses, among other topics, the phantasm as an "]
[{"$nulls":4},"orienting perspective for developers; expressive epistemologies, or data structures based on subjective human worldviews; morphic semiotics (building on the computer scientist Joseph Goguen's theory of algebraic semiotics); cultural phantasms that influence consensus and reveal other perspectives; computing systems based on cultural models; interaction and expression; and the ways that real-world information is mapped onto, and instantiated by, computational data structures.The concept of phantasmal media, Harrell argues, offers new possibilities for using the computer to understand and improve the human condition through the human capacity to imagine."]
[null,"2.","Record Nr.",null,"UNINA9910484097603321"]
[null,null,"Titolo",null,"Reliable Software Technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009"]
[null,null,"ISBN",null,"3-642-01924-2"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 283 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering, , 2945-9168 ; ; 5570"]
[null,null,"Classificazione",null,"DAT 263f"]
[{"$nulls":4},"DAT 343f"]
[{"$nulls":4},"DAT 356f"]
[{"$nulls":4},"SS 4800"]
[null,null,"Disciplina",null,"005.13322gerDNB"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Electronic digital computers - Evaluation"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"System Performance and Evaluation"]
[{"$nulls":4},"Hardware Performance and Reliability"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Requirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML "]
[{"$nulls":4},"State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education."]