Walking automata in free inverse monoids

International audienceWalking automata, be they running over words, trees or even graphs, possibly extended with pebbles that can be dropped and lifted on vertices, have long been defined and studied in Computer Science. However, questions concerning walking automata are surprisingly complex to solve. In this paper, we study a generic notion of walking automata over graphs whose semantics naturally lays within inverse semigroup theory. Then, from the simplest notion of walking automata on birooted trees, that is, elements of free inverse monoids, to the more general cases of walking automata on birooted finite subgraphs of Cayley's graphs of groups, that is, elements of free E-unitary inverse monoids, we provide a robust algebraic framework in which various classes of recognizable or regular languages of birooted graphs can uniformly be defined and related one with the other

Embedding finite and infinite words into overlapping tiles

International audienceIn this paper, we study languages of finite and infinite birooted words. We show how the embedding of free ω-semigroups of finite and infinite words into the monoid of birooted words can be generalized to the embedding of two-sorted ω-semigroups into (some notion of) one- sorted ordered ω-monoids. This leads to an algebraic characterization of regular languages of finite and infinite birooted words that generalizes and unifies the known algebraic characterizations of regular languages of finite and infinite words

Resampling technique applied to statistics of microsegregation characterization

Characterization of chemical heterogeneities at the dendrite scale is of practical importance for understanding phase transformation either during solidification or during subsequent solid-state treatment. Spot analysis with electron probe is definitely well-suited to investigate such heterogeneities at the micron scale that is relevant for most solidified products. However, very few has been done about the statistics of experimental solute distributions gained from such analyses when they are now more and more used for validating simulation data. There are two main sources generating discrepancies between estimated and actual solute distributions in an alloy: i) data sampling with a limited number of measurements to keep analysis within a reasonable time length; and ii) uncertainty linked to the measurement process, namely the physical noise that accompanies X-ray emission. Focusing on the first of these sources, a few 2-D composition images have been generated by phase field modelling of a Mg-Al alloy. These images were then used to obtain "true" solute distributions to which to compare coarse grid analyses as generally performed with a microanalyser. Resampling, i.e. generating several distributions by grid analyses with limited number of picked-up values, was then used to get statistics of estimates of solute distribution. The discussion of the present results deals first with estimating the average solute content and then focuses on the distribution in the primary phase

Does One Size Fit All? Drug Resistance and Standard Treatments: Results of Six Tuberculosis Programmes in Former Soviet Countries.

SETTING: After the collapse of the Soviet Union, countries in the region faced a dramatic increase in tuberculosis cases and the emergence of drug resistance. OBJECTIVE: To discuss the relevance of the DOTS strategy in settings with a high prevalence of drug resistance. DESIGN: Retrospective analysis of one-year treatment outcomes of short-course chemotherapy (SCC) and results of drug susceptibility testing (DST) surveys of six programmes located in the former Soviet Union: Kemerovo prison, Russia; Abkhasia, Georgia; Nagorno-Karabagh, Azerbaijan; Karakalpakstan, Uzbekistan; Dashoguz Velayat, Turkmenistan; and South Kazakhstan Oblast, Kazakhstan. Results are reported for new and previously treated smear-positive patients. RESULTS: Treatment outcomes of 3090 patients and DST results of 1383 patients were collected. Treatment success rates ranged between 87% and 61%, in Nagorno-Karabagh and Kemerovo, respectively, and failure rates between 7% and 23%. Any drug resistance ranged between 66% and 31% in the same programmes. MDR rates ranged between 28% in Karakalpakstan and Kemerovo prison and 4% in Nagorno-Karabagh. CONCLUSION: These results show the limits of SCC in settings with a high prevalence of drug resistance. They demonstrate that adapting treatment according to resistance patterns, access to reliable culture, DST and good quality second-line drugs are necessary

ESPON SUPER – Sustainable Urbanisation and land-use Practices in European Regions. A GUIDE TO SUSTAINABLE URBANISATION AND LAND-USE

