SOL (Secure Operations Language) is a synchronous programming language for implementing reactive systems. The utility of SOL hinges upon the fact that it is a secure language, i.e., most programs in SOL are amenable to fully automated static analysis techniques, such as automatic theorem proving using decision procedures or model checking. Among the unique features of SOL is the ability to expr...

This study describes a new means to conduct molecular recognition-based analysis using mass spectrometry. Taking advantage of the unique characteristic of the absorption capacity of the TiO(2) sol-gel material in the UV region, a TiO(2) sol-gel-deposited thin film was employed as the sample substrate to assist in UV laser desorption/ionization of analytes. Sol-gels are polymeric materials that ...

While no supervised learning algorithm can do well over all functions, we show that it may be possible to adapt a given function to a given supervised learning algorithm so as to allow the learning algorithm to better classify the original function. Although this seems counterintuitive, adapting the problem to the learner may result in an equivalent function that is "easier" for the algorithm t...

SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial consequences of an axiom set is useful in many applications of Artificial Intelligence such as theorem proving, query answering and nonmonotonic reasoning. SOL is a connection tableau calculus which is complete for findin...

Five pairs of rabbit corneas were stored for two weeks at 4 degrees C, one of each pair in K-Sol medium, and one in McCarey-/Kaufman (M-K) medium. After transplantation all penetrating keratoplasty grafts became clear and thin. Endothelial cell loss was significantly less in the K-Sol stored corneas. Another five pairs of corneas were stored for two weeks in K-Sol or three days in M-K medium. A...

This paper surveys complexity and approximability results for the Maximum Solution (Max Sol) problem. Max Sol is an optimisation variant of the constraint satisfaction problem. Many important and well-known combinatorial optimisation problems are instances of Max Sol: for example, Max Sol restricted to the domain {0, 1} is exactly the Max Ones problem (which, in turn, captures problems such as ...

Microencapsulation has become a hot topic in chemical research. Technology mainly used for control release and protection purposes. The sol-gel micro encapsulation approach for fragrance and aroma in porous silica-based materials leads to sustainable odorant and flavored materials with novel and unique beneficial properties. Sol-gel encapsulation of silica based micro particles considered econo...

The paper presents a numerical technique for modeling “trace” impurity transport in the scrape-off-layer (SOL) and core regions by implicit coupling of a three-dimensional (3D) edge Monte Carlo code like EMC3-Eirene [1, 2] to a one-dimensional (1D) core model handled by a finite difference method. For given core plasma and transport coefficient profiles, certain types of particular solutions to...

SOL (Secure Operations Language) is a synchronous programming language for implementing reactive systems. The utility of SOL hinges upon the fact that it is a secure language, i.e., most programs in SOL are amenable to fully automated static analysis techniques, such as automatic theorem proving using decision procedures or model checking. Among the unique features of SOL is the ability to expr...

The present study was designed to examine fascicle-tendon interaction in the synergistic medial gastrocnemius (MG) and soleus (Sol) muscles during drop jumps (DJ) performed from different drop heights (DH). Eight subjects performed unilateral DJ with maximal rebounds on a sledge apparatus from different DH. During the exercises, fascicle lengths (using ultrasonography) and electromyographic act...