653 research outputs found
Measuring rule-based LTLf process specifications: A probabilistic data-driven approach
No full textDeclarative process specifications define the behavior of processes by means of rules based on Linear Temporal Logic on Finite Traces
. In a mining context, these specifications are inferred from, and checked on, multi-sets of runs recorded by information systems (namely, event logs). To this end, being able to gauge the degree to which process data comply with a specification is key. However, existing mining and verification techniques analyze the rules in isolation, thereby disregarding their interplay. In this paper, we introduce a framework to devise probabilistic measures for declarative process specifications. Thereupon, we propose a technique that measures the degree of satisfaction of specifications over event logs. To assess our approach, we conduct an evaluation with real-world data, evidencing its applicability for diverse process mining tasks, including discovery, checking, and drift detection
The Pottesman Collection in the British Museum. Early Dynastic and Sargonic administrative texts. With an Appendix on a Palmyrene Inscription
No full textEdizione, trascrizione, traduzione e commento di un frammento di iscrizione palmirena inedita presente nella collezione Pottesman del British Museum (Appendice Agostini).The British Museum houses a small collection of six cuneiform tablets and a Palmyrene dedicatory inscription purchased in 1987 from the private collection of Solomon Pottesman. The aim of the present contribution is to provide a catalog of this lot and an edition of the so far unpublished cuneiform texts. In the appendix, Alessio Agostini added the edition of the Palmyrene inscription, which would have otherwise gone beyond the capabilities of the present author
Recensione di Cecilia Falchini (2023). Ruperto di deutz - Un’intima familiarità. Antologia, Edizioni Qiqajon (Comunità di Bose), Magnano (Bi), 281 pp.
No full textReview of Cecilia Falchini (2023). Ruperto di deutz - Un’intima familiarità. Antologia, Edizioni Qiqajon (Comunità di Bose), Magnano (Bi), 281 pp.
Author: Alessio MagogaRecensione di Cecilia Falchini (2023). Ruperto di deutz - Un’intima familiarità. Antologia, Edizioni Qiqajon (Comunità di Bose), Magnano (Bi), 281 pp.
Autor: Alessio Magog
Interestingness of traces in declarative process mining: The janus LTLPf Approach
No full textDeclarative process mining is the set of techniques aimed at extracting behavioural constraints from event logs. These constraints are inherently of a reactive nature, in that their activation restricts the occurrence of other activities. In this way, they are prone to the principle of ex falso quod libet: they can be satisfied even when not activated. As a consequence, constraints can be mined that are hardly interesting to users or even potentially misleading. In this paper, we build on the observation that users typically read and write temporal constraints as if-statements with an explicit indication of the activation condition. Our approach is called Janus, because it permits the specification and verification of reactive constraints that, upon activation, look forward into the future and backwards into the past of a trace. Reactive constraints are expressed using Linear-time Temporal Logic with Past on Finite Traces (LTLp f). To mine them out of event logs, we devise a time bi-directional valuation technique based on triplets of automata operating in an on-line fashion. Our solution proves efficient, being at most quadratic w.r.t. trace length, and effective in recognising interestingness of discovered constraints
Handheld-Impedance-Measurement System with seven-decade capability and potentiostatic function
No full textThis paper describes design and test of a new impedance-measurement system for nonlinear devices that exhibits a seven-decade range and works down to a frequency of 0.01 Hz. The system is specifically designed for electrochemical measurements, but the proposed architecture can be employed in many other fields where flexible signal generation and analysis are required. The system employs an unconventional signal generator based on two pulsewidth modulation (PWM) oscillators and an autocalibration system that allows uncertainties of less than 3% to be obtained over a range of 1 kΩ to 100 GΩ. A synchronous demodulation processing allows the noise superimposed to the low-amplitude input signals to be made negligibl
Detection of statistically significant differences between process variants through declarative rules
No full textServices and products are often offered via the execution of processes that vary according to the context, requirements, or customisation needs. The analysis of such process variants can highlight differences in the service outcome or quality, leading to process adjustments and improvement. Research in the area of process mining has provided several methods for process variant analysis. However, very few of those account for a statistical significance analysis of their output. Moreover, those techniques detect differences at the level of process traces, single activities, or performance. In this paper, we aim at describing the distinctive behavioural characteristics between variants expressed in the form of declarative process rules. The contribution to the research area is two-pronged: the use of declarative rules for the explanation of the process variants and the statistical significance analysis of the outcome. We assess the proposed method by comparing its results to the most recent process variant analysis methods. Our results demonstrate not only that declarative rules reveal differences at an unprecedented level of expressiveness, but also that our method outperforms the state of the art in terms of execution time
El Tlacuache Núm. 16 (2001). 16 Año 1 (2001) octubre. El Tlacuache
No full text- ¿Entre la Guerra Santa y la Cruzada? por Aníbal Quijano. - Nuestro patrimonio desconocido por Teresita Loera y Anaite Monterforte. - El Yahutli por Margarita Avilés y Macrina Fuentes. - Haciendas por Carlos Fernando Alessio Robles
El Tlacuache Núm. 19 (2001). 19 Año 1 (2001) noviembre. El Tlacuache
No full text- Patrimonio cultural y monumento histórico: Tlayacapan un monasterio Agustino por Carlos Alessio Robles. - Nuestro patrimonio desconocido por Teresita Loera y Anaite Monterforte. - El Yauhtli por Margarita Avilés y Macrina Fuentes. - ¿Entre la Guerra Santa y la Cruzada? por Aníbal Quijano
Measuring the interestingness of temporal logic behavioral specifications in process mining
No full textThe assessment of behavioral rules with respect to a given dataset is key in several research areas, including declarative process mining, association rule mining, and specification mining. An assessment is required to check how well a set of discovered rules describes the input data, and to determine to what extent data complies with predefined rules. Particularly in declarative process mining, Support and Confidence are used most often, yet they are reportedly unable to provide a sufficiently rich feedback to users and cause rules representing coincidental behavior to be deemed as representative for the event logs. In addition, these measures are designed to work on a predefined set of rules, thus lacking generality and extensibility. In this paper, we address this research gap by developing a measurement framework for temporal rules based on (LTLp). The framework is suitable for any temporal rules expressed in a reactive form and for custom measures based on the probabilistic interpretation of such rules. We show that our framework can seamlessly adapt well-known measures of the association rule mining field to declarative process mining. Also, we test our software prototype implementing the framework on synthetic and real-world data, and investigate the properties characterizing those measures in the context of process analysis
Il GEIE "italiano" tra impresa e società
No full textA quasi trent’anni dall’emanazione del Regolamento comunitario 2137/1985 che ne segna la data di nascita, e a venticinque dalla effettiva possibilità di costituzione, il gruppo europeo di interesse economico (GEIE) è ancora percepito, nella migliore delle ipotesi, come una specie di “oggetto misterioso” nel panorama giuridico italiano ed europeo. Lo scopo di questo studio, che ha beneficiato del sostegno economico della Commissione Europea e della Provincia autonoma di Trento nell’ambito del Settimo Programma Quadro, Azione Marie Curie COFUND, progetto “TRENTINO”, è di tentare una riconduzione ragionata del GEIE a categorie che siano di maggiore familiarità per il giurista italiano, indagandone le problematiche principali (su tutte l’assenza del beneficio della responsabilità limitata dei membri per le obbligazioni assunte dal gruppo) ed offrendo ipotesi di soluzione
- …