Guides help you do things. You turn to them when you need to find out how to solve a problem. They are a form of knowledge transfer, written by experts in a way that is accessible and helpful to a wide audience. This guide was written by the researchers engaged in the ESPON 2020 applied research project on Sustainable Urbanisation and Land-Use Practices in European Regions (SUPER). It aims to help people and institutions engaged with land-use management at various levels across Europe to promote sustainable urbanisation in their territories. Overall, the guide offers information, ideas and perspectives to help decision-makers and policymakers to proactively contribute to more equal, balanced, and sustainable territorial development. The decision to convert land to a different use influences our quality of life and that of future generations, and, as this Guide shows, a large toolbox of interventions exists that can help alter prevailing land-use practices. Choosing among them is a tough decision, and implementation may require strong political commitment and bold leadership. We hope that this Guide provides the inspiration to accept this challenge

Breaking the isolation: fundraisers, informal support groups, and professional growth

Although understanding of the fundraising profession is growing, less is known about fundraisers working in smaller nonprofits, with limited access to professional associations. In this grounded theory study, we conducted focus groups with fundraisers who created an informal professional association. Literature has indeed shown that such associations can provide self-regulation, knowledge diffusion, and professional identity–similar to that offered by larger, formal associations. Our objective was to explore why, when, and how fundraisers in small organizations form and use informal associations for professional growth and confidence. We created a model/theory describing one group’s process with implications for supporting the profession

A Timed IO monad

Programming with explicit timing information is often tedious and error prone. This is especially visible in music programming where, when played, the specified durations of notes and rests must be shortened in order to compensate the actual duration of all surrounding processing. In this paper, we develop the notion of timed extension of a monad that aims at relieving programmers from such a burden. We show how, under simple conditions, such extensions can be built, and how useful features of monad programming such as asynchronous concurrency with promises or data-flow programming with monadic streams can be uniformly lifted to the resulting timed programming framework. Even though presented and developed in the abstract, the notion of timed extension of a monad is nevertheless illustrated by two concrete instances: a default timed IO monad where programmers specify durations in mi-croseconds, and a musically timed IO monad, where programmers specify durations in number of beats, the underlying tempo, that is, the speed of the music in beats per minute, possibly changed whenever needed

On the equivalence of game and denotational semantics for the probabilistic mu-calculus

The probabilistic (or quantitative) modal mu-calculus is a fixed-point logic de- signed for expressing properties of probabilistic labeled transition systems (PLTS). Two semantics have been studied for this logic, both assigning to every process state a value in the interval [0,1] representing the probability that the property expressed by the formula holds at the state. One semantics is denotational and the other is a game semantics, specified in terms of two-player stochastic games. The two semantics have been proved to coincide on all finite PLTS's, but the equivalence of the two semantics on arbitrary models has been open in literature. In this paper we prove that the equivalence indeed holds for arbitrary infinite models, and thus our result strengthens the fruitful connection between denotational and game semantics. Our proof adapts the unraveling or unfolding method, a general proof technique for proving result of parity games by induction on their complexity

Enhanced turbulence driven by mesoscale motions and flow-topography interaction in the Denmark Strait Overflow plume

The Denmark Strait Overflow (DSO) contributes roughly half to the total volume transport of the Nordic overflows. The overflow increases its volume by entraining ambient water as it descends into the subpolar North Atlantic, feeding into the deep branch of the Atlantic Meridional Overturning Circulation. In June 2012, a multiplatform experiment was carried out in the DSO plume on the continental slope off Greenland (180 km downstream of the sill in Denmark Strait), to observe the variability associated with the entrainment of ambient waters into the DSO plume. In this study, we report on two high-dissipation events captured by an autonomous underwater vehicle (AUV) by horizontal profiling in the interfacial layer between the DSO plume and the ambient water. Strong dissipation of turbulent kinetic energy of O( math formula) W kg−1 was associated with enhanced small-scale temperature variance at wavelengths between 0.05 and 500 m as deduced from a fast-response thermistor. Isotherm displacement slope spectra reveal a wave number-dependence characteristic of turbulence in the inertial-convective subrange ( math formula) at wavelengths between 0.14 and 100 m. The first event captured by the AUV was transient, and occurred near the edge of a bottom-intensified energetic eddy. Our observations imply that both horizontal advection of warm water and vertical mixing of it into the plume are eddy-driven and go hand in hand in entraining ambient water into the DSO plume. The second event was found to be a stationary feature on the upstream side of a topographic elevation located in the plume pathway. Flow-topography interaction is suggested to drive the intense mixing at this site