883 resultados para crittografia, mixnet, EasyCrypt, game-based proofs,sequence of games, computation-aided proofs


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Disc degeneration, usually associated with low back pain and changes of intervertebral stiffness, represents a major health issue. As the intervertebral disc (IVD) morphology influences its stiffness, the link between mechanical properties and degenerative grade is partially lost without an efficient normalization of the stiffness with respect to the morphology. Moreover, although the behavior of soft tissues is highly nonlinear, only linear normalization protocols have been defined so far for the disc stiffness. Thus, the aim of this work is to propose a nonlinear normalization based on finite elements (FE) simulations and evaluate its impact on the stiffness of human anatomical specimens of lumbar IVD. First, a parameter study involving simulations of biomechanical tests (compression, flexion/extension, bilateral torsion and bending) on 20 FE models of IVDs with various dimensions was carried out to evaluate the effect of the disc's geometry on its compliance and establish stiffness/morphology relations necessary to the nonlinear normalization. The computed stiffness was then normalized by height (H), cross-sectional area (CSA), polar moment of inertia (J) or moments of inertia (Ixx, Iyy) to quantify the effect of both linear and nonlinear normalizations. In the second part of the study, T1-weighted MRI images were acquired to determine H, CSA, J, Ixx and Iyy of 14 human lumbar IVDs. Based on the measured morphology and pre-established relation with stiffness, linear and nonlinear normalization routines were then applied to the compliance of the specimens for each quasi-static biomechanical test. The variability of the stiffness prior to and after normalization was assessed via coefficient of variation (CV). The FE study confirmed that larger and thinner IVDs were stiffer while the normalization strongly attenuated the effect of the disc geometry on its stiffness. Yet, notwithstanding the results of the FE study, the experimental stiffness showed consistently higher CV after normalization. Assuming that geometry and material properties affect the mechanical response, they can also compensate for one another. Therefore, the larger CV after normalization can be interpreted as a strong variability of the material properties, previously hidden by the geometry's own influence. In conclusion, a new normalization protocol for the intervertebral disc stiffness in compression, flexion, extension, bilateral torsion and bending was proposed, with the possible use of MRI and FE to acquire the discs' anatomy and determine the nonlinear relations between stiffness and morphology. Such protocol may be useful to relate the disc's mechanical properties to its degree of degeneration.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The complete 50,237-bp DNA sequence of the conjugative and mobilizing multiresistance plasmid pRE25 from Enterococcus faecalis RE25 was determined. The plasmid had 58 putative open reading frames, 5 of which encode resistance to 12 antimicrobials. Chloramphenicol acetyltransferase and the 23S RNA methylase are identical to gene products of the broad-host-range plasmid pIP501 from Streptococcus agalactiae. In addition, a 30.5-kb segment is almost identical to pIP501. Genes encoding an aminoglycoside 6-adenylyltransferase, a streptothricin acetyltransferase, and an aminoglycoside phosphotransferase are arranged in tandem on a 7.4-kb fragment as previously reported in Tn5405 from Staphylococcus aureus and in pJH1 from E. faecalis. One interrupted and five complete IS elements as well as three replication genes were also identified. pRE25 was transferred by conjugation to E. faecalis, Listeria innocua, and Lactococcus lactis by means of a transfer region that appears similar to that of pIP501. It is concluded that pRE25 may contribute to the further spread of antibiotic-resistant microorganisms via food into the human community.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Introduction: Early warning of future hypoglycemic and hyperglycemic events can improve the safety of type 1 diabetes mellitus (T1DM) patients. The aim of this study is to design and evaluate a hypoglycemia / hyperglycemia early warning system (EWS) for T1DM patients under sensor-augmented pump (SAP) therapy. Methods: The EWS is based on the combination of data-driven online adaptive prediction models and a warning algorithm. Three modeling approaches have been investigated: (i) autoregressive (ARX) models, (ii) auto-regressive with an output correction module (cARX) models, and (iii) recurrent neural network (RNN) models. The warning algorithm performs postprocessing of the models′ outputs and issues alerts if upcoming hypoglycemic/hyperglycemic events are detected. Fusion of the cARX and RNN models, due to their complementary prediction performances, resulted in the hybrid autoregressive with an output correction module/recurrent neural network (cARN)-based EWS. Results: The EWS was evaluated on 23 T1DM patients under SAP therapy. The ARX-based system achieved hypoglycemic (hyperglycemic) event prediction with median values of accuracy of 100.0% (100.0%), detection time of 10.0 (8.0) min, and daily false alarms of 0.7 (0.5). The respective values for the cARX-based system were 100.0% (100.0%), 17.5 (14.8) min, and 1.5 (1.3) and, for the RNN-based system, were 100.0% (92.0%), 8.4 (7.0) min, and 0.1 (0.2). The hybrid cARN-based EWS presented outperforming results with 100.0% (100.0%) prediction accuracy, detection 16.7 (14.7) min in advance, and 0.8 (0.8) daily false alarms. Conclusion: Combined use of cARX and RNN models for the development of an EWS outperformed the single use of each model, achieving accurate and prompt event prediction with few false alarms, thus providing increased safety and comfort.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Induced changes in plant quality can mediate indirect interactions between herbivores. Although the sequence of attack by different herbivores has been shown to influence plant responses, little is known about how this affects the herbivores themselves. We therefore investigated how induction by the leaf herbivore Spodoptera frugiperda influences resistance of teosinte (Zea mays mexicana) and cultivated maize (Zea mays mays) against root-feeding larvae of Diabrotica virgifera virgifera. The importance of the sequence of arrival was tested in the field and laboratory. Spodoptera frugiperda infestation had a significant negative effect on colonization by D. virgifera larvae in the field and weight gain in the laboratory, but only when S. frugiperda arrived on the plant before the root herbivore. When S. frugiperda arrived after the root herbivore had established, no negative effects on larval performance were detected. Yet, adult emergence of D. virgifera was reduced even when the root feeder had established first, indicating that the negative effects were not entirely absent in this treatment. The defoliation of the plants was not a decisive factor for the negative effects on root herbivore development, as both minor and major leaf damage resulted in an increase in root resistance and the extent of biomass removal was not correlated with root-herbivore growth. We propose that leaf-herbivore-induced increases in feeding-deterrent and/or toxic secondary metabolites may account for the sequence-specific reduction in root-herbivore performance. Synthesis. Our results demonstrate that the sequence of arrival can be an important determinant of plant-mediated interactions between insect herbivores in both wild and cultivated plants. Arriving early on a plant may be an important strategy of insects to avoid competition with other herbivores. To fully understand plant-mediated interactions between insect herbivores, the sequence of arrival should be taken into account. © 2011 The Authors. Journal of Ecology © 2011 British Ecological Society.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Aromatic pi–pi stacking interactions are ubiquitous in nature, medicinal chemistry and materials sciences. They play a crucial role in the stacking of nucleobases, thus stabilising the DNA double helix. The following paper describes a series of chimeric DNA–polycyclic aromatic hydrocarbon (PAH) hybrids. The PAH building blocks are electron-rich pyrene and electron-poor perylenediimide (PDI), and were incorporated into complementary DNA strands. The hybrids contain different numbers of pyrene–PDI interactions that were found to directly influence duplex stability. As the pyrene–PDI ratio approaches 1:1, the stability of the duplexes increases with an average value of 7.5 °C per pyrene–PDI supramolecular interaction indicating the importance of electrostatic complementarity for aromatic pi–pi stacking interactions.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A robust understanding of Antarctic Ice Sheet deglacial history since the Last Glacial Maximum is important in order to constrain ice sheet and glacial-isostatic adjustment models, and to explore the forcing mechanisms responsible for ice sheet retreat. Such understanding can be derived from a broad range of geological and glaciological datasets and recent decades have seen an upsurge in such data gathering around the continent and Sub-Antarctic islands. Here, we report a new synthesis of those datasets, based on an accompanying series of reviews of the geological data, organised by sector. We present a series of timeslice maps for 20 ka, 15 ka, 10 ka and 5 ka, including grounding line position and ice sheet thickness changes, along with a clear assessment of levels of confidence. The reconstruction shows that the Antarctic Ice sheet did not everywhere reach the continental shelf edge at its maximum, that initial retreat was asynchronous, and that the spatial pattern of deglaciation was highly variable, particularly on the inner shelf. The deglacial reconstruction is consistent with a moderate overall excess ice volume and with a relatively small Antarctic contribution to meltwater pulse 1a. We discuss key areas of uncertainty both around the continent and by time interval, and we highlight potential priorities for future work. The synthesis is intended to be a resource for the modelling and glacial geological community.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Life expectancy continuously increases but our society faces age-related conditions. Among musculoskeletal diseases, osteoporosis associated with risk of vertebral fracture and degenerative intervertebral disc (IVD) are painful pathologies responsible for tremendous healthcare costs. Hence, reliable diagnostic tools are necessary to plan a treatment or follow up its efficacy. Yet, radiographic and MRI techniques, respectively clinical standards for evaluation of bone strength and IVD degeneration, are unspecific and not objective. Increasingly used in biomedical engineering, CT-based finite element (FE) models constitute the state-of-art for vertebral strength prediction. However, as non-invasive biomechanical evaluation and personalised FE models of the IVD are not available, rigid boundary conditions (BCs) are applied on the FE models to avoid uncertainties of disc degeneration that might bias the predictions. Moreover, considering the impact of low back pain, the biomechanical status of the IVD is needed as a criterion for early disc degeneration. Thus, the first FE study focuses on two rigid BCs applied on the vertebral bodies during compression test of cadaver vertebral bodies, vertebral sections and PMMA embedding. The second FE study highlights the large influence of the intervertebral disc’s compliance on the vertebral strength, damage distribution and its initiation. The third study introduces a new protocol for normalisation of the IVD stiffness in compression, torsion and bending using MRI-based data to account for its morphology. In the last study, a new criterion (Otsu threshold) for disc degeneration based on quantitative MRI data (axial T2 map) is proposed. The results show that vertebral strength and damage distribution computed with rigid BCs are identical. Yet, large discrepancies in strength and damage localisation were observed when the vertebral bodies were loaded via IVDs. The normalisation protocol attenuated the effect of geometry on the IVD stiffnesses without complete suppression. Finally, the Otsu threshold computed in the posterior part of annulus fibrosus was related to the disc biomechanics and meet objectivity and simplicity required for a clinical application. In conclusion, the stiffness normalisation protocol necessary for consistent IVD comparisons and the relation found between degeneration, mechanical response of the IVD and Otsu threshold lead the way for non-invasive evaluation biomechanical status of the IVD. As the FE prediction of vertebral strength is largely influenced by the IVD conditions, this data could also improve the future FE models of osteoporotic vertebra.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Hyperplastic changes of the neuroendocrine cell system may have the potential to evolve into neoplastic diseases. This is particularly the case in the setting of genetically determined and hereditary neuroendocrine tumor syndromes such as MEN1. The review discusses the MEN1-associated hyperplasia-neoplasia sequence in the development of gastrinomas in the duodenum and glucagon-producing tumors in the pancreas. It also presents other newly described diseases (e.g., glucagon cell adenomatosis and insulinomatosis) in which the tumors are (or most likely) also preceded by islet cell hyperplasia. Finally, the pseudohyperplasia of PP-rich islets in the pancreatic head is defined as a physiologic condition clearly differing from other hyperplastic-neoplastic neuroendocrine diseases.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We present quantitative reconstructions of regional vegetation cover in north-western Europe, western Europe north of the Alps, and eastern Europe for five time windows in the Holocene around 6k, 3k, 0.5k, 0.2k, and 0.05k calendar years before present (bp)] at a 1 degrees x1 degrees spatial scale with the objective of producing vegetation descriptions suitable for climate modelling. The REVEALS model was applied on 636 pollen records from lakes and bogs to reconstruct the past cover of 25 plant taxa grouped into 10 plant-functional types and three land-cover types evergreen trees, summer-green (deciduous) trees, and open land]. The model corrects for some of the biases in pollen percentages by using pollen productivity estimates and fall speeds of pollen, and by applying simple but robust models of pollen dispersal and deposition. The emerging patterns of tree migration and deforestation between 6k bp and modern time in the REVEALS estimates agree with our general understanding of the vegetation history of Europe based on pollen percentages. However, the degree of anthropogenic deforestation (i.e. cover of cultivated and grazing land) at 3k, 0.5k, and 0.2k bp is significantly higher than deduced from pollen percentages. This is also the case at 6k in some parts of Europe, in particular Britain and Ireland. Furthermore, the relationship between summer-green and evergreen trees, and between individual tree taxa, differs significantly when expressed as pollen percentages or as REVEALS estimates of tree cover. For instance, when Pinus is dominant over Picea as pollen percentages, Picea is dominant over Pinus as REVEALS estimates. These differences play a major role in the reconstruction of European landscapes and for the study of land cover-climate interactions, biodiversity and human resources.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We report the complete genome sequence of bovine pestivirus strain PG-2. The sequence data from this virus showed that PG-2 is closely related to the giraffe pestivirus strain H138. PG-2 and H138 belong to one pestivirus species that should be considered an approved member of the genus Pestivirus.