972 resultados para Integer programming problems


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In recent years, the Department of Corrections has made major strides in assessing offenders’ risk to reoffend, particularly in measuring changes in that risk over time. Earlier this year, the DOC worked with the Board of Parole to develop a risk assessment that focuses on assessing offenders’ risk to commit violent crimes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

What do we know about the effectiveness of various treatments of alcoholism? This review of literature shows that lack--or weaknesses--of published studies make it impossible to draw definite conclusions. Rigorous controlled studies show high rates of spontaneous remission and important uncertainties about specialised treatments of alcoholism. However, except for severe dependence that may well require a different approach, brief interventions conducted by non-specialists have proved highly effective for at-risk alcohol drinkers: based on minimal medical advice, they increase the chances of lowering alcohol consumption. General practitioners may thus represent on important link in the therapeutic chain.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Abstract in English : Ubiquitous Computing is the emerging trend in computing systems. Based on this observation this thesis proposes an analysis of the hardware and environmental constraints that rule pervasive platforms. These constraints have a strong impact on the programming of such platforms. Therefore solutions are proposed to facilitate this programming both at the platform and node levels. The first contribution presented in this document proposes a combination of agentoriented programming with the principles of bio-inspiration (Phylogenesys, Ontogenesys and Epigenesys) to program pervasive platforms such as the PERvasive computing framework for modeling comPLEX virtually Unbounded Systems platform. The second contribution proposes a method to program efficiently parallelizable applications on each computing node of this platform. Résumé en Français : Basée sur le constat que les calculs ubiquitaires vont devenir le paradigme de programmation dans les années à venir, cette thèse propose une analyse des contraintes matérielles et environnementale auxquelles sont soumises les plateformes pervasives. Ces contraintes ayant un impact fort sur la programmation des plateformes. Des solutions sont donc proposées pour faciliter cette programmation tant au niveau de l'ensemble des noeuds qu'au niveau de chacun des noeuds de la plateforme. La première contribution présentée dans ce document propose d'utiliser une alliance de programmation orientée agent avec les grands principes de la bio-inspiration (Phylogénèse, Ontogénèse et Épigénèse). Ceci pour répondres aux contraintes de programmation de plateformes pervasives comme la plateforme PERvasive computing framework for modeling comPLEX virtually Unbounded Systems . La seconde contribution propose quant à elle une méthode permettant de programmer efficacement des applications parallélisable sur chaque noeud de calcul de la plateforme

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Rapport de synthèseDes événements pathologiques survenant pendant la période foetale prédisposent la descendance aux maladies cardiovasculaires systémiques. Il existe peu de connaissances au sujet de la circulation pulmonaire et encore moins quant aux mécanismes sous-jacents. La sous-alimentation maternelle pendant la grossesse peut représenter un modèle d'investigation de ces mécanismes, parce que chez l'animal et l'homme elle est associée à une dysfonction vasculaire systémique chez la progéniture. Chez le rat, la diète restrictive pendant la grossesse induit une augmentation du stress oxydatif dans le placenta. Les dérivés de l'oxygène sont connus pour induire des altérations épigénétiques et peuvent traverser la barrière placentaire. Nous avons dès lors spéculé que chez la souris la diète restrictive pendant la grossesse induit une dysfonction vasculaire pulmonaire chez sa progéniture qui serait liée à un mécanisme épigénétique.Pour tester cette hypothèse, nous avons examiné la fonction vasculaire pulmonaire et la méthylation de l'ADN pulmonaire à la fin de 2 semaines d'exposition à l'hypoxie chez la progéniture de souris soumises à une diète restrictive pendant la grossesse et des souris contrôles. Nous avons trouvé que la vasodilatation endothélium-dépendante de l'artère pulmonaire in vitro était défectueuse, et que l'hypertension pulmonaire et l'hypertrophie ventriculaire droite induites par l'hypoxie in vivo étaient exagérées chez la progéniture de souris soumises à une diète restrictive pendant la grossesse. Cette dysfonction vasculaire pulmonaire était associée avec une altération de la méthylation de l'ADN pulmonaire. L'administration d'inhibiteurs de la déacétylase des histones, le Butyrate et la Trichostatine-A à la progéniture de souris soumises à une diète restrictive pendant la grossesse a normalisé la méthylation de l'ADN et la fonction vasculaire pulmonaire. Finalement, l'administration du nitroxyde Tempol aux mères durant la diète restrictive pendant la grossesse a prévenu la dysfonction vasculaire et la dysméthylation chez la progéniture.Ces découvertes démontrent que chez la souris la sous-alimentation pendant la gestation induit une dysfonction vasculaire chez la progéniture qui est causée par un mécanisme épigénétique. Il est possible qu'un mécanisme similaire soit impliqué dans la programmation foetale de la dysfonction vasculaire chez les humains.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Splenic marginal zone (MZ) B cells are a lineage distinct from follicular and peritoneal B1 B cells. They are located next to the marginal sinus where blood is released. Here they pick up antigens and shuttle the load onto follicular dendritic cells inside the follicle. On activation, MZ B cells rapidly differentiate into plasmablasts secreting antibodies, thereby mediating humoral immune responses against blood-borne type 2 T-independent antigens. As Krüppel-like factors are implicated in cell differentiation/function in various tissues, we studied the function of basic Krüppel-like factor (BKLF/KLF3) in B cells. Whereas B-cell development in the bone marrow of KLF3-transgenic mice was unaffected, MZ B-cell numbers in spleen were increased considerably. As revealed in chimeric mice, this occurred cell autonomously, increasing both MZ and peritoneal B1 B-cell subsets. Comparing KLF3-transgenic and nontransgenic follicular B cells by RNA-microarray revealed that KLF3 regulates a subset of genes that was similarly up-regulated/down-regulated on normal MZ B-cell differentiation. Indeed, KLF3 expression overcame the lack of MZ B cells caused by different genetic alterations, such as CD19-deficiency or blockade of B-cell activating factor-receptor signaling, indicating that KLF3 may complement alternative nuclear factor-κB signaling. Thus, KLF3 is a driving force toward MZ B-cell maturation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This report is formatted to independently present four individual investigations related to similar web gap fatigue problems. Multiple steel girder bridges commonly exhibit fatigue cracking due to out-of-plane displacement of the web near the diaphragm connections. This fatigue-prone web gap area is typically located in negative moment regions of the girders where the diaphragm stiffener is not attached to the top flange. In the past, the Iowa Department of Transportation has attempted to stop fatigue crack propagation in these steel girder bridges by drilling holes at the crack tips. Other nondestructive retrofits have been tried; in a particular case on a two-girder bridge with floor beams, angles were bolted between the stiffener and top flange. The bolted angle retrofit has failed in the past and may not be a viable solution for diaphragm bridges. The drilled hole retrofit is often only a temporary solution, so a more permanent and effective retrofit is required. A new field retrofit has been developed that involves loosening the bolts in the connection between the diaphragm and the girders. Research on the retrofit has been initiated; however, no long-term studies of the effects of bolt loosening have been performed. The intent of this research is to study the short-term effects of the bolt loosening retrofit on I-beam and channel diaphragm bridges. The research also addressed the development of a continuous remote monitoring system to investigate the bolt loosening retrofit on an X-type diaphragm bridge over a number of months, ensuring that the measured strain and displacement reductions are not affected by time and continuous traffic loading on the bridge. The testing for the first three investigations is based on instrumentation of web gaps in a negative moment region on Iowa Department of Transportation bridges with I-beam, channel, and X-type diaphragms. One bridge of each type was instrumented with strain gages and deflection transducers. Field tests, using loaded trucks of known weight and configuration, were conducted on the bridges with the bolts in the tight condition and after implementing the bolt loosening retrofit to measure the effects of loosening the diaphragm bolts. Long-term data were also collected on the X-diaphragm bridge by a data acquisition system that collected the data continuously under ambient truck loading. The collected data were retrievable by an off-site modem connection to the remote data acquisition system. The data collection features and ruggedness of this system for remote bridge monitoring make it viable as a pilot system for future monitoring projects in Iowa. Results indicate that loosening the diaphragm bolts reduces strain and out-of-plane displacement in the web gap, and that the reduction is not affected over time by traffic or environmental loading on the bridge. Reducing the strain in the web gap allows the bridge to support more cycles of loading before experiencing fatigue, thus increase the service life of the bridge. Two-girder floor beam bridges may also exhibit fatigue cracking in girder webs.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The design of satisfactory supporting and expansion devices for highway bridges is a problem which has concerned bridge design engineers for many years. The problems associated with these devices have been emphasized by the large number of short span bridges required by the current expanded highway program of expressways and interstate highways. The initial objectives of this investigation were: (1) To review and make a field study of devices used for the support of bridge superstructures and for provision of floor expansion; (2) To analyze the forces or factors which influence the design and behavior of supporting devices and floor expansion systems; and (3) To ascertain the need for future research particularly on the problems of obtaining more economical and efficient supporting and expansion devices, and determining maximum allowable distance between such devices. The experimental portion was conducted to evaluate one of the possible simple and economical solutions to the problems observed in the initial portion. The investigation reported herein is divided into four major parts or phases as follows: (1) A review of literature; (2) A survey by questionnaire of design practice of a number of state highway departments and consulting firms; (3) Field observation of existing bridges; and, (4) An experimental comparison of the dynamic behavior of rigid and elastomeric bearings.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE: To develop and validate a simple, integer-based score to predict functional outcome in acute ischemic stroke (AIS) using variables readily available after emergency room admission. METHODS: Logistic regression was performed in the derivation cohort of previously independent patients with AIS (Acute Stroke Registry and Analysis of Lausanne [ASTRAL]) to identify predictors of unfavorable outcome (3-month modified Rankin Scale score >2). An integer-based point-scoring system for each covariate of the fitted multivariate model was generated by their β-coefficients; the overall score was calculated as the sum of the weighted scores. The model was validated internally using a 2-fold cross-validation technique and externally in 2 independent cohorts (Athens and Vienna Stroke Registries). RESULTS: Age (A), severity of stroke (S) measured by admission NIH Stroke Scale score, stroke onset to admission time (T), range of visual fields (R), acute glucose (A), and level of consciousness (L) were identified as independent predictors of unfavorable outcome in 1,645 patients in ASTRAL. Their β-coefficients were multiplied by 4 and rounded to the closest integer to generate the score. The area under the receiver operating characteristic curve (AUC) of the score in the ASTRAL cohort was 0.850. The score was well calibrated in the derivation (p = 0.43) and validation cohorts (0.22 [Athens, n = 1,659] and 0.49 [Vienna, n = 653]). AUCs were 0.937 (Athens), 0.771 (Vienna), and 0.902 (when pooled). An ASTRAL score of 31 indicates a 50% likelihood of unfavorable outcome. CONCLUSIONS: The ASTRAL score is a simple integer-based score to predict functional outcome using 6 readily available items at hospital admission. It performed well in double external validation and may be a useful tool for clinical practice and stroke research.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este artículo se centra en el análisis de la participación de los estudiantes en el gobierno de la universidad y muestra específicamente las principales dificultades que hay para ella y las propuestas que pueden facilitar la implicación de los estudiantes en el funcionamiento de las universidades. A partir de una investigación desarrollada durante los cursos 2007-08 y 2008-09, en la que se utilizaron cuestionarios y grupos de discusión con estudiantes y entrevistas dirigidas al profesorado, se obtiene información sobre los principales obstáculos para la participación estudiantil. El estudio realizado muestra que, de acuerdo con la tónica general reflejada en otras investigaciones sobre esta misma temática en nuestro contexto, la participación de los estudiantes en los distintos estamentos universitarios es escasa. Ahora bien, la metodología seguida en esta investigación permite contrastar las opiniones de los estudiantes con las percepciones del profesorado y obtener así matices significativos que muestran las principales direcciones que hay que tomar para facilitar un cambio de orientación en el asunto. Los cambios que debemos emprender están relacionados no solo con la mejora de los mecanismos de información acerca de los canales de participación, sino también con el replanteamiento de los procesos participativos por parte de la universidad, así como del papel del profesorado y, específicamente, de los coordinadores de los órganos de gestión más próximos a los estudiantes. En las conclusiones del documento se presentan las propuestas de mejora dirigidas a potenciar la implicación de los estudiantes en el funcionamiento universitario. Entre ellas se apuntan las siguientes: mejorar la información y los canales de comunicación con los estudiantes, mejorar los procesos electorales, ofrecer formación a los estudiantes para la participación y formación al profesorado acerca de las metodologías, recursos e instrumentos que pueden repercutir en la motivación de los estudiantes

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We introduce a width parameter that bounds the complexity of classical planning problems and domains, along with a simple but effective blind-search procedure that runs in time that is exponential in the problem width. We show that many benchmark domains have a bounded and small width provided thatgoals are restricted to single atoms, and hence that such problems are provably solvable in low polynomial time. We then focus on the practical value of these ideas over the existing benchmarks which feature conjunctive goals. We show that the blind-search procedure can be used for both serializing the goal into subgoals and for solving the resulting problems, resulting in a ‘blind’ planner that competes well with a best-first search planner guided by state-of-the-art heuristics. In addition, ideas like helpful actions and landmarks can be integrated as well, producing a planner with state-of-the-art performance.