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

COOPERATIVE SOLUTIONS TO OPEN ACCESS COMPETITION FOR LAND AMONG MUNICIPALITIES

Land Economics/Use,

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

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

Invariant-mass and fractional-energy dependence of inclusive production of dihadrons in e + e − annihilation at √ s = 10.58 GeV

The inclusive cross sections for dihadrons of charged pions and kaons (e+e−→hhX) in electron-positron annihilation are reported. They are obtained as a function of the total fractional energy and invariant mass for any di-hadron combination in the same hemisphere as defined by the thrust event-shape variable and its axis. Since same-hemisphere dihadrons can be assumed to originate predominantly from the same initial parton, di-hadron fragmentation functions are probed. These di-hadron fragmentation functions are needed as an unpolarized baseline in order to quantitatively understand related spin-dependent measurements in other processes and to apply them to the extraction of quark transversity distribution functions in the nucleon. The di-hadron cross sections are obtained from a 655 fb−1 data sample collected at or near the Υ(4S) resonance with the Belle detector at the KEKB asymmetric-energy e+e− collider

Modelling ricochet of a cylinder on water using ALE and SPH methods

The ricochet means the rebound off a surface and is a very important scenario in engineering applications. The specific case of an impact of a solid steel body on a water surface has been chosen for the ricochet example. This solid body hits the water surface with a certain velocity and angle and their dependency on the ricochet behaviour is of interest. This impact scenario can be further developed for more complex impact scenarios, like the ditching of aeroplanes, and has been extensively studied in the past. Due to that fact, it was decided to compare the two numerical analyses with each other; SPH in the internal developed code MCM at Cranfield University with the ALE method in the commercial programme LS-Dyna. The early state of the development was the reason that a 2D model was developed in the 3D solver and therefore verification with another method crucial. Therefore the two simulations were set up and the ricochet behaviour investigated. In contrast to the experimental results, these results demonstrate that independent of the numerical method, both models show an unexpected overproduction of ricochet at higher impact velocities, but agree in their over prediction. The benefits arising out of the collaborative approach of SPH and ALE to describe a problem are presented