Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints

The monadic shallow linear Horn fragment is well-known to be decidable and has many application, e.g., in security protocol analysis, tree automata, or abstraction refinement. It was a long standing open problem how to extend the fragment to the non-Horn case, preserving decidability, that would, e.g., enable to express non-determinism in protocols. We prove decidability of the non-Horn monadic shallow linear fragment via ordered resolution further extended with dismatching constraints and discuss some applications of the new decidable fragment.Comment: 29 pages, long version of CADE-26 pape

Tecnologias apropriadas para o desenvolvimento sustentado da bovinocultura de corte no Pantanal.

O sistema tradicional de producao; A cadeia produtiva da pecuaria de corte no Pantanal; Distribuicao e evolucao dos principais aspectos agropecuarios nas sub-regioes do Pantanal; Introducao de tecnologias na criacao de bovinos de corte no Pantanal.bitstream/item/37741/1/DOC24.pd

Voltage-controlled electron-hole interaction in a single quantum dot

The ground state of neutral and negatively charged excitons confined to a single self-assembled InGaAs quantum dot is probed in a direct absorption experiment by high resolution laser spectroscopy. We show how the anisotropic electron-hole exchange interaction depends on the exciton charge and demonstrate how the interaction can be switched on and off with a small dc voltage. Furthermore, we report polarization sensitive analysis of the excitonic interband transition in a single quantum dot as a function of charge with and without magnetic field.Comment: Conference Proceedings, Physics and Applications of Spin-Related Phenomena in Semiconductors, Santa Barbara (CA), 2004. 4 pages, 4 figures; content as publishe

Using ultra-thin parylene films as an organic gate insulator in nanowire field-effect transistors

We report the development of nanowire field-effect transistors featuring an ultra-thin parylene film as a polymer gate insulator. The room temperature, gas-phase deposition of parylene is an attractive alternative to oxide insulators prepared at high temperatures using atomic layer deposition. We discuss our custom-built parylene deposition system, which is designed for reliable and controlled deposition of <100 nm thick parylene films on III-V nanowires standing vertically on a growth substrate or horizontally on a device substrate. The former case gives conformally-coated nanowires, which we used to produce functional $\Omega$-gate and gate-all-around structures. These give sub-threshold swings as low as 140 mV/dec and on/off ratios exceeding $10^3$ at room temperature. For the gate-all-around structure, we developed a novel fabrication strategy that overcomes some of the limitations with previous lateral wrap-gate nanowire transistors. Finally, we show that parylene can be deposited over chemically-treated nanowire surfaces; a feature generally not possible with oxides produced by atomic layer deposition due to the surface `self-cleaning' effect. Our results highlight the potential for parylene as an alternative ultra-thin insulator in nanoscale electronic devices more broadly, with potential applications extending into nanobioelectronics due to parylene's well-established biocompatible properties

Forming and confining of dipolar excitons by quantizing magnetic fields

We show that a magnetic field perpendicular to an AlGaAs/GaAs coupled quantum well efficiently traps dipolar excitons and leads to the stabilization of the excitonic formation and confinement in the illumination area. Hereby, the density of dipolar excitons is remarkably enhanced up to $\sim 10^{11} cm^{-2}$. By means of Landau level spectroscopy we study the density of excess holes in the illuminated region. Depending on the excitation power and the applied electric field, the hole density can be tuned over one order of magnitude up to $\sim 2.5$ $10^{11} cm^{-2}$ - a value comparable with typical carrier densities in modulation-doped structures.Comment: 4.3 Pages, 4 Figure

Long exciton spin memory in coupled quantum wells

Spatially indirect excitons in a coupled quantum well structure were studied by means of polarization and time resolved photoluminescence. A strong degree of circular polarization (> 50%) in emission was achieved when the excitation energy was tuned into resonance with the direct exciton state. The indirect transition remained polarized several tens of nanoseconds after the pumping laser pulse, demonstrating directly a very long relaxation time of exciton spin. The observed spin memory effect exceeds the radiative lifetime of the indirect excitons.Comment: 4 pages, 2 figure

Absorption and photoluminescence spectroscopy on a single self-assembled charge-tunable quantum dot

We have performed detailed photoluminescence (PL) and absorption spectroscopy on the same single self-assembled quantum dot in a charge-tunable device. The transition from neutral to charged exciton in the PL occurs at a more negative voltage than the corresponding transition in absorption. We have developed a model of the Coulomb blockade to account for this observation. At large negative bias, the absorption broadens as a result of electron and hole tunneling. We observe resonant features in this regime whenever the quantum dot hole level is resonant with two-dimensional hole states located at the capping layer-blocking barrier interface in our structure.Comment: 6 pages, 6 figure

Short-Pulse, Compressed Ion Beams at the Neutralized Drift Compression Experiment

We have commenced experiments with intense short pulses of ion beams on the Neutralized Drift Compression Experiment (NDCX-II) at Lawrence Berkeley National Laboratory, with 1-mm beam spot size within 2.5 ns full-width at half maximum. The ion kinetic energy is 1.2 MeV. To enable the short pulse duration and mm-scale focal spot radius, the beam is neutralized in a 1.5-meter-long drift compression section following the last accelerator cell. A short-focal-length solenoid focuses the beam in the presence of the volumetric plasma that is near the target. In the accelerator, the line-charge density increases due to the velocity ramp imparted on the beam bunch. The scientific topics to be explored are warm dense matter, the dynamics of radiation damage in materials, and intense beam and beam-plasma physics including select topics of relevance to the development of heavy-ion drivers for inertial fusion energy. Below the transition to melting, the short beam pulses offer an opportunity to study the multi-scale dynamics of radiation-induced damage in materials with pump-probe experiments, and to stabilize novel metastable phases of materials when short-pulse heating is followed by rapid quenching. First experiments used a lithium ion source; a new plasma-based helium ion source shows much greater charge delivered to the target.Comment: 4 pages, 2 figures, 1 table. Submitted to the proceedings for the Ninth International Conference on Inertial Fusion Sciences and Applications, IFSA 201

Integer Vector Addition Systems with States

This paper studies reachability, coverability and inclusion problems for Integer Vector Addition Systems with States (ZVASS) and extensions and restrictions thereof. A ZVASS comprises a finite-state controller with a finite number of counters ranging over the integers. Although it is folklore that reachability in ZVASS is NP-complete, it turns out that despite their naturalness, from a complexity point of view this class has received little attention in the literature. We fill this gap by providing an in-depth analysis of the computational complexity of the aforementioned decision problems. Most interestingly, it turns out that while the addition of reset operations to ordinary VASS leads to undecidability and Ackermann-hardness of reachability and coverability, respectively, they can be added to ZVASS while retaining NP-completness of both coverability and reachability.Comment: 17 pages, 2 figure