Fabrication and performance of low loss optical components made byion exchange in glass

Passive optical components made by photolithography with ion exchange in glass have been developed. The technology used to fabricate these components is described, and their performance characterization is discussed. It is shown that this technique produces highly uniform low-loss devices     

A Proof-Theoretic Semantics for Adjectival Modification

The paper introduces a proof-theoretic semantics (PTS) for adjectival modification (adjective–noun combination) as an alternative to the traditional model-theoretic semantics basing meaning on truth-conditions. The paper considers the proof-theoretic meaning of modification by means of the three traditional adjective classes: intersective, subsective and privative. It does so by introducing a meaning-conferring natural-deduction proof system for such modification. The PTS theory of meaning is not polluted by ontological commitments, for example, a scale for beauty and a yardstick for being beautiful. It only uses syntactic artefacts of the proof language. The paper also defines, by suitable rules, iterated modification, shedding light on the relationship between iteration and adjectival classes. Modification via coordinated adjectives is covered too. An appendix delineates briefly the main ingredients of PTS.     

Crystal structure modifications of tristearin by food emulsifiers

The effect of several emulsifiers as crystal structure modifiers of tristearin has been investigated. The less thermodynamically stable modification, named a, is preserved when 1–10% of sorbitan monostearate was added before allowing the molten tristearin to cool and crystallize. Several other emulsifiers have been tested and it has been found that the combination of bulkiness of the hydrophilic groups with the right lengths of the hydrophobic chains of a given emulsifier is necessary to preserve the a-modification. Liquid emulsifiers and those having a pronounced hydrophilic character are not efficient as modifiers. The emulsifier has been shown to be incorporated into the tristearin during crystallization from solvent without an immediate effect, but it affects subsequent behavior upon melting and resolidification.     

Fairness and the axioms of control predicates

Many recent axiomatic definitions for structured programming languages include control predicates,at(S), in(S), andafter(S), which are an abstraction of location counters. The usual axioms identify control locations so as to imply that no time (i.e., no state transition) is needed to pass from the end of one statement to the next, and in particular from the end of a loop body back to the test at the head of the loop. Here, an axiomatic framework for control predicates is examined. It is shown that if all the axioms are to be maintained with common representation mappings, there are difficult new requirements which need to be satisfied by an implementation for fair concurrent models of computation. Several approaches to resolving the difficulty are considered, and in particular it is suggested to replace some axioms of the formPQ byPeventually(Q), whereP andQ are control predicates, thereby separating control states previously identified.The North has receded, but the South has not yet arrived.-Reuven Miran, 42 Degrees in the Shade Every three lines intersect at a point, if the point is thick enough.-Folk theoremNote: A talk based on this paper was presented at the Colloquium on Temporal Logic and Specification, Altrincham, Cheshire, April 1987.C.R. Categories: D.3.1 [Programming languages] Formal definitions and theory: semantics; D..3.3 [Programming languages] Language constructs: control structures; F.3.1. [Logics and meanings of programs] Specifying and verifying and reasoning about programs.     

Detecting unknown computer worm activity via support vector machines and active learning

To detect the presence of unknown worms, we propose a technique based on computer measurements extracted from the operating system. We designed a series of experiments to test the new technique by employing several computer configurations and background application activities. In the course of the experiments, 323 computer features were monitored. Four feature-ranking measures were used to reduce the number of features required for classification. We applied support vector machines to the resulting feature subsets. In addition, we used active learning as a selective sampling method to increase the performance of the classifier and improve its robustness in the presence of misleading instances in the data. Our results indicate a mean detection accuracy in excess of 90?%, and an accuracy above 94?% for specific unknown worms using just 20 features, while maintaining a low false-positive rate when the active learning approach is applied.     

Multi-length-Scale Elucidation of Kinetic and Symmetry Effects on the Behavior of Stearic and Oleic TAG. I. SOS and SSO

