Título :	13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings
Tipo de documento:	documento electrónico
Autores:	Yamashita, Shigeru, ; Yokoyama, Tetsuo,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2021
Número de páginas:	XII, 275 p. 137 ilustraciones, 57 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-79837-6
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	diseño lógico  Computadoras  Propósitos especiales  Ciencias de la Computación  Microprogramación  Procesamiento del lenguaje natural (Informática)  Sistemas de propósito especial y basados ​​en aplicaciones  Teoría de la Computación  Estructuras de control y microprogramación  Procesamiento del lenguaje natural (PNL)
Índice Dewey:	621.395
Resumen:	Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Computación Reversible, RC 2021, que se celebró en línea del 7 al 8 de julio de 2021. Los 11 artículos incluidos en este libro fueron cuidadosamente revisados ​​y seleccionados entre 21 presentaciones. El libro también contiene 2 charlas invitadas en formato artículo completo, 3 artículos de trabajo en progreso y 1 documento de herramientas. Estaban organizados en secciones temáticas denominadas: programación y lenguajes de programación; cálculo concurrente reversible; teoría y fundamentos; y síntesis de circuitos. .
Nota de contenido:	Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for QuantumAlgorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings [documento electrónico] / Yamashita, Shigeru, ; Yokoyama, Tetsuo,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XII, 275 p. 137 ilustraciones, 57 ilustraciones en color.
ISBN : 978-3-030-79837-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	diseño lógico  Computadoras  Propósitos especiales  Ciencias de la Computación  Microprogramación  Procesamiento del lenguaje natural (Informática)  Sistemas de propósito especial y basados ​​en aplicaciones  Teoría de la Computación  Estructuras de control y microprogramación  Procesamiento del lenguaje natural (PNL)
Índice Dewey:	621.395
Resumen:	Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Computación Reversible, RC 2021, que se celebró en línea del 7 al 8 de julio de 2021. Los 11 artículos incluidos en este libro fueron cuidadosamente revisados ​​y seleccionados entre 21 presentaciones. El libro también contiene 2 charlas invitadas en formato artículo completo, 3 artículos de trabajo en progreso y 1 documento de herramientas. Estaban organizados en secciones temáticas denominadas: programación y lenguajes de programación; cálculo concurrente reversible; teoría y fundamentos; y síntesis de circuitos. .
Nota de contenido:	Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for QuantumAlgorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i