| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996198513503316 |
|
|
Titolo |
Reversible Computation [[electronic resource] ] : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / / edited by Jean Krivine, Jean-Bernard Stefani |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 291 p. 90 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 9138 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic design |
Computer logic |
Quantum computers |
Computers |
Algorithms |
Software engineering |
Logic Design |
Logics and Meanings of Programs |
Quantum Computing |
Computation by Abstract Devices |
Algorithm Analysis and Problem Complexity |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Paper -- Moment Semantics for Reversible Rule-Based Systems -- Reversible machines -- A Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific Language for Reversible Assembly Sequences -- Design and verification of quantum circuits -- Reversibility in Extended Measurement-based Quantum Computation -- A Fully Fault-Tolerant |
|
|
|
|
|
|
|
|
|
|
|
Representation of Quantum Circuits -- Equational reasoning about quantum protocols -- Design of reversible circuits -- Design and Fabrication of a Microprocessor using Adiabatic CMOS and Bennett Clocking -- Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits -- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics -- Circuit Synthesis -- Technology Mapping for Single Target Gate based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits -- Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions -- Short Papers -- Power-Clock Generator Impact on the Performance of NEM-Based Adiabatic Logic Circuits -- A Cost Metric for the Design of Nearest Neighbor Quantum Circuits at the Reversible Logic Level -- Towards modelling of local reversibility -- Application of Functional Decomposition in Synthesis of Reversible Circuits. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits, and circuit synthesis. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996650067403316 |
|
|
Titolo |
Evolutionary Computation in Combinatorial Optimization : 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23–25, 2025, Proceedings / / edited by Martin S. Krejca, Markus Wagner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 268 p. 65 illus., 53 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15610 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science - Mathematics |
Computer science |
Computer networks |
Artificial intelligence |
Mathematics of Computing |
Theory of Computation |
Computer Communication Networks |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- A Runtime Analysis of the Multi-Valued Compact Genetic Algorithm on Generalized LeadingOnes. -- Evolutionary Anytime Algorithms. -- Studies on Survival Strategies to Protect Expert Knowledge in Evolutionary Algorithms for Interactive Role Mining. -- Diversification through Candidate Sampling for a Non-Iterated Lin-Kernighan-Helsgaun Algorithm. -- Instance Space Analysis and Algorithm Selection for a Parallel Batch Scheduling Problem. -- Meta-learning of Univariate Estimation-of-Distribution Algorithms for Pseudo-Boolean Problems. -- A Selective Vehicle Routing Problem for the Bloodmobile System. -- A Genetic Approach to the Operational Freight-on-Transit problem. -- LON/D — Sub-problem Landscape Analysis in Decomposition-based Multi-objective Optimization. -- Visualizing Pseudo-Boolean Functions: Feature Selection and Regularization for Machine Learning. -- Mixed-Binary Problems Optimized with Fast |
|
|
|
|
|
|
|
|
|
|
|
Discrete Solver. -- Feature-based Evolutionary Diversity Optimization of Discriminating Instances for Chance-constrained Optimization Problems. -- Adaptive neighborhood search based on landscape learning: a TSP study. -- Healthcare Facility Location Problem and Fitness Landscape Analysis. -- Generating (Semi-)Active Schedules for Dynamic Multi-mode Project Scheduling Using Genetic Programming Hyper-heuristics. -- Price-and-branch Heuristic for Vector Bin Packing. |
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
| |