Live algorithms are computational systems made to perform in an improvised manner with human improvising musicians, typically using only live audio or MIDI streams as the medium of interaction. They are designed to establish meaningful musical interaction with their musical partners, without necessarily being conceived of as “virtual musicians”. This paper investigates, with respect to a specif...

The genus Achrysocharoides Girault is here reported for the first time from tropical America. Included are ten species, eight newly described: Achrysocharoides asperulus, Achrysocharoides callisetosus, Achrysocharoides cuspidatus, Achrysocharoides foveatus, Achrysocharoides infuscus, Achrysocharoides mediocarinatus, Achrysocharoides purpureus, Achrysocharoides sulcatus, and two already known: A...

This paper tries to point out some of the promises, quarrels, achievements, and perspectives of the forced marriage between the relational and objectoriented data models, from both theoretical and implementation perspectives. As practical O-R achievements, the latest SQL standards (SQL:1999-2008) and Oracle implementation are discussed

In a previous paper, we showed that Earth-type habitable planets around 47 UMa are in principle possible if a distinct set of conditions is warranted. These conditions include that the Earth-type planets have successfully formed and are orbitally stable and, in addition, that the 47 UMa star–planet system is relatively young (96 Gyr). We now extend this study by considering Earth-like planets w...

An important aim of this paper is to increase the level of rigor that we use to understand the role of the state as an institution determining the economic performance of other institutions. More specifically, we seek to increase our understanding of the role of the state in determining the economic performance of two distinct type of markets: “spontaneous” markets and “socially contrived” ones...

It is a fact of experience from the study of higher type computability that a wide range of approaches to defining a class of (hereditarily) total functionals over N leads in practice to a relatively small handful of distinct type structures. Among these are the type structure C of Kleene-Kreisel continuous functionals, its effective substructure C, and the type structure HEO of the hereditaril...

Situational interest is the positive affect and sustained attention triggered by particular contexts (Hidi & Renninger, 2006). Some studies show interesting information enhances learning while others find it hinders learning, producing the seductive detail effect. Limited evidence suggests the seductive detail effect is weakened if emotionally interesting information is relevant to main ideas. ...

A system is data-independent with respect to a data type X iff the operations it can perform on values of type X are restricted to just equality testing. The system may also store, input and output values of type X. We study model checking of systems which are data-independent with respect to two distinct type variables X and Y , and may in addition use arrays with indices from X and values fro...

This paper argues that Old Japanese (eighth century) had split alignment, with nominative-accusative alignment in main clauses and active alignment in nominalized clauses. The main arguments for active alignment in nominalized clause come from ga-marking of active subjects and the distribution oftwo verbal prefixes: /-for active predicates and safor inactive predicates (cf. Yanagida, In: Hasega...

We have examined the role of microbial communities on the surface of submersed macrophytes and in the underlying sediment for nitrification and denitrification in light and dark in NH -enriched microcosm systems using isotope 4 pairing and dilution techniques. Potamogeton pectinatus L. and intact sediment cores were collected in a shallow reservoir receiving treated municipal wastewater and con...