Miracle-dz/UniFAR-FTUs huggingface dataset:
Discovering coordination patterns using process mining

Recently, process mining has become a vivid research area [5, 6]. The basic idea of process mining is to diagnose business processes by mining event logs for knowledge. Process mining techniques and tools provide the means for discovering process, control, data, organizational, and social structures from event logs. In this paper we provide an overview of process mining techniques/tools and their challenges. Using the coordination pattern between a service client and a service provider, we illustrate the application of process mining techniques to uncover coordination patterns.
Adult Height and Prevalence of Coronary Artery Calcium: The National Heart, Lung, and Blood Institute Family Heart Study

Background—Adult height has been hypothesized to be inversely associated with coronary heart disease; however, studies have produced conflicting results. We sought to examine the relationship between adult height and the prevalence of coronary artery calcium (CAC), a direct measure of subclinical atherosclerosis and surrogate marker of coronary heart disease. Methods and Results—We evaluated the relationship between adult height and CAC in 2703 participants from the National Heart, Lung, and Blood Institute Family Heart Study who underwent cardiac computed tomography. We used generalized estimating equations to calculate the prevalence odds ratios for the presence of CAC (CAC>0) across sex-specific quartiles of height. The mean age of the sample was 54.8 years, and 60.2% of participants were female. There was an inverse association between adult height and CAC. After adjusting for age, race, field center, waist circumference, smoking, alcohol, physical activity, systolic blood pressure, antihypertensive medications, diabetes mellitus, diabetic medications, low-density lipoprotein cholesterol, high-density lipoprotein cholesterol, lipid-lowering medications, and income, individuals in the tallest quartile had 30% lower odds of having prevalent CAC. The odds ratios (95% confidence intervals) for the presence of CAC across consecutive sex-specific quartiles of height were 1.0 (reference), 1.15 (0.86–1.53), 0.95 (0.73–1.22), and 0.70 (0.53–0.93), and P for trend <0.01. There was no evidence of effect modification for the relationship between adult height and CAC by age or socioeconomic status. Conclusions—The results of our study suggest an inverse, independent association between adult height and CAC.
XAL: A Web Oriented Programming Language Based on Timed-Automata

We developed XAL, a framework that, in our opinion, allows to build Web-oriented applications and services in a more productive way. The core of the framework is a programming language based upon timed-automata. We believe this formalism reflects the nature of many web-oriented applications, each page being a state, and each link being a transition toward another state. Once the programmer defined the set of states that characterize the application, she/he can provide a behavior to each single state, binding the state to a small program written in its favorite programming language. Furthermore, we realized that often companies require an application to behave differently depending on some conditions over real-time. Our language, being a modified version of the timed-automata, allows the programmer to specify constraints over real-time in a declarative way, rather than mix them within the logic of the application.
Qualitative Determinacy and Decidability of Stochastic Games with Signals

We consider the standard model of finite two-person zero-sum stochastic games with signals. We are interested in the existence of almost-surely winning or positively winning strategies, under reachability, safety, Buchi or co-Buchi winning objectives. We prove two qualitative determinacy results. First, in a reachability game either player $1$ can achieve almost-surely the reachability objective, or player 2 can ensure surely the complementary safety objective, or both players have positively winning strategies. Second, in a Buchi game if player 1 cannot achieve almost-surely the Buchi objective, then player 2 can ensure positively the complementary co-Buchi objective. We prove that players only need strategies with finite-memory, whose sizes range from no memory at all to doubly-exponential number of states, with matching lower bounds. Together with the qualitative determinacy results, we also provide fix-point algorithms for deciding which player has an almost-surely winning or a positively winning strategy and for computing the finite memory strategy. Complexity ranges from EXPTIME to 2-EXPTIME with matching lower bounds, and better complexity can be achieved for some special cases where one of the players is better informed than her opponent.
Influence of Compensation Strategies in Canadian Technology-Intensive Firms on Organizational and Human Resources Performance

This study examines the role of technological intensity in the choice of compensation policies and the influence of such policies on organization (market, productivity) and human resources performance (turnover, work climate, discretionary efforts). Using a survey of 252 Canadian firms, the authors show that technological intensity has a significant influence on compensation policies. A second survey of 128 Canadian organizations also demonstrates that technological intensity has a significant moderating effect on the association between several compensation policies and both human resources and organizational performance. More specifically, the authors find that greater emphasis on group performance plans and market pay is positively associated with productivity in high-technology firms. Extensive use of individual performance pay plans in high-technology firms is positively associated with turnover, whereas the use of group performance plans is negatively related to turnover.
Optimal Deployment and Dimensioning of Fog Computing Supported Vehicular Network

