Global and detailed speech representations in early language acquisition

We review data and hypotheses dealing with the mental representations for perceived and produced speech that infants build and use over the course of learning a language. In the early stages of speech perception and vocal production, before the emergence of a receptive or a productive lexicon, the dominant picture emerging from the literature suggests rather non-analytic representations based on units of the size of the syllable: Young children seem to parse speech into syllable-sized units in spite of their ability to detect sound equivalence based on shared phonetic features. Once a productive lexicon has emerged, word form representations are initially rather underspecified phonetically but gradually become more specified with lexical growth, up to the phoneme level. The situation is different for the receptive lexicon, in which phonetic specification for consonants and vowels seem to follow different developmental paths. Consonants in stressed syllables are somewhat well specified already at the first signs of a receptive lexicon, and become even better specified with lexical growth. Vowels seem to follow a different developmental path, with increasing flexibility throughout lexical development. Thus, children come to exhibit a consonant vowel asymmetry in lexical representations, which is clear in adult representations

Comprehension of spacecraft telemetry using hierarchical specifications of behavior ⋆

Abstract. A key challenge in operating remote spacecraft is that ground operators must rely on the limited visibility available through spacecraft telemetry in order to assess spacecraft health and operational status. We describe a tool for processing spacecraft telemetry that allows ground operators to impose structure on received telemetry in order to achieve a better comprehension of system state. A key element of our approach is the design of a domain-specific language that allows operators to express models of expected system behavior using partial specifications. The language allows behavior specifications with data fields, similar to other recent runtime verification systems. What is notable about our approach is the ability to develop hierarchical specifications of behavior. The language is implemented as an internal DSL in the Scala programming language that synthesizes rules from patterns of specification behavior. The rules are automatically applied to received telemetry and the inferred behaviors are available to ground operators using a visualization interface that makes it easier to understand and track spacecraft state. We describe initial results from applying our tool to telemetry received from the Curiosity rover currently roving the surface of Mars, where the visualizations are being used to trend subsystem behaviors, in order to identify potential problems before they happen. However, the technology is completely general and can be applied to any system that generates telemetry such as event logs.

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

A Mathematical Approach Estimating Source and Sink Functioning of Competing Organs

in pressPlant growth and development depend on both organogenesis and photosynthesis. Organogenesis sets in place various organs (leaves, internodes, fruits, roots) that have their own sinks. The sum of these sinks corresponds to the plant demand. Photosynthesis of the leaves provides the biomass supply (source) that is to be shared among the organs according to their sink strength. Here we present a mathematical model – GreenLab – that describes dynamically plant architecture in a resource-dependent way. The source and sink functions of the various organs control the biomass acquisition and partitioning during plant development and growth, giving the sizes and weights of organs according to their position in the plant architecture. Non-linear least-square method was used to estimate the numerical values of (hidden) parameters that control the organ sink variation and leaf functioning. Through simultaneous fitting of data from several developmental stages (multi-fitting), plant growth could be described satisfactorily with just a few parameters. Examples of application on cotton and maize are shown in this article

Runtime verification of parametric properties using SMEDL

Parametric properties are typical properties to be checked in runtime verification (RV). As a common technique for parametric monitoring, trace slicing divides an execution trace into a set of sub traces which are checked against non-parametric base properties. An efficient trace slicing algorithm is implemented in MOP. Another RV technique, QEA further allows for nested use of universal and existential quantification over parameters. In this paper, we present a methodology for parametric monitoring using the RV framework SMEDL. Trace slicing algorithm in MOP can be expressed by execution of a set of SMEDL monitors. Moreover, the semantics of nested quantifiers is encoded by a hierarchy of monitors for aggregating verdicts of sub traces. Through case studies, we demonstrate that SMEDL provides a natural way to monitor parametric properties with more potentials for flexible deployment and optimizations

Classical Morphology of Plants as an Elementary Instance of Classical Invariant Theory

It has long been known that structural chemistry shows an intriguing correspondence with Classical Invariant Theory (CIT). Under this view, an algebraic binary form of the degree n corresponds to a chemical atom with valence n and each physical molecule or ion has an invariant-theoretic counterpart. This theory was developed using the Aronhold symbolical approach and the symbolical processes of convolution/transvection in CIT was characterized as a potential “accurate morphological method”. However, CIT has not been applied to the formal morphology of living organisms. Based on the morphological interpretation of binary form, as well as the process of convolution/transvection, the First and Second Fundamental Theorems of CIT and the Nullforms of CIT, we show how CIT can be applied to the structure of plants, especially when conceptualized as a series of plant metamers (phytomers). We also show that the weight of the covariant/invariant that describes a morphological structure is a criterion of simplicity and, therefore, we argue that this allows us to formulate a parsimonious method of formal morphology. We demonstrate that the “theory of axilar bud” is the simplest treatment of the grass seedling/embryo. Our interpretations also represent Troll's bauplan of the angiosperms, the principle of variable proportions, morphological misfits, the basic types of stem segmentation, and Goethe's principle of metamorphosis in terms of CIT. Binary forms of different degrees might describe any repeated module of plant organisms. As bacteria, invertebrates, and higher vertebrates are all generally shared a metameric morphology, wider implications of the proposed symmetry between CIT and formal morphology of plants are apparent