| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465406103316 |
|
|
Titolo |
Advances in Petri Nets 1990 [[electronic resource] /] / edited by Grzegorz Rozenberg |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1991.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 516 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 483 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Algorithms |
Computer logic |
Microprocessors |
Computer communication systems |
Theory of Computation |
Computation by Abstract Devices |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
Processor Architectures |
Computer Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
A survey of behaviour and equivalence preserving refinements of petri nets -- A distributed simulator for high order Petri nets -- Petri nets with uncertain markings -- Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows -- Improving the linearly based characterization of P/T nets -- Linear invariants in commutative high level nets -- Vicinity respecting net morphisms -- Regular stochastic petri nets -- Circuits, handles, bridges and nets -- On the analysis and synthesis of free choice systems -- Petri net models of a distributed election protocol on a unidirectional ring -- Hierarchies in coloured petri nets -- Coloured petri nets: A high level language for system design and analysis -- A simulation system architecture for graph models -- A state |
|
|
|
|
|
|
|
|
|
|
|
transformation preorder over a class of EN systems -- Composition of nets via a communication medium -- ?Trellis: A system for writing and browsing petri-net-based hypertext -- Stubborn sets for reduced state space generation. |
|
|
|
|
|
|
Sommario/riassunto |
|
The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9911021154003321 |
|
|
Autore |
Reddy C. Kishor Kumar |
|
|
Titolo |
Interplay of Artificial General Intelligence with Quantum Computing : Towards Sustainability / / edited by C. Kishor Kumar Reddy, Shenson Joseph, Herat Joshi, Mariya Ouaissa, Marlia Mohd Hanafiah |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (562 pages) |
|
|
|
|
|
|
Collana |
|
Sustainable Artificial Intelligence-Powered Applications, IEREK Interdisciplinary Series for Sustainable Development, , 3005-1770 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
JosephShenson |
JoshiHerat |
OuaissaMariya |
Marlia Mohd. Hanafiah |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Sustainability |
Quantum computers |
Artificial Intelligence |
Quantum Computing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
1. Shaping Tomorrow: The Convergence of Artificial General Intelligence and Quantum Computing -- 2. Evolution of Artificial Intelligence and Quantum Computing -- 3. Architecture of Quantum Neural Networks: Design and Implementation -- 4. Quantum- Based Computing and Machine Learning Convergence: Paving the Path to Artificial General Intelligence -- 5. Synergizing Quantum Computing and Machine Learning for Superior Artificial General Intelligence -- 6. Deep dive into Generative, Federative and Explainable Models for Integrating Artificial General Intelligence into Quantum Computing -- 7. AGI: A Transformational Paradigm: Comprehension and Navigation of Future Intelligence -- 8. Enhancing Metaheuristics: The Role of Quantum-Inspired Soft Computing -- 9. Quantum Algorithms for AGI: Unlocking the Potential of Superintelligence -- 10. Ethical AI Development: Mitigating Bias in Generative Models -- 11. Future |
|
|
|
|
|
|
|
|
|
|
|
Frontiers: The Role of AGI and Quantum Computing in Solving Complex Global Problems -- 12. Toward Autonomous Quantum Systems: AGI-Driven Self-Optimization and Quantum Computing Synergy -- 13. Quantum Machine Learning for AGI: Redefining Intelligence Through Quantum Algorithms -- 14. Quantum-Enhanced Artificial General Intelligence: Bridging Computational Paradigms -- 15. Quantum-Infused Deep Learning Frameworks Utilizing Quantum-Enhanced Feature Extraction to Propel AGI -- 16. Streamflow Forecasting in the Downstream Catchment of Mahanadi River Basin using AI and Quantum Computing -- 17. Integrating Neural Networks with Quantum Chips: Converging Two Cutting-Edge Frontiers -- 18. Orchestrating Intelligence: Governance and Leadership Frameworks for Human-AGI Collaboration in Quantum Systems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book investigates the dynamic relationship between artificial general intelligence (AGI) and quantum computing. AGI refers to a form of AI capable of performing any intellectual task that a human can, while quantum computing utilizes quantum mechanics principles to process information in fundamentally different ways compared to classical computing. This interplay explores how quantum computing might enhance AGI by accelerating complex computations and optimizing learning algorithms, potentially enabling AGI systems to solve problems beyond the reach of traditional computers. It also examines the challenges and opportunities presented by combining these technologies, including theoretical implications and practical applications in advancing AI capabilities. This book examines the groundbreaking intersection of artificial general intelligence (AGI) and quantum computing. The book explores how AGI, which aims to replicate human-like cognitive abilities, can be enhanced by quantum computing's unique processing capabilities. It delves into theoretical foundations, practical applications, and potential synergies, illustrating how quantum computing could tackle complex computational challenges inherent in AGI development. By integrating these advanced technologies, the book provides a comprehensive analysis of their combined impact, offering insights into future advancements and the transformative potential of merging AGI with quantum computing. |
|
|
|
|
|
|
|
| |