One-dimensional s-p superlattice

The physics of one dimensional optical superlattices with resonant $s$-$p$ orbitals is reexamined in the language of appropriate Wannier functions. It is shown that details of the tight binding model realized in different optical potentials crucially depend on the proper determination of Wannier functions. We discuss the properties of a superlattice model which quasi resonantly couples $s$ and $p$ orbitals and show its relation with different tight binding models used in other works.Comment: 9pp, 10 figures, updated references, comments to [email protected]

BSML: A Binding Schema Markup Language for Data Interchange in Problem Solving Environments (PSEs)

We describe a binding schema markup language (BSML) for describing data interchange between scientific codes. Such a facility is an important constituent of scientific problem solving environments (PSEs). BSML is designed to integrate with a PSE or application composition system that views model specification and execution as a problem of managing semistructured data. The data interchange problem is addressed by three techniques for processing semistructured data: validation, binding, and conversion. We present BSML and describe its application to a PSE for wireless communications system design

On the Values of Words

Mary Norris\u27 Between You and Me: Confessions of a Comma Queen and Kory Stamper\u27s Word by Word: The Secret Life of Dictionaries use observations about language as a touchstone for a nuanced examination of deeper truths about language, culture, and law in a changing world. In so doing, they point to deeper truths about the use of language and its consequences. Law students, lawyers, and law professors will benefit from journeying with Norris and Stamper towards the goal of crafting prose that is clear, accurate, and inclusive. In particular, the legal community will benefit from the books\u27 efforts to define consistent, binding linguistic rules and the books\u27 reflections on the consequences of language as a medium for conveying law

Adding Syntax Parameters to the Sweet.JS Macro Library for JavaScript

Lisp and Scheme have demonstrated the power of macros to enable programmers to evolve and craft languages. A macro is a rule or pattern that specifies how a certain input sequence should be mapped to an output sequence according to some defined procedure. Using a macro system a programmer can introduce new syntactic elements to the programming language. Macros found in a program are expanded by a macro expander and allow a programmer to enable code reuse. Mozilla Sweet.JS provides a way for developers to enrich their JavaScript code by adding new syntax to the language through the use of macros. Sweet.JS provides the possibility to define hygienic macros inspired by Scheme. “In this paper, I present the implementation of a “syntax parameter” feature for the Sweet.JS library. A syntax parameter is a mechanism for rebinding a macro defi- nition within the dynamic context of a macro expansions thereby introducing implicit identifiers in a hygienic fashion. Some time hygienic macro bindings are insufficient such as with “anaphoric conditionals where the value of the tested expression is avail- able as an it binding. With syntax parameters, instead of introducing the binding unhygienically each time, we instead create one binding for the keyword, which we can then adjust later when we want the keyword to have a different meaning. As no new bindings are introduced hygiene is preserved

Interplay between Point-Group Symmetries and the Choice of the Bloch Basis in Multiband Models

We analyze the point-group symmetries of generic multiband tight-binding models with respect to the transformation properties of the effective interactions. While the vertex functions in the orbital language may transform non-trivially under point-group operations, their point-group behavior in the band language can be simplified by choosing a suitable Bloch basis.We first give two analytically accessible examples. Then we show that, for a large class of models, a natural Bloch basis exists, in which the vertex functions in the band language transform trivially under all point-group operations. As a consequence, the point-group symmetries can be used to reduce the computational effort in perturbative many-particle approaches such as the functional renormalization group.Comment: revised version: 38 pages, 4 figure

Real-time systems development with SDL and next generation validation tools

The language SDL has long been applied in the development of various kinds of systems. Real-time systems are one application area where SDL has been applied extensively. Whilst SDL allows for certain modelling aspects of real-time systems to be represented, the language and its associated tool support have certain drawbacks for modelling and reasoning about such systems. In this paper we highlight the limitations of SDL and its associated tool support in this domain and present language extensions and next generation real-time system tool support to help overcome them. The applicability of the extensions and tools is demonstrated through a case study based upon a multimedia binding object used to support a configuration of time dependent information producers and consumers realising the so called lip-synchronisation algorithm