4,788 research outputs found
An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages
No full textIn this thesis we present a condensed, goal-independent, bottom-up fixpoint
that is fully abstract w.r.t. results computed for Curry/Haskell expressions. These features make our semantics particularly suitable for developing efficacious semantics-based program manipulation tools. To support this claim, we provide some applications: a static analyzer for groundness dependencies, an abstract debugging/diagnosis method, and an automatic method for synthesizing property-oriented specification
Le «buone letture». 2. Giovanni Casati
No full textIl saggio è costituito da due parti, la prima delle quali, dedicata alla fondazione della Federazione italiana delle biblioteche circolanti cattoliche, è stata pubblicata nel precedente numero dei «Nuovi Annali», XXVII (2013), pp. 137-163. In questa seconda parte viene delineata la figura intellettuale di Giovanni Casati, che diresse la «Rivista di letture» dal 1912 al 1944, trasformando il periodico della Federazione in una rivista impegnata nella divulgazione della cultura cattolica. A questo impegno militante Casati fece corrispondere un intenso programma editoriale, che trovò espressione nella pubblicazione di saggi letterari, di manuali e opere repertoriali.The study consists of two parts; the first is dedicated to the history of the Federazione italiana delle biblioteche circolanti cattoliche since its foundation (1904) up to 1912 and was published in the previous volume of the «Nuovi Annali », XXVII (2013), pp. 137-163. In this second part, the author outlines the intellectual figure of Giovanni Casati, who directed the «Rivista di letture» from 1912 to 1944, transforming the magazine of the Federation in a journal engaged in the spreading of Catholic culture. To this militant engagement Casati matched an intense publishing program, which found its expression in the publication of literary essays, manuals and reference works
Novel Paradigms in the Cultural Heritage Digitization with Self and Custom-Built Equipment
Full text linkIn the field of the Cultural Heritage (CH), image-based 2D and 3D digital acquisition is today the most common technique used to create digital replicas of existing artifacts. This is carried out for many reasons, such as the following: research, analysis, preservation, conservation, communication, and valorization. These activities usually require complementary specialized equipment, tailored to specific purposes in order to achieve the desired results. This equipment is not easy-to-find on the market, it is not always affordable for museums operators; it is sometimes expensive, and it usually needs tricky customizations. However, the development in recent years of more generalized, versatile, and affordable instruments and technologies has led to new approaches, leveraging a new generation of low-cost, adaptable equipment. This paper presents custom-made equipment following this new path, designed to provide optimized results through calibrated tools alongside the software to make it work. The essay focuses specifically on the self-production of instruments for the digital reproduction of ancient drawings, manuscripts, paintings, and other museum artifacts and their transformative impact on digitization techniques. The outcomes of self and custom-built equipment specifically produced for the contexts described in this paper highlight their potential to foster interdisciplinary collaboration, facilitate scholarly research, enhance conservation efforts, and promote cultural exchange. The final goal is to propose inexpensive equipment that is easy to use (even by not specifically trained operators) and that provides remarkable quality
On the Metric-Based Approximate Minimization of Markov Chains
Full text linkWe address the behavioral metric-based approximate minimization problem of Markov Chains (MCs), i.e., given a finite MC and a positive integer k, we are interested in finding a k-state MC of minimal distance to the original. By considering as metric the bisimilarity distance of Desharnais at al., we show that optimal approximations always exist; show that the problem can be solved as a bilinear program; and prove that its threshold problem is in PSPACE and NP-hard. Finally, we present an approach inspired by expectation maximization techniques that provides suboptimal solutions. Experiments suggest that our method gives a practical approach that outperforms the bilinear program implementation run on state-of-the-art bilinear solvers
Comico e tragico del diritto nella novellistica italiana: il novelliere di Giovanni Sercambi
No full textNelle novelle di età tardomedievale ed umanistica, a causa del loro carattere fortemente realistico, il diritto ha un posto importante, poiché rappresenta un elemento centrale e ineliminabile della vita della comunità. Il novelliere di Giovanni Sercambi da Lucca non fa eccezione, anche se l’autore non ha una cultura giuridica né s’interessa in modo specifico al diritto. Il presente saggio vuole analizzare sotto tale profilo queste novelle per verificare quale concezione del diritto emerge da esse e come la narrazione ne risulti arricchita.In the late medieval and humanistic novellas, owing to their very realistic character, the right is an important central and inevitable element in community life. Giovanni Sercambi’s novelliere is no exception even if the author lacks a legal culture, nor is specifically interested in right. This essay intends to analyze these novellas under this profile to verify what kind of right they consider and how the stories are enriched
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
Full text linkWe introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a lifting of probabilistic bisimulation to polynomial differential equations, a ubiquitous model of dynamical systems across science and engineering. The algorithm enjoys polynomial time complexity and complements classical partition-refinement approaches because: (a) it implements a local exploration of the system, possibly yielding equivalences that do not necessarily involve the inspection of the whole system of differential equations; (b) it can be enhanced by up-to techniques; and (c) it allows the specification of pairs which ought not be included in the output. Using a prototype, these advantages are demonstrated on case studies from systems biology for applications to model reduction and comparison. Notably, we report four orders of magnitude smaller runtimes than partition-refinement approaches when disproving equivalences between Markov chains
Abstract Diagnosis of First Order Functional Logic Programs
No full textWe present a generic scheme for the abstract debugging of functional logic programs. We associate to programs a semantics based on a (continuous) immediate consequence operator, T[P], which models correctly the powerful features of modern functional logic languages (non-deterministic, non-strict functions defined by non-confluent programs and call-time choice behaviour). Then, we develop an effective debugging methodology which is based on abstract interpretation: by approximating the intended specification of the semantics of P we derive a finitely terminating bottom-up diagnosis method, which can be used statically. Our debugging framework does not require the user to provide error symptoms in advance and is applicable with partial specifications and even partial programs
Generazioni, famiglie, migrazioni. Pensando all’Italia di domani
Full text linkL'Italia e la questione demografica: denatalità, invecchiamento, immigrazione e famiglia. Una sintesi di autorevoli studiosi di popolazione pensata per i decisori politici e amministrativi, e più in generale per chiunque voglia aggiornare le proprie conoscenze su un tema cruciale per la comprensione dei futuri equilibri economici e sociali dell’Italia di domani.- Indice #5- Premessa, Marco Demarie e Giuseppe Gesano #7- Generazioni e invecchiamento, Giuseppe Gesano e Antonio Golini #11- Famiglia e figli, Alessandro Rosina, Francesco Billari e Massimo Livi Bacci #43- Immigrazione e presenza straniera, Gian Carlo Blangiardo e Stefano Molina #7
- …
