Typing rule-based transformations over topological collections

Pattern-matching programming is an example of a rule-based programming style developed in functional languages. This programming style is intensively used in dialects of ML but is restricted to algebraic data-types. This restriction limits the field of application. However, as shown by Giavitto and Michel at RULE'02, case-based function definitions can be extended to more general data structures called topological collections. We show in this paper that this extension retains the benefits of the typed discipline of the functional languages. More precisely, we show that topological collections and the rule-based definition of functions associated with them fit in a polytypic extension of mini-ML where type inference is still possible

Variable elimination for building interpreters

In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (the language which is used to build the interpreter). In order to transform user-defined functions into host language functions we use combinatory logic : lambda-abstractions are transformed into a composition of combinators. We provide a mechanically checked proof that this step is correct for the call-by-value strategy with imperative features.Comment: 33 page

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

In this paper, we aim at modelling and analyzing the regulation processes in multi-cellular biological systems, in particular tissues. The modelling framework is based on interconnected logical regulatory networks a la Rene Thomas equipped with information about their spatial relationships. The semantics of such models is expressed through colored Petri nets to implement regulation rules, combined with topological collections to implement the spatial information. Some constraints are put on the the representation of spatial information in order to preserve the possibility of an enumerative and exhaustive state space exploration. This paper presents the modelling framework, its semantics, as well as a prototype implementation that allowed preliminary experimentation on some applications.Comment: In Proceedings MeCBIC 2010, arXiv:1011.005

06361 Abstracts Collection -- Computing Media Languages for Space-Oriented Computation

From 03.09.06 to 08.09.06, the Dagstuhl Seminar 06361 ``Computing Media and Languages for Space-Oriented Computation\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

La Risonanza Magnetica come indagine preliminare alla nevrectomia dei nervi digitali palmari nel cavallo

La nevrectomia digitale palmare è stata largamente utilizzata per trattare le patologie causa di dolore palmare cronico del piede, consentendo l’uso di cavalli affetti da zoppia cronica dopo l’insuccesso di terapie conservative. Più recentemente è caduta in disuso, sia per motivi etici, sia perché la mancanza di una diagnosi oggettiva della patologia non permetteva di prevedere le eventuali complicazioni. In particolare gravi lesioni del tendine digitale profondo pongono il soggetto a rischio di rottura dello stesso. Inoltre alcuni organismi sportivi (FEI/FISE) vietano la partecipazione alle competizioni a soggetti sottoposti a nevrectomia. L’avvento della Risonanza Magnetica nella pratica veterinaria ha permesso notevoli progressi nella diagnosi delle patologie ortopediche. Attualmente la RM è riconosciuta come gold standard della diagnostica per immagini del piede del cavallo. Vengono presentati i dati anamnestici, clinici, di diagnostica per immagini di primo livello e di RM di quattro cavalli affetti da dolore palmare cronico del piede. Questi soggetti sono stati sottoposti a nevrectomia digitale palmare ed hanno successivamente ripreso il livello di attività precedentemente svolto. Il follow up è stato variabile tra i 6 e 24 mesi. Una diagnosi precisa delle patologie del piede, ottenuta con l’uso della Risonanza Magnetica, può consentire di valutare la prognosi e quantificare i rischi di una nevrectomia digitale palmare consentendo di continuare l’attività a soggetti non responsivi ad altre terapie. Palmar digital neurectomy has been widely used to alleviate chronic palmar foot pain in horses in which previous conservative management was unsuccessful. More recently it fell into disuse, both for ethical issues and because the lack of an objective diagnosis did not allow the prediction of potential severe complications associated with the procedure. Severe lesions of the deep digital flexor tendon particularly predispose to the risk of a catastrophic failure of the tendon. Furthermore equestrian ruling bodies (FEI/FISE) preclude enrolling to competitions to neurectomized horses. The advent of Magnetic Resonance Imaging (MRI) in equine veterinary practice has been a breakthrough in the diagnosis of orthopaedic conditions of the equine foot. Currently MRI is recognized as the gold standard in imaging of equine foot disease. We present anamnestic, clinical, radiographic and MR imaging data of four horses affected by palmar chronic foot pain. These patients were submitted to palmar digital neurectomy and subsequently resumed the previous level of activity in the absence of untoward side effects or complications. The follow up was of 6 and 24 months. An accurate diagnosis of foot disease obtained by MRI, allowed to estimate risks associated with palmar digital neurectomy. Horses unresponsive to other form of therapies were able to continue previous athletic activity

Bell, a textual language for the bach library

International audienceIn this paper we introduce bell, a new, small programming language included in the bach package for Max. The main design goals of bell are ease of integration with Max and bach and maximum compatibility with pre-existing syntaxes and conventions bach users are already acquainted to. The language is mainly exposed in Max through a new object named bach.eval, but other, older objects have been updated so as to take advantage of it. In this article, we shall discuss the main choices underlying the development of bell, and give a brief outline of its syntax and the way it integrates within Max

Synchronization in Music Group Playing

- electronic proceedings available at http://cmr.soc.plymouth.ac.uk/cmmr2015/proceedings.pdf-- paper proceedings published by Springer in the LNCS series, in 2016- the article win the best student presentationInternational audienceIn this project, we created an agent-based model of music group playing under four di↵erent interaction mechanisms. Based on real music data, added randomness and simplifying assumptions, we examine how agents synchronize and deviate from the original score. We find that while music can make synchronization complex, it also helps reducing the total deviation. By studying the simulation process, several conclusions on the relationship between di↵erent growing speeds of total deviations and di↵erent interaction schemes are drawn. With interpretation from a musical point of view, we find that, in a music ensemble, listening to neighbors helps the players end up in sync. However, if people do not listen carefully enough, the deviation becomes larger than when people do not listen at all. On the issue of whom one should listen to, the results show no significant di↵erences between listening to the immediate neighbors and to the whole group. Finally, we also observe that large deviations can be reduced by making the musicians move while playing