We investigate the class PBD of π-Calculus processes that are bounded in the function depth. First, we show that boundedness in depth has an intuitive characterisation when we understand processes as graphs: a process is bounded in depth if and only if the length of the simple paths is bounded. The proof is based on a new normal form for the π-Calculus called anchored fragments. Using this conc...

Machine learning research has been very successful at producing powerful, broadlyapplicable classification learners. However, many practical learning problems do not fit the classification framework well, and as a result the initial phase of suitably formulating the problem and incorporating the relevant domain knowledge can be very difficult and typically consumes the majority of the project t...

Programming by Demonstration systems often have problems with control structure injerence and user-intended generalization. We propose a new solution for these weaknesses basred on concepts of AWK and present a prototype system for text processing. I t utilizes ‘vertical demonstration’, extensive visual feedback, and program visualization via spreadsheets to achieve improved usability and expre...

In this paper, we propose a new mechanism, imitation, which can be used in a programming by demonstration system as an alternative to generalization. A system using imitation always asks the user for help when a new case arises in an algorithm. At this point, the user may demonstrate the steps for this case or tell the system: (1) that this case is similar to another one already demonstrated an...

A pairwise balanced design, B(K; v), is a block design on v points, with block sizes taken from K, and with every pair of points occurring in a unique block; for a fixed K, B(K) is the set of all v for which a B(K; v) exists. A set, S, is a PBD-basis for the set, T , if T = B(S). Let Na(m) = {n : n ≡ a mod m}, and N≥m = {n : n ≥ m}; with Q the corresponding restriction of N to prime powers. Thi...

A Latin square of order s is an s by s array L of the symbols { 1,2,..., s}, such that each symbol occurs once in each row and column of L. Two Latin squares L and M of order s are orthogonal if their superposition yields all s2 possible ordered pairs (i,j), 1 < i, j < s. It was conjectured by Euler, and proved by Tarry [4] that there do not exist a pair of orthogonal Latin squares of order six...

1 page only) With regulatory and environmental pressure toward control of landfill gas (LFG) management of collected LFG has become a significant issue. At a minimum, collected LFG must be flared for control of methane and nonmethane organic compounds. Beneficial reuse of LFG as an alternative to combustion has tremendous potential at most landfills. Issues facing reuse of LFG include gas compo...

The paper presents new results of a recent industry supported research and development study in which an efficient framework for evaluating practical and meaningful power system reliability and quality indices was applied. The system-wide integrated performance indices are capable of addressing and revealing areas of deficiencies and bottlenecks as well as redundancies in the composite generati...

What can you do to virtually teach the hands-on skills traditionally taught in labs? If you include simulations, active experimentation, discovery-learning techniques, numerous questions with detailed feedback, video, animations, and photographs, you can effectively teach practical hands-on skills through multimedia technology. Through discussion and demonstration, this session will highlight p...

We report the demonstration of reflection mode imaging of 100 nm-scale features using 46.9 nm light from a compact capillary-discharge laser. Our imaging system employs a Sc/Si multilayer coated Schwarzschild condenser and a freestanding zone plate objective. The reported results advance the development of practical and readily available surface and nanostructure imaging tools based on the use ...