Thermodynamic cost of reversible computing

Since reversible computing requires preservation of all information throughout the entire computational process, this implies that all errors that appear as a result of the interaction of the information-carrying system with uncontrolled degrees of freedom must be corrected. But this can only be done at the expense of an increase in the entropy of the environment corresponding to the dissipation, in the form of heat, of the ``noisy'' part of the system's energy. This paper gives an expression of that energy in terms of the effective noise temperature, and analyzes the relationship between the energy dissipation rate and the rate of computation. Finally, a generalized Clausius principle based on the concept of effective temperature is presented.Comment: 5 pages; added two paragraphs and fixed a number of typo

Why 'scaffolding' is the wrong metaphor : the cognitive usefulness of mathematical representations.

The metaphor of scaffolding has become current in discussions of the cognitive help we get from artefacts, environmental affordances and each other. Consideration of mathematical tools and representations indicates that in these cases at least (and plausibly for others), scaffolding is the wrong picture, because scaffolding in good order is immobile, temporary and crude. Mathematical representations can be manipulated, are not temporary structures to aid development, and are refined. Reflection on examples from elementary algebra indicates that Menary is on the right track with his ‘enculturation’ view of mathematical cognition. Moreover, these examples allow us to elaborate his remarks on the uniqueness of mathematical representations and their role in the emergence of new thoughts.Peer reviewe

Three-Qubit Gate Realization Using Single Quantum Particle

Using virtual spin formalism it is shown that a quantum particle with eight energy levels can store three qubits. The formalism allows to realize a universal set of quantum gates. Feasible formalism implementation is suggested which uses nuclear spin-7/2 as a storage medium and radio frequency pulses as the gates. One pulse realization of all universal gates has been found, including three-qubit Toffoli gate.Comment: LaTeX, 6 pages, no figures; Submitted to "Pis'ma v Zh. Eksp. Teor. Fiz.

Density Functional Theory for the Photoionization Dynamics of Uracil

Photoionization dynamics of the RNA base Uracil is studied in the framework of Density Functional Theory (DFT). The photoionization calculations take advantage of a newly developed parallel version of a multicentric approach to the calculation of the electronic continuum spectrum which uses a set of B-spline radial basis functions and a Kohn-Sham density functional hamiltonian. Both valence and core ionizations are considered. Scattering resonances in selected single-particle ionization channels are classified by the symmetry of the resonant state and the peak energy position in the photoelectron kinetic energy scale; the present results highlight once more the site specificity of core ionization processes. We further suggest that the resonant structures previously characterized in low-energy electron collision experiments are partly shifted below threshold by the photoionization processes. A critical evaluation of the theoretical results providing a guide for future experimental work on similar biosystems

First-principles investigation of Nox and Sox adsorption on anatase-supported BaO and Pt overlayers

Cataloged from PDF version of article.We present a density functional theory investigation of the adsorption properties of NO and NO2 as well as SO2 and SO3 on BaO and Pt overlayers on anatase TiO2(001) surface. Mono layers, bilayers, and trilayers of BaO grow without strain-induced large scale reconstructions. While the bilayer and trilayer preserve, to a large extent, the NO2 adsorption characteristics of the clean BaO(100) surface, the effect of the support is evident in SO2 and SO3 adsorption energies, which are somewhat reduced with respect to the clean BaO(100) surface. When a Pt(100) layer is added on the TiO2 surface, four stable adsorption geometries are identified in the case of NO while NO2 is found to adsorb in only two configurations

A Two-Player Game of Life

We present a new extension of Conway's game of life for two players, which we call p2life. P2life allows one of two types of token, black or white, to inhabit a cell, and adds competitive elements into the birth and survival rules of the original game. We solve the mean-field equation for p2life and determine by simulation that the asymptotic density of p2life approaches 0.0362.Comment: 7 pages, 3 figure

An unusual presentation of genital herpes in a patient affected by lichen sclerosus et atrophicus: A case report and a combined treatment proposal

N/

Simple Realization Of The Fredkin Gate Using A Series Of Two-body Operators

The Fredkin three-bit gate is universal for computational logic, and is reversible. Classically, it is impossible to do universal computation using reversible two-bit gates only. Here we construct the Fredkin gate using a combination of six two-body reversible (quantum) operators.Comment: Revtex 3.0, 7 pages, 3 figures appended at the end, please refer to the comment lines at the beginning of the manuscript for reasons of replacemen

From Euclidean Geometry to Knots and Nets

This document is the Accepted Manuscript of an article accepted for publication in Synthese. Under embargo until 19 September 2018. The final publication is available at Springer via https://doi.org/10.1007/s11229-017-1558-x.This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if (a) it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, (b) the information thus displayed is not metrical and (c) it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions.Peer reviewe

Field ultrasound evaluation of some gestational parameters in jennies

The aim of this study was to collect and analyze ultrasound measurements of fetal-maternal structures during normal and pathological pregnancies in jennies, a livestock species of growing interest. For two breeding seasons, 38 jennies of different breeds and crossbreeds aged between 3 and 18 years were monitored weekly by transrectal examination using a portable Esaote ultrasound (MyLab\u2122 30 GOLD VET) with a 5\u20137.5 MHz probe. The jennies were divided into two groups, < 250 kg and >250 kg body weight, and the dates of conception and parturition/abortion were recorded to calculate pregnancy length. Descriptive statistics were performed for the following variables: pregnancy length and maternal-fetal parameters (measurements of the orbit, gastric bubble, thorax, abdomen, gonads, heart rate, umbilical artery velocimetry, and combined utero-placental thickness). A total of 68 pregnancies were studied, 36 of which ended during the study period. The average pregnancy length was 370.82 \ub1 16.6 days for full-term pregnancies (N = 28, 77.8%) and 316.13 \ub1 36.6 days for abortions (N = 8, 22.2%). The season of conception and fetal gender did not affect the pregnancy length. Pregnancy examination can reasonably be performed by two weeks after last service if ovulation date is not known. The orbital diameter was the most reliable parameter for monitoring the physiological development of the embryo and fetus, and it was strongly related to the gestational age. No differences in fetal development were observed in relation to the mother's body weight. The combined utero-placental thickness was not associated with the gestational age and thickening and edema, frequently observed, were not associated with fetal pathologies