Inverse and symmetrical voice: On languages with two transitive constructions

In voice and alignment typology, a categorical distinction is generally made between inverse systems on the one hand and symmetrical voice systems on the other. A major reason for distinguishing between these two types is the assumption that inverse systems are governed by a hierarchy involving grammatical, semantic, and ontological criteria, while symmetrical voice systems are based on discourse-pragmatic factors. However, the two types also have several important properties in common, in particular the fact that they have more than one nonderived transitive construction. Based on data from three native languages of South America, we show that the line between the two types is not always easy to draw, and that features of the inverse type can coexist with those of the symmetrical-voice type in the same language.

Universal quantum computation with continuous-variable cluster states

We describe a generalization of the cluster-state model of quantum computation to continuous-variable systems, along with a proposal for an optical implementation using squeezed-light sources, linear optics, and homodyne detection. For universal quantum computation, a nonlinear element is required. This can be satisfied by adding to the toolbox any single-mode non-Gaussian measurement, while the initial cluster state itself remains Gaussian. Homodyne detection alone suffices to perform an arbitrary multimode Gaussian transformation via the cluster state. We also propose an experiment to demonstrate cluster-based error reduction when implementing Gaussian operations.

Continuous action system refinement

Action systems are a framework for reasoning about discrete reactive systems. Back, Petre and Porres have extended these action systems to continuous action systems, which can be. used to model hybrid systems. In this paper we define a refinement relation, and develop practical data refinement rules for continuous action systems. The meaning of continuous action systems is expressed in terms of a mapping from continuous action systems to action systems. First, we present a new mapping from continuous act ion systems to action systems, such that Back's definition of trace refinement is correct with respect to it. Second, we present a stream semantics that is compatible with the trace semantics, but is preferable to it because it is more general. Although action system trace refinement rules are applicable to continuous action systems with a stream semantics, they are not complete. Finally, we introduce a new data refinement rule that is valid with respect to the stream semantics and can be used to prove refinements that are not possible in the trace semantics, and we analyse the completeness of our new rule in conjunction with the existing trace refinement rules.

Optimal Control of Heterogeneous Systems

Цветомир Цачев - В настоящия доклад се прави преглед на някои резултати от областта на оптималното управление на непрекъснатите хетерогенни системи, публикувани в периодичната научна литература в последните години. Една динамична система се нарича хетерогенна, ако всеки от нейните елементи има собствена динамиката. Тук разглеждаме оптимално управление на системи, чиято хетерогенност се описва с едномерен или двумерен параметър – на всяка стойност на параметъра отговаря съответен елемент на системата. Хетерогенните динамични системи се използват за моделиране на процеси в икономиката, епидемиологията, биологията, опазване на обществената сигурност (ограничаване на използването на наркотици) и др. Тук разглеждаме модел на оптимално инвестиране в образование на макроикономическо ниво [11], на ограничаване на последствията от разпространението на СПИН [9], на пазар на права за въглеродни емисии [3, 4] и на оптимален макроикономически растеж при повишаване на нивото на върховите технологии [1]. Ключови думи: оптимално управление, непрекъснати хетерогенни динамични системи, приложения в икономиката и епидемиолегията

The existence of an inverse limit of inverse system of measure spaces - a purely measurable case

The existence of an inverse limit of an inverse system of (probability) measure spaces has been investigated since the very beginning of the birth of the modern probability theory. Results from Kolmogorov [10], Bochner [2], Choksi [5], Metivier [14], Bourbaki [3] among others have paved the way of the deep understanding of the problem under consideration. All the above results, however, call for some topological concepts, or at least ones which are closely related topological ones. In this paper we investigate purely measurable inverse systems of (probability) measure spaces, and give a sucient condition for the existence of a unique inverse limit. An example for the considered purely measurable inverse systems of (probability) measure spaces is also given.

A review of the welfare of dairy cows in continuously housed and pasture-based production systems.

