Search results for "Programs"
showing 10 items of 222 documents
Towards Axiomatic Basis of Inductive Inference
2001
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…
Risk Factors and treatment needs of batterer intervention program participants with substance abuse problems
2021
espanolEl objetivo de este estudio fue identificar los principales factores de riesgo y necesidades de tratamiento de los participantes en un programa de intervencion con maltratadores (BIP) con problemas de abuso de alcohol y/o drogas (ADAP), mas alla de sus problemas de abuso de substancias, teniendo en cuenta cuatro conjuntos de variables: sociodemograficas (i.e., edad, nivel educativo, ingresos, empleo y estatus de inmigrante), trastornos de personalidad y ajuste psicologico (i.e., sintomatologia clinica, trastornos de personalidad, ira, impulsividad y autoestima), variables socio-relacionales (i.e., apoyo comunitario, apoyo intimo, eventos vitales estresantes y rechazo social percibido…
Fast simulation of muons produced at the SHiP experiment using Generative Adversarial Networks
2019
This paper presents a fast approach to simulating muons produced in interactions of the SPS proton beams with the target of the SHiP experiment. The SHiP experiment will be able to search for new long-lived particles produced in a 400~GeV$/c$ SPS proton beam dump and which travel distances between fifty metres and tens of kilometers. The SHiP detector needs to operate under ultra-low background conditions and requires large simulated samples of muon induced background processes. Through the use of Generative Adversarial Networks it is possible to emulate the simulation of the interaction of 400~GeV$/c$ proton beams with the SHiP target, an otherwise computationally intensive process. For th…
A Supplementary Text to “Contextuality in Canonical Systems of Random Variables” by Ehtibar N. Dzhafarov, Víctor H. Cervantes, and Janne V. Kujala (P…
2017
Mathematical Proofs
A generalized transitive closure for relational queries
1988
We augment relational algebra with a generalized transitive closure operator that allows for the efficient evaluation of a subclass of recursive queries. The operator is based on a composition operator which is as general as possible when the operator is required to be associative and when only relational algebra operators are used in its definition. The closure of such a composition can be computed using the well-known efficient algorithms designed for the computation of the usual transitive closure. Besides the case in which complete materialization of recursive relations are required, our strategy also yields an efficient solution in the case in which a selection is applied to the closur…
La Convención de Palermo (UNTOC) y la responsabilidad derivada de delitos de las personas jurídicas: itinerarios e intersecciones del ordenamiento it…
2022
Both the United Nations Convention against Transnational Organised Crime (UNTOC: signed in December 2000 in Palermo) and the Delegation Law no. 300/2000, with its corresponding Legislative Decree no. 231/2001, which jointly introduced in Italy the liability arising from crime for collective entities, mark two "paradigm shifts" for the criminal system. The contribution focuses on the overall value of the two legislative innovations examined in the evolution of criminal law, respectively at the international level and in the Italian context. The interest in analysing their respective contributions is further stimulated by the observation that the two areas, although autonomous, present a sign…
Differences in treatment adherence, program completion, and recidivism among batterer subtypes
2017
Abstract The present study aimed to cross-validate Holtzworth-Munroe and Stuart's typology in a Spanish sample of court-referred intimate partner violence batterers. The study also analyzed the typology's capability to predict treatment attendance, completion, and IPV recidivism two years after the treatment. The sample consisted of 210 batterers court referred to a batterer intervention program. Using cluster analysis, three batterer subtypes were identified in accordance with the original typology: family-only batterers, borderline/dysphoric, and generally violent-antisocial. The typology predicted program attendance, completion, and recidivism. Batterers from the generally violent-antiso…
How should vaccination services be planned, organized, and managed? Results from a survey on the Italian vaccination services
2019
Background. Quality improvement is an increasingly recognized approach to maximize service effectiveness and minimize costs in public health. However, the Italian law never provided for the institutional accreditation of vaccination services. Furthermore, a recently approved law added six more compulsory vaccinations to the original four, which has led to a considerable increase in vaccination efforts, without any previous resources evaluation. The aim of the study was to investigate structural, organizational and managerial characteristics of the Italian vaccination services, in order to suggest the adoption of adequate quality standards. Study design. A survey involving the representative…
Losing weight after menopause with minimal aerobic training and mediterranean diet
2020
Objective: It is a common belief that menopausal women have greater difficulty losing weight. The aim of this study was to assess the efficacy of a Mediterranean diet (MD) to promote weight loss in postmenopausal women. All participants were prescribed a hypocaloric traditional MD, tailored to the individual. Subjects were asked not to begin any kind of physical activity. Body composition was measured at the beginning and after 8 weeks of treatment. In total, 89 women (age 52.8 ±
SCALESEM : Evaluation of Semantic Graph based on Model Checking
2011
International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modelling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns …