45,058 research outputs found
Reversible Computation in Term Rewriting
Essentially, in a reversible programming language, for each forward
computation from state to state , there exists a constructive method to
go backwards from state to state . Besides its theoretical interest,
reversible computation is a fundamental concept which is relevant in many
different areas like cellular automata, bidirectional program transformation,
or quantum computing, to name a few.
In this work, we focus on term rewriting, a computation model that underlies
most rule-based programming languages. In general, term rewriting is not
reversible, even for injective functions; namely, given a rewrite step , we do not always have a decidable method to get from
. Here, we introduce a conservative extension of term rewriting that
becomes reversible. Furthermore, we also define two transformations,
injectivization and inversion, to make a rewrite system reversible using
standard term rewriting. We illustrate the usefulness of our transformations in
the context of bidirectional program transformation.Comment: To appear in the Journal of Logical and Algebraic Methods in
Programmin
Urinary proteomics combined with home blood pressure telemonitoring for health care reform trial: rational and protocol
Background: Hypertension and diabetes cause chronic kidney disease (CKD) and diastolic left ventricular dysfunction (DVD) as forerunners of disability and death. Home blood pressure telemonitoring (HTM) and urinary peptidomic profiling (UPP) are technologies enabling prevention.
Methods: UPRIGHT-HTM (Urinary Proteomics Combined with Home Blood Pressure Telemonitoring for Health Care Reform [NCT04299529]) is an investigator-initiated 5-year clinical trial with patient-centred design, which will randomise 1148 patients to be recruited in Europe, sub-Saharan Africa and South America. During the whole study, HTM data will be collected and freely accessible for patients and caregivers. The UPP, measured at enrolment only, will be communicated early during follow-up to 50% of patients and their caregivers (intervention), but only at trial closure in 50% (control). The hypothesis is that early knowledge of the UPP risk profile will lead to more rigorous risk factor management and result in benefit. Eligible patients, aged 55-75 years old, are asymptomatic, but have ≥5 CKD- or DVD-related risk factors, preferably including hypertension, type-2 diabetes, or both. The primary endpoint is a composite of new-onset intermediate and hard cardiovascular and renal outcomes. Demonstrating that combining UPP with HTM is feasible in a multicultural context and defining the molecular signatures of early CKD and DVD are secondary endpoints.
Expected outcomes: The expected outcome is that application of UPP on top of HTM will be superior to HTM alone in the prevention of CKD and DVD and associated complications and that UPP allows shifting emphasis from treating to preventing disease, thereby empowering patients
Yelling Fire and Hacking: Why the First Amendment Does Not Permit Distributing DVD Decryption Technology?
One of the consequences of the black-hole "no-hair" theorem in general relativity (GR) is that gravitational radiation (quasi-normal modes) from a perturbed Kerr black hole is uniquely determined by its mass and spin. Thus, the spectrum of quasi-normal mode frequencies have to be all consistent with the same value of the mass and spin. Similarly, the gravitational radiation from a coalescing binary black hole system is uniquely determined by a small number of parameters (masses and spins of the black holes and orbital parameters). Thus, consistency between different spherical harmonic modes of the radiation is a powerful test that the observed system is a binary black hole predicted by GR. We formulate such a test, develop a Bayesian implementation, demonstrate its performance on simulated data and investigate the possibility of performing such a test using previous and upcoming gravitational wave observations
Electron-hole interactions in coupled InAs-GaSb quantum dots based on nanowire crystal phase templates
We report growth and characterization of a coupled quantum dot structure that
utilizes nanowire templates for selective epitaxy of radial heterostructures.
The starting point is a zinc blende InAs nanowire with thin segments of
wurtzite structure. These segments have dual roles: they act as tunnel barriers
for electron transport in the InAs core, and they also locally suppress growth
of a GaSb shell, resulting in coaxial InAs-GaSb quantum dots with integrated
electrical probes. The parallel quantum dot structure hosts spatially separated
electrons and holes that interact due to the type-II broken gap of InAs-GaSb
heterojunctions. The Coulomb blockade in the electron and hole transport is
studied, and periodic interactions of electrons and holes are observed and can
be reproduced by modeling. Distorted Coulomb diamonds indicate voltage-induced
ground-state transitions, possibly a result of changes in the spatial
distribution of holes in the thin GaSb shell.Comment: 8 pages, 7 figure
Teaching Queer Cinema With Independent Media
In lieu of an abstract, this is the article\u27s introductory paragraph:
One of the most exciting dimensions of teaching film (and popular culture) is learning what students already know and then generating an informed and critical epistemology from the familiar. Teaching LGBT (lesbian, gay, bisexual, and transgender) representation in film and media presents rich opportunities to build on student familiarity — with such mainstream breakthroughs as Ang Lee’s Brokeback Mountain (2006) and Queer Eye for the Straight Guy (2003-07) — and to formalize the knowledge and challenge the assumptions that students have about LGBT history, lives, and struggles for representation. With the commercial success of gay-themed work and the acceptance of such out celebrities as Ellen Degeneres, the recent past is a teachable moment of both social transformation and market logic, and students of diverse backgrounds have illuminating perspectives on and important stakes in making sense of it. By focusing on film and media by and about LGBT producers, teachers can connect questions of political and aesthetic representation and expose students to independent media sources
Multipole Moments of Fractal Distribution of Charges
In this paper we consider the electric multipole moments of fractal
distribution of charges. To describe fractal distribution, we use the
fractional integrals. The fractional integrals are considered as approximations
of integrals on fractals. In the paper we compute the electric multipole
moments for homogeneous fractal distribution of charges.Comment: LaTeX, 11 page
The celestial city brought down to earth : Dmitrij Cernákov's interpretation of Rimskij-Korsakov's opera the invisible city of Kitež and the Maiden Fevronia
Rimsky-Korsakov's penultimate opera is tied to the symbolist movement in fin de siècle Russia. Although the composer did not intend it as a mystical work in the wake of Wagner's Parsifal, his symbolist collaborators invested much symbolist thinking in the production. In contemporary reception, however, the eschatological focus of the work is hard to adjust to the expectations of modern audiences. This paper discusses the solutions elaborated by the Russian stage director Dimitry Tcherniakov in his production for the National Opera in Amsterdam. Tcherniakov succeeded to manipulate the work into the direction of a social and psychological drama. This paper analyses the strategies he employed to arrive at such a significant change of meaning without violating its spiritual tone
- …