Direct instantons, topological charge screening, and QCD glueball sum rules

Nonperturbative Wilson coefficients of the operator product expansion (OPE) for the spin-0 glueball correlators are derived and analyzed. A systematic treatment of the direct instanton contributions is given, based on a realistic instanton size distribution and renormalization at the operator scale. In the pseudoscalar channel, topological charge screening is identified as an additional source of (semi-) hard nonperturbative physics. The screening contributions are shown to be vital for consistency with the anomalous axial Ward identity, and previously encountered pathologies (positivity violations and the disappearance of the 0(-+) glueball signal) are traced to their neglect. on the basis of the extended OPE, a comprehensive quantitative analysis of eight Borel-moment sum rules in both spin-0 glueball channels is then performed. The nonperturbative OPE coefficients turn out to be indispensable for consistent sum rules and for their reconciliation with the underlying low-energy theorems. The topological short-distance physics strongly affects the sum rule results and reveals a rather diverse pattern of glueball properties. New predictions for the spin-0 glueball masses and decay constants and an estimate of the scalar glueball width are given, and several implications for glueball structure and experimental glueball searches are discussed.

Expenditures, investment and financing for sustainable development in Trinidad and Tobago

Includes bibliography

Theses, Projects, and Africana Materials Management in Nigerian Academic Libraries: The Case of Hezekiah Oluwasanmi Library

This is a survey of the procurement, organization and use of unpublished projects, theses, and Africana mateials in Hezekiah Oluwasanmi Library, Obafemi Awolowo University, Ile-Ife, Nigeria. The Africana section conserves knowledge, preserves cultural heritage, provides information, and supports education and research. This paper the location, mode of processing, circulation, and terms of availability of these materials. Recommendations are made on how to manage Africana materials in academic libraries where they constitute a vital component of collections.

Challenges of Students’ Industrial Work Experience Scheme (SIWES) in Library and Information Science in the ICT Environment

The ICT revolution has permeated every profession and all areas of human endeavour. Professions such as law, medicine , engineering, and library and information science are adjusting to the ICT environment through re-tooling, retraining, and curriculum revision. The purpose of this study is to explore the impact of ICT on the student industrial work experience scheme (SIWES) of library and information science students. It traces the historical development of the scheme, the ICT development trends in LIS, and the challenges this development brings to SIWES. Strategies to absorb this shock created by ICT are offered.

STATE REGISTRATION AND LICENSING REGULATIONS: A NEW PROGRAM (OHIO)

We enacted a bill in Ohio this year, Senate Bill 445, that has to do with the application of pesticides. It is a very wide bill as you would normally look at it with most of the meat going to come from the regulations that are presently being written into it. In other words, the framework was developed and accepted by the two houses in our state legislature and empowered the Director of Agriculture to establish the regulations or the so-called teeth to this bill. The governor signed the bill in June and it became effective in September. The committees as of this time are meeting to develop philosophies and regulations that will be promulgated and brought into hearings and sifted through, and eventually, with a target date of December of this year, (1970), brought to the Director of Agriculture's office for acceptance. There is a committee established for rodent and bird control which is very well represented by our industry here in Ohio. John Beck (Rose Exterminator Company) is the chairman of the committee, William B. Jackson (Bowling Green State University) and Robert Yaeger (Cincinnati) are also on the committee. The important feature of this new law, in terms of pest control operators, is the examinations that will be required. We operators and our service people will both be tested and licensed, if sufficient proficiency is demonstrated on the tests. For your information they use a little different terminology in the bill than we in the industry normally use. We think of an applicator in the industry as service people. In the bill an applicator is defined as an operator. Therefore in reading the law the word operator means the man who does the job, the service man. Just the reverse is true in the industry. We think of the operator as the man who owns or manages the company while these people are referred to in the bill as applicators. The Bill calls for the development of schools for the training of our people throughout the state. Those of us who are in bird control should begin to prepare ourselves to meet this request, to be available for the schooling, have our people available for the schooling, and give this program all the co-operation that we can.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Interpreting Judgements using Knowledge Representation Methods and Computational Models of Argument

The goal of the present research is to define a Semantic Web framework for precedent modelling, by using knowledge extracted from text, metadata, and rules, while maintaining a strong text-to-knowledge morphism between legal text and legal concepts, in order to fill the gap between legal document and its semantics. The framework is composed of four different models that make use of standard languages from the Semantic Web stack of technologies: a document metadata structure, modelling the main parts of a judgement, and creating a bridge between a text and its semantic annotations of legal concepts; a legal core ontology, modelling abstract legal concepts and institutions contained in a rule of law; a legal domain ontology, modelling the main legal concepts in a specific domain concerned by case-law; an argumentation system, modelling the structure of argumentation. The input to the framework includes metadata associated with judicial concepts, and an ontology library representing the structure of case-law. The research relies on the previous efforts of the community in the field of legal knowledge representation and rule interchange for applications in the legal domain, in order to apply the theory to a set of real legal documents, stressing the OWL axioms definitions as much as possible in order to enable them to provide a semantically powerful representation of the legal document and a solid ground for an argumentation system using a defeasible subset of predicate logics. It appears that some new features of OWL2 unlock useful reasoning features for legal knowledge, especially if combined with defeasible rules and argumentation schemes. The main task is thus to formalize legal concepts and argumentation patterns contained in a judgement, with the following requirement: to check, validate and reuse the discourse of a judge - and the argumentation he produces - as expressed by the judicial text.

Restructuring Justice: Moving Towards Gender-Responsive Programming and Alternatives to Incarceration for Non-Violent Female Offenders

The United States¿ Federal and State laws differentiate between acceptable (or, legal) and unacceptable (illegal) behavior by prescribing restrictive punishment to citizens and/or groups that violate these established rules. These regulations are written to treat every person equally and to fairly serve justice; furthermore, the sanctions placed on offenders seek to reform illegal behavior through limitations on freedoms and rehabilitative programs. Despite the effort to treat all offenders fairly regardless of social identity categories (e.g., sex, race, ethnicity, socioeconomic status, age, ability, and gender and sexual orientation) and to humanely eliminate illegal behavior, the American penal system perpetuates de facto discrimination against a multitude of peoples. Furthermore, soaring recidivism rates caused by unsuccessful re-entry of incarcerated offenders puts economic stress on Federal and State budgets. For these reasons, offenders, policy-makers, and law-abiding citizens should all have a vested interest in reforming the prison system. This thesis focuses on the failure of the United States corrections system to adequately address the gender-specific needs of non-violent female offenders. Several factors contribute to the gender-specific discrimination that women experience in the criminal justice system: 1) Trends in female criminality that skew women¿s crime towards drug-related crimes, prostitution, and property offenses; 2) Mandatory minimum sentences for drug crimes that are disproportionate to the crime committed; 3) So-called ¿gender-neutral¿ educational, vocational, substance abuse, and mental health programming that intends to equally rehabilitate men and women, but in fact favors men; and 4) The isolating nature of prison structures that inhibits smooth re-entry into society. I argue that a shift in the placement and treatment of non-violent female offenders is necessary for effective rehabilitation and for reducing recidivism rates. The first component of this shift is the design and implementation of gender- responsive treatment (GRT) rather than gender-neutral approaches in rehabilitative programming. The second shift is the utilization of alternatives to incarceration, which provide both more humane treatment of offenders and smoother reintegration to society. Drawing on recent scholarship, information from prison advocacy organizations, and research with men in an alternative program, I provide a critical analysis of current policies and alternative programs, and suggest several proposals for future gender- responsive programs in prisons and in place of incarceration. I argue that the expansion of gender-responsive programming and alternatives to incarceration respond to the marginalization of female offenders, address concerns about the financial sustainability of the United States criminal justice system, and tackle high recidivism rates.

An analysis of protocols and publications suggested that most discontinuations of clinical trials were not based on preplanned interim analyses or stopping rules.

OBJECTIVES To investigate the frequency of interim analyses, stopping rules, and data safety and monitoring boards (DSMBs) in protocols of randomized controlled trials (RCTs); to examine these features across different reasons for trial discontinuation; and to identify discrepancies in reporting between protocols and publications. STUDY DESIGN AND SETTING We used data from a cohort of RCT protocols approved between 2000 and 2003 by six research ethics committees in Switzerland, Germany, and Canada. RESULTS Of 894 RCT protocols, 289 prespecified interim analyses (32.3%), 153 stopping rules (17.1%), and 257 DSMBs (28.7%). Overall, 249 of 894 RCTs (27.9%) were prematurely discontinued; mostly due to reasons such as poor recruitment, administrative reasons, or unexpected harm. Forty-six of 249 RCTs (18.4%) were discontinued due to early benefit or futility; of those, 37 (80.4%) were stopped outside a formal interim analysis or stopping rule. Of 515 published RCTs, there were discrepancies between protocols and publications for interim analyses (21.1%), stopping rules (14.4%), and DSMBs (19.6%). CONCLUSION Two-thirds of RCT protocols did not consider interim analyses, stopping rules, or DSMBs. Most RCTs discontinued for early benefit or futility were stopped without a prespecified mechanism. When assessing trial manuscripts, journals should require access to the protocol.

Hacer las reglas del hacer : Concepciones y rutinas bibliotecarias en los reglamentos de las bibliotecas populares en la Argentina (1870-1875)

El artículo aborda los vínculos sostenidos por la Comisión Protectora de las Bibliotecas Populares y las bibliotecas populares con relación a la elaboración de reglas adecuadas para ordenar el funcionamiento de estas instituciones. A partir de un análisis del Boletín de las Bibliotecas Populares, se estudia la manera en que la Comisión insistió en la difusión de dos servicios: la lectura gratuita en la sala y el préstamo domiciliario de libros a cambio de una cuota accesible. Se observa cómo las bibliotecas incorporaron progresivamente esas pautas y, al hacerlo, colaboraron con sus propios reglamentos con la estrategia pedagógica del Boletín. Se examinan, asimismo, las indicaciones técnicas presentes en la revista para contribuir con el desarrollo de los procesos bibliotecarios necesarios para sustentar dichos servicios. Se concluye que entre 1870 y 1875 estas acciones renovaron la tradición bibliotecaria en la Argentina, aun cuando es posible detectar diversas deficiencias y contrasentidos en la transmisión de esta nueva concepción bibliotecológica. Finalmente, se evalúa la pertinencia de los reglamentos y otros documentos institucionales para desenvolver los estudios históricos sobre los contextos de la lectura

Hacer las reglas del hacer : Concepciones y rutinas bibliotecarias en los reglamentos de las bibliotecas populares en la Argentina (1870-1875)

El artículo aborda los vínculos sostenidos por la Comisión Protectora de las Bibliotecas Populares y las bibliotecas populares con relación a la elaboración de reglas adecuadas para ordenar el funcionamiento de estas instituciones. A partir de un análisis del Boletín de las Bibliotecas Populares, se estudia la manera en que la Comisión insistió en la difusión de dos servicios: la lectura gratuita en la sala y el préstamo domiciliario de libros a cambio de una cuota accesible. Se observa cómo las bibliotecas incorporaron progresivamente esas pautas y, al hacerlo, colaboraron con sus propios reglamentos con la estrategia pedagógica del Boletín. Se examinan, asimismo, las indicaciones técnicas presentes en la revista para contribuir con el desarrollo de los procesos bibliotecarios necesarios para sustentar dichos servicios. Se concluye que entre 1870 y 1875 estas acciones renovaron la tradición bibliotecaria en la Argentina, aun cuando es posible detectar diversas deficiencias y contrasentidos en la transmisión de esta nueva concepción bibliotecológica. Finalmente, se evalúa la pertinencia de los reglamentos y otros documentos institucionales para desenvolver los estudios históricos sobre los contextos de la lectura

Hacer las reglas del hacer : Concepciones y rutinas bibliotecarias en los reglamentos de las bibliotecas populares en la Argentina (1870-1875)

El artículo aborda los vínculos sostenidos por la Comisión Protectora de las Bibliotecas Populares y las bibliotecas populares con relación a la elaboración de reglas adecuadas para ordenar el funcionamiento de estas instituciones. A partir de un análisis del Boletín de las Bibliotecas Populares, se estudia la manera en que la Comisión insistió en la difusión de dos servicios: la lectura gratuita en la sala y el préstamo domiciliario de libros a cambio de una cuota accesible. Se observa cómo las bibliotecas incorporaron progresivamente esas pautas y, al hacerlo, colaboraron con sus propios reglamentos con la estrategia pedagógica del Boletín. Se examinan, asimismo, las indicaciones técnicas presentes en la revista para contribuir con el desarrollo de los procesos bibliotecarios necesarios para sustentar dichos servicios. Se concluye que entre 1870 y 1875 estas acciones renovaron la tradición bibliotecaria en la Argentina, aun cuando es posible detectar diversas deficiencias y contrasentidos en la transmisión de esta nueva concepción bibliotecológica. Finalmente, se evalúa la pertinencia de los reglamentos y otros documentos institucionales para desenvolver los estudios históricos sobre los contextos de la lectura

Normalizar la utopía: Un proyecto de sistematización de la normativa en vivienda social = Normalizing Utopia: A Project of Systematization of Regulations on Social Housing

La presente tesis doctoral aborda el estudio del proyecto de vivienda colectiva social desde la noción de norma, entendida desde la sistematización o normalización de los instrumentos del proyecto arquitectónico de vivienda protegida. Esto es, desde una idea de tipificación taxonómica en cuanto ajuste a un conjunto de reglas comunes productoras de sistemas normativos. La hipótesis de partida se basa en la consideración de la vivienda pública como un laboratorio de estudio histórico de los ideales de confort y calidad de vida. Este campo de pruebas ha constituido una sólida base que ha servido como punto de encuentro muy particular entre proyecto y normativa desde las primeras vanguardias europeas hasta la actualidad. El principal objetivo de la investigación es la revalorización de una normativa de vivienda que ha producido ejemplos de innegable calidad en el contexto nacional e internacional, así como un intento de actualización de su codificación. La investigación se sirve de los instrumentos específicos de la disciplina arquitectónica para explicar una disociación detectada desde la segunda mitad del siglo pasado entre la utopía del proyecto social de vivienda y el pragmatismo de la norma que lo regula, más allá de los aspectos sociales y culturales asociados a las nuevas composiciones familiares, las tecnologías cambiantes, los ritos domésticos contemporáneos o el valor creciente del tiempo libre. La propuesta de una nueva terminología que aborde nuevas relaciones en el acercamiento al proyecto de vivienda desde la normativa española deriva en un conjunto de estrategias de proyecto desde las que proponer sistemas normativos. Dichas estrategias se basan principalmente en mecanismos de cualificación espacial que permitan un nuevo acercamiento entre dichas normas y las formas de habitar actuales. ABSTRACT This doctoral thesis deals with the study of the project of social collective housing from the notion of rule, understanding it from the systematization or standardization of the instruments of architectural project for social housing. Thus, it deals with an idea of taxonomic typification as an adjustment to a set of common rules which produce regulation systems. The initial hypothesis is based on the consideration of public housing as a laboratory for studying the historical ideals of comfort and quality of life. This testing ground has been a solid base that has served as a very specific meeting point between project and regulations from the first European avant‐garde to nowadays. The main objective of this research is the revaluation of housing regulations, which have produced examples of undeniable quality in the national and international stage, as well as an attempt to update their codification. The research assumes the specific tools of the discipline of architecture for explaining a dissociation detected between the utopia of the project for social housing and the pragmatism of the regulations from the second half of last century, beyond social and cultural aspects associated to the new family arrangements, the changing technologies, the contemporary domestic rituals or the rising value of leisure time. The proposal of a new terminology that tackles new relations in the approach to housing project from the Spanish legislation results in a set of strategies to propose regulation systems. Those strategies are mainly based on mechanisms for spatial qualification which allow a new approach between these rules and the current ways of living.

Planning and Management of Mobility in Natural Protected Areas

The paper describes some relevant results of an on-going research aiming to elaborate a methodology to help the mobility management in natural parks, compatible with their protection missions: it has been developed a procedure to reproduce the mobility-environment relationships in various operational conditions. The final purpose is the identification of: a) the effects of various choices in transport planning, both at long term and strategic level; b) the most effective policies of mobility management. The work is articulated in the following steps: 1) definition of protected area on the basis of ecological and socio-economic criteria and legislative constraints; 2) analysis of mobility needs in the protected areas; 3) reconstruction of the state of the art of mobility management in natural parks at European level; 4) analysis of used traffic flows measurement methods; 5) analysis of environmental impacts due to transport systems modelling (air pollution and noise only); 6) identification of mitigation measures to be potentially applied. The whole methodology has been tested and validated on Italian case studies: i) the concerned area has been zoned according to the land-use peculiarities; ii) the local situations of transport infrastructure (roads and parking), services (public transport systems) and rules (traffic regulations) have been mapped with references to physical and functional attributes; iii) the mobility, both systematic and touristic, has been represented in an origin-destination matrix. By means of an assignment model the flows have been distributed and the corresponding average speeds to quantify gaseous and noise emissions was calculated, the criticalities in the reference scenario have been highlighted, as well as some alternative scenarios, including both operational and infrastructural measures have been identified. The comparison between projects and reference scenario allowed the quantification of effects (variation of emissions) for each scenario and a selection of the most effective management actions to be taken.

Planning and management of mobility in natural protected areas

The final purpose is the identification of: a) the effects of various choices in transport planning, both at long term and strategic level; b) the most effective policies of mobility management. The preliminary work was articulated in the following steps: 1) definition of protected area on the basis of ecological and socio-economic criteria and legislative constraints; 2) analysis of mobility needs in the protected areas; 3) reconstruction of the state of the art of mobility management in natural parks at European level; 4) analysis of used traffic flows measurement methods; 5) analysis of environmental impacts due to transport systems modelling (limited to air pollution and noise); 6) identification of mitigation measures to the potentially applied. The whole methodology has been firstly tested on the case study of the National Park of ?Gran Sasso and Monti della Laga? and further validated on the National Park of ?Gargano?, both located Italy: i) the concerned area has been zoned according to the land-use peculiarities; ii) the local situations of transport infrastructure (roads and parking), services (public transport systems) and rules (traffic regulations) have been mapped with references to physical and functional attributes; iii) the mobility, both systematic and touristic, has been synthetically represented in an origin-destination matrix. By means of an assignment model it has been determined the distribution of flows and the corresponding average speeds to quantify gaseous and noise emissions. On this basis the environmental criticalities in the reference scenario have been highlighted, as well as some alternative scenarios including both operational and infrastructural measures have been identified. The comparison between the projects and the reference scenario allowed the quantification of the effects (variation of emissions) for each scenario and a selection of the most effective management actions to be taken.