Reversible Computation
4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Article
The glass-transition temperatures of a wide range of ionenes have been studied as a function of the spacing of ions and the dielectric constant of the plasticizer. For solvents of a high dielectric constant th...
Article
Drying and water uptake of poly(acrylic acid) sodium salts with different degrees of neutralization were studied. The slowing down of drying speed in solid state was not due to Tg but due to the difficulty of ...
Article
Drying and water uptake of poly(acrylic acid) potassium salts with different degrees of neutralization were studied. The slowing down of drying speed in solid state was not due to Tg but due to the difficulty ...
Article
Drying and water uptake of poly(acrylic acid) lithium salts with different degrees of neutralization were studied. Though the equilibrium water uptake increased with increasing neutralization %, the slope of t...
Article
Pulsed NMR was applied to measure the spin-lattice (T1) and spin-spin (T2) relaxation times of the equilibrium water absorbed in poly(acrylic acid) lithium salt, sodium salt, and potassium salt. T1 and T2 relaxat...
Article
Density measurements of poly(acrylic acid) sodium salts (PANa) with different degrees of neutralization and water contents are presented. The apparent partial molar volumes of polymer, V 2 ...
Article
Cortical areas related to perception of verbal and non-verbal stimuli were studied using VEPs. Kanji characters, line drawings (LD), or a blank were displayed. Verbal VEPs were obtained by subtracting the blan...
Article
Poly(oxytetramethylene)glycol (PTMG)-4,4′-diphenylmethane diisocyanate (MDI)-based polyurethane elastomer (PUE) was prepared by a mold with a temperature gradient. Effect of the temperature gradient on morphol...
Article
Although infections are a significant cause of mortality and long-term morbidity of newborns, the early diagnosis of neonatal infections remains difficult. It has been shown recently that up-regulation of CD45...
Article
Objective. To develop an ergonomically designed computerized recordkee** tool for anesthesiologists that allows the clinician to maintain visual contact with the patient while performing recordkee**. Metho...
Article
A series of cationic polyurethane (PU) elastomers with pendant ammonium group, different polyether chains, and different content of ionic groups were prepared by nonsolvent technique. NCO-terminated prepolymer...
Chapter and Conference Paper
Higher-order patterns, together with higher-order matching, enable concise specification of program transformation, and have been implemented in several program transformation systems. However,higher-order mat...
Chapter
The world of program optimization and transformation takes on a new fascination when viewed through the lens of program calculation. Unlike the traditional fold/unfold approach to program transformation on arb...
Chapter and Conference Paper
A reversible abstract machine architecture and its reversible machine code are presented and formalized. For machine code to be reversible, both the underlying control logic and each instruction must be revers...
Chapter and Conference Paper
Many irreversible computation models have reversible counterparts, but these are poorly understood at present. We introduce reversible flowcharts with an assertion operator and show that any reversible flowcha...
Chapter and Conference Paper
We identify concepts of reversibility for a functional language by means of a set of semantic rules with specific properties. These properties include injectivity along with local backward determinism, an impo...
Book and Conference Proceedings
4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Chapter and Conference Paper
A common approach to reversible programming is to reversibly simulate an irreversible program with the desired functionality, which in general puts additional pressure on the computational resources (time, spa...
Chapter
We propose clean reversible simulations of ranking binary trees and unranking as reversible algorithms for reversible computing systems, which are useful for enumerating and randomly generating binary trees. A...
Article