Vehicular network is regarded as an important part of the Intelligent Transportation System (ITS). However, with the increasing number of vehicular applications, it is a challenge to meet the demands of both communication and computation. Fog computing can provide mobile users with the demanded services through low latency and short-distance local connections. This paper investigates the optimal deployment and dimensioning (ODD) of fog computing supported vehicular network. The ODD problem is important for fog computing from theory to practical deployment. We formulate the problem as an integer linear programming (ILP) and the objective is to minimize the cost of deployment. Two different models based on coupling and decoupling fog devices with Roadside Units (RSUs) are developed and the results show that the decoupling model is a way more cost-effective in practice.
Privacy Preservation in Distributed Subgradient Optimization Algorithms

Privacy preservation is becoming an increasingly important issue in data mining and machine learning. In this paper, we consider the privacy preserving features of distributed subgradient optimization algorithms. We first show that a well-known distributed subgradient synchronous optimization algorithm, in which all agents make their optimization updates simultaneously at all times, is not privacy preserving in the sense that the malicious agent can learn other agents' subgradients asymptotically. Then we propose a distributed subgradient projection asynchronous optimization algorithm without relying on any existing privacy preservation technique, where agents can exchange data between neighbors directly. In contrast to synchronous algorithms, in the new asynchronous algorithm agents make their optimization updates asynchronously. The introduced projection operation and asynchronous optimization mechanism can guarantee that the proposed asynchronous optimization algorithm is privacy preserving. Moreover, we also establish the optimal convergence of the newly proposed algorithm. The proposed privacy preservation techniques shed light on developing other privacy preserving distributed optimization algorithms.
The Influence of Co-Occurring Mental Health and Substance Use Problems on the Effectiveness of Juvenile Drug Courts

The effectiveness of juvenile drug courts is mixed, and several factors could account for these findings. The present study examines whether and why youth with co-occurring mental health problems may have worse outcomes in juvenile drug court than youth who only have issues with substance use. In a sample of youth in juvenile drug court, 328 youth with co-occurring mental and substance use disorders were compared with 336 youth with only substance use disorders. Youth with co-occurring mental health problems had significantly worse criminal justice outcomes than youth without mental health problems. These outcomes were explained, in part, by more frequent violations of the drug court requirements, and in particular, violations surrounding treatment noncompliance. Results suggest that juvenile drug courts—as they currently operate—may be unsuccessfully managing youth who present with co-occurring mental health and substance use problems. Implications for policy and practice are discussed.
Chromosome-wide identification of novel imprinted genes using microarrays and uniparental disomies

Genomic imprinting refers to a specialized form of epigenetic gene regulation whereby the expression of a given allele is dictated by parental origin. Defining the extent and distribution of imprinting across genomes will be crucial for understanding the roles played by imprinting in normal mammalian growth and development. Using mice carrying uniparental disomies or duplications, microarray screening and stringent bioinformatics, we have developed the first large-scale tissue-specific screen for imprinted gene detection. We quantify the stringency of our methodology and relate it to previous non-tissue-specific large-scale studies. We report the identification in mouse of four brain-specific novel paternally expressed transcripts and an additional three genes that show maternal expression in the placenta. The regions of conserved linkage in the human genome are associated with the Prader–Willi Syndrome (PWS) and Beckwith–Wiedemann Syndrome (BWS) where imprinting is known to be a contributing factor. We conclude that large-scale systematic analyses of this genre are necessary for the full impact of genomic imprinting on mammalian gene expression and phenotype to be elucidated.
Relative Contributions of UVB and UVA to the Photoconversion of (6‐4) Photoproducts into their Dewar Valence Isomers

Dewar valence isomers are photoisomerization products of pyrimidine (6‐4) pyrimidone photoproducts, a major class of UV‐induced DNA lesions, which exhibits a maximal absorption around 320 nm. However, Dewar isomers are not produced in significant amounts in cells exposed to biologically relevant doses of UVB. In contrast, they are readily produced when cells are exposed to a combination of UVA and UVB. The present computational work demonstrates that, on the basis of known absorption properties and formation quantum yields, the difference in Dewar formation between the two types of radiation can be explained by the role of normal bases. In the UVB range, at the low level of (6‐4) photoproducts present in cells exposed to realistic doses, normal bases are present in overwhelming amounts and absorb the vast majority of the incident photons. In contrast, the absorption of DNA bases is much weaker in the UVA range while that of (6‐4) photoproducts is still significant, making photoisomerization possible. This two‐photon process makes it difficult to define an action spectrum for the formation of Dewar isomers.
Planning pick-and-place tasks with two-hand regrasping

