The founding master of ‘Dachengquan, Wang Xiang Yhai, who is famous in the North and South, and praised by the martial arts circles of the whole country, has recently moved to Beijing. For the exchange of knowledge and opinions among the practitioners of different martial arts, he has arranged a meeting time every Sunday afternoon from 1:00 pm to 6:00 pm, at Dayangyibin Alley, where he acts as ...

Wepropose a novel, comonadic approach to dataflow (streambased) computation. This is based on the observation that both general and causal stream functions can be characterized as coKleisli arrows of comonads and on the intuition that comonads in general must be a good means to structure context-dependent computation. In particular, we develop a generic comonadic interpreter of languages for co...

C.G. Galizia, P.-M. Lledo (eds.), Neurosciences From Molecule to Behavior: A University Textbook, DOI 10.1007/978-3-642-10769-6_30, © Springer-Verlag Berlin Heidelberg 2013 The nervous system faces a most challenging task – to receive information from the outside world, process it, to change adaptively, and to generate an output – the appropriate behavior of the organism in a complex world. The...

We contend in this presentation that more sustainable and successful Knowledge Management (KM) solutions can be built by using the principles of Knowledge Engineering (KE) to understand knowledge in a more appropriate way. We will basically explore five aspects of practical knowledge relevant for promoting the essential Human Factors (HF) involved in KM tasks: the value and function of knowledg...

This thesis has one main goal: design algorithms that computers can use to produce expressive sounding rhythmic phrases. First, I describe four elements that can characterize musical rhythm: metric structure, tempo variation, deviations, and ametric phrases. The first three elements can be used successfully to model percussive rhythm. Second, I describe two algorithms: one, an automatic transcr...

Some natural properties have causal roles; call these ‘causal properties’. Dispositional essentialists think that some causal properties have their causal roles essentially. For the purposes of this paper, I treat dispositional essentialism (hereafter ‘DE’) as a claim about the properties of (ideal, completed, fundamental) science. If the basic ontology of completed science (hereafter ‘Physics’...

Managed care is more than simply a definition--it is often described as a "way of life, .... a religion." Continuing the analogy, to understand and participate, it is necessary to be a "believer." It is easy then to articulate what managed care is and what it is not. It is the conscientious attempt "to effect a balance in the utilization of health care resources, cost containment and quality en...

We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local variables provide a way to restrict interference between parallel commands. The combination of local variables, procedures, and parallelism supports a form of concurrent object-oriented programming. We provide a denotatio...

Let S be some type system. A typing in S for a typable term M is the collection of all of the information other than M which appears in the final judgement of a proof derivation showing that M is typable. For example, suppose there is a derivation in S ending with the judgement A ` M : τ meaning that M has result type τ when assuming the types of free variables are given by A. Then (A, τ ) is a...