Reversible computation: 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Copenhagen.]
University, Department of Computer Science
2012
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 281 Seiten Digramme |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV045943126 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 190619s2012 |||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)1105600941 | ||
| 035 | |a (DE-599)BVBBV045943126 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 084 | |a DAT 249f |2 stub | ||
| 084 | |a DAT 503f |2 stub | ||
| 084 | |a DAT 510f |2 stub | ||
| 245 | 1 | 0 | |a Reversible computation |b 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings |
| 264 | 1 | |a Copenhagen.] |b University, Department of Computer Science |c 2012 | |
| 300 | |a 281 Seiten |b Digramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Reversibles System |0 (DE-588)4132783-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Kopenhagen |2 gnd-content | |
| 689 | 0 | 0 | |a Reversibles System |0 (DE-588)4132783-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 711 | 2 | |a Workshop on Reversible Computation |n 4. |d 2012 |c Kopenhagen |j Sonstige |0 (DE-588)1025731646 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031325338&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031325338 | ||
Datensatz im Suchindex
| _version_ | 1804180145407262720 |
|---|---|
| adam_text | Table of Contents Program - Monday - July 2nc*, 2012 Invited Talk The Physics of Information: from Maxwell s Demon to Landauer Eric Lutz (Freie Universität Berlin, Germany) Session 1 - Theoretical Considerations One-Way Reversible Multi-Head Finite Automata Martin Kutrib, Andreas Malcher (Giessen University, Germany) A Deterministic Two-Way Multi-Head Finite Automaton can be Converted into a Reversible one with the same Number of Heads Kenichi Morita (Hiroshima University, Japan) 15 28 Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine Rodrigo Torres (University of Concepción, Chile), Nicolas Ollinger (University of Orléans, France), Anah i Gajardo (University of Concepción, Chile) 41 WiP: On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata Katsunobu Imai (Hiroshima University, Japan), Bruno Martin (University Nice-Sophia Antipolis, France), Ryohei Saito (Hiroshima City Hall, Japan) 54 Session 2 - Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines Roshan P. James, AmrSabry (Indiana University, USA) 63 Synthesizing Loops for Program Inversion Cong Hou (Georgia Institute of Technology, USA), Daniel Quinlan, David Jefferson (Lawrence Livermore National Laboratory, USA), Richard Fujimoto, Richard Vuduc (Georgia Institute of Technology, USA) 76 Frugal Encoding in Reversible MOQA: A Case Study for Quicksort Dlarmuid Early, Ang Gao, Michel Schellekens (University College Cork, Ireland) 89 WiP: Towards a General-Purpose, Reversible Language for Controlling Self-Reconfigurable
Robots Ulrik Pagh Schultz (University of Southern Denmark, Denmark) 101 Session 3 - Synthesis of Reversible Circuits Reversible and Quantum Circuit Optimization: A Functional Approach Zahra Sasanian, D. Michael Miller (University of Victoria, Canada) 111 Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits Marek Szyprowski (Warsaw University of Technology, Poland), Pawel Kerntopf (Warsaw University of Technology and University of Łódź, Poland) 123 WiP: A New Synthesis of Reversible and Quantum Realizations of Symmetric Boolean Functions Arighna Deb (Institute of Engineering and Management, India), Debesh K. Das (Jadavpur University, India), Hafizur Rahaman (Bengal Engineering and Science University, India), Bhargab B. Bhattacharya (Indian Statistical Institute, India) 136 7
Table of Contents Program - Tuesday - July 3rc*, 2012 Session 4 - Quantum Circuits and Computation Tutorial: Graphical Calculus for Quantum Circuits Bob Coecke (Oxford University, UK), Ross Duncan (Université libre de Bruxelles, Belgium) 145 A 2D Nearest-Neighbor Quantum Architecture for Factoring Paul Pham (University of Washington, USA), Krysta M. Svore (Microsoft Research, USA) 158 Properties of Quantum Templates Md. Mazder Rahman, Gerhard W. Dueck (University of New Brunswick, Canada) 171 Session 5 - Physical Realizations and Design Garbageless Reversible Implementation of Integer Linear Transformations Stéphane Burignat, Kenneth Vermeirsch, Alexis De Vos (Ghent University, Belgium), Michael Kirkedal Thomsen (University of Copenhagen, Denmark) 187 WIP: Garbage-Free Integer Multiplication with Constants Holger Bock Axelsen, Michael Kirkedal Thomsen (University of Copenhagen, Denmark) 198 WIP: Using 7t DDs in the Design of Reversible Circuits Mathias Soeken, Robert Wille (University of Bremen, Germany), Shin-ichi Minato (Hokkaido University, Japan), Rolf Drechsler (University of Bremen, Germany) 205 Session 6 - Distributed Systems A Verification Technique for Reversible Process Algebra Jean Krivine (Université Paris Diderot, France) 215 A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway lain Phillips (Imperial College London, UK), Irek Ulidowski (University of Leicester, UK), Shoji Yuen (Nagoya University, Japan) 227 WIP: Controlled Reversibility and Compensations Ivan Lanese (University of Bologna, Italy), Claudio Antares Mezzina (FBK, Italy),
Jean-Bernard Stefani (INRIA, France) 240 Session 7 - Testing, Verification and Fault Tolerance Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler (University of Bremen, Germany) 249 An Efficient Approach to Design Reversible Fault Tolerant Plessey Logic Block of Field Programmable Gate Arrays Md. Shamsujjoha, Nazma Tara, Lafifa Jamal, Hafiz Md. Hasan Babu (University of Dhaka, Bangladesh) 262 WIP: Design of an Online Testable Ternary Circuit from the Truth Table Noor M. Nayeem, Jacqueline F. Rice (University of Lethbridge, Canada) 274 9
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV045943126 |
| classification_tum | DAT 249f DAT 503f DAT 510f |
| ctrlnum | (OCoLC)1105600941 (DE-599)BVBBV045943126 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01429nam a2200337 c 4500</leader><controlfield tag="001">BV045943126</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">190619s2012 |||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1105600941</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045943126</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 249f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 503f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reversible computation</subfield><subfield code="b">4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Copenhagen.]</subfield><subfield code="b">University, Department of Computer Science</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">281 Seiten</subfield><subfield code="b">Digramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reversibles System</subfield><subfield code="0">(DE-588)4132783-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Kopenhagen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Reversibles System</subfield><subfield code="0">(DE-588)4132783-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Reversible Computation</subfield><subfield code="n">4.</subfield><subfield code="d">2012</subfield><subfield code="c">Kopenhagen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1025731646</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031325338&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031325338</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Kopenhagen gnd-content |
| genre_facet | Konferenzschrift 2012 Kopenhagen |
| id | DE-604.BV045943126 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:31:06Z |
| institution | BVB |
| institution_GND | (DE-588)1025731646 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031325338 |
| oclc_num | 1105600941 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | 281 Seiten Digramme |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | University, Department of Computer Science |
| record_format | marc |
| spelling | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings Copenhagen.] University, Department of Computer Science 2012 281 Seiten Digramme txt rdacontent n rdamedia nc rdacarrier Reversibles System (DE-588)4132783-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Kopenhagen gnd-content Reversibles System (DE-588)4132783-4 s DE-604 Workshop on Reversible Computation 4. 2012 Kopenhagen Sonstige (DE-588)1025731646 oth Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031325338&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings Reversibles System (DE-588)4132783-4 gnd |
| subject_GND | (DE-588)4132783-4 (DE-588)1071861417 |
| title | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings |
| title_auth | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings |
| title_exact_search | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings |
| title_full | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings |
| title_fullStr | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings |
| title_full_unstemmed | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings |
| title_short | Reversible computation |
| title_sort | reversible computation 4th international workshop rc 2012 copenhagen denmark july 2 3 2012 preliminary proceedings |
| title_sub | 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; preliminary proceedings |
| topic | Reversibles System (DE-588)4132783-4 gnd |
| topic_facet | Reversibles System Konferenzschrift 2012 Kopenhagen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031325338&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT workshoponreversiblecomputationkopenhagen reversiblecomputation4thinternationalworkshoprc2012copenhagendenmarkjuly232012preliminaryproceedings |