| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910483187203321 |
|
|
Titolo |
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / / edited by Javier Esparza, Andrzej S. Murawski |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVII, 568 p. 59 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10203 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Machine theory |
Compilers (Computer programs) |
Software engineering |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
Compilers and Interpreters |
Software Engineering |
Theory of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Coherence Spaces and Higher-Order Computation -- Coherence Spaces and Uniform Continuity -- The Free Exponential Modality of Probabilistic Coherence Spaces -- From Qualitative to Quantitative Semantics by Change of Base -- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.-Algebra and Coalgebra -- Algebra, coalgebra, and minimization in polynomial differential equations -- Equational Theories of Abnormal Termination Based on Kleene Algebra -- Companions, Codensity and Causality -- Nominal Automata with Name Binding -- Games and Automata -- On the existence of weak subgame perfect equilibria -- Optimal Reachability |
|
|
|
|
|
|
|
|
|
|
|
in Divergent Weighted Timed Games -- Bounding Average-energy Games -- Logics of repeating values on data trees and branching counter systems -- Automata, Logic and Formal Languages -- Degree of sequentiality of weighted automata -- Emptiness under isolation and the value problem for hierarchical probabilistic automata -- Partial Derivatives for Context-Free Languages -- Dynamic Complexity of the Dyck Reachability -- Proof Theory -- Cyclic Arithmetic is Equivalent to Peano Arithmetic -- Martin-Lof's Inductive Definitions are Not Equivalent to Cyclic Proofs -- Probability -- On the relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context -- Computing continuous time Markov chains as transformers of unbounded observation functions -- Pointless Learning -- On Higher-Order Probabilistic Subrecursion. – Concurrency -- A Truly Concurrent Game Model of the Asynchronous ᴨ-Calculus -- Local Model Checking in a Logic for True Concurrency -- The Paths to Choreography Extraction -- On the Undecidability of Asynchronous Session Subtyping -- Lambda Calculus and Constructive Proof -- A Lambda-Free Higher-Order Recursive Path Order -- Automated Constructivization of Proofs -- Semantics and Category Theory -- A Light Modality for Recursion -- Unifying Guarded and Unguarded Iteration -- Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type -- On the Semantics of Intensionality. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910917789003321 |
|
|
Autore |
Reddy C. Kishor Kumar |
|
|
Titolo |
The Rise of Quantum Computing in Industry 6.0 Towards Sustainability : Revolutionizing Smart Disaster Management / / edited by C Kishor Kumar Reddy, Anindya Nag, Mariya Ouaissa, Bharat Bhushan, Marlia Mohd Hanafiah |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2024.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (286 pages) |
|
|
|
|
|
|
Collana |
|
Advances in Science, Technology & Innovation, IEREK Interdisciplinary Series for Sustainable Development, , 2522-8722 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
NagAnindya |
OuaissaMariya |
BhushanBharat |
Marlia Mohd. Hanafiah |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Quantum computers |
Computer engineering |
Computer networks |
Computer Science |
Quantum Computing |
Computer Engineering and Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Chapter 1. Implementing Advanced Technologies for Disaster Management in the Age of Industry 6.0 Strategies and Best Practices Using Quantum Computing.-Chapter 2. Disaster Management in the Era of Industry 6.0: Leveraging Quantum Computing for Enhanced Resilience and Sustainability -- Chapter 3. Quantum Computing and AI: Synergizing for Sustainable Disaster Management in Industry 6.0 -- Chapter 4. Navigating the Intersection of Industry 6.0, Quantum Computing, and Disaster Management: Consumer Insights and Technological Impact -- Chapter 5. Quantum-Powered Industry 6.0 Innovations for Enhanced Catastrophe Management -- Chapter 6. |
|
|
|
|
|
|
|
|
|
|
|
Leveraging Quantum Computing for Enhanced Decision Support in Disaster Management -- Chapter 7. Impact of Quantum Computing on health Informatics for Disaster Preparedeness -- Chapter 8. Quantum-based predictive modelling for extreme weather events -- Chapter 9. Utilizing Quantum Computing for Enhanced Natural Disaster Prediction and Mitigation Strategies -- Chapter 10. Advancing Disaster Management in Industry 6.0: The Role of DNA Sequencing Sensors and Quantum Computing in Hyperspectral Image Analysis -- Chapter 11. An Empirical Study into Quantum Machine Learning for Precise and Effective Weather Forecasting -- Chapter 12. Quantum-Enhanced Strategies for Optimizing Disaster Response: A Machine Learning Approach -- Chapter 13. Quantum Computing based Climate Change Mitigation for Disaster Management in Industry 6.0 -- Chapter 14. Cyber-Physical Systems Security and Quantum Computing Applications in Disaster Recovery for Industry 6.0 -- Chapter 15. Quantum LSTM-Based Deep Learning and Hybrid Hydrodynamic Modeling of Mahanadi River Network -- Chapter 16. The Intersection of Quantum Computing and Disaster Management. |
|
|
|
|
|
|
Sommario/riassunto |
|
The proposed book offers a thorough examination of the revolutionary capabilities of quantum computing in the context of Industry 6.0, with a specific emphasis on its use in disaster management. The aim of this proposed book is to clarify how quantum computing, in conjunction with other Industry 6.0 technologies, might profoundly transform our comprehension, preparedness, and response to natural disasters. In the era of Industry 6.0, which is defined by the integration of cyber-physical systems and modern technology, there is a pressing need for creative solutions to tackle the increasing difficulties caused by natural disasters. This proposed book explores the distinctive characteristics and capacities of quantum computing that make it especially suitable for improving disaster management procedures. The proposed book examines the potential of quantum algorithms to enhance resource allocation, enhance forecasting precision, and facilitate real-time decision-making in the context of rapidly changing crisis scenarios. This proposed book proposes a comprehensive strategy for catastrophe management that is adaptable, robust, and efficient by utilizing quantum computing in conjunction with other advanced technologies like quantum computing, artificial intelligence, the Intelligent Internet of Things. This proposed book offers a comprehensive analysis of the specific ways in which quantum computing can be utilized in different areas of disaster management. It covers topics such as risk assessment, early warning systems, response coordination, and infrastructure resilience. By examining real-world case studies and examples, readers can acquire valuable insights into the practical implementation and effectiveness of quantum-powered crisis management solutions, showcasing their potential impact. This proposed book acknowledges the ethical consequences of implementing sophisticated technologies in disaster management. It focuses on important ethical and societal factors, including data privacy, algorithmic bias, and fair access to technology. The aim is to ensure that quantum-powered solutions prioritize ethical principles and cater to the requirements of all communities. This proposed book provides readers with a clear understanding of the potential areas for future study, innovation, and collaboration in the field of quantum-powered crisis management systems. By doing so, it enables readers to stay updated on current trends and actively contribute to the continuous development of these solutions. |
|
|
|
|
|
|
|
| |