Functional Derivative of the Zero Point Energy Functional from the Strong Interaction Limit of Density Functional Theory

We derive an explicit expression for the functional derivative of the subleading term in the strong interaction limit expansion of the generalized Levy--Lieb functional for the special case of two electrons in one dimension. The expression is derived from the zero point energy (ZPE) functional, which is valid if the quantum state reduces to strongly correlated electrons in the strong coupling limit. The explicit expression is confirmed numerically and respects the relevant sum-rule. We also show that the ZPE potential is able to generate a bond mid-point peak for homo-nuclear dissociation and is properly of purely kinetic origin. Unfortunately, the ZPE diverges for Coulomb systems, whereas the exact peaks should be finite.Comment: 12 pages, 7 figure

On Functionality of Visibly Pushdown Transducers

Visibly pushdown transducers form a subclass of pushdown transducers that (strictly) extends finite state transducers with a stack. Like visibly pushdown automata, the input symbols determine the stack operations. In this paper, we prove that functionality is decidable in PSpace for visibly pushdown transducers. The proof is done via a pumping argument: if a word with two outputs has a sufficiently large nesting depth, there exists a nested word with two outputs whose nesting depth is strictly smaller. The proof uses technics of word combinatorics. As a consequence of decidability of functionality, we also show that equivalence of functional visibly pushdown transducers is Exptime-Complete.Comment: 20 page

Rat Monoclonal Antibodies Specific for LST1 Proteins

The LST1 gene is located in the human MHC class III region and encodes transmembrane and soluble isoforms that have been suggested to play a role in the regulation of the immune response and are associated with inflammatory diseases such as rheumatoid arthritis. Here we describe the generation and characterization of the first monoclonal antibodies against LST1. Two hybridoma lines secreting monoclonal antibodies designated 7E2 and 8D12 were established. The 7E2 antibody detects recombinant and endogenous LST1 by Western blot analysis while 8D12 reacts with recombinant and endogenous LST1 in immunoprecipitation and flow cytometry procedures. The newly established antibodies were used to survey LST1 protein expression in human cell lines, which was found to be tightly regulated, allowing the expression of transmembrane isoforms but suppressing soluble isoforms

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

Mobilitätsverhalten, Alltag und Lebensstile in Wien und Wien-Umgebung

Series: SRE - Discussion Paper

Strictly correlated uniform electron droplets

We study the energetic properties of finite but internally homogeneous D-dimensional electron droplets in the strict-correlation limit. The indirect Coulomb interaction is found to increase as a function of the electron number, approaching the tighter forms of the Lieb-Oxford bound recently proposed by Rasanen et al. [Phys. Rev. Lett. 102, 206406 (2009)]. The bound is satisfied in three-, two-, and one-dimensional droplets, and in the latter case it is reached exactly - regardless of the type of interaction considered. Our results provide useful reference data for delocalized strongly correlated systems, and they can be used in the development and testing of exchange-correlation density functionals in the framework of density-functional theory

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

Preface

Collocated with the ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS), the Educators’ Symposium (EduSymp) focuses on the huge topic of software modeling education ranging from experience reports and case studies to novel pedagogical approaches. In the following, we shortly report on the 6th EduSymp held in October 2010 in Oslo

Streaming Tree Transducers

Theory of tree transducers provides a foundation for understanding expressiveness and complexity of analysis problems for specification languages for transforming hierarchically structured data such as XML documents. We introduce streaming tree transducers as an analyzable, executable, and expressive model for transforming unranked ordered trees in a single pass. Given a linear encoding of the input tree, the transducer makes a single left-to-right pass through the input, and computes the output in linear time using a finite-state control, a visibly pushdown stack, and a finite number of variables that store output chunks that can be combined using the operations of string-concatenation and tree-insertion. We prove that the expressiveness of the model coincides with transductions definable using monadic second-order logic (MSO). Existing models of tree transducers either cannot implement all MSO-definable transformations, or require regular look ahead that prohibits single-pass implementation. We show a variety of analysis problems such as type-checking and checking functional equivalence are solvable for our model.Comment: 40 page