59 resultados para Execution semantics


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The adjustment of the teaching learning contents in Physical Education, requires of a rigorous analysis that permits to adjust them to the maximum with the educational needs of the student body. It has been approached an investigation study in the one which have intervened pupils, boys and girls, of two different populations, Girona and Madrid in order to prove and analyse the motor and mental components of the student body in the real situation of the game. The hypothesis that we have treated are:if it exists differences between the boys and girls of the educational levels studied in the motor and mental solution in the sports initiation, additionally, the differences that they can exist between the courses and what distance is verified between the study ages to approach a physical activity that implies an initial step to the hour of teaching the collective sports in the classes of Physical education. They have been employed three measure instruments: the first permits to analyse the mental solution without need of practice employing situation photographs of the real game with those which the pupils must choose to who to happen; the second is a pass test that permits to prove the technical dominance to use in a collective sport and the third is a real game situation that permits to put in manifesto the relationship between the mental behaviour and the motor of the pupil. This real game situation is ‘the game of ten pass’ (Blázquez,1986; Torres,1993). The results demonstrate that it do not exist differences between the two sexes in the study ages. In the case of the technical execution level, there is a considerable increase with the age and it is slightly greater in the kids that in the girls. In the case of the real game, we find ourselves with a great variability in the results and we cannot conclude that there are relative differences to the sex in none of the three courses. Respect at participation level during the game is confirmed that the pupils that more participate are not the pupils than more balls lose, what permits to guarantee the idea of the fact that it is convenient to use the real game practice as direct learning element. Finally, there is no a high correlation between the execution level measured in the test of technical execution and the decision execution during the game

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Colour image segmentation based on the hue component presents some problems due to the physical process of image formation. One of that problems is colour clipping, which appear when at least one of the sensor components is saturated. We have designed a system, that works for a trained set of colours, to recover the chromatic information of those pixels on which colour has been clipped. The chromatic correction method is based on the fact that hue and saturation are invariant to the uniform scaling of the three RGB components. The proposed method has been validated by means of a specific colour image processing board that has allowed its execution in real time. We show experimental results of the application of our method

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper surveys control architectures proposed in the literature and describes a control architecture that is being developed for a semi-autonomous underwater vehicle for intervention missions (SAUVIM) at the University of Hawaii. Conceived as hybrid, this architecture has been organized in three layers: planning, control and execution. The mission is planned with a sequence of subgoals. Each subgoal has a related task supervisor responsible for arranging a set of pre-programmed task modules in order to achieve the subgoal. Task modules are the key concept of the architecture. They are the main building blocks and can be dynamically re-arranged by the task supervisor. In our architecture, deliberation takes place at the planning layer while reaction is dealt through the parallel execution of the task modules. Hence, the system presents both a hierarchical and an heterarchical decomposition, being able to show a predictable response while keeping rapid reactivity to the dynamic environment

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Viri is a system for automatic distribution and execution of Python code on remote machines. This is especially useful when dealing with a large group of hosts.With Viri, Sysadmins can write their own scripts, and easily distribute and execute them on any number of remote machines. Depending on the number of computers to administrate, Viri can save thousands of hours, that Sysadmins would spend transferring files, logging into remote hosts, and waiting for the scripts to finish. Viri automates the whole process.Viri can also be useful for remotely managing host settings. It should work together with an application where the information about hosts would be maintained. This information can include cron tasks, firewall rules, backup settings,... After a simple Integration of this application with your Viri infrastructure, you can change any settings in the application, and see how it gets applied on the target host automatically.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents the design and implementation of a mission control system (MCS) for an autonomous underwater vehicle (AUV) based on Petri nets. In the proposed approach the Petri nets are used to specify as well as to execute the desired autonomous vehicle mission. The mission is easily described using an imperative programming language called mission control language (MCL) that formally describes the mission execution thread. A mission control language compiler (MCL-C) able to automatically translate the MCL into a Petri net is described and a real-time Petri net player that allows to execute the resulting Petri net onboard an AUV are also presented

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Computational Biophysics Group at the Universitat Pompeu Fabra (GRIB-UPF) hosts two unique computational resources dedicated to the execution of large scale molecular dynamics (MD) simulations: (a) the ACMD molecular-dynamics software, used on standard personal computers with graphical processing units (GPUs); and (b) the GPUGRID. net computing network, supported by users distributed worldwide that volunteer GPUs for biomedical research. We leveraged these resources and developed studies, protocols and open-source software to elucidate energetics and pathways of a number of biomolecular systems, with a special focus on flexible proteins with many degrees of freedom. First, we characterized ion permeation through the bactericidal model protein Gramicidin A conducting one of the largest studies to date with the steered MD biasing methodology. Next, we addressed an open problem in structural biology, the determination of drug-protein association kinetics; we reconstructed the binding free energy, association, and dissaciociation rates of a drug like model system through a spatial decomposition and a Makov-chain analysis. The work was published in the Proceedings of the National Academy of Sciences and become one of the few landmark papers elucidating a ligand-binding pathway. Furthermore, we investigated the unstructured Kinase Inducible Domain (KID), a 28-peptide central to signalling and transcriptional response; the kinetics of this challenging system was modelled with a Markovian approach in collaboration with Frank Noe’s group at the Freie University of Berlin. The impact of the funding includes three peer-reviewed publication on high-impact journals; three more papers under review; four MD analysis components, released as open-source software; MD protocols; didactic material, and code for the hosting group.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Critical real-time ebedded (CRTE) Systems require safe and tight worst-case execution time (WCET) estimations to provide required safety levels and keep costs low. However, CRTE Systems require increasing performance to satisfy performance needs of existing and new features. Such performance can be only achieved by means of more agressive hardware architectures, which are much harder to analyze from a WCET perspective. The main features considered include cache memòries and multi-core processors.Thus, althoug such features provide higher performance, corrent WCET analysis methods are unable to provide tight WCET estimations. In fact, WCET estimations become worse than for simple rand less powerful hardware. The main reason is the fact that hardware behavior is deterministic but unknown and, therefore, the worst-case behavior must be assumed most of the time, leading to large WCET estimations. The purpose of this project is developing new hardware designs together with WCET analysis tools able to provide tight and safe WCET estimations. In order to do so, those pieces of hardware whose behavior is not easily analyzable due to lack of accurate information during WCET analysis will be enhanced to produce a probabilistically analyzable behavior. Thus, even if the worst-case behavior cannot be removed, its probabilty can be bounded, and hence, a safe and tight WCET can be provided for a particular safety level in line with the safety levels of the remaining components of the system. During the first year the project we have developed molt of the evaluation infraestructure as well as the techniques hardware techniques to analyze cache memories. During the second year those techniques have been evaluated, and new purely-softwar techniques have been developed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Purpose: To evaluate the suitability of an improved version of an automatic segmentation method based on geodesic active regions (GAR) for segmenting cerebral vasculature with aneurysms from 3D X-ray reconstruc-tion angiography (3DRA) and time of °ight magnetic resonance angiography (TOF-MRA) images available in the clinical routine.Methods: Three aspects of the GAR method have been improved: execution time, robustness to variability in imaging protocols and robustness to variability in image spatial resolutions. The improved GAR was retrospectively evaluated on images from patients containing intracranial aneurysms in the area of the Circle of Willis and imaged with two modalities: 3DRA and TOF-MRA. Images were obtained from two clinical centers, each using di®erent imaging equipment. Evaluation included qualitative and quantitative analyses ofthe segmentation results on 20 images from 10 patients. The gold standard was built from 660 cross-sections (33 per image) of vessels and aneurysms, manually measured by interventional neuroradiologists. GAR has also been compared to an interactive segmentation method: iso-intensity surface extraction (ISE). In addition, since patients had been imaged with the two modalities, we performed an inter-modality agreement analysis with respect to both the manual measurements and each of the two segmentation methods. Results: Both GAR and ISE di®ered from the gold standard within acceptable limits compared to the imaging resolution. GAR (ISE, respectively) had an average accuracy of 0.20 (0.24) mm for 3DRA and 0.27 (0.30) mm for TOF-MRA, and had a repeatability of 0.05 (0.20) mm. Compared to ISE, GAR had a lower qualitative error in the vessel region and a lower quantitative error in the aneurysm region. The repeatabilityof GAR was superior to manual measurements and ISE. The inter-modality agreement was similar between GAR and the manual measurements. Conclusions: The improved GAR method outperformed ISE qualitatively as well as quantitatively and is suitable for segmenting 3DRA and TOF-MRA images from clinical routine.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper estimates the effect of judicial institutions on governance at the local level in Brazil. Our estimation strategy exploits a unique institutional feature of state judiciary branches which assigns prosecutors and judges to the most populous among contiguous counties forming a judiciary district. As a result of this assignment mechanism there are counties with nearly identical populations, some with and some without local judicial presence, which we exploit to impute counterfactual outcomes. Conditional on observable county characteristics, offenses per civil servant are about 35% lower in counties that have a local seat of the state judiciary. The lower incidence of infractions stems mostly from fewer violations of financial management regulations by local administrators, fewer instances of problems in project execution and project managment, fewer cases of non-existent or ineffective civil society oversight and fewer cases of improper handling of remittances to local residents.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Interpretación versus Ejecución es un proyecto que pretende sentar las bases para el planteamiento de una versión propia e informada de obras de diferentes estilos musicales. Se presta especial atención a las prácticas propias de cada estilo – barroco, clásico, romántico y contemporáneo - y su posible aplicación con la flauta moderna en cuatro obras concretas. La metodología empleada ha consistido en la búsqueda de información en tratados, libros, artículos, así como entrevistas y clases con músicos expertos en cada uno de los temas. El proyecto pretende impulsar el interés del joven músico por una búsqueda personal e informada de las prácticas interpretativas que redunde en una interpretación propia de las obras que desee tocar.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Remote sensing spatial, spectral, and temporal resolutions of images, acquired over a reasonably sized image extent, result in imagery that can be processed to represent land cover over large areas with an amount of spatial detail that is very attractive for monitoring, management, and scienti c activities. With Moore's Law alive and well, more and more parallelism is introduced into all computing platforms, at all levels of integration and programming to achieve higher performance and energy e ciency. Being the geometric calibration process one of the most time consuming processes when using remote sensing images, the aim of this work is to accelerate this process by taking advantage of new computing architectures and technologies, specially focusing in exploiting computation over shared memory multi-threading hardware. A parallel implementation of the most time consuming process in the remote sensing geometric correction has been implemented using OpenMP directives. This work compares the performance of the original serial binary versus the parallelized implementation, using several multi-threaded modern CPU architectures, discussing about the approach to nd the optimum hardware for a cost-e ective execution.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La integració en una mateixa activitat d'una explotació ramadera ecològica basada en el bestiar cabrú de llet i d'una formatgeria artesanal basada en varietats autòctones de formatge de cabra, permet ocupar un nínxol de mercat encara poc explotat actualment a Catalunya. D'igual manera, la dificultat que tenen actualment molts dels formatgers artesans del país per trobar llet de cabra en quantitats suficients i amb unes mínimes garanties higiènico-sanitàries dificulten l'avanç d'un sector amb molt bones perspectives de futur com és el de la formatgeria artesanal i justifica la necessitat de crear noves explotacions (o reconvertir-ne de ja existents) orientant-les de ple vers l'aprofitament lleter del bestiar cabrú, que és actualment molt reduït en l'àmbit Català. A més d'això, les actuals exigències en el camp del benestar animal així com en el camp de la qualitat i de la seguretat alimentaria, exigeixen a les explotacions ramaderes i a les indústries alimentàries el compliment d'una sèrie de requisits, tan de disseny dels locals i de les instal•lacions, com de control de les activitats i dels productes elaborats, que garanteixin en tot moment la seva correcte gestió i funcionament en aquestes matèries. L'objectiu d'aquest projecte, doncs, és la legalització d'una activitat, que anomenarem “Mas Peirot, S.L.”, dedicada a l'explotació ramadera ecològica de bestiar cabrú de llet i a la formatgeria artesanal de formatge de cabra. És important mencionar que tot i tractar-se d'un projecte de legalització d'una activitat,, també s'hi han contemplat aspectes i detalls relacionats amb l'execució de la mateixa, al tractar-se d'unes obres d'una certa complexitat i considerant que així es tracten amb més detall i rigorositat les actuacions projectades. En concret, en aquest projecte es planifiquen les operacions de rehabilitació de dues naus ramaderes actualment en desús, per tal que puguin destinar-se a l'explotació ramadera de bestiar cabrú i a la formatgeria artesanal, projectant-se així mateix totes les instal•lacions necessàries per tal que a les mencionades naus s'hi puguin desenvolupar les activitats citades. Com a conclusions més importants d'aquest projecte podem dir que amb un cens de 100 caps de bestiar cabrú és possible obtenir una producció mitjana de llet de 32.500 litres anuals, que es corresponen a un volum total de 3.823 quilograms de formatge a l'any (de les tipologies Formatge Garrotxa i Formatge de cabra amb oli, ambdues varietats tradicionals catalanes) obtenint un benefici de 21.389,47 Euros/any durant els primers 15 anys i un benefici de 33.386,39 Euros/any a partir del 16è any, cosa que permetrà recuperar la inversió inicial de 172.716,76 Euros que valen les naus i instal•lacions projectades, en un termini de 8 anys i permetrà, com s'ha dit, ocupar un nínxol de mercat encara poc explotat per la indústria agroalimentària a Catalunya.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L'objectiu d'aquest projecte és definir una metodologia de treball àgil en el manteniment de sistemes CRM basada en la metodologia de desenvolupament de software SCRUM. A partir de l'estudi d'aquesta metodologia i de la definició dels processos de manteniment d'un sistema CRM, el projecte adapta aquests processos i proposa una nova metodologia que millorarà el rendiment, l'eficiència i la satisfacció tant dels equips de treball que participen en l'execució d’aquests processos com dels clients finals.

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:

El propòsit del Treball de Fi de Grau és dissenyar un document que serveixi als usuaris del Chronojump Boscosystem per aprendre a utilitzar-lo i treure’n el màxim rendiment. Previ a l’elaboració d’aquest, s’ha requerit un treball de documentació teòrica, fet a través de la revisió bibliogràfica i entrevistes a experts en preparació física dintre del món de l’entrenament esportiu, procés que ha servit per a establir les bases i els fonaments del dossier didàctic. Aquest últim està compost per deu pràctiques on, en cadascuna d’elles, es treballen aspectes concrets del programa Chronojump. Cada una d’aquestes consta d’una primera part més teòrica on es defineixen els aspectes a tractar, seguit de la seqüència de passos a fer per a portar a terme la pràctica i, finalment, deu preguntes tipus test per a saber si s’ha comprès la informació donada i el funcionament del programa. En les pràctiques on s’ha de passar algun test, s’afegeix també un suport audiovisual per tal de deixar clar l’execució i la tècnica correcta de la prova en qüestió.