This paper proposes a planning framework to deal with the problem of computing the motion of a robot with dual arm/hand, during an object pick-and-place task. We consider the situation where the start and goal configurations of the object constrain the robot to grasp the object with one hand, to give it to the other hand, before placing it in its final configuration. To realize such a task, the proposed framework treats the grasp computation, for one or two multi-fingered hands, of an arbitrarily-shaped object, the exchange configuration and finally the motion of the robot arms and body. In order to improve the planner performance, a context-independent grasp list is computed offline for each hand and for the given object as well as computed offline roadmap that will be adapted according to the environment composition. Simulation results show the planner performance on a complex scenario.
Geophysical validation of temperature retrieved by the ESA processor from MIPAS/ENVISAT atmospheric limb-emission measurements

The Michelson Interferometer for Passive Atmospheric Sounding (MIPAS) has been operating since March 2002 onboard of the ENVIronmental SATellite of the European Space Agency (ESA). The high resolution (0.035 cm −1 full width half maximum, unapodized) limb-emission measurements acquired by MIPAS in the first two years of operation have very good geographical and temporal coverage and have been re-processed by ESA with the most recent versions (4.61 and 4.62) of the inversion algorithms. The products of this processing chain are pressures at the tangent points and geolocated profiles of temperature and of the volume mixing ratios of six key atmospheric constituents: H 2 O, O 3 , HNO 3 , CH 4 , N 2 O and NO 2 . As for all the measurements made with innovative instruments and techniques, this data set requires a thorough validation. In this paper we present a geophysical validation of the temperature profiles derived from MIPAS measurements by the ESA retrieval algorithm. The validation is carried-out by comparing MIPAS temperature with correlative measurements made by radiosondes, lidars, in-situ and remote sensors operated either from the ground or stratospheric balloons. The results of the intercomparison indicate that the bias of the MIPAS profiles is generally smaller than 1 or 2 K depending on altitude. Furthermore we find that, especially at the edges of the altitude range covered by the MIPAS scan, the random error estimated from the intercomparison is larger (typically by a factor of two to three) than the corresponding estimate derived on the basis of error propagation. In this work we also characterize the discrepancies between MIPAS temperature and the temperature fields resulting from the analyses of the European Centre for Medium-range Weather Forecasts (ECMWF). The bias and the standard deviation of these discrepancies are consistent with those obtained when comparing MIPAS to correlative measurements; however, in this case the detected bias has a peculiar behavior as a function of altitude. This behavior is very similar to that observed in previous studies and is suspected to be due to vertical oscillations in the ECMWF temperature. The current understanding is that, at least in the upper stratosphere (above ≈10 hPa), these oscillations are caused by a discrepancy between model biases and biases of assimilated radiances from primarily nadir sounders.
Modeling of DNAPL-Dissolution, Rate-Limited Sorption and Biodegradation Reactions in Groundwater Systems

This article presents an approach for modeling the dissolution process of single component dense non-aqueous phase liquids (DNAPL), such as tetrachloroethene and trichloroethene, in a biologically reactive porous medium. In the proposed approach, the overall transport processes are conceptualized as three distinct reactions. Firstly, the dissolution (or dissolving) process of a residual DNAPL source zone is conceptualized as a mass-transfer limited reaction. Secondly, the contaminants dissolved from the DNAPL source are allowed to partition between sediment and water phases through a rate-limited sorption reaction. Finally, the contaminants in the solid and liquid phases are allowed to degrade by a set of kinetic-limited biological reactions. Although all of these three reaction processes have been researched in the past, little progress has been made towards understanding the combined effects of these processes. This work provides a rigorous mathematical model for describing the coupled effects of these three fundamental reactive transport mechanisms. The model equations are then solved using the general-purpose reactive transport code RT3D (Clement, 1997).
Selbstöffnung beim Schreiben über belastende Lebensereignisse

Zusammenfassung. Theoretischer Hintergrund: Ausgangspunkt der beiden vorgestellten Studien ist die Forschung zu der Bedeutung von Selbstoffnung beim gefuhlsbetonten Schreiben uber belastende Ereignisse, die von Pennebaker und Mitarbeitern initiiert wurde. Nach Pennebaker belegen die Studien den langfristigen gesundheitsfordernden Effekt dieser kurzen und unaufwendigen Intervention. Methode: Die erste Studie versuchte im wesentlichen eine Replikation der Studie von Pennebaker und Beall (1986) mit der Erwartung, die von den Autoren beschriebenen Effekte bestatigen zu konnen. Neben den in der Originalstudie verwandten Erhebungsinstrumenten wurden verschiedene Essayvariablen extrahiert und eine Reihe von Personlichkeitsmerkmalen erhoben, fur die eine Moderatorfunktion bezuglich der Ergebnisvariablen angenommen wurde. Die zweite Studie variierte die Bedingung der Selbstoffnung, indem zusatzlich zur Ursprungsbedingung eine sogenannte “Coping“- bzw. “Helping“-Instruktion gegeben wurde, die uber Aktivierung von R.
A New Approach to the Concept of Knowledge Strategy

