| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910741150203321 |
|
|
Autore |
Pykacz Jarosław |
|
|
Titolo |
Quantum Physics, Fuzzy Sets and Logic : Steps Towards a Many-Valued Interpretation of Quantum Mechanics / / by Jarosław Pykacz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (71 p.) |
|
|
|
|
|
|
Collana |
|
SpringerBriefs in Physics, , 2191-5423 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Quantum theory |
Logic, Symbolic and mathematical |
Mathematical physics |
Quantum Physics |
Mathematical Logic and Foundations |
Mathematical Logic and Formal Languages |
Mathematical Physics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction -- A brief survey of main interpretations of quantum mechanics -- A brief survey of many-valued logics -- Fuzzy sets and many-valued logics -- Many-valued logics in quantum mechanics -- Birkhoff–von Neumann quantum logic -- Birkhoff–von Neumann quantum logic as infinite-valued Łukasiewicz logic -- Perspectives -- The many-valued interpretation of quantum mechanics. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version of Łukasiewicz infinite-valued logic. It begins with a short survey of main interpretations of quantum mechanics already proposed, as well as various models of many-valued logics and previous attempts to apply them for the description of quantum phenomena. The prospective many-valued interpretation of quantum mechanics is soundly based on a theorem concerning the isomorphic representation of Birkhoff-von Neumann quantum logic in the form of a special Łukasiewicz infinite-valued logic endowed with partially defined conjunctions and disjunctions. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910751382503321 |
|
|
Autore |
Giessen Hans |
|
|
Titolo |
Johannes Gutenberg and the Shadow of Bi Sheng : How Language Developed. Why Writing Developed in China – and Printing in Europe. And Whether That Can Tell Us Anything for the Future. / / by Hans Giessen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer VS, , 2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (131 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Europe - History |
China - History |
Asia - Languages |
Language and languages |
European History |
History of China |
Asian Languages |
Language History |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Children from the wild, children without language -- Pidgin and Creole -- Preconditions and Self Organization -- I, Robot -- To Hear and to Speak -- To Speak and to Think -- Hunters and Gatherers -- The Languages of Hunter-Gatherers -- The Neolithic Revolution -- Hierarchies -- Pictography -- The Rebus Principle -- Syllabary -- Finally: the Alphabet -- Where printing was invented -- The Shadow of Bi Sheng: Seal, Paper, Ink – and the Press -- Johannes Gutenberg -- Current Developments -- A final thought -- References -- Figures. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Without language, not much else would exist: no writing, no computer – as a matter of fact, no technical or medical progress that make our lives less painful, and easier indeed; but also not some horrors that characterize our world. In fact, language is what defines humans and |
|
|
|
|
|
|
|
|
|
|
|
|
distinguishes them from other living beings – and is the basis of all other developments. How is it possible that something as complex and fascinating as 'language' has come into being at all? How does language 'work'? And how did it develop? What is common to all languages – and why are there so many? Further questions are how man began to write, and how printing developed – in which languages? Why not in any language? And does this teach us anything for further developments? In trying to answer these and other questions, we experience an exciting history of scientific research. The Author Hans Giessen is a double habilitated professor and affiliated with the University of Helsinki (Finland), Jan Kochanowski University in Kielce (Poland), and Saarland University in Saarbrücken (Germany). He was knighted, as a Chevalier de l’Ordre national du Mérite, by the French president. His works have been translated into several languages. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483514603321 |
|
|
Titolo |
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Revised Papers / / edited by Tony Givargis, Stefano Russo |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 432 p.) |
|
|
|
|
|
|
Collana |
|
Information Systems and Applications, incl. Internet/Web, and HCI, , 2946-1642 ; ; 5287 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer networks |
Database management |
Computers, Special purpose |
Microcomputers |
Electronic data processing - Management |
Application software |
Computer Communication Networks |
Database Management |
Special Purpose and Application-Based Systems |
Personal Computing |
IT Operations |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Model-Driven Development -- Using UML 2.1 to Model Multi-agent Systems -- Designing Fault-Tolerant Component Based Applications with a Model Driven Approach -- Model Based Synthesis of Embedded Software -- Formal Specification of Gateways in Integrated Architectures -- Model-Integrated Development of Cyber-Physical Systems -- Middleware -- Towards a Middleware Approach for a Self-configurable Automotive Embedded System -- Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity -- Service Orchestration Using the Chemical Metaphor -- Guiding Organic Management in a Service-Oriented Real-Time Middleware Architecture -- Self-describing and Data Propagation Model for Data Distribution Service -- Real Time -- Improving Real-Time Performance of a Virtual Machine Monitor Based System -- A Two-Layered Management Architecture for Building Adaptive Real-Time Systems -- Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning -- An Operating System for a Time-Predictable Computing Node -- Data Services in Distributed Real-Time Embedded Systems -- Quality of Service and Performance -- QoS-Adaptive Router Based on Per-Flow Management over NGN -- Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults -- Cost-Performance Tradeoff for Embedded Systems -- Resolving Performance Anomaly Using ARF-Aware TCP -- Applications -- Context-Aware Deployment of Services in Public Spaces -- An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems -- Cyber Biosphere for Future Embedded Systems -- Leveraging GIS Technologies for Web-Based Smart Places Services -- Pervasive and Mobile Systems -- VeryIDX - A Digital Identity Management System for Pervasive Computing Environments -- Delay-Aware Mobile Transactions.-An Operating System Architecture for Future Information Appliances -- M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks -- Wireless Embedded Systems -- Toward Integrated Virtual Execution Platform for Large-Scale Distributed Embedded Systems -- A Novel Approach for Security and Robustness in Wireless Embedded Systems -- The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies -- RG-EDF: An I/O Scheduling Policy for Flash Equipped Sensor Devices -- Methods for Increasing Coverage in Wireless Sensor Networks -- Synthesis, Verification and Protection -- Locks Considered Harmful: A Look at Non-traditional Synchronization -- From Model Driven Engineering to Verification Driven Engineering -- On Scalable Synchronization for Distributed Embedded Real-Time Systems -- Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture -- Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book includes selected papers of the 6th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2008, held on Capri, Italy, in October 2008. The 38 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on model-driven development; middleware; real time; quality of service and performance; applications; pervasive and mobile systems: wireless |
|
|
|
|
|
|
|
|
|
|
embedded systems; synthesis, verification and protection. |
|
|
|
|
|
| |