LEADER 03494nam 2200685 450 001 9910788950603321 005 20230803201411.0 010 $a3-99043-578-7 024 7 $a10.1515/ambra.9783990435786 035 $a(CKB)3390000000063126 035 $a(EBL)1809979 035 $a(SSID)ssj0001432447 035 $a(PQKBManifestationID)11781683 035 $a(PQKBTitleCode)TC0001432447 035 $a(PQKBWorkID)11388896 035 $a(PQKB)11122804 035 $a(DE-B1597)443753 035 $a(OCoLC)903962453 035 $a(OCoLC)979897119 035 $a(DE-B1597)9783990435786 035 $a(Au-PeEL)EBL1809979 035 $a(CaPaEBR)ebr11004453 035 $a(MiAaPQ)EBC1809979 035 $a(EXLCZ)993390000000063126 100 $a20150119h20142014 uy 0 101 0 $aeng 135 $aurnn#---|u||u 181 $ctxt 182 $cc 183 $acr 200 00$aDomesticating symbols $emetalithikum II /$fedited by Vera Bu?hlmann, Ludger Hovestadt ; Leah Whitman-Salkin, copy editing 210 1$aVienna, Germany :$cAmbra V,$d2014. 210 4$d©2014 215 $a1 online resource (224 p.) 225 0 $aApplied Virtuality Book Series ;$v2 300 $aDescription based upon print version of record. 311 0 $a3-99043-558-2 320 $aIncludes bibliographical references. 327 $tFront matter --$tTABLE OF CONTENTS --$tOn The Book Series --$tIntroduction - Domesticating Symbols --$tI. Mechanical Justice /$rNiggli, Marcel Alexander / Muskens, Louis Frédéric --$tII. Toward A Fantastic Genealogy Of The Articulable /$rHovestadt, Ludger --$tIII. Two Images Of Global Violence /$rLambert, Gregg --$tIV. Arché, Arcanum, and Articulation: The Universal And Its Characteristics /$rBühlmann, Vera --$tV. Displacement: The Impossible Interlude Between Man and Machine /$rTholen, Georg Christoph --$tVI. Media Code - Dialogues On Digital Society /$rDoelker, Christian --$tImage References 330 $adomesticating symbols looks at the entropic dissolution of symbolic structures we are experiencing today and explores various approaches towards learning to create code. Photovoltaics and its capacity to capture energy by coding instead of exploitation of resources, and of integrating in additional or surplus quantities of energy into the ecosphere of the planet's natural balance is the central focus of this publication. Energy thereby also encompasses the genuinely abstract format of electricity, which makes it possible to convert any form of energy into any other form. This is the second volume of the Applied Virtuality book series based on the Metalithicum Conferences by the Laboratory of Applied Virtuality at the Chair for Computer Aided Architectural Design, Swiss Federal Institute of Technology (ETH) Zurich. 410 0$aApplied Virtuality Book Series 606 $aCoding theory 606 $aSigns and symbols$xData processing 606 $aInformation technology 606 $aPhotovoltaic power generation 615 0$aCoding theory. 615 0$aSigns and symbols$xData processing. 615 0$aInformation technology. 615 0$aPhotovoltaic power generation. 676 $a621.31244 702 $aBu?hlmann$b Vera 702 $aHovestadt$b Ludger 702 $aWhitman-Salkin$b Leah 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910788950603321 996 $aDomesticating symbols$93673233 997 $aUNINA LEADER 03602nam 22006015 450 001 9910754095403321 005 20231021232137.0 010 $a3-031-43345-9 024 7 $a10.1007/978-3-031-43345-0 035 $a(MiAaPQ)EBC30806104 035 $a(Au-PeEL)EBL30806104 035 $a(DE-He213)978-3-031-43345-0 035 $a(PPN)272913537 035 $a(CKB)28540027300041 035 $a(EXLCZ)9928540027300041 100 $a20231021d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRecent Trends in Algebraic Development Techniques $e26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28?30, 2022, Revised Selected Papers /$fedited by Alexandre Madeira, Manuel A. Martins 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (186 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13710 311 08$aPrint version: Madeira, Alexandre Recent Trends in Algebraic Development Techniques Cham : Springer,c2023 9783031433443 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Taming Distributed System Complexity through Formal Patterns -- Why Adjunctions Matter ? a Functional Programmer Perspective -- Standard Contributions -- A Computability Perspective on (Verified Machine Learning -- A Presheaf Semantics for Quantifie Temporal Logics -- Shades of Iteration: from Elgot to Kleene -- Automated QoS-Aware Service Selection Based on Soft Constraints -- Runtime Composition Of Systems of Interacting Cyber-Physical Components -- SpeX: a rewriting-based formal specificatio environment. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems). 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13710 606 $aComputer science 606 $aMachine theory 606 $aComputer programming 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aProgramming Techniques 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer programming. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aProgramming Techniques. 676 $a005.1 702 $aMadeira$b Alexandre 702 $aMartins$b Manuel A. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910754095403321 996 $aRecent Trends in Algebraic Development Techniques$9771917 997 $aUNINA