Positional isomerism in triacylglycerols (TAG), present in a molecular ensemble arising from genetic, environmental or processing-induced changes, can result in significant differences in the macroscopic physico-chemical functionality of crystallized networks of the ensemble. The differences in phase behavior induced by positional isomerism and levels of unsaturation of pure oleoyl-distearoyl TAG (SOS, SSO) were detailed at different length scales. The effect of cooling rate on the polymorphism, thermal properties and microstructure were systematically investigated between 0.1 and 5 °C/min. The symmetrical SOS presented a complex polymorphism and microstructure, which varied predictively with cooling rate. The crystal phases and transitions observed for this TAG are similar to those of cocoa butter. In contrast, the cooling rate had limited effect on the phase behavior of the asymmetrical SSO. The differences between the crystallization of SSO and SOS induced by kinetics are related to the kinked oleic acid at the outer position in the SSO molecule and favorable end group structure for SOS. The fundamental understanding gained from such model systems can be used in many industrial formulations, particularly foods.     

A Technique for Gradual Identification of Labor Market Flows

In this paper, I present a technique that permits the calculation of the flows of agents between the states and within the states of the labor market. Using the number of agents at the beginning and at the end of a certain time period, we can calculate labor market flows. However, since we have seven structural equations with ten unknown flows, the flows are identified in steps.     

Multi-Length-Scale Elucidation of Kinetic and Symmetry Effects on the Behavior of Stearic and Oleic TAG. II: OSO and SOO

The phase composition of triacylglycerols (TAG) is determined by chemical structure and is greatly affected by kinetics. Positional isomerism and unsaturation are two key structural elements that govern, for a large part, the phase behavior of TAG during crystallization. Polymorphism, thermal properties, and microstructure of dioleoyl‐stearoyl isomers (OSO, SOO) were investigated at different cooling rates with XRD, DSC and PLM techniques, respectively. The physical properties of the symmetrical TAG were found to predictably vary with cooling rate; whereas, the properties of the asymmetrical TAG remained relatively constant. This was explained to be mainly due to the extra steric hindrance caused by asymmetry and the disturbances introduced at the “terrace” level via methyl‐end group interactions. The findings underscore the intricate contribution of saturation and symmetry to the phase trajectories of diunsaturated TAG. The knowledge gained will help understand the behavior of more complex materials and can be used for the manipulation of fat structures at different length scales and direct the manufacture of novel food systems and other relevant materials.     

Small-focus integral fiber lenses: modeling with the segmented beam-propagation method and near-field characterization

Tapered- and straight-core fiber microlenses of hyperbolic shape are studied with the segmented beam propagation method (Se-BPM). This new formulation extends to a large scale the finite-difference time-domain method for calculating propagation of the wave field in guiding systems. It is based on partitioning an entire computational domain into subdomains along the direction of propagation. The Helmholtz equation can be solved directly for each subdomain, and an iterative procedure is used to propagate the field from one subdomain to another. The Se-BPM is compared with other approaches that are commonly used to analyze straight-core fiber microlen devices in the paraxial approximation. We deal mainly with small-spot-size fiber microlenses where this approximation does not apply. We show that the emergent beam is not Gaussian in the far field. Instead of the usual far-field characterization we propose a near-field characterization of the fiber microlens. This is possible with the near-field scanning optical microscopy technique.     

Backtracking in recursive computations

Summary A mathematical (denotational) semantics is constructed for a formalism of recursive equations with the Alternative operator. This formalism enables the combination of recursion and backtracking. The semantics is defined by applying fixpoint theory to set valued functions. We introduce the notion of strategy to produce subsets of the result. Two implementations are suggested using an auxiliary stack, that trade off recomputation time with space in the auxiliary stack. The concept of a sub-fixpoint is introduced, and the implementations are shown to be incomplete even w.r.t. sub-fixpoint values. One special strategy, the leftmost strategy, which stems from problems such as pattern matching or parsing, is discussed.