A database was developed to store, organize, and retrieve the data associated with electrophoresis and chromatography separations. It allows laboratories to store extensive data on separation techniques (analytical and preparative). The data for gel electrophoresis includes gel composition, staining methods, electric fields, analysis, and samples loaded. The database stores data on chromatograp...

In aviation, using external stores under the wings is a common method of carrying payload or fuel. some cases, can be rigidly attached to wing. However, must often ejected during flight for aircraft, such as military type, which carry drop tanks and missiles. This may cause wing respond dynamically with increasing amplitudes, due impulsive load ejection change total mass. especially critical in...

Separation logic is a Hoare-style logic for reasoning about pointer-manipulating programs. Its core ideas have recently been extended from low-level to richer, high-level languages. In this paper we develop a new semantics of the logic for a programming language where code can be stored (i.e., with higher-order store). The main improvement on previous work is the simplicity of the model. As a c...

Combined asymptotics and numerics (CAN) give an insightful picture of shear layer cavities and provide a means of quickly visualizing the flow pattern within them. It appears that the recirculating flow can be modeled with inviscid approximations of the viscous flow for many practical cases. For bodies transiting the shear layer of such cavities such as in store separation, much of the details ...

A technique obtaining a precise mapping of interactive effects in the pitch memory store is described. Subjects were required to compare two tones for pitch when these were separated by a 5-second interval during which six other tones were played. In the second serial position of the intervening sequence there was placed a tone whose pitch bore a critical relationship to the pitch of the first ...

We introduce JuS (JavaScript under Scrutiny), a first step towards a static-analysis tool for JavaScript based on a program logic in the style of separation logic. In particular, we focus on reasoning automatically about the JavaScript variable store. Because of prototype-based inheritance and with statements, even reasoning about variables is not trivial in JavaScript. We evaluate our tool on ...

Higher-order store means that code can be stored on the mutable heap that programs manipulate, and is the basis of flexible software that can be changed or re-configured at runtime. Specifying such programs is challenging because of recursion through the store, where new (mutual) recursions between code are set up on the fly. This paper presents a series of formal specification patterns that ca...