An experiment in remote manufacturing using the advanced communications technology satellite

The goal of the completed project was to develop an experiment in remote manufacturing that would use the capabilities of the ACTS satellite. A set of possible experiments that could be performed using the Advanced Communications Technology Satellite (ACTS), and which would perform remote manufacturing using a laser cutter and an integrated circuit testing machine are described in detail. The proposed design is shown to be a feasible solution to the offered problem and it takes into consideration the constraints that were placed on the experiment. In addition, we have developed two more experiments that are included in this report: backup of rural telecommunication networks, and remote use of Synthetic Aperture Radar (SAR) data analysis for on-site collection of glacier scattering data in the Antarctic

Reading the Identity of Dramatis Personae Through the Semantics of Possible Worlds

The semantics of possible worlds allows us to see an abundance of alter­native "independent" worlds that might not even exist. The notion is based on the principle that fictional worlds are not repro­ductions or representations of the actual world but dominant kingdoms of the possible. Furthermore, it accepts that heroes, locations, and facts that refer to their actual or historical equivalent constitute in a sense a particular semantic order.The present study focuses on the fact that fictional characters and their historical and actual models are both captives of a transworld identity: a fundamental concept of the semiotic theory of possible worlds. As such, the analysis focuses on various European and American plays and the ma­nipulation to which they subject the transworld identity of their dramatic characters. Some fertile hypotheses from quantum physics can be used as additional instruments of this study

Spectral gap for the stochastic quantization equation on the 2-dimensional torus

We study the long time behavior of the stochastic quantization equation. Extending recent results by Mourrat and Weber [MWe15] we first establish a strong non-linear dissipative bound that gives control of moments of solutions at all positive times independent of the initial datum. We then establish that solutions give rise to a Markov process whose transition semigroup satisfies the strong Feller property. Following arguments by Chouk and Friz [ChF16] we also prove a support theorem for the laws of the solutions. Finally all of these results are combined to show that the transition semigroup satisfies the Doeblin criterion which implies exponential convergence to equilibrium. Along the way we give a simple direct proof of the Markov property of solutions and an independent argument for the existence of an invariant measure using the Krylov–Bogoliubov existence theorem. Our method makes no use of the reversibility of the dynamics or the explicit knowledge of the invariant measure and it is therefore in principle applicable to situations where these are not available, e.g. the vectorvalued case

Classifying genes to the correct Gene Ontology Slim term in Saccharomyces cerevisiae using neighbouring genes with classification learning

Article discussing research on classifying genes to the correct gene ontology slim term in Saccharomyces cerevisiae using neighbouring genes with classification learning

Regularized second-order correlation methods for extended systems

Second-order Møller–Plesset perturbation theory (MP2) constitutes the simplest form of many-body wavefunction theory and often provides a good compromise between efficiency and accuracy. There are, however, well-known limitations to this approach. In particular, MP2 is known to fail or diverge for some prototypical condensed matter systems like the homogeneous electron gas (HEG) and to overestimate dispersion-driven interactions in strongly polarizable systems. In this paper, we explore how the issues of MP2 for metallic, polarizable, and strongly correlated periodic systems can be ameliorated through regularization. To this end, two regularized second-order methods (including a new, size-extensive Brillouin–Wigner approach) are applied to the HEG, the one-dimensional Hubbard model, and the graphene–water interaction. We find that regularization consistently leads to improvements over the MP2 baseline and that different regularizers are appropriate for the various systems