Type System

A forensic genotyping panel of 11 tetranucleotide STR loci from the domestic cat was characterized and evaluated for genetic individualization of cat tissues. We first examined 49 candidate STR loci and their frequency assessment in domestic cat populations. The STR loci (3-4 base pair repeat motifs), mapped in the cat genome relative to 579 coding loci and 255 STR loci, are well distributed across the 18 feline autosomes. All loci exhibit Mendelian inheritance in a multi-generation pedigree. Eleven loci that were unlinked and were highly heterozygous in cat breeds were selected for a forensic panel. Heterozygosity values obtained for the independent loci, ranged from 0.60-0.82, while the average cat breed heterozygosity obtained for the 11 locus panel was 0.71 (range of 0.57-0.83). A small sample set of outbred domestic cats displayed a heterozygosity of 0.86 for the 11 locus panel. The power of discrimination of the panel is moderate to high in the cat breeds examined, with an ave...

Microsoft has introduced the .NET architecture as a new component-based programming environment, which allows for easy integration of classical distributed programming techniques with Web computing. NET defines a type system and introduces notions such as component, object, and interface, which are building blocks for distributed multi-language component-based applications. As many other component frameworks, .NET mainly focuses on functional interfaces of components. Non-functional aspects of components, such as resource usage (CPU, memory), timing behavior, fault-tolerance, or security requirements are currently not expressed in .NET's component interfaces. We discuss the usage of aspect-oriented programming techniques in context of the .NET framework. We focus on the fault-tolerance aspect and discuss the expression of non-functional component properties (aspects) as C# custom attributes. Our approach uses reflection to generate replicated objects based on settings of a special "fault-tolerance" attribute for C# components. We have implemented an aspect-weaver for integration of aspect-code and component-code, which uses the mechanisms of the language-neutral .NET type system. Therefore, our approach is not restricted to the C# language but works for any of the .NET programming languages

The Cerro de los Batallones (Los Batallones Butte) is located in the central-northern area of the Madrid Basin, central Spain. Nine vertebrates localities containing a large variety of mammals of Upper Vallesian Age (Late Miocene) have been found associated with the sediments forming the butte. From bottom to top, these sediments consist of magnesian lutite beds (Unit I), paleosols formed of sepiolite and opal (Unit II), and siliclastic, marlstone and carbonate beds (Unit III). The set of ERT profiles developed in ...

This paper describes a substantial effort to build a real-time interactive multimodal dialogue system with a focus on emotional and nonverbal interaction capabilities. The work is motivated by the aim to provide technology with competences in perceiving and producing the emotional and nonverbal behaviors required to sustain a conversational dialogue. We present the Sensitive Artificial Listener (SAL) scenario as a setting which seems particularly suited for the study of emotional and nonverbal behavior since it requires only very limited verbal understanding on the part of the machine. This scenario allows us to concentrate on nonverbal capabilities without having to address at the same time the challenges of spoken language understanding, task modeling, etc. We first report on three prototype versions of the SAL scenario in which the behavior of the Sensitive Artificial Listener characters was determined by a human operator. These prototypes served the purpose of verifying the effectiveness of the SAL scenario and allowed us to collect data required for building system components for analyzing and synthesizing the respective behaviors. We then describe the fully autonomous integrated real-time system we created, which combines incremental analysis of user behavior, dialogue management, and synthesis of speaker and listener behavior of a SAL character displayed as a virtual agent. We discuss principles that should underlie the evaluation of SAL-type systems. Since the system is designed for modularity and reuse and since it is publicly available, the SAL system has potential as a joint research tool in the affective computing research community.

Experimenting with formalisms for Natural Language Processing involves costly programming overhead in conventional computing idioms, even as "advanced" as Lisp or Prolog. LIFE is a programming language which incorporates an elegant type system which supports a powerful facility for structured type inheritance. Also, LIFE reconciles styles from Functional Programming and Logic Programming by implicitly delegating control to an automatic suspension mechanism. This allows interleaving interpretation of relational and functional expressions which specify abstract structural dependencies on objects. Together, these features provide a convenient and versatile power of abstraction for very high-level expression of constrained data structures. Computational linguistics is a discipline where such abstractions are particularly useful. Therefore, obvious convenience is offered by LIFE for experimentation to the computational linguist, who becomes relieved from burdensome yet extrinsi...