100 research outputs found
High-Level Petri Nets as Type Theories in the Join Calculus
No full textWe study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four classes of nets of increasing expressiveness, , introduce a hierarchy of type systems of decreasing strictness, , , and we prove that a join process is typeable according to if and only if it is (strictly equivalent to) a net of class . In the details, and contain, resp., usual place/transition and coloured Petri nets, while and propose two natural notions of high-level net accounting for dynamic reconfiguration and process creation and called reconfigurable and dynamic Petri nets, respectively
THE HOLOTYPE OF CERVALCES GALLICUS (AZZAROLI, 1952) FROM SENEZE (HAUTE LOIRE, FRANCE) WITH NOMENCLATURAL IMPLICATIONS AND TAXONOMICAL PHYLOGENETIC PROBLEMS
No full textThe remains of Cervalces (Libralces) gallicus (Azzaroli, 1952) from the Middle-Upper Villafranchian of Sénèze (Haute-Loire, France), kept in the Paleontological Museum of the University Claude Bernard - Lyon 1, are here studied again. The remains consist of an assembled skeleton, with skull, antlers and all postcranial elements, described by Azzaroli (1952) as holotype, and in the limb bones of a second specimen, designated as cotype by the same author. The cotypeís limb bones are here attributed to the holotype, while the smaller assembled limb bones cannot be determined over the family taxonomic level, due to the bad state of preservation.
The characters determining the genus Cervalces are described here and, in accordance with Azzaroli, the species C. (L.) latifrons from the Middle-Upper Pleistocene is attributed to it. All the species of the genus Cervalces show characters of cranial and facial morphology, which differ from that of present-day Alces. The narrow, deep occipital and the short nasals, not articulated with the long premaxillaris, are in this view considered apomorphic characters of Alces alces
Da Milano all’Europa. Giovanni Botero, Carlo Borromeo e gli Epistolarum libri duo
No full textBotero was the secretary of the Archbishop Carlo Borromeo and published a book of letters written by him in the name of the Milanese archbishop. The study proposes the analysis of the letters and an interpretation of Botero's role as author and secretar
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence
No full textIn this paper, we propose a compositional coalgebraic semantics of the π-calculus based on a novel approach for lifting calculi with structural axioms to coalgebraic models. We equip the transition system of the calculus with permutations, parallel composition and restriction operations, thus obtaining a bialgebra. No prefix operation is introduced, relying instead on a clause format defining the transitions of recursively defined processes. The unique morphism to the final bialgebra induces a bisimilarity relation which coincides with observational equivalence and which is a congruence with respect to the operations. The permutation algebra is enriched with a name extrusion operator δ à la De Brujin, that shifts any name to the successor and generates a new name in the first variable x 0. As a consequence, in the axioms and in the SOS rules there is no need to refer to the support, i.e., the set of significant names, and, thus, the model turns out to be first order
“TRANSFORMING” RESIDENTIAL TREATMENT FOR MOTHERS WITH CHILDREN THROUGH RESEARCH. A SITUATED APPROACH TO SUPPORT SOCIAL EDUCATORS IN THEIR EVERYDAY WORK
No full textFollowing Italian Guidelines for Residential Care for Children (2017), residential treatment for mothers with children (RTMC) consists in hosting facilities “balancing parenting responsibilities with children protection and care needs”. Due to continuously evolving social needs and policy requirements, RTMC is a growing reality, very little investigated by social research. For these – between many – reasons, one of the most prominent associations of the field commissioned one national investigation, upon which this paper is based.
Conducted by a group of social educators-researchers – trained by the author of this paper –, this study was aimed at in-depth analyzing the state of the art of RTMC and, particularly, its everyday interaction, work, and general outcomes. To do so, four facilities were involved. Drawing on a situated approach in Social Psychology, we collected audio- and video-recorded interactive material (organizational meetings, dinnertime interaction, interviews) and, after several data sessions, we finally proposed aggregated results and suggested specific changes. This approach has proven to be particularly relevant for the educators-researchers themselves as well as for their broader work and field
IlTratatello delle indulgentie de Terra Sanctasecondo il ms. 1106 della biblioteca Augusta di Perugia: edizione e note linguistiche
No full textThe research focused on the study of ms. 1106 (= F), one of the witnesses of the Treaty
of the Holy Land and the East of the Franciscan missionary Francesco Suriano (Venice
1450-Assisi 1529ca.).
The main objective of research was the realization of the scientific edition of F (yet
unpublished) and detailed analysis of the language of the text.
The work involved, at first, the transcription of 157 cc. of the codex, produced in the
monastery of St. Mary Monteluce of Perugia and now kept in the Augusta Library of
Perugia. Secondly, the realization of the description of manuscript; the results of the
comparison between F and contemporaries codices of Monteluce; handwriting analysis
of F; the study of textual tradition; a comprehensive inventory of mss. of Monteluce and
S. Lucia di Foligno; a brief biography of the author; a collation of F with other witnesses
yet known of the Treaty, another ms. (P) and the princeps (B).
Finally, we have conducted in deep linguistics investigations on F, which made
possible to point out, next to strong local aspects consistent with the area of origin of
the ms., Umbria, other elements which are attributable to its complex layering, to explain
the articulated composition story of the text. In particular, there were (mainly in the
phonetic) features that tracked back to the language of northern Italy, to explain the
venetian origin of Suriano
Multidetector CT evaluation of abdominal wall for breast reconstruction: take a look at the veins
No full textN/
Use of the subpectoral fascia flap for expander coverage in post mastectomy breast reconstruction
No full textN/
Ontology for information Systems. Artefatcs as a case study
No full textOntologies for information systems are usually classified according to two dimensions: their level of detail and their level of dependence on a particular task. One can distinguish between Top-Level Ontologies – less detailed and independent on a particular task – and Domain Ontologies – more detailed and specific on a particular task. The first ones are descriptions of the most general concepts as, for example, entity, material entity, space, time, matter..., while the second ones deal with a more specific domain like medicine or engineering. The goal of this paper is to analyse one central concept of a Top-Level Ontology: i.e. the concept of artefact. The relation is partitioned in four sections. After a sketch (sec. 1) of some intuitive and commonsense reasons concerning the importance of artefacts as an ontological category and some features we usually assign to this kind of objects we consider (sec. 2) the characterisation of it given by two of the most common Top-level Ontologies: Cyc and Wordnet. We outline some difficulties there are in their characterization of it. In the second part of the relation (sec. 3 and sec. 4) we propose an elucidation of artefacts using the notions of copy, original object, and author. We distinguish three kinds of copies: replicas, rigid copies, and functional copies, and two kinds of original objects: absolute original objects and relative original objects. Following A. Thomasson [Fiction and Metaphysics] we state some different ontological dependence relations among (these different kinds of) copies, original objects, and authors. In this way we want to elucidate how technical artifacts, can be discriminate from artworks and natural objects
Marcantonio Raimondi e i nordici
No full textIn this article the author proposes an overall reconsideration of the relationships of Marcantonio Raimondi with the Nordic engravers, paying constant attention to the surviving sources. Furthermore, a new analysis of some passages from the Vita di Marcantonio Bolognese, e d’altri intagliatori di stampe by Giorgio Vasari has allowed a different interpretation of the Italian reception of some prints by Lucas van Leyden as well as of the Portrait of Pietro Aretino executed by Marcantonio: one of the masterpieces of European Renaissance engraving, which, for the first time, is being read here in the light of knowledge of a genre of portraiture emerged in Norhtern Europe in the early 1500s, that combines bust portraits with elegant Latin (and Greek) epigraphs - very significative for Marcantonio has been some famous engravings by Albrecht Dürer
- …
