Search

In his 1979 essay The Postmodern Condition: A Report on Knowledge philosopher Jean-François Lyotard noted that the advent of the computer opened up a stage of progress in which knowledge has become a commodity. Modernity and postmodernity appear as two stages of a process resulting from the conflict of science and narrative. As science attempts to distance itself from narrative, it must create its own legitimacy. This paper takes up this challenge with a focus on the question of imagery. The image is precisely what modern science seeks to free itself from in its quest for absolute transparency. This transparency is examined from the perspective of architecture, drawing on arguments from philosophy, quantum mechanics, theology and information theory. Natural science in the context of postmodernism Quantum mechanics and information theory New volume in the Applied Virtuality Book Series ; In his 1979 essay The Postmodern Condition: A Report on Knowledge philosopher Jean-François Lyotard noted that the advent of the computer opened up a stage of progress in which knowledge has become a commodity. Modernity and postmodernity appear as two stages of a process resulting from the conflict of science and narrative. As science attempts to distance itself from narrative, it must create its own legitimacy. This paper takes up this challenge with a focus on the question of imagery. The image is precisely what modern science seeks to free itself from in its quest for absolute transparency. This transparency is examined from the perspective of architecture, drawing on arguments from philosophy, quantum mechanics, theology and information theory. Natural science in the context of postmodernism Quantum mechanics and information theory New volume in the Applied Virtuality Book Series, Naturwissenschaft im Zeichen der Postmoderne Quantenmechanik und Informationstheorie Neuer Band der Reihe Applied Virtuality Book Series In seinem 1979 erschienenen Essay Das postmoderne Wissen stellte Jean-François Lyotard fest, dass die Einführung des Computers ein Stadium des Fortschritts definiert, in dem Wissen zur Ware wird. Moderne und Postmoderne erscheinen als zwei Stadien eines Prozesses, der aus dem Konflikt der Wissenschaft mit den Narrativen resultiert: Während die Wissenschaft versucht, sich vom Narrativen zu distanzieren, muss sie ihre eigene Legitimation schaffen. Die vorliegende Abhandlung greift die Herausforderung im Zeichen des Bildes auf. Das Bild ist genau das, wovon sich die moderne Wissenschaft auf der Suche nach absoluter Transparenz zu befreien versucht. Diese Transparenz wird unter architektonischen Gesichtspunkten untersucht, die von der Philosophie bis zur Quantenmechanik, von der Theologie bis zur Informationstheorie reichen.

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. .

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI for health, smart urban environments, assistive technologies, chronic disease management, and coaching and health telematics systems.

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.

This open access book is compilation of selected papers from 2nd International Conference on Innovative Solutions in Hydropower Engineering and Civil Engineering (HECE 2022). The work focuses on novel techniques for topics in hydropower and sustainable development, maximizing and communicating the multiple benefits of hydro, the food-water-energy nexus approach, synergy among the renewables, making hydro more competitive (managing and mitigating risk), regional development through power trading, hydropower technology, civil engineering, materials for dams and appurtenant works, advances in design and construction techniques, recent developments in dam construction, monitoring and engineering for safe structures and sites. Hydropower offers significant potential for carbon emissions reductions. The installed capacity of hydropower by the end of 2008 contributed 16% of worldwide electricity supply, and hydropower remains the largest source of renewable energy in the electricity sector. The contents make valuable contributions to academic researchers, engineers in the industry, and regulators of hydropower and civil engineering authorities.

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

This open access book LNCS 13353 constitutes the proceedings of the 7th International Conference on Electronic Voting, E-Vote-ID 2022, held in Bregenz, Austria, in October 2022. The 10 full papers presented were carefully reviewed and selected from 39 submissions. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and usability through to practical experiences and applications of voting systems, also including legal, social, or political aspects, amongst others.

This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in Biomedical Image Quantification (QUBIQ). These were held jointly at the 23rd Medical Image Computing for Computer Assisted Intervention Conference, MICCAI 2020, in September 2021. The 91 revised papers presented in these volumes were selected form 151 submissions. Due to COVID-19 pandemic the conference was held virtually. This is an open access book.