Four wave mixing oscillation in a semiconductor microcavity: Generation of two correlated polariton populations

We demonstrate a novel kind of polariton four wave mixing oscillation. Two pump polaritons scatter towards final states that emit two beams of equal intensity, separated both spatially and in polarization with respect to the pumps. The measurement of the intensity fluctuations of the emitted light demonstrates that the final states are strongly correlated.Comment: 5 pages, 5 figures In this strongly revised version several new experimental data are adde

Polariton Squeezing in Semiconductor Microcavities

We report squeezed polariton generation using parametric polariton four-wave mixing in semiconductor microcavities in the strong coupling regime. The geometry of the experiment corresponds to degenerate four-wave mixing, which gives rise to a bistability threshold. Spatial effects in the nonlinear regime are evidenced, and spatial filtering is required in order to optimize the measured squeezing. By measuring the noise of the outgoing light, we infer a 9 percent squeezing on the polariton field close to the bistability turning point

The unity and diversity of executive functions: A systematic review and re-analysis of latent variable studies.

Confirmatory factor analysis (CFA) has been frequently applied to executive function measurement since first used to identify a three-factor model of inhibition, updating, and shifting; however, subsequent CFAs have supported inconsistent models across the life span, ranging from unidimensional to nested-factor models (i.e., bifactor without inhibition). This systematic review summarized CFAs on performance-based tests of executive functions and reanalyzed summary data to identify best-fitting models. Eligible CFAs involved 46 samples (N = 9,756). The most frequently accepted models varied by age (i.e., preschool = one/two-factor; school-age = three-factor; adolescent/adult = three/nested-factor; older adult = two/three-factor), and most often included updating/working memory, inhibition, and shifting factors. A bootstrap reanalysis simulated 5,000 samples from 21 correlation matrices (11 child/adolescent; 10 adult) from studies including the three most common factors, fitting seven competing models. Model results were summarized as the mean percent accepted (i.e., average rate at which models converged and met fit thresholds: CFI ≥ .90/RMSEA ≤ .08) and mean percent selected (i.e., average rate at which a model showed superior fit to other models: ΔCFI ≥ .005/.010/ΔRMSEA ≤ -.010/-.015). No model consistently converged and met fit criteria in all samples. Among adult samples, the nested-factor was accepted (41-42%) and selected (8-30%) most often. Among child/adolescent samples, the unidimensional model was accepted (32-36%) and selected (21-53%) most often, with some support for two-factor models without a differentiated shifting factor. Results show some evidence for greater unidimensionality of executive function among child/adolescent samples and both unity and diversity among adult samples. However, low rates of model acceptance/selection suggest possible bias toward the publication of well-fitting but potentially nonreplicable models with underpowered samples. (PsycINFO Database Record (c) 2018 APA, all rights reserved)

Twin polaritons in semiconductor microcavities

The quantum correlations between the beams generated by polariton pair scattering in a semiconductor microcavity above the parametric oscillation threshold are computed analytically. The influence of various parameters like the cavity-exciton detuning, the intensity mismatch between the signal and idler beams and the amount of spurious noise is analyzed. We show that very strong quantum correlations between the signal and idler polaritons can be achieved. The quantum effects on the outgoing light fields are strongly reduced due to the large mismatch in the coupling of the signal and idler polaritons to the external photons

Redox-sensitive DNA Binding by Homodimeric Methanosarcina Acetivorans MsvR is Modulated by Cysteine Residues

Background: Methanoarchaea are among the strictest known anaerobes, yet they can survive exposure to oxygen. The mechanisms by which they sense and respond to oxidizing conditions are unknown. MsvR is a transcription regulatory protein unique to the methanoarchaea. Initially identified and characterized in the methanogen Methanothermobacter thermautotrophicus (Mth), MthMsvR displays differential DNA binding under either oxidizing or reducing conditions. Since MthMsvR regulates a potential oxidative stress operon in M. thermautotrophicus, it was hypothesized that the MsvR family of proteins were redox-sensitive transcription regulators. Results: An MsvR homologue from the methanogen Methanosarcina acetivorans, MaMsvR, was overexpressed and purified. The two MsvR proteins bound the same DNA sequence motif found upstream of all known MsvR encoding genes, but unlike MthMsvR, MaMsvR did not bind the promoters of select genes involved in the oxidative stress response. Unlike MthMsvR that bound DNA under both non-reducing and reducing conditions, MaMsvR bound DNA only under reducing conditions. MaMsvR appeared as a dimer in gel filtration chromatography analysis and site-directed mutagenesis suggested that conserved cysteine residues within the V4R domain were involved in conformational rearrangements that impact DNA binding. Conclusions: Results presented herein suggest that homodimeric MaMsvR acts as a transcriptional repressor by binding Ma PmsvR under non-reducing conditions. Changing redox conditions promote conformational changes that abrogate binding to Ma PmsvR which likely leads to de-repression

Synthesis for Polynomial Lasso Programs

We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebraic assertions (conjunctions of polynomial equalities). Central to this approach is the discovery of non-linear (algebraic) loop invariants. We extend Sankaranarayanan, Sipma, and Manna's template-based approach and prove a completeness criterion. We perform program synthesis by generating a constraint whose solution is a synthesized program together with a loop invariant that proves the program's correctness. This constraint is non-linear and is passed to an SMT solver. Moreover, we can enforce the termination of the synthesized program with the support of test cases.Comment: Paper at VMCAI'14, including appendi

Dynamic Obstacle Avoidance

Report on the methodology and results of experimental software development in order to produce an efficient and effective mechanism whereby entities controlled by computer generated forces systems can avoid collisions with other moving entities within a distributed interactive simulation environment

Point-Mass Aircraft Trajectory Prediction Using a Hierarchical, Highly-Adaptable Software Design

A highly adaptable and extensible method for predicting four-dimensional trajectories of civil aircraft has been developed. This method, Behavior-Based Trajectory Prediction, is based on taxonomic concepts developed for the description and comparison of trajectory prediction software. A hierarchical approach to the "behavioral" layer of a point-mass model of aircraft flight, a clear separation between the "behavioral" and "mathematical" layers of the model, and an abstraction of the methods of integrating differential equations in the "mathematical" layer have been demonstrated to support aircraft models of different types (in particular, turbojet vs. turboprop aircraft) using performance models at different levels of detail and in different formats, and promise to be easily extensible to other aircraft types and sources of data. The resulting trajectories predict location, altitude, lateral and vertical speeds, and fuel consumption along the flight path of the subject aircraft accurately and quickly, accounting for local conditions of wind and outside air temperature. The Behavior-Based Trajectory Prediction concept was implemented in NASA's Traffic Aware Planner (TAP) flight-optimizing cockpit software application