An Introductory Course on Constraint Logic Programming

The purpose of this document is to serve as the printed material for the seminar "An Introductory Course on Constraint Logic Programming". The intended audience of this seminar are industrial programmers with a degree in Computer Science but little previous experience with constraint programming. The seminar itself has been field tested, prior to the writing of this document, with a group of the application programmers of Esprit project P23182, "VOCAL", aimed at developing an application in scheduling of field maintenance tasks in the context of an electric utility company. The contents of this paper follow essentially the flow of the seminar slides. However, there are some differences. These differences stem from our perception from the experience of teaching the seminar, that the technical aspects are the ones which need more attention and clearer explanations in the written version. Thus, this document includes more examples than those in the slides, more exercises (and the solutions to them), as well as four additional programming projects, with which we hope the reader will obtain a clearer view of the process of development and tuning of programs using CLP. On the other hand, several parts of the seminar have been taken out: those related with the account of fields and applications in which C(L)P is useful, and the enumerations of C(L)P tools available. We feel that the slides are clear enough, and that for more information on available tools, the interested reader will find more up-to-date information by browsing the Web or asking the vendors directly. More details in this direction will actually boil down to summarizing a user manual, which is not the aim of this document.

The maintenance of tracking: The role of organizational culture

Modern comprehensive high schools do not formally track students into different programs, but schools offer different curricular sequences with important and stratified consequences for students' post-secondary education. This study used qualitative methodology to examine how schools' organizational cultures influence the maintenance of tracking practices in four comprehensive high schools in Miami. The methodology included long-term participant observation in each of the four schools, unstructured and semi-structured interviews and the collection of written documents produced by the district. A framework based on the concepts of environment, mission, information, strategy, and leadership was used to analyze the data. ^ It was found that school cultures shared deeply held beliefs that regard ability as a fixed trait. This prevented schools from providing access to information about the consequences of course selection to the majority of the student body, with the exception of those students defined as “college bound.” State and County level policies that reward achievement in standardized tests combined with school overcrowding, resulted in organizational cultures that favored the adoption of strategies stressing efficiency, as opposed to a challenging education for all students. Only one of the four schools in the study had a policy requiring students to attempt courses that were more challenging. The practice was resented by both teachers and counselors, since it was perceived as interfering with other goals of the institution, i.e.: graduating students in four years. ^ The culture of the schools stressed college as the only legitimate post-secondary option; consequently, the majority of counselors did not encourage students—even those already defined as “not college material”—to consider other alternatives, such as vocational education. The elimination of formal tracks in these comprehensive high schools resulted in the school culture lacking a clear mission in regards to non-college bound students. Findings are discussed in relation to current theoretical explanations for educational policy and equality of opportunity. ^

The maintenance of tracking : the role of organizational culture

Modern comprehensive high schools do not formally track students into different programs, but schools offer different curricular sequences with important and stratified consequences for students' post-secondary education. This study used qualitative methodology to examine how schools' organizational cultures influence the maintenance of tracking practices in four comprehensive high schools in Miami. The methodology included long-term participant observation in each of the four schools, unstructured and semi-structured interviews and the collection of written documents produced by the district. A framework based on the concepts of environment, mission,, information, strategy, and leadership was used to analyze the data. It was found that school cultures shared deeply held beliefs that regard ability as a fixed trait. This prevented schools from providing access to information about the consequences of course selection to the majority of the student body, with the exception of those students defined as "college bound." State and County level policies that reward achievement in standardized tests combined with school overcrowding, resulted in organizational cultures that favored the adoption of strategies stressing efficiency, as opposed to a challenging education for all students. Only one of the four schools in the study had a policy requiring students to attempt courses that were more challenging. The practice was resented by both teachers and counselors, since it was perceived as interfering with other goals of the institution, i.e.: graduating students in four years. The culture of the schools stressed college as the only legitimate post-secondary option; consequently, the majority of counselors did not encourage students-even those already defined as "not college material"-to consider other alternatives, such as vocational education. The elimination of formal tracks in these comprehensive high schools resulted in the school culture lacking a clear mission in regards to non-college bound students. Findings are discussed in relation to current theoretical explanations for educational policy and equality of opportunity.

Molecular Mechanisms of Airway Epithelial Progenitor Cell Maintenance and Repair.

The lungs are vital organs whose airways are lined with a continuous layer of epithelial cells. Epithelial cells in the distal most part of the lung, the alveolar space, are specialized to facilitate gas exchange. Proximal to the alveoli is the airway epithelium, which provides an essential barrier and is the first line of defense against inhaled toxicants, pollutants, and pathogens. Although the postnatal lung is a quiescent organ, it has an inherent ability to regenerate in response to injury. Proper balance between maintaining quiescence and undergoing repair is crucial, with imbalances in these processes leading to fibrosis or tumor development. Stem and progenitor cells are central to maintaining balance, given that they proliferate and renew both themselves and the various differentiated cells of the lung. However, the precise mechanisms regulating quiescence and repair in the lungs are largely unknown. In this dissertation, ionizing radiation is used as a physiologically relevant injury model to better understand the repair process of the airway epithelium. We use in vitro and in vivo mouse models to study the response of a secretory progenitor, the club cell, to various doses and qualities of ionizing radiation. Exposure to radiation found in space environments and in some types of radiotherapy caused clonal expansion of club cells specifically in the most distal branches of the airway epithelium, indicating that the progenitors residing in the terminal bronchioles are radiosensitive. This clonal expansion is due to an increase in p53-dependent apoptosis, senescence, and mitotic defects. Through the course of this work, we discovered that p53 is not only involved in radiation response, but is also a novel regulator of airway epithelial homeostasis. p53 acts in a gene dose-dependent manner to regulate the composition of airway epithelium by maintaining quiescence and regulating differentiation of club progenitor cells in the steady-state lung. The work presented in this dissertation represents an advance in our understanding of the molecular mechanisms underlying maintenance of airway epithelial progenitor cells as well as their repair following ionizing radiation exposure.

