871 resultados para propositional linear-time temporal logic


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Background: Examination of the epidemiology and timing of trauma deaths has been deemed a useful method to evaluate the quality of trauma care. Objective: The purpose of this study was to evaluate the quality of trauma care in a regional trauma system and in a university hospital in Brazil by comparing the timing of deaths in the studied prehospital and in-hospital settings to those published for trauma systems in other areas. Methods: We analyzed the National Health Minister`s System of Deaths Information for the prehospital mortality and we retrospectively collected the demographics, timelines, and trauma severity scores of all in-hospital patients who died after admission through the Emergency Unit of Hospital das Clinicas de Ribeirao Preto between 2000 and 2001. Results. During the study period, there were 787 trauma fatalities in the city: 448 (56.9%) died in the prehospital setting and 339 (43.1%) died after being admitted to a medical facility. In 2 years, 238 trauma deaths occurred in the studied hospital, and we found a complete clinical set of data for 224 of these patients. The majority of deaths in the prehospital setting were caused by penetrating injuries (66.7%), whereas in-hospital mortality was mainly because of blunt traumas (59.1%). The largest number of in-hospital deaths occurred beyond 72 hours of stay (107 patients-47%). Conclusions: The region studied showed some deficiencies in prehospital and in-hospitals settings, in particular in the critical care and short-term follow-up of trauma patients when compared with the literature. Particularly, the late mortality may be related to training and human resources deficiency. Based on the timeline of trauma deaths, we can suggest that the studied region needs improvements in the prehospital trauma system and in hospital critical care.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The present study aimed investigate the age and gender influence on maximal molar bite force and at outlining the criteria for normal masticatory muscle development in a sample of 177 Brazilian Caucasian dentate individuals aged 7-80 years divided into five age groups: I(7-12 years), II (13-20 years), III (21-40 years), IV (41-60 years), and V (61-80 years). Except for Group V, which comprised nine women and eight men, all groups were equally divided in respect to gender (20 M/20 F). Bite force was recorded with a mouth-adapted 1000 N dynamometer and the highest out of three records was regarded as the maximal bite force. The data were submitted to multivariate statistical analysis (SPSS 17.0 p < 0.05). Effects of group and gender were found, but no interactions between them. The ANOVA showed significant differences between groups bilaterally. Bonferroni`s test showed that group I had significantly lower bite force means at both sides as compared to all groups, except group V. No differences were found between the left and right sides. In all the groups, gender was found to be a significant factor associated with maximal bite force. A global comparison including all the subjects and measures showed that the means of men were approximately 30% higher than those of women, within-group comparisons yielded similar results in all groups. Muscle thickness was measured with a SonoSite Titan ultrasound tool using a high-resolution real-time 56 mm/10 MHz linear-array transducer. Three ultrasound images were obtained from the bilateral masseter and temporal muscles at rest and at maximal voluntary contraction. The means of the three measures in each clinical condition were analyzed with multivariate statistical analysis (SPSS 17.0 p < 0.05). A gradual increase in thickness of the masseter and temporal muscles was found both at rest and maximal voluntary contraction for groups I to IV, whereas a decrease in muscle thickness was observed in group V. Multivariate analysis showed that in both conditions there was an effect of group and gender. The study of the development of the stomatognathic system in relation to age and gender can provide useful data for the identification of normal and impaired functioning patterns. The results of this study indicate that age and gender are associated with structural and functional alterations in the muscles of the stomatognathic system. (C) 2010 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Drosophila roughest (rst) locus encodes an immunoglobulin superfamily transmembrane glycoprotein implicated in a variety of embryonic and postembryonic developmental processes. Here we demonstrate a previously unnoticed role for this gene in the autophagic elimination of larval salivary glands during early pupal stages by showing that overexpression of the Rst protein ectodomain in early pupa leads to persistence of salivary glands up to at least 12 hours after head eversion, although with variable penetrance. The same phenotype is observed in individuals carrying the dominant regulatory allele rst(D), but not in loss of function alleles. Analysis of persistent glands at the ultrastructural level showed that programmed cell death starts at the right time but is arrested at an early stage of the process. Finally we describe the expression pattern and intracellular distribution of Rst in wild type and rstD mutants, showing that its downregulation in salivary glands at the beginning of pupal stage is an important factor in the correct implementation of the autophagic program of this tissue in space and time. genesis 47:492-504, 2009. (C) 2009 Wiley-Liss, Inc.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Computational simulations of the title reaction are presented, covering a temperature range from 300 to 2000 K. At lower temperatures we find that initial formation of the cyclopropene complex by addition of methylene to acetylene is irreversible, as is the stabilisation process via collisional energy transfer. Product branching between propargyl and the stable isomers is predicted at 300 K as a function of pressure for the first time. At intermediate temperatures (1200 K), complex temporal evolution involving multiple steady states begins to emerge. At high temperatures (2000 K) the timescale for subsequent unimolecular decay of thermalized intermediates begins to impinge on the timescale for reaction of methylene, such that the rate of formation of propargyl product does not admit a simple analysis in terms of a single time-independent rate constant until the methylene supply becomes depleted. Likewise, at the elevated temperatures the thermalized intermediates cannot be regarded as irreversible product channels. Our solution algorithm involves spectral propagation of a symmetrised version of the discretized master equation matrix, and is implemented in a high precision environment which makes hitherto unachievable low-temperature modelling a reality.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The influence of temporal association on the representation and recognition of objects was investigated. Observers were shown sequences of novel faces in which the identity of the face changed as the head rotated. As a result, observers showed a tendency to treat the views as if they were of the same person. Additional experiments revealed that this was only true if the training sequences depicted head rotations rather than jumbled views: in other words, the sequence had to be spatially as well as temporally smooth. Results suggest that we are continuously associating views of objects to support later recognition, and that we do so not only on the basis of the physical similarity, but also the correlated appearance in time of the objects.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We present an ultra-high bandwidth all-optical digital signal regeneration device concept utilising non-degenerate parametric interaction in a one-dimensional waveguide. Performance is analysed in terms of re-amplification, re-timing, and re-shaping (including centre frequency correction) of time domain multiplexed signals. Bandwidths of 10-100 THz are achievable. (C) 2001 Published by Elsevier Science B.V.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

It is not possible to make measurements of the phase of an optical mode using linear optics without introducing an extra phase uncertainty. This extra phase variance is quite large for heterodyne measurements, however it is possible to reduce it to the theoretical limit of log (n) over bar (4 (n) over bar (2)) using adaptive measurements. These measurements are quite sensitive to experimental inaccuracies, especially time delays and inefficient detectors. Here it is shown that the minimum introduced phase variance when there is a time delay of tau is tau/(8 (n) over bar). This result is verified numerically, showing that the phase variance introduced approaches this limit for most of the adaptive schemes using the best final phase estimate. The main exception is the adaptive mark II scheme with simplified feedback, which is extremely sensitive to time delays. The extra phase variance due to time delays is considered for the mark I case with simplified feedback, verifying the tau /2 result obtained by Wiseman and Killip both by a more rigorous analytic technique and numerically.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Neurological disease or dysfunction in newborn infants is often first manifested by seizures. Prolonged seizures can result in impaired neurodevelopment or even death. In adults, the clinical signs of seizures are well defined and easily recognized. In newborns, however, the clinical signs are subtle and may be absent or easily missed without constant close observation. This article describes the use of adaptive signal processing techniques for removing artifacts from newborn electroencephalogram (EEG) signals. Three adaptive algorithms have been designed in the context of EEG signals. This preprocessing is necessary before attempting a fine time-frequency analysis of EEG rhythmical activities, such as electrical seizures, corrupted by high amplitude signals. After an overview of newborn EEG signals, the authors describe the data acquisition set-up. They then introduce the basic physiological concepts related to normal and abnormal newborn EEGs and discuss the three adaptive algorithms for artifact removal. They also present time-frequency representations (TFRs) of seizure signals and discuss the estimation and modeling of the instantaneous frequency related to the main ridge of the TFR.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Objectives: This study examines human scalp electroencephalographic (EEG) data for evidence of non-linear interdependence between posterior channels. The spectral and phase properties of those epochs of EEG exhibiting non-linear interdependence are studied. Methods: Scalp EEG data was collected from 40 healthy subjects. A technique for the detection of non-linear interdependence was applied to 2.048 s segments of posterior bipolar electrode data. Amplitude-adjusted phase-randomized surrogate data was used to statistically determine which EEG epochs exhibited non-linear interdependence. Results: Statistically significant evidence of non-linear interactions were evident in 2.9% (eyes open) to 4.8% (eyes closed) of the epochs. In the eyes-open recordings, these epochs exhibited a peak in the spectral and cross-spectral density functions at about 10 Hz. Two types of EEG epochs are evident in the eyes-closed recordings; one type exhibits a peak in the spectral density and cross-spectrum at 8 Hz. The other type has increased spectral and cross-spectral power across faster frequencies. Epochs identified as exhibiting non-linear interdependence display a tendency towards phase interdependencies across and between a broad range of frequencies. Conclusions: Non-linear interdependence is detectable in a small number of multichannel EEG epochs, and makes a contribution to the alpha rhythm. Non-linear interdependence produces spatially distributed activity that exhibits phase synchronization between oscillations present at different frequencies. The possible physiological significance of these findings are discussed with reference to the dynamical properties of neural systems and the role of synchronous activity in the neocortex. (C) 2002 Elsevier Science Ireland Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The conventional convection-dispersion model is widely used to interrelate hepatic availability (F) and clearance (Cl) with the morphology and physiology of the liver and to predict effects such as changes in liver blood flow on F and Cl. The extension of this model to include nonlinear kinetics and zonal heterogeneity of the liver is not straightforward and requires numerical solution of partial differential equation, which is not available in standard nonlinear regression analysis software. In this paper, we describe an alternative compartmental model representation of hepatic disposition (including elimination). The model allows the use of standard software for data analysis and accurately describes the outflow concentration-time profile for a vascular marker after bolus injection into the liver. In an evaluation of a number of different compartmental models, the most accurate model required eight vascular compartments, two of them with back mixing. In addition, the model includes two adjacent secondary vascular compartments to describe the tail section of the concentration-time profile for a reference marker. The model has the added flexibility of being easy to modify to model various enzyme distributions and nonlinear elimination. Model predictions of F, MTT, CV2, and concentration-time profile as well as parameter estimates for experimental data of an eliminated solute (palmitate) are comparable to those for the extended convection-dispersion model.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We discuss techniques for producing, manipulating, and measuring qubits encoded optically as vacuum- and single-photon states. We show that a universal set of nondeterministic gates can be constructed using linear optics and photon counting. We investigate the efficacy of a test gate given realistic detector efficiencies.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper we propose a novel fast and linearly scalable method for solving master equations arising in the context of gas-phase reactive systems, based on an existent stiff ordinary differential equation integrator. The required solution of a linear system involving the Jacobian matrix is achieved using the GMRES iteration preconditioned using the diffusion approximation to the master equation. In this way we avoid the cubic scaling of traditional master equation solution methods and maintain the low temperature robustness of numerical integration. The method is tested using a master equation modelling the formation of propargyl from the reaction of singlet methylene with acetylene, proceeding through long lived isomerizing intermediates. (C) 2003 American Institute of Physics.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O tratamento dos tumores glômicos tem sido motivo de controvérsia desde sua primeira publicação, podendo ser cirúrgico, radioterápico ou apenas expectante. OBJETIVO: O objetivo do estudo foi avaliar a efetividade e as complicações do tratamento radioterápico para esses tumores. FORMA DE ESTUDO: clínico com coorte transversal. MATERIAL E MÉTODO: Trata-se de uma coorte histórica de pacientes com tumor glômico jugular submetidos à radioterapia. Os critérios de controle da doença foram não haver progressão dos sintomas ou disfunção de nervos cranianos, sem aumento do tamanho da lesão ao exame físico ou controle radiológico. Avaliamos também a presença de seqüelas do tratamento. RESULTADOS: Foram incluídos 12 pacientes, sendo oito mulheres. O tempo de follow-up variou de 3 a 35 anos, com uma media de 11,6 anos. Os principais sintomas foram: hipoacusia, zumbido pulsátil e tontura ou vertigem. Os achados de exame físico mais freqüentes foram massa pulsátil retrotimpanica, paralisia facial e anacusia, sendo os tumores estadiados segundo a classificação proposta por Fisch. A radioterapia foi realizada com acelerador linear com doses variando de 4500-5500 Rads por 4-6 semanas. As seqüelas mais comuns foram a dermatite, estenose do conduto auditivo externo, anacusia e paralisia facial. DISCUSSÃO: Os sintomas e achados de exame físico e o método e dosagem da radioterapia não diferiram daqueles encontrados na literatura. Todos os pacientes tiveram melhora dos sintomas e apenas um não foi considerado como tendo controle da doença. As complicações do tratamento foram de pouca repercussão, com exceção da anacusia e da paralisia facial. CONCLUSÃO: A radioterapia é uma alternativa viável para o tratamento desses tumores pela boa resposta e baixo índice de complicações. Deve ser considerada especialmente em tumores mais avançados onde um procedimento cirúrgico pode trazer grande morbidade.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Given the dynamic nature of cardiac function, correct temporal alignment of pre-operative models and intraoperative images is crucial for augmented reality in cardiac image-guided interventions. As such, the current study focuses on the development of an image-based strategy for temporal alignment of multimodal cardiac imaging sequences, such as cine Magnetic Resonance Imaging (MRI) or 3D Ultrasound (US). First, we derive a robust, modality-independent signal from the image sequences, estimated by computing the normalized crosscorrelation between each frame in the temporal sequence and the end-diastolic frame. This signal is a resembler for the left-ventricle (LV) volume curve over time, whose variation indicates di erent temporal landmarks of the cardiac cycle. We then perform the temporal alignment of these surrogate signals derived from MRI and US sequences of the same patient through Dynamic Time Warping (DTW), allowing to synchronize both sequences. The proposed framework was evaluated in 98 patients, which have undergone both 3D+t MRI and US scans. The end-systolic frame could be accurately estimated as the minimum of the image-derived surrogate signal, presenting a relative error of 1:6 1:9% and 4:0 4:2% for the MRI and US sequences, respectively, thus supporting its association with key temporal instants of the cardiac cycle. The use of DTW reduces the desynchronization of the cardiac events in MRI and US sequences, allowing to temporally align multimodal cardiac imaging sequences. Overall, a generic, fast and accurate method for temporal synchronization of MRI and US sequences of the same patient was introduced. This approach could be straightforwardly used for the correct temporal alignment of pre-operative MRI information and intra-operative US images.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Nesta dissertação pretende-se simular o comportamento dinâmico de uma laje de betão armado aplicando o Método de Elementos Finitos através da sua implementação no programa FreeFEM++. Este programa permite-nos a análise do modelo matemático tridimensional da Teoria da Elasticidade Linear, englobando a Equação de Equilíbrio, Equação de Compatibilidade e Relações Constitutivas. Tratando-se de um problema dinâmico é necessário recorrer a métodos numéricos de Integração Directa de modo a obter a resposta em termos de deslocamento ao longo do tempo. Para este trabalho escolhemos o Método de Newmark e o Método de Euler para a discretização temporal, um pela sua popularidade e o outro pela sua simplicidade de implementação. Os resultados obtidos pelo FreeFEM++ são validados através da comparação com resultados adquiridos a partir do SAP2000 e de Soluções Teóricas, quando possível.