900 resultados para SMT tools


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The overarching goal of this project was to identify and evaluate cognitive and behavioral indices that are sensitive to sleep deprivation and may help identify commercial motor vehicle drivers (CMV) who are at-risk for driving in a sleep deprived state and may prove useful in field tests administered by officers. To that end, we evaluated indices of driver physiognomy (e.g., yawning, droopy eyelids, etc.) and driver behavioral/cognitive state (e.g. distracted driving) and the sensitivity of these indices to objective measures of sleep deprivation. The measures of sleep deprivation were sampled on repeated occasions over a period of 3.5-months in each of 44 drivers diagnosed with Obstructive Sleep Apnea (OSA) and 22 controls (matched for gender, age within 5 years, education within 2 years, and county of residence for rural vs. urban driving). Comprehensive analyses showed that specific dimensions of driver physiognomy associated with sleepiness in previous research and face-valid composite scores of sleepiness did not: 1) distinguish participants with OSA from matched controls; 2) distinguish participants before and after PAP treatment including those who were compliant with their treatment; 3) predict levels of sleep deprivation acquired objectively from actigraphy watches, not even among those chronically sleep deprived. Those findings are consistent with large individual differences in driver physiognomy. In other words, when individuals were sleep deprived as confirmed by actigraphy watch output they did not show consistently reliable behavioral markers of being sleep deprived. This finding held whether each driver was compared to him/herself with adequate and inadequate sleep, and even among chronically sleep deprived drivers. The scientific evidence from this research study does not support the use of driver physiognomy as a valid measure of sleep deprivation or as a basis to judge whether a CMV driver is too fatigued to drive, as on the current Fatigued Driving Evaluation Checklist.. Fair and accurate determinations of CMV driver sleepiness in the field will likely require further research on alternative strategies that make use of a combination of information sources besides driver physiognomy, including work logs, actigraphy, in vehicle data recordings, GPS data on vehicle use, and performance tests.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El projecte de TAV es basa en la transferència d'un sistema de vals de capacitació, i en com aquest sistema de vals és adaptable a altres països o regions. En el document s'analitzen diferents conceptes teòrics sobre la conveniència o no de la implantació d'aquest sistema. A més a més, aquest document és una guia per a les organitzacions interessades en l'adaptació del sistema de vals formatius al seu territori, mostrant els passos a seguir i oferint eines útils per aconseguir-ho.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The genus Artemisia is one of the largest of the Asteraceae family, with more than 500 species. It is widely distributed mainly across the Northern Hemisphere, being profusely represented in the Old World, with a great centre of diversification in Asia, and also reaching the New World. The evolution of this genus has been deeply studied using different approaches, and polyploidy has been found to perform an important role leading to speciation processes. Karyological, molecular cytogenetic and phylogenetic data have been compiled in the present review to provide a genomic characterization throughout some complexes within the genus.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A compilation of sample pages from various employment statistical reports issued by Iowa Workforce Development (IWD), including URLs for locating electronic versions of the reports online at the IWD website

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In past years, comprehensive representations of cell signalling pathways have been developed by manual curation from literature, which requires huge effort and would benefit from information stored in databases and from automatic retrieval and integration methods. Once a reconstruction of the network of interactions is achieved, analysis of its structural features and its dynamic behaviour can take place. Mathematical modelling techniques are used to simulate the complex behaviour of cell signalling networks, which ultimately sheds light on the mechanisms leading to complex diseases or helps in the identification of drug targets. A variety of databases containing information on cell signalling pathways have been developed in conjunction with methodologies to access and analyse the data. In principle, the scenario is prepared to make the most of this information for the analysis of the dynamics of signalling pathways. However, are the knowledge repositories of signalling pathways ready to realize the systems biology promise? In this article we aim to initiate this discussion and to provide some insights on this issue.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Therapeutic drug monitoring (TDM) and pharmacogenetic tests play a major role in minimising adverse drug reactions and enhancing optimal therapeutic response. The response to medication varies greatly between individuals, according to genetic constitution, age, sex, co-morbidities, environmental factors including diet and lifestyle (e.g. smoking and alcohol intake), and drug-related factors such as pharmacokinetic or pharmacodynamic drug-drug interactions. Most adverse drug reactions are type A reactions, i.e. plasma-level dependent, and represent one of the major causes of hospitalisation, in some cases leading to death. However, they may be avoidable to some extent if pharmacokinetic and pharmacogenetic factors are taken into consideration. This article provides a review of the literature and describes how to apply and interpret TDM and certain pharmacogenetic tests and is illustrated by case reports. An algorithm on the use of TDM and pharmacogenetic tests to help characterise adverse drug reactions is also presented. Although, in the scientific community, differences in drug response are increasingly recognised, there is an urgent need to translate this knowledge into clinical recommendations. Databases on drug-drug interactions and the impact of pharmacogenetic polymorphisms and adverse drug reaction information systems will be helpful to guide clinicians in individualised treatment choices.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

