940 resultados para Temporal constraints analysis
Resumo:
Cork stopper manufacturing process includes an operation, known as stabilisation, by which humid cork slabs are extensively colonised by fungi. The effects of fungal growth on cork are yet to be completely understood and are considered to be involved in the so called “cork taint” of bottled wine. It is essential to identify environmental constraints which define the appearance of the colonising fungal species and to trace their origin to the forest and/or as residents in the manufacturing space. The present article correlates two sets of data, from consecutive years and the same season, of systematic biologic sampling of two manufacturing units, located in the North and South of Portugal. Chrysonilia sitophila dominance was identified, followed by a high diversity of Penicillium species. Penicillium glabrum, found in all samples, was the most frequent isolated species. P. glabrum intra-species variability was investigated using DNA fingerprinting techniques revealing highly discriminative polymorphic markers in the genome. Cluster analysis of P. glabrum data was discussed in relation to the geographical location of strains, and results suggest that P. glabrum arise from predominantly the manufacturing space, although cork resident fungi can also contrib
Resumo:
Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.
Resumo:
6th Real-Time Scheduling Open Problems Seminar (RTSOPS 2015), Lund, Sweden.
Resumo:
Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.
Resumo:
We used genus/species specific PCRs to determine the temporal persistence of host DNA in Triatoma infestans experimentally fed on blood from six common vertebrate species: humans, domestic dogs, guinea pigs, chickens, mice, and pigs. Twenty third or fourth instar nymphs per animal group were allowed to feed to engorgement, followed by fasting-maintenance in the insectary. At 7, 14, 21, or 28 days post-feeding, the midgut contents from five triatomines per group were tested with the respective PCR assay. DNA from all vertebrate species was detected in at least four of five study nymphs at seven and 14 days post-feeding. DNA of humans, domestic dogs, guinea pigs, pigs, and chickens were more successfully detected (80-100%) through day 21, and less successfully (20-100%) at day 28. Findings demonstrate that species-specific PCRs can consistently identify feeding sources of T. infestans within two weeks, a biologically relevant time interval.
Resumo:
Dissertação para obtenção do Grau de Mestre em Lógica Computacional
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Objective: The epilepsy associated with the hypothalamic hamartomas constitutes a syndrome with peculiar seizures, usually refractory to medical therapy, mild cognitive delay, behavioural problems and multifocal spike activity in the scalp electroencephalogram (EEG). The cortical origin of spikes has been widely assumed but not specifically demonstrated. Methods: We present results of a source analysis of interictal spikes from 4 patients (age 2–25 years) with epilepsy and hypothalamic hamartoma, using EEG scalp recordings (32 electrodes) and realistic boundary element models constructed from volumetric magnetic resonance imaging (MRIs). Multifocal spike activity was the most common finding, distributed mainly over the frontal and temporal lobes. A spike classification based on scalp topography was done and averaging within each class performed to improve the signal to noise ratio. Single moving dipole models were used, as well as the Rap-MUSIC algorithm. Results: All spikes with good signal to noise ratio were best explained by initial deep sources in the neighbourhood of the hamartoma, with late sources located in the cortex. Not a single patient could have his spike activity explained by a combination of cortical sources. Conclusions: Overall, the results demonstrate a consistent origin of spike activity in the subcortical region in the neighbourhood of the hamartoma, with late spread to cortical areas.
Resumo:
Objective: Gelastic seizures are a frequent and well established manifestation of the epilepsy associated with hypothalamic hamartomas. The scalp EEG recordings very seldom demonstrate clear spike activity and the information about the ictal epilepsy dynamics is limited. In this work, we try to isolate epileptic rhythms in gelastic seizures and study their generators. Methods: We extracted rhythmic activity from EEG scalp recordings of gelastic seizures using decomposition in independent components (ICA) in three patients, two with hypothalamic hamartomas and one with no hypothalamic lesion. Time analysis of these rhythms and inverse source analysis was done to recover their foci of origin and temporal dynamics. Results: In the two patients with hypothalamic hamartomas consistent ictal delta (2–3 Hz) rhythms were present, with subcortical generators in both and a superficial one in a single patient. The latter pattern was observed in the patient with no hypothalamic hamartoma visible in MRI. The deep generators activated earlier than the superficial ones, suggesting a consistent sub-cortical origin of the rhythmical activity. Conclusions: Our data is compatible with early and brief epileptic generators in deep sub-cortical regions and more superficial ones activating later. Significance: Gelastic seizures express rhythms on scalp EEG compatible with epileptic activity originating in sub-cortical generators and secondarily involving cortical ones.
Resumo:
Objective: The Panayiotopoulos type of idiopathic occipital epilepsy has peculiar and easily recognizable ictal symptoms, which are associated with complex and variable spike activity over the posterior scalp areas. These characteristics of spikes have prevented localization of the particular brain regions originating clinical manifestations. We studied spike activity in this epilepsy to determine their brain generators. Methods: The EEG of 5 patients (ages 7–9) was recorded, spikes were submitted to blind decomposition in independent components (ICs) and those to source analysis (sLORETA), revealing the spike generators. Coherence analysis evaluated the dynamics of the components. Results: Several ICs were recovered for posterior spikes in contrast to central spikes which originated a single one. Coherence analysis supports a model with epileptic activity originating near lateral occipital area and spreading to cortical temporal or parietal areas. Conclusions: Posterior spikes demonstrate rapid spread of epileptic activity to nearby lobes, starting in the lateral occipital area. In contrast, central spikes remain localized in the rolandic fissure. Significance: Rapid spread of posterior epileptic activity in the Panayitopoulos type of occipital lobe epilepsy is responsible for the variable and poorly localized spike EEG. The lateral occipital cortex is the primary generator of the epileptic activity.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
RESUMO - Enquadramento/Objectivos: As doenças oncológicas constituem a segunda causa de morte em Portugal, e têm um profundo impacto psicossocial, não só pela sua elevada incidência e mortalidade mas também pelos enormes custos envolvidos na sua prevenção, tratamento e reabilitação. De acordo com estudos anteriores, existem disparidades geográficas na incidência da doença oncológica. É por isso indispensável caracterizar e analisar as diferentes distribuições espaciais no tempo e no espaço, para controlar a doença e promover a saúde, contribuindo ao mesmo tempo para uma melhor compreensão da etiologia da doença. Este projecto compreende 3 objectivos principais que são: a caracterização de distribuição espacio-temporal do cancro do pulmão e do cancro do estômago, separadamente e em conjunto, na região sul de Portugal Continental (abrangida pelo ROR-Sul) no espaço temporal de 2000 a 2008, procurando identificar potenciais áreas de risco no desenvolvimento destes tumores. Metodologia: Numa primeira fase realizou-se um estudo descritivo das taxas de incidência dos tumores aqui retratados por idades, por sexo, por ano e por distritos. Posteriormente com o objectivo de identificar a presença de áreas de elevada incidência, procedeu-se à análise de clustering espacio-temporal das taxas de incidência ao nível dos concelhos na região do estudo, em 2000-2008. Resultados: Os resultados da análise descritiva revelaram que ambos os tumores são mais incidentes nos homens do que nas mulheres e que estes são igualmente mais incidentes em pessoas com mais de 75 anos. A análise de clustering espacio temporal permitiu verificar a existência um padrão geográfico heterogéneo da incidência de ambos os tumores, da qual resultaram 3 clusters para o cancro do estômago e 2 clusters para o cancro do pulmão (p <0,001). Os clusters do estômago pertencem maioritariamente à região do Alentejo e os clusters do cancro do pulmão à região da grande Lisboa. Conclusões: Os resultados da análise de clustering demonstraram um padrão heterogéneo da distribuição da incidência dos dois cancros na região e período temporal do estudo. As zonas identificadas de elevado risco são diferentes para ambos o tumores. A região que apresenta maior risco para o desenvolvimento do cancro do estômago é o Alentejo e do pulmão é o distrito de Lisboa.
Resumo:
PURPOSE: To determine the correlation between ocular blood flow velocities and ocular pulse amplitude (OPA) in glaucoma patients using colour Doppler imaging (CDI) waveform analysis. METHOD: A prospective, observer-masked, case-control study was performed. OPA and blood flow variables from central retinal artery and vein (CRA, CRV), nasal and temporal short posterior ciliary arteries (NPCA, TPCA) and ophthalmic artery (OA) were obtained through dynamic contour tonometry and CDI, respectively. Univariate and multiple regression analyses were performed to explore the correlations between OPA and retrobulbar CDI waveform and systemic cardiovascular parameters (blood pressure, blood pressure amplitude, mean ocular perfusion pressure and peripheral pulse). RESULTS: One hundred and ninety-two patients were included [healthy controls: 55; primary open-angle glaucoma (POAG): 74; normal-tension glaucoma (NTG): 63]. OPA was statistically different between groups (Healthy: 3.17 ± 1.2 mmHg; NTG: 2.58 ± 1.2 mmHg; POAG: 2.60 ± 1.1 mmHg; p < 0.01), but not between the glaucoma groups (p = 0.60). Multiple regression models to explain OPA variance were made for each cohort (healthy: p < 0.001, r = 0.605; NTG: p = 0.003, r = 0.372; POAG: p < 0.001, r = 0.412). OPA was independently associated with retrobulbar CDI parameters in the healthy subjects and POAG patients (healthy CRV resistance index: β = 3.37, CI: 0.16-6.59; healthy NPCA mean systolic/diastolic velocity ratio: β = 1.34, CI: 0.52-2.15; POAG TPCA mean systolic velocity: β = 0.14, CI 0.05-0.23). OPA in the NTG group was associated with diastolic blood pressure and pulse rate (β = -0.04, CI: -0.06 to -0.01; β = -0.04, CI: -0.06 to -0.001, respectively). CONCLUSIONS: Vascular-related models provide a better explanation to OPA variance in healthy individuals than in glaucoma patients. The variables that influence OPA seem to be different in healthy, POAG and NTG patients.