Search results for "Programs"

Collection Principles in Dependent Type Theory

2002

We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.

Entrepreneurship Training and Self-Employment among University Graduates

2012

In economies characterized by low labor demand and high rates of youth unemployment, entrepreneurship training has the potential to enable youth to gain skills and create their own jobs. This paper presents experimental evidence on a new entrepreneurship track that provides business training and personalized coaching to university students in Tunisia. Undergraduates in the final year of licence appliquee were given the opportunity to graduate with a business plan instead of following the standard curriculum. This paper relies on randomized assignment of the entrepreneurship track to identify impacts on labor market outcomes one year after graduation. The analysis finds that the entrepreneur…

Identifying Key Predictors of Recidivism among Offenders Attending a Batterer Intervention Program: A Survival Analysis

2019

espanolLas estrategias para reducir la violencia contra la mujer en las relaciones de pareja pueden dirigirse a diferentes objetivos. Los programas de intervencion para agresores de pareja son uno de los principales acercamientos para su tratamiento. El resultado mas utilizado para la evaluacion de la efectividad de estos programas es la reincidencia. Los esfuerzos para incrementar la efectividad de los programas de intervencion para agresores de pareja en reducir la reincidencia deberian centrarse en las variables predictoras clave de este resultado. El objetivo de este estudio fue identificar los predictores clave de la reincidencia oficial a partir de un amplio conjunto de variables obte…

World Bank and the case for privatisation : development in Peru in the 1990s

2006

How can hepatitis C be prevented in the long term?

2007

Abstract Significant advances have been made in preventing HIV infection among injectors but we still know little about preventing hepatitis C (HCV). Both prevalence and incidence of hepatitis C can remain high among IDUs even in the context of widespread implementation of harm reduction programmes. We need to develop new ways to fill the knowledge gap regarding HCV prevention. One way is to learn from the experts—those IDUs who, after long-term injection in social milieus of high hepatitis C prevalence, nonetheless remain uninfected. We describe a recently commenced program of research that focuses on understanding the strategies, behaviours, and environmental factors associated with "stay…

Analysis of Relationship between Net Wage and Consumer Price Index

2013

Abstract In the present paper is presented an econometric analysis of the relationship between net salary and consumer price index. After a brief historical overview will be review the calculating statistics for selected variables and coefficients and will be presented the obtained values. We will study the relationship between variables. It will be realized the cloud of points and will be applied Fisher test. The intensity of selected variables will be study too and some forms of relationship between the two chose variables will be done. Student test is applied. It will be performed the parameter estimation for regression functions and Akaike's criterion will be applied. The homoscedastici…

Comparison between simulated and observed LHC beam backgrounds in the ATLAS experiment at E beam =4 TeV

2018

Results of dedicated Monte Carlo simulations of beam-induced background (BIB) in the ATLAS experiment at the Large Hadron Collider (LHC) are presented and compared with data recorded in 2012. During normal physics operation this background arises mainly from scattering of the 4 TeV protons on residual gas in the beam pipe. Methods of reconstructing the BIB signals in the ATLAS detector, developed and implemented in the simulation chain based on the FLUKA Monte Carlo simulation package, are described. The interaction rates are determined from the residual gas pressure distribution in the LHC ring in order to set an absolute scale on the predicted rates of BIB so that they can be compared qua…

Epidemiology and Cancer Prevention

2021

Cancer registries (CR) are essential structures for the recording of neoplasms in order to study their distribution and characteristics among a given population; this, moreover, can help in identifying possible main risk factors linked to some cancer conditions. Prevention nowadays is a fundamental key strategy for the control of neoplasms, and this is the reason why policies and screening programs should be implemented in order to raise awareness and reduce exposure to risk factors.

Microcredit, Regional Programs and Credit Guarantees in Italy

2019

This work proposes an analysis of microcredit initiatives analyzed at the territorial level. The differences are analyzed on the basis of distinctive features to identify different ways to develop microcredit in Italy. An empirical analysis is also carried out to verify the existence of a statistically significant correlation between the characteristics of entrepreneurial microcredit programs and their default risk. The presence of credit guarantee systems and the role of bank intermediaries as promoters significantly mitigate the risk of default on these initiatives. Regional microcredit programs do not show significant territorial differences in terms of credit guarantees.

The harmonisation applied to European higher education in Agricultural/Biosystems Engineering

2010

Even if the process of harmonisation applied to European Higher Education in Agricultural/Biosystems Engineering started in 1989, it is still in progress. Until now this process benefited, above all, from the results of the projects of two European thematic networks : • USAEE-TN, whose best results were the core curricula to be used as benchmarks for the degree study programs in Agricultural/Biosystems Engineering; • ERABEE-TN, still working for developing the results of USAEE-TN, above all, at the 3rd cycle in Biosystems Engineering. Another important contribution to the harmonisation of the European curricula in Agricultural/Biosystems Engineering was obtained from the cooperation between…