Understanding how sporting characteristics and behaviours influence destination selection: a grounded theory study of golf tourism

Sports tourism has received growing attention in academic research over the past two decades (Weed and Bull, 2009, Gibson, 2005) but greater understanding of the consumer is needed, particularly the factors influencing decisions to include sport as part of a leisure trip. This paper provides, through a focus on the sport of golf, insight into the characteristics of the sports tourist and how sports tourist behaviours influence the selection of locations deemed suitable for sports participation. This qualitative research employs a grounded theory methodology, underpinned by a constructivist epistemology, to evaluate twenty-six in-depth interviews with golf tourists. The findings propose a model which explains the relationship between golf tourist behaviours and destination selection. This identifies six strands which determine the relationship between the golf tourist, golf behaviours and destination selection (constructing the golf holiday, emotional rewards of taking a trip, total trip spend, amenities and support facilities, course characteristics and reputation of the destination). Furthermore it illuminates the complexity of these relationships through recognition of four spheres of influence (group dynamics, competition and ability, golfing capital and intermediaries). Discussion elucidates how this increased understanding of the golf tourist behaviours and destination selection might be applied to other sports, with conclusions exploring implications for the sports tourism industry and destinations.

Stability of Granular Base Course Materials Containing Bituminous Admixtures

This report concerns the stabilization of three crushed limestones by an ss-1 asphalt emulsion and an asphalt cement, 120-150 penetration. Stabilization is evaluated by marshall stability and triaxial shear tests. Test specimens were compacted by the marshall, standard proctor and vibratory methods. Stabilization is evaluated primarily by triaxial shear tests in which confining pressures of 0 to 80 psi were used. Data were obtained on the angle of internal friction, cohesion, volume change, pore water pressure and strain characteristics of the treated and untreated aggregates. The MOHR envelope, bureau of reclamation and modified stress path methods were used to determine shear strength parameters at failure. Several significant conclusions developed by the authors are as follows: (1) the values for effective angle of internal friction and effective cohesion were substantially independent of asphalt content, (2) straight line MOHR envelopes of failure were observed for all treated stones, (3) bituminous admixtures did little to improve volume change (deformation due to load) characteristics of the three crushed limestones, (4) with respect to pore water characteristics (pore pressures and suctions due to lateral loading), bituminous treatment notably improved only the bedford stone, and (5) at low lateral pressures bituminous treatments increased stability by limiting axial strain. This would reduce rutting of highway bases. At high lateral pressures treated stone was less stable than untreated stone.

Impact Of Pregabalin Treatment On Synaptic Plasticity And Glial Reactivity During The Course Of Experimental Autoimmune Encephalomyelitis.

Multiple sclerosis (MS) is an autoimmune and neurodegenerative disease that affects young adults. It is characterized by generating a chronic demyelinating autoimmune inflammation in the central nervous system. An experimental model for studying MS is the experimental autoimmune encephalomyelitis (EAE), induced by immunization with antigenic proteins from myelin. The present study investigated the evolution of EAE in pregabalin treated animals up to the remission phase. The results demonstrated a delay in the onset of the disease with statistical differences at the 10th and the 16th day after immunization. Additionally, the walking track test (CatWalk) was used to evaluate different parameters related to motor function. Although no difference between groups was obtained for the foot print pressure, the regularity index was improved post treatment, indicating a better motor coordination. The immunohistochemical analysis of putative synapse preservation and glial reactivity revealed that pregabalin treatment improved the overall morphology of the spinal cord. A preservation of circuits was depicted and the glial reaction was downregulated during the course of the disease. qRT-PCR data did not show immunomodulatory effects of pregabalin, indicating that the positive effects were restricted to the CNS environment. Overall, the present data indicate that pregabalin is efficient for reducing the seriousness of EAE, delaying its course as well as reducing synaptic loss and astroglial reaction.

Disarray Of Glomerular And Tubular Cell Adhesion Molecules In The Course Of Experimental Bothrops Moojeni Envenomation.

In this study, we show that administration of Bothrops moojeni venom in rats induces a general disturbance in the distribution and content of the tight junctional protein ZO-1, the cell-matrix receptor beta 1 integrin, the cytoskeletal proteins, vinculin and F-actin, and of the extracellular matrix component laminin in renal corpuscles and cortical nephron tubules. These findings suggest that cell-cell and cell-matrix adhesion proteins may be molecular targets in the B. moojeni-induced kidney injury.