PURPOSE: Pharmacovigilance methods have advanced greatly during the last decades, making post-market drug assessment an essential drug evaluation component. These methods mainly rely on the use of spontaneous reporting systems and health information databases to collect expertise from huge amounts of real-world reports. The EU-ADR Web Platform was built to further facilitate accessing, monitoring and exploring these data, enabling an in-depth analysis of adverse drug reactions risks.METHODS: The EU-ADR Web Platform exploits the wealth of data collected within a large-scale European initiative, the EU-ADR project. Millions of electronic health records, provided by national health agencies, are mined for specific drug events, which are correlated with literature, protein and pathway data, resulting in a rich drug-event dataset. Next, advanced distributed computing methods are tailored to coordinate the execution of data-mining and statistical analysis tasks. This permits obtaining a ranked drug-event list, removing spurious entries and highlighting relationships with high risk potential.RESULTS: The EU-ADR Web Platform is an open workspace for the integrated analysis of pharmacovigilance datasets. Using this software, researchers can access a variety of tools provided by distinct partners in a single centralized environment. Besides performing standalone drug-event assessments, they can also control the pipeline for an improved batch analysis of custom datasets. Drug-event pairs can be substantiated and statistically analysed within the platform's innovative working environment.CONCLUSIONS: A pioneering workspace that helps in explaining the biological path of adverse drug reactions was developed within the EU-ADR project consortium. This tool, targeted at the pharmacovigilance community, is available online at https://bioinformatics.ua.pt/euadr/. Copyright © 2012 John Wiley & Sons, Ltd.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El problema d'operacions (scheduling) és un procés de presa de decisions quejuga un paper molt important en organitzacions de manufactura i serveis, jaque té una aplicació a la producció, transport i distribució, i a la comunicaciói processament d'informació, entre d'altres. Consisteix en assignar d'unamanera apropiada els recursos disponibles per al processament de tasquesde manera que es puguin optimitzar els objectius de l’organització.Com cas particular de la programació d'operacions, hi ha la programacióde projectes (Project Scheduling), que és el procés de planificar, organitzari controlar activitats i recursos per aconseguir un objectiu concret, generalmentamb limitacions de temps, recursos o costos. Dins aquest grup essituen els problemes de programació de projectes (PSP), que és un nomgenèric que es dóna a tota una classe de problemes en els quals és necessàriala programació de manera òptima el temps, el cost i els recursos dels projectes.La finalitat d'aquest projecte és crear una plataforma RCPSP que puguillegir diferents formats d'entrada (fitxers del tipus :.rcp,.sch,.sm,.data,.pat),pre-processar-los, codificar-los a través de diferents modelitzacions (TaskRD,TimeRD...) per tal de poder-los passar a instàncies SMT i poder executar-losa través de la API de Yices. L'objectiu és trobar el temps d'inici percada activitat de manera que es minimitzi la longitud del makespan senseque es violin les restriccions.Cal dissenyar una aplicació en C++, que sigui escalable i que puguiaconseguir el resultat del problema en el temps més òptim possible