The conceptual view model of output is based on the complete separation of the output specification of a program from the program itself, and the use of implicit synchronization to allow the data state of the program to be continuously mapped to a display view. An output specification language called GVL is used to specify the mapping from the program’s data state to the display. GVL is a funct...

In Aplysia, mutually antagonistic ingestive and egestive behaviors are produced by the same multifunctional central pattern generator (CPG) circuit. Interestingly, higher-order inputs that activate the CPG do not directly specify whether the resulting motor program is ingestive or egestive because the slow dynamics of the network intervene. One input, the commandlike cerebral-buccal interneuron...

In a previous work we defined a recursive warrant semantics for Defeasible Logic Programming based on a general notion of collective conflict among arguments. The main feature of this recursive semantics is that an output of a program is a pair consisting of a set of warranted and a set of blocked formulas. A program may have multiple outputs in case of circular definitions of conflicts among a...

This paper presents an experiment concerning the relative effectiveness of computer assisted comprehension practice and production practice in the acquisition of a second language. Two computer programs were developed: (a) an input-focused program providing students with explicit grammatical instruction and comprehension exercises and (b) an output-focused program providing the same grammatical...

A new release of the parametric detector Monte Carlo program SIMDET (version 4.01) is now available. We describe the principles of operation and the usage of this program to simulate the response of a detector for the TESLA linear collider. The detector components are implemented according to the TESLA Technical Design Report. All detector component responses are treated in a realistic way usin...

The ASIZ program, written for the analysis of switchedcurrent filters, in the original version considered only the main spectral component of the output signal, and assumed sampled-and-held input signals. This paper describes the implementation in the program of full output spectrum computation and direct signal feedthrough effects. The extension is simple, since the semi-symbolic approach of t...

Program synthesis tasks usually specify only the desired output of a program and do not state any expectations about its internal behavior. The intermediate execution states reached by a running program can be nonetheless deemed as more or less preferred according to their information content with respect to the desired output. In this paper, a consistency measure is proposed that implements th...