We demonstrate that photothermal deflection spectroscopy can be used to measure velocity distributions in dye jets. Such measurements are useful in determining the quality of flow in dye jets, The quality of jets is very important for a stable and naanow linewidth operation of dye lasers

Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of Satisfiability Modulo Theories. Yet, the exact formal link is obscured as the terminology and concepts used in these two research areas differ. In this paper, we make the link between these two areas precise.

Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of Satisfiability Modulo Theories. Yet the exact formal link is obscured as the terminology and concepts used in these two research areas differ. In this paper, we make the link between these two areas precise.

The output feedback stabilizability problem of a class of uncertain switched systems is investigated using sliding mode control and a synthesis design solution derived. Firstly, a common sliding surface is constructed such that the system restricted to the sliding surface is asymptotically stable and completely invariant to matched and mismatched uncertainties under arbitrary switching. Secondl...

A fundamental task for propositional logic is to compute models of propositional formulas. Programs developed for this task are called satisfiability solvers. We show that transition systems introduced by Nieuwenhuis, Oliveras, and Tinelli to model and analyze satisfiability solvers can be adapted for solvers developed for two other propositional formalisms: logic programming under the answerse...

Recently there has been an increasing interest in incorporating “intensional” functions in answer set programming. Intensional functions are those whose values can be described by other functions and predicates, rather than being pre-defined as in the standard answer set programming. We demonstrate that the functional stable model semantics plays an important role in the framework of “Answer Se...

A fundamental task for propositional logic is to compute models of propositional formulas. Programs developed for this task are called satisfiability solvers. We show that transition systems introduced by Nieuwenhuis, Oliveras, and Tinelli to model and analyze satisfiability solvers can be adapted for solvers developed for two other propositional formalisms: logic programming under the answerse...

In this paper, we extend the progression semantics for firstorder disjunctive logic programs and show that it coincides with the stable model semantics. Based on it, we further show how disjunctive answer set programming is related to Satisfiability Modulo Theories.

Which university departments engaged in industrially relevant science are likely candidates to become entrepreneurial? At present, there are neither measurement models nor leading indicators that can answer such questions at an international comparative level. This paper introduces concepts, theory, and a measurement model for identifying (the early stages of) a university’s enterpreneurial ori...