الصفحة 10
الصفحة 10
Quantum Riemannian Geometry
Provides a comprehensive account of a modern generalisation of differential geometry in which coordinates need not commute. This requires a reinvention of differential geometry that refers only to the coordinate algebra, now possibly noncommutative, rather than to actual points.Such a theory is needed for the geometry of Hopf algebras or quantum groups, which provide key examples, as well as in physics to model quantum gravity effects in the form of quantum spacetime. The mathematical formalism can be applied to any algebra and includes graph geometry and a Lie theory of finite groups. Even the algebra of 2 x 2 matrices turns out to admit a rich moduli of quantum Riemannian geometries. The approach taken is a `bottom up’ one in which the different layers of geometry are built up in succession, starting from differential forms and proceeding up to the notion of a quantum `Levi-Civita’ bimodule connection, geometric Laplacians and, in some cases, Dirac operators ....
Quantum Dots : Fundamentals, Applications, and Frontiers ; Proceedings of the NATO ARW on Quantum Dots: Fundamentals, Applications and Frontiers, Crete, Greece 20 - 24 July 2003
This volume contains papers delivered at a NATO Advanced Research Workshop and provides a broad introduction to all major aspects of quantum dot structures. Such structures have been produced for studies of basic physical phenomena, for device fabrication and, on a more speculative level, have been suggested as components of a solid-state realization of a quantum computer. The book is structured so that the reader is introduced to the methods used to produce and control quantum dots, followed by discussions of their structural, electronic, and optical properties.
Quantitative Measure for Discrete Event Supervisory Control
Summarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure performance : • Presents formal theory to support the quantitative approach, thus outlining an effective model for discrete event decision and control of human-engineered complex systems / • Outlines diverse and practical implications for the materials in the commercial and military Command, Control, Computer, Communication, Intelligence, Surveillance, and Reconnaissance (C4ISR) systems / • Illuminates significant mathematical foundations and proofs for reader understanding of quantification processes, while avoiding nonessential mathematical details and applications / • Develops and describes methods that have been successfully classroom-tested in Pennsylvania State University and Louisiana Tech University Compiling some of the leading research in the field, this self-contained volume contains essential techniques and advanced applications for researchers or graduate students in computer engineering, computer science, and applied mathematics. Additionally, the book may be an important resource for students in other disciplines, such as the biological sciences, management sciences, social sciences, and economics.
Quality of Software Architectures. Models and Architectures ; 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, architecture evaluation, architecture evolution, architecting process and architectural knowledge.
q-Clan Geometries in Characteristic 2
This monograph offers the only comprehensive, coherent treatment of the theory - in characteristic 2 - of the so-called flock quadrangles, i.e., those generalized quadrangles (GQ) that arise from q-clans, along with their associated ovals. Special attention is given to the determination of the complete oval stabilizers of each of the ovals associated with a flock GQ. A concise but logically complete introduction to the basic ideas is given. The theory of these flock GQ has evolved over the past two decades and has reached a level of maturation that makes it possible for the first time to give a satisfactory, unified treatment of all the known examples.
Pyomo — Optimization Modeling in Python
Illustrates the different techniques useful for formulating models, this text beautifully elucidates the breadth of modeling capabilities that are supported by Pyomo and its handling of complex real-world applications. In the third edition, much of the material has been reorganized, new examples have been added, and a new chapter has been added describing how modelers can improve the performance of their models. The authors have also modified their recommended method for importing Pyomo. A big change in this edition is the emphasis of concrete models, which provide fewer restrictions on the specification and use of Pyomo models.
Putting Knowledge Networks into Action : Methodology, Development, Maintenance
The concepts and theories of knowledge management and networks are meanwhile well documented. Yet there are few, if any, guidelines on how to implement knowledge management within an organization, especially focusing on how to manage knowledge in a network environment. This shows that managing knowledge in networks is a rather new and unexplored field. This book visualizes paths that allow one to make connections between theories, concepts and concrete actions. Knowledge networks are organizational forms within companies that connect key experts to share knowledge and therefore fulfil strategic goals. Managing knowledge in network environments is a fast-moving field attempting to integrate various disciplines such as human resources, organizational development, change management, strategy, information technology, sociology and network theory. This book shows how to integrate these different roots into a holistic view on managing knowledge in networks. It develops a methodology which will support the reader to move concrete steps forward towards building and maintaining knowledge networks in his organization.
Public systems modeling : Methods for identifying and evaluating alternative plans and policies
This is an book discusses readers to various methods of modeling plans and policies that address public sector issues and problems. Written for public policy and social sciences students at the upper undergraduate and graduate level, as well as public sector decision-makers, it demonstrates and compares the development and use of various deterministic and probabilistic optimization and simulation modeling methods for analyzing planning and management issues. These modeling tools offer a means of identifying and evaluating alternative plans and policies based on their physical, economic, environmental, and social impacts.
Project Governance : Implementing Corporate Governance and Business Ethics in Nonprofit Organizations
Based on a case study the author unveils a gap in the governance of development projects, a gap between implementation and governance, ultimately hindering effective, transparent and accountable usage of resources.Illustrated with entertaining examples the author, himself a senior manager in development and business, develops a Project Governance model. Overcoming shortcomings of the theories of corporate governance and business ethics, of best practices in development and project management, the Project Governance Model is a concrete model for practitioners and academics.
Progressive collapse resilience of concrete structures : Mechanisms, simulations and experiments
The book introduces the comprehensive analysis methodology regarding progressive collapse, and the critical issues may happen in concrete structures. Main topics include: the influential parameters of the development of the main load-resisting mechanisms; the dynamic effects with sudden column removal scenarios; the contribution of non-structural components to improve the resilience of concrete structures; uncertainties in progressive collapse analysis.
Progress in Cryptology - INDOCRYPT 2008 ; 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings
This book is organized in topical sections on stream ciphers, cryptographic hash functions, public-key cryptography, security protocols, hardware attacks, block ciphers, cryptographic hardware, elliptic curve cryptography, and threshold cryptography.
Progress in Cryptology - AFRICACRYPT 2008 ; First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings
The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, public-key cryptography, pseudorandomness, analysis of stream ciphers, hash functions, broadcast encryption, and implementation.
Programming Multi-Agent Systems ; Vol. 3346 : 2nd International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
Focusses on a principled way to combine the two dominant paradigms for building multiagent team plans, namely the “belief-desire-intention” (BDI) approach and distributed POMDPs. In this hybrid BDI-POMDP approach, BDI team plans are exploited to improve distributed POMDP tractability and distributed POMDP-based analysis improves BDI team plan performance. Concretely, we focus on role allocation, a fundamental problem in BDI teams – which agents to allocate to the different roles in the team. The hybrid BDI-POMDP approach provides three key contributions. First, unlike prior work in multiagent role allocation, we describe a role allocation technique that takes into account future uncertainties in the domain. The second contribution is a novel decomposition technique, which exploits the structure in the BDI team plans to significantly prune the search space of combinatorially many role allocations. Our third key contribution is a significantly faster policy evaluation algorithm suited for our BDI-POMDP hybrid approach. Finally, we also present experimental results from two domains: mission rehearsal simulation and RoboCupRescue disaster rescue simulation. In the RoboCupRescue domain, we show that the role allocation technique presented in this paper is capable of performing at human expert levels by comparing with the allocations chosen by humans in the actual RoboCupRescue simulation environment.
Programming Multi-Agent Systems ; 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to the development of industrial-strength software. In particular, ProMAS aims to address the technologies that are required for - plementing multi-agentsystems designs or specifications efiectively
Programming Languages and Systems ; 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.
Programming languages and systems ; 31st European symposium on programming, ESOP 2022, Held as Part of the European Joint Conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
Programming Languages and Systems ; 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Programming languages and systems ; 29th European Symposium on Programming, ESOP 2020, Held as part of the European Joint Conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Programming Languages and Systems ; 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
Programming Languages and Systems ; 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and selected from 104 submissions and address fundamental issues in the specification, analysis, and implementation of programming languages and sytems. The papers are organized in topical sections on static analysis, security, concurrency and program verification.