Purpose – This paper aims to present a novel way to conceive knowledge strategy (KS). It suggests that a firm could outperform another by establishing a coherent and integrated KS depending on the objectives pursued and the understanding of knowledge management (KM) by managers, the use of KM tools, and organizational aspects to support KS implementation.Design/methodology/approach – A cluster analysis was used to study the effect of KS on business performance and innovation based on a cross‐sectional sample of Spanish firms. Additional statistical analyses were used in order to develop a taxonomy of KSs.Findings – The paper shows that the way an organization approaches knowledge management has major implications on the development of their strategy and the outcomes of KS application. Four types of KS are thus described based on the empirical analysis, i.e. proactive, moderate, passive and inconsistent, each of them having different effects on business performance and innovation.Research limitations/impli.
Construction and stochastic applications of measure spaces in higher-order logic

The goal of this work is the verification of probabilistic systems in the interactive theorem prover Isabelle/HOL. This requires the formalization of probability theory. We construct probability spaces with infinitely many independent random variables and the stochastic process of a Markov chain. We use these probability spaces to verify the correctness of probabilistic model checking and to verify properties of the ZeroConf protocol and the Crowds protocol.
A secure and private RFID authentication protocol based on quadratic residue

Radio Frequency IDentification based systems are getting pervasively deployed in many real-life applications in various settings for identification and authentication of remote objects. However, the messages that are transmitted over a insecure channel, are vulnerable to security and privacy concerns such as data privacy, location privacy of tag owner and etc. Recently, Yeh et al.'s proposed a RFID authentication protocol based on quadratic residue which is claimed to provide location privacy and prevent possible attacks. In this paper, we formally analyzed the protocol and we proved that the protocol provides destructive privacy according to Vaudenay privacy model. Moreover, we proposed a unilateral authentication protocol and we prove that our protocol satisfies higher privacy level such as narrow strong privacy. Besides, we proposed an enhanced version of our proposed protocol, which has same privacy level as Yeh at al protocol, but has reader authentication against stronger adversaries. Furthermore, the enhanced version of our protocol uses smaller number of cryptographic operations when compared to Yeh at al protocol and it is also cost efficient at the server and tag side and requires O(1) complexity to identify a RFID tag.
Total Variation Regularization for Image Denoising, I. Geometric Theory

Let $\Omega$ be an open subset of ${\bf R}^n$, where $2\leq n\leq 7$; we assume $n\geq 2$ because the case $n=1$ has been treated elsewhere (see [S. S. Alliney, IEEE Trans. Signal Process. , 40 (199.
INTUITIONS AND SEMANTIC THEORY

: While engaged in the analysis of philosophically central concepts, analytic philosophers have traditionally relied extensively on their own intuitions about when such concepts can be correctly applied. Intuitions have, however, come under increasingly critical scrutiny of late, and if they turned out not to be a reliable tool for the proper analysis of our concepts, then a radical reworking of analytic philosophy's methodology would be in order. One influential line of criticism against the use of intuitions argues that they only tell us about our conceptions of things, and not the things themselves. This venerable line of criticism can seem considerably strengthened if one endorses “externalist” accounts of meaning. Nevertheless, the move from semantic externalism to the rejection of intuitions will be shown to be illegitimate if one has a constitutive rather than expressive understanding of the relation between our intuitions and our concepts.
Integral team effectiveness: validity analysis of a theory-based team measure

Purpose – This paper seeks to develop a self‐report instrument completed by team members, the Integral Team Effectiveness Measure (ITEM), in order to assess team strengths and weaknesses based on a review of research and models of effective teams. The ability of the instrument, based on an “integral” or holistic framework, to capture a latent factor relevant to team success is tested. Based on two studies, support for the construct and predictive validity of the ITEM measure is provided.Design/methodology/approach – Psychometric evaluation of a survey instrument is described. A quasi‐experiment to see whether an objective measure of team performance can be predicted from the instrument and multi‐level modelling was also incorporated.Findings – Although there are many elements necessary for good teamwork, there is nevertheless an underlying common theme. This underlying theme or construct of integral team effectiveness can be measured with a self‐report instrument, which successfully predicted subsequent t.
On Kernel Methods for Relational Learning

Kernel methods have gained a great deal of popularity in the machine learning community as a method to learn indirectly in high-dimensional feature spaces. Those interested in relational learning have recently begun to cast learning from structured and relational data in terms of kernel operations. We describe a general family of kernel functions built up from a description language of limited expressivity and use it to study the benefits and drawbacks of kernel learning in relational domains. Learning with kernels in this family directly models learning over an expanded feature space constructed using the same description language. This allows us to examine issues of time complexity in terms of learning with these and other relational kernels, and how these relate to generalization ability. The tradeoffs between using kernels in a very high dimensional implicit space versus a restricted feature space, is highlighted through two experiments, in bioinformatics and in natural language processing.