| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465691803316 |
|
|
Titolo |
Algebra and Coalgebra in Computer Science [[electronic resource] ] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / / edited by Reiko Heckel, Stefan Milius |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 359 p. 29 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8089 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Software engineering |
Quantum computers |
Computer science—Mathematics |
Theory of Computation |
Software Engineering |
Quantum Computing |
Symbolic and Algebraic Manipulation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- An Effect System for Algebraic Effects and Handlers -- Automata and Algebras for Infinite Words and Trees -- Positive Inductive-Recursive Definitions -- Coalgebraic up-to techniques -- Contributed Papers -- Exploiting Algebraic Laws to Improve Mechanized Axiomatization -- Positive Fragments of Coalgebraic Logics -- Many-valued Relation Lifting and Moss' Coalgebraic Logic -- Saturated Semantics for Coalgebraic Logic Programming -- Presenting Distributive Laws -- Interaction and observation: categorical semantics of reactive systems trough dialgebras -- Homomorphisms of coalgebras from predicate liftings -- From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality -- Trace Semantics via Generic Observations -- Full abstraction for fair testing in CCS -- A simple case of rationality of escalation -- Coalgebras with Symmetries and Modelling Quantum Systems -- From Operational Chu |
|
|
|
|
|
|
|
|
|
|
|
Duality to Coalgebraic Quantum Symmetry -- Noninterfering Schedulers|When Possibilistic Noninterference Implies Probabilistic Noninterference -- Simulations and Bisimulations For Coalgebraic Modal Logics -- A Coalgebraic View of "-Transitions -- Nets, relations and linking diagrams -- A Logic-Programming Semantics of Services -- CALCO-Tools Workshop -- Preface to CALCO-Tools -- Checking Conservativity With Hets -- The HI-Maude Tool -- Constructor-based Inductive Theorem Prover -- A Timed CTL Model Checker for Real-Time Maude -- Hybridisation at Work -- Penrose: Putting Compositionality to Work For Petri Net Reachability -- QStream: A Suite of Streams. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910438077503321 |
|
|
Titolo |
Proceedings of 20th International Conference on Industrial Engineering and Engineering Management : Theory and Apply of Industrial Engineering / / edited by Ershi Qi, Jiang Shen, Runliang Dou |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (1168 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Technological innovations |
Industrial engineering |
Production engineering |
Industrial Management |
Innovation and Technology Management |
Industrial and Production Engineering |
|
|
|
|
|
|
|
|
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 at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Session I Industrial Engineering -- Advanced Design and Manufacturing -- Artificial Intelligence -- Decision Analysis/Decision Theory and Method -- Human Factors Engineering -- Logistics Engineering and Management -- Manufacturing Systems and Management -- Operations Research -- Production Planning and Control -- Supply Chain Management -- Author Index. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The International Conference on Industrial Engineering and Engineering Management is sponsored by the Chinese Industrial Engineering Institution, CMES, which is the only national-level academic society for Industrial Engineering. The conference is held annually as the major event in this arena. Being the largest and the most authoritative international academic conference held in China, it provides an |
|
|
|
|
|
|
|
|
|
|
academic platform for experts and entrepreneurs in the areas of international industrial engineering and management to exchange their research findings. Many experts in various fields from China and around the world gather together at the conference to review, exchange, summarize and promote their achievements in the fields of industrial engineering and engineering management. For example, some experts pay special attention to the current state of the application of related techniques in China as well as their future prospects, such as green product design, quality control and management, supply chain and logistics management to address the need for, amongst other things low-carbon, energy-saving and emission-reduction. They also offer opinions on the outlook for the development of related techniques. The proceedings offers impressive methods and concrete applications for experts from colleges and universities, research institutions and enterprises who are engaged in theoretical research into industrial engineering and engineering management and its applications. As all the papers are of great value from both an academic and a practical point of view, they also provide research data for international scholars who are investigating Chinese style enterprises and engineering management. |
|
|
|
|
|
| |