Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Reversible Computation [[electronic resource] ] : 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings / / edited by Martin Kutrib, Uwe Meyer
| Reversible Computation [[electronic resource] ] : 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings / / edited by Martin Kutrib, Uwe Meyer |
| Autore | Kutrib Martin |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (250 pages) |
| Disciplina | 621.395 |
| Altri autori (Persone) | MeyerUwe |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic design
Logic Design |
| ISBN | 3-031-38100-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Energy complexity of computation -- Foundations -- Replications in Reversible Concurrent Calculi -- Towards a Taxonomy for Reversible Computation Approaches -- Computational Complexity of Reversible Reaction Systems -- Reversible Programming -- Optimization of Reversible Control Flow Graphs -- Tail recursion transformation for invertible functions -- Saving Memory Space in Deep Neural Networks by Recomputing: A Survey -- Towards a Dereversibilizer: Fewer Asserts, Statically -- Quantum Computing -- Quantum String Matching Unfolded and Extended -- Optimizing Quantum Space using Spooky Pebble Games -- Uncomputation in the Qrisp high-level Quantum Programming Framework -- Quantum Circuits -- Improved Synthesis of Tooli-Hadamard Circuits -- Implementation of a Reversible Distributed Calculus -- Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture -- Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. |
| Record Nr. | UNISA-996542667103316 |
Kutrib Martin
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reversible Computation : 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings / / edited by Martin Kutrib, Uwe Meyer
| Reversible Computation : 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings / / edited by Martin Kutrib, Uwe Meyer |
| Autore | Kutrib Martin |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (250 pages) |
| Disciplina | 621.395 |
| Altri autori (Persone) | MeyerUwe |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic design
Logic Design |
| ISBN | 3-031-38100-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Energy complexity of computation -- Foundations -- Replications in Reversible Concurrent Calculi -- Towards a Taxonomy for Reversible Computation Approaches -- Computational Complexity of Reversible Reaction Systems -- Reversible Programming -- Optimization of Reversible Control Flow Graphs -- Tail recursion transformation for invertible functions -- Saving Memory Space in Deep Neural Networks by Recomputing: A Survey -- Towards a Dereversibilizer: Fewer Asserts, Statically -- Quantum Computing -- Quantum String Matching Unfolded and Extended -- Optimizing Quantum Space using Spooky Pebble Games -- Uncomputation in the Qrisp high-level Quantum Programming Framework -- Quantum Circuits -- Improved Synthesis of Tooli-Hadamard Circuits -- Implementation of a Reversible Distributed Calculus -- Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture -- Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. |
| Record Nr. | UNINA-9910734836903321 |
|
Kutrib Martin
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Wörterbuch der philosophischen Begriffe [[electronic resource] /] / begründet von Friedrich Kirchner und Carl Michaëlis ; fortgesetzt von Johannes Hoffmeister ; vollständig neu herausgegeben von Arnim Regenbogen und Uwe Meyer
| Wörterbuch der philosophischen Begriffe [[electronic resource] /] / begründet von Friedrich Kirchner und Carl Michaëlis ; fortgesetzt von Johannes Hoffmeister ; vollständig neu herausgegeben von Arnim Regenbogen und Uwe Meyer |
| Pubbl/distr/stampa | Hamburg, : F. Meiner Verlag, c1998 |
| Descrizione fisica | 1 online resource (907 p.) |
| Disciplina |
103
192 |
| Altri autori (Persone) |
RegenbogenArnim
MeyerUwe KirchnerFriedrich MichaëlisCarl HoffmeisterJohannes |
| Collana | Philosophische Bibliothek |
| Soggetto topico | Philosophy - German |
| ISBN | 3-7873-2113-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Inhalt; Vorwort; Wörterverzeichnis A- Z; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Y; Z; Abkürzungsverzeichnis; Abkürzungsverzeichnis zum Nachweis von Bibelstellen; Verzeichnis logischer Symbole; Umschrift griechischer Buchstaben; Literatur zur Begriffsgeschichte; Autoren- und Werkeverzeichnis; Sachregister |
| Record Nr. | UNINA-9910148829303321 |
| Hamburg, : F. Meiner Verlag, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||