There is increasing interest in the use of continuous housing systems for dairy cows, with various reasons put forward to advocate such systems. However, the welfare of dairy cows is typically perceived to be better within pasture-based systems, although such judgements are often not scientifically based. The aim of this review was to interrogate the existing scientific literature to compare the welfare, including health, of dairy cows in continuously housed and pasture-based systems. While summarising existing work, knowledge gaps and directions for future research are also identified. The scope of the review is broad, examining relevant topics under three main headings; health, behaviour, and physiology. Regarding health, cows on pasture-based systems had lower levels of lameness, hoof pathologies, hock lesions, mastitis, uterine disease, and mortality compared to cows on continuously housed systems. Pasture access also had benefits for dairy cow behaviour, in terms of grazing, improved lying / resting times, and lower levels of aggression. Moreover, when given the choice between pasture and indoor housing, cows showed an overall preference for pasture, particularly at night. However, the review highlighted the need for a deeper understanding of cow preference and behaviour. Potential areas for concern within pasture-based systems included physiological indicators of more severe negative energy balance, and in some situations, the potential for compromised welfare with exposure to unpredictable weather conditions. In summary, the results from this review highlight that there remain considerable animal welfare benefits from incorporating pasture access into dairy production systems.

Bayesian online algorithms for learning in discrete Hidden Markov Models

We propose and analyze two different Bayesian online algorithms for learning in discrete Hidden Markov Models and compare their performance with the already known Baldi-Chauvin Algorithm. Using the Kullback-Leibler divergence as a measure of generalization we draw learning curves in simplified situations for these algorithms and compare their performances.

Asymptotic behaviour of two-dimensional time-delayed Navier-Stokes equations

We consider the two-dimensional Navier-Stokes equations with a time-delayed convective term and a forcing term which contains some hereditary features. Some results on existence and uniqueness of solutions are established. We discuss the asymptotic behaviour of solutions and we also show the exponential stability of stationary solutions.

C(alpha)-HOLDER CLASSICAL SOLUTIONS FOR NON-AUTONOMOUS NEUTRAL DIFFERENTIAL EQUATIONS

In this paper we discuss the existence of alpha-Holder classical solutions for non-autonomous abstract partial neutral functional differential equations. An application is considered.

Dynamical analysis in growth models: Blumberg’s equation

We present a new dynamical approach to the Blumberg's equation, a family of unimodal maps. These maps are proportional to Beta(p, q) probability densities functions. Using the symmetry of the Beta(p, q) distribution and symbolic dynamics techniques, a new concept of mirror symmetry is defined for this family of maps. The kneading theory is used to analyze the effect of such symmetry in the presented models. The main result proves that two mirror symmetric unimodal maps have the same topological entropy. Different population dynamics regimes are identified, when the intrinsic growth rate is modified: extinctions, stabilities, bifurcations, chaos and Allee effect. To illustrate our results, we present a numerical analysis, where are demonstrated: monotonicity of the topological entropy with the variation of the intrinsic growth rate, existence of isentropic sets in the parameters space and mirror symmetry.

Strong and weak Allee effects and chaotic dynamics in Richards' growths

In this paper we define and investigate generalized Richards' growth models with strong and weak Allee effects and no Allee effect. We prove the transition from strong Allee effect to no Allee effect, passing through the weak Allee effect, depending on the implicit conditions, which involve the several parameters considered in the models. New classes of functions describing the existence or not of Allee effect are introduced, a new dynamical approach to Richards' populational growth equation is established. These families of generalized Richards' functions are proportional to the right hand side of the generalized Richards' growth models proposed. Subclasses of strong and weak Allee functions and functions with no Allee effect are characterized. The study of their bifurcation structure is presented in detail, this analysis is done based on the configurations of bifurcation curves and symbolic dynamics techniques. Generically, the dynamics of these functions are classified in the following types: extinction, semi-stability, stability, period doubling, chaos, chaotic semistability and essential extinction. We obtain conditions on the parameter plane for the existence of a weak Allee effect region related to the appearance of cusp points. To support our results, we present fold and flip bifurcations curves and numerical simulations of several bifurcation diagrams.

A class of singular first order differential equations with applications in reaction-diffusion

Agências Financiadoras: FCT e MIUR

Explosion birth and extinction: Double big bang bifurcations and Allee effect in Tsoularis-Wallace's growth models

This work concerns dynamics and bifurcations properties of a new class of continuous-defined one-dimensional maps: Tsoularis-Wallace's functions. This family of functions naturally incorporates a major focus of ecological research: the Allee effect. We provide a necessary condition for the occurrence of this phenomenon of extinction. To establish this result we introduce the notions of Allee's functions, Allee's effect region and Allee's bifurcation curve. Another central point of our investigation is the study of bifurcation structures for this class of functions, in a three-dimensional parameter space. We verified that under some sufficient conditions, Tsoularis-Wallace's functions have particular bifurcation structures: the big bang and the double big bang bifurcations of the so-called "box-within-a-box" type. The double big bang bifurcations are related to the existence of flip codimension-2 points. Moreover, it is verified that these bifurcation cascades converge to different big bang bifurcation curves, where for the corresponding parameter values are associated distinct kinds of boxes. This work contributes to clarify the big bang bifurcation analysis for continuous maps and understand their relationship with explosion birth and extinction phenomena.

Strategic behavior and price discovery

The paper analyzes the effects of strategic behavior by an insider in a price discovery process, akin to an information tatonnement, in the presence of a competitive informed sector. Such processes are used in the preopening period of continuous trading systems in several exchanges. It is found that the insider manipulates the market using a contrarian strategy in order to neutralize the effect of the trades of competitive informed agents. Furthermore, consistently with the empirical evidence available, we find that information revelation accelerates close to the opening, that the market price does not converge to the fundamental value no matter how many rounds the tatonnement has, and that the expected trading volume displays a U-shaped pattern. We also find that a market with a larger competitive sector (smaller insider) has an improved informational efficiency and an increased trading volume. The insider provides a public good (a lower informativeness of the price) for the competitive informed sector.

Polttodirektiivien soveltaminen sellutehtaiden ilmapäästömittauksissa

EU:n polttodirektiivit, LCP- ja jätteenpolttodirektiivi ovat arkipäivää suuressa osassa polttolaitoksia Suomessakin lähivuosien kuluessa. Molemmat direktiivit on otettu mukaan Suomen lain-säädäntöön asetuksina, joita on hieman muutettu vastaamaan kansallisia tarpeita. Polttolaitokset tulevat muuttamaan aikaisempia käytäntöjään päästöistä mitattavien komponenttien sekä tarkkailujaksojen että raportoinnin osalta. Mittausten tulokset raportoidaan jatkossa yksikössä mg/Nm3. Jatkuvatoimisia mittausjärjestelmiä on asennettava yhä useampaan laitokseen ja savukaasuista tarkkaillaan pitoisuuksia päästöjen sijaan. Edelleen raportoidaan esim. ympäristölupaviranomaiselle vuosipäästöjen suuruus. Vuonna 2000 voimaan tulleen ympäristönsuojelulain ja -asetuksen velvoittamina toiminnassa olevat sellutehtaat ovat hakeneet uuden lain mukaista ympäristölupaa vuoden 2004 loppuun mennessä. Ympäristöluvan tarvitsevat myös kaikki teholtaan yli 50 MW:n polttolaitokset. Suuria polttolaitoksia koskeva LCP-direktiivi astuu voimaan vuoden 2008 alussa. Siksi uusissa ympäristöluvissa tullaantodennäköisesti vaatimaan myös sellutehtailta ko. direktiivin mukaisia mittaus-järjestelmiä ja päästörajoja. Laitoksissa on jo nyt melko kattavat päästömittausjärjestelmät, sillä myös voimassaolevat ympäristöluvat ja ilmapäästöjen tarkkailuohjelmat velvoittavat päästöjen jatkuvaan seurantaan pääosin samoista savukaasukomponenteista kuin mitä direktiivissäkin edellytetään. Tässä diplomityössä keskitytään LCP- ja jätteenpolttodirektiivien mittausvaatimuksiin, raja-arvoihin sekä raportointiin sekä Metsä-Botnian sellutehtaiden mittausjärjestelmien parantamis-toimenpiteisiin. Yksityiskohtainen toimintamalli on tehty Joutsenon tehtaan laitosta ja mittaus-järjestelmää silmällä pitäen. Sitä voidaan käyttää myös muillatehtailla mallina savukaasupäästöjen mittauksien ja laitteiden päivitysten yhteydessä. Toimintamalliin siirtyminen ei velvoita Metsä-Botnian tehtaita, mutta monet tehtaat haluavat laitteistokannan uusimisen yhteydessä siirtyä direktiivien vaatimuksia vastaavaan järjestelmään.