Type-based protocol conformance and aliasing control in concurrent java programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Speed control of induction machine based on direct torque control method

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Data-centric concurrency control on the java programming language

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Does nitrogen availability have greater control over the formation of tropical heath forests than water stress?A hypothesis based on nitrogen isotope ratios

Global scale analyses of soil and foliage δ15N have found positive relationships between δ15N and ecosystem N loss (suggesting an open N cycle) and a negative relationship between δ15N and water availability. We show here that soils and leaves from tropical heath forests are depleted in 15N relative to 'typical' forests suggesting that they have a tight N cycle and are therefore limited by N rather than by, often suggested, water availability.

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

Zeolite-based nanomaterials for the control of opportunistic pathogenic microorganisms

Dissertação de mestrado em Applied Biochemistry (área de especialização em Biomedicine)

A UML-based approach for modeling industrial control applications

The main purpose of the poster is to present how the Unified Modeling Language (UML) can be used for diagnosing and optimizing real industrial production systems. By using a car radios production line as a case study, the poster shows the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use cases diagrams into a single object diagram, which is the main diagram for the next phases of the development.

Blood Pressure Control in Hypertensive Patients in the "Hiperdia Program": A Territory-Based Study

Background:Systemic hypertension is highly prevalent and an important risk factor for cardiovascular events. Blood pressure control in hypertensive patients enrolled in the Hiperdia Program, a program of the Single Health System for the follow-up and monitoring of hypertensive patients, is still far below the desired level.Objective:To describe the epidemiological profile and to assess blood pressure control of patients enrolled in Hiperdia, in the city of Novo Hamburgo (State of Rio Grande do Sul, Brazil).Methods:Cross-sectional study with a stratified cluster random sample, including 383 adults enrolled in the Hiperdia Program of the 15 Basic Health Units of the city of Porto Alegre, conducted between 2010 and 2011. Controlled blood pressure was defined as ≤140 mmHg × 90 mmHg. The hypertensive patients were interviewed and their blood pressure was measured using a calibrated aneroid device. Prevalence ratios (PR) with 95% confidence interval, Wald's χ2 test, and simple and multiple Poisson regression were used in the statistical analysis.Results:The mean age was 63 ± 10 years, and most of the patients were females belonging to social class C, with a low level of education, a sedentary lifestyle, and family history positive for systemic hypertension. Diabetes mellitus (DM) was observed in 31%; adherence to the antihypertensive treatment in 54.3%; and 33.7% had their blood pressure controlled. DM was strongly associated with inadequate BP control, with only 15.7% of the diabetics showing BP considered as controlled.Conclusion:Even for hypertensive patients enrolled in the Hiperdia Program, BP control is not satisfactorily reached or sustained. Diabetic hypertensive patients show the most inappropriate BP control.

Model-based measurement and control of fluidised bed spray granulation processes

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2012

Control and model-based analysis of microaerobic processes - using Rhodospirillum rubrum as model organism

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2015

Optimal control of a Stefan problem with gradient-based methods in FEniCS

Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik, Masterarbeit, 2016

Low-frequency drug-resistant HIV-1 and risk of virological failure to first-line NNRTI-based ART: a multicohort European case-control study using centralized ultrasensitive 454 pyrosequencing.

OBJECTIVES: It is still debated if pre-existing minority drug-resistant HIV-1 variants (MVs) affect the virological outcomes of first-line NNRTI-containing ART. METHODS: This Europe-wide case-control study included ART-naive subjects infected with drug-susceptible HIV-1 as revealed by population sequencing, who achieved virological suppression on first-line ART including one NNRTI. Cases experienced virological failure and controls were subjects from the same cohort whose viraemia remained suppressed at a matched time since initiation of ART. Blinded, centralized 454 pyrosequencing with parallel bioinformatic analysis in two laboratories was used to identify MVs in the 1%-25% frequency range. ORs of virological failure according to MV detection were estimated by logistic regression. RESULTS: Two hundred and sixty samples (76 cases and 184 controls), mostly subtype B (73.5%), were used for the analysis. Identical MVs were detected in the two laboratories. 31.6% of cases and 16.8% of controls harboured pre-existing MVs. Detection of at least one MV versus no MVs was associated with an increased risk of virological failure (OR = 2.75, 95% CI = 1.35-5.60, P = 0.005); similar associations were observed for at least one MV versus no NRTI MVs (OR = 2.27, 95% CI = 0.76-6.77, P = 0.140) and at least one MV versus no NNRTI MVs (OR = 2.41, 95% CI = 1.12-5.18, P = 0.024). A dose-effect relationship between virological failure and mutational load was found. CONCLUSIONS: Pre-existing MVs more than double the risk of virological failure to first-line NNRTI-based ART.

Species identification in mammals from mixed biological samples based on mitochondrial DNA control region length polymorphism.

The ability to identify the species origin of an unknown biological sample is relevant in the fields of human and wildlife forensics. However, the detection of several species mixed in the same sample still remains a challenge. We developed and tested a new approach for mammal DNA identification in mixtures of two or three species, based on the analysis of mitochondrial DNA control region interspecific length polymorphism followed by direct sequencing. Contrary to other published methods dealing with species mixtures, our protocol requires a single universal primer pair and is not based on a pre-defined panel of species. Amplicons can be separated either on agarose gels or using CE. The advantages and limitations of the assay are discussed under different conditions, such as variable template concentration, amplicon sizes and size difference among the amplicons present in the mixture. For the first time, this protocol provides a simple, reliable and flexible method for simultaneous identification of multiple mammalian species from mixtures, without any prior knowledge of the species involved.

Control of landslide retrogression by discontinuities: Evidence by the integration of airbone- and ground-based geophysical information

The objective of this work is to present a multitechnique approach to define the geometry, the kinematics, and the failure mechanism of a retrogressive large landslide (upper part of the La Valette landslide, South French Alps) by the combination of airborne and terrestrial laser scanning data and ground-based seismic tomography data. The advantage of combining different methods is to constrain the geometrical and failure mechanism models by integrating different sources of information. Because of an important point density at the ground surface (4. 1 points m?2), a small laser footprint (0.09 m) and an accurate three-dimensional positioning (0.07 m), airborne laser scanning data are adapted as a source of information to analyze morphological structures at the surface. Seismic tomography surveys (P-wave and S-wave velocities) may highlight the presence of low-seismic-velocity zones that characterize the presence of dense fracture networks at the subsurface. The surface displacements measured from the terrestrial laser scanning data over a period of 2 years (May 2008?May 2010) allow one to quantify the landslide activity at the direct vicinity of the identified discontinuities. An important subsidence of the crown area with an average subsidence rate of 3.07 m?year?1 is determined. The displacement directions indicate that the retrogression is controlled structurally by the preexisting discontinuities. A conceptual structural model is proposed to explain the failure mechanism and the retrogressive evolution of the main scarp. Uphill, the crown area is affected by planar sliding included in a deeper wedge failure system constrained by two preexisting fractures. Downhill, the landslide body acts as a buttress for the upper part. Consequently, the progression of the landslide body downhill allows the development of dip-slope failures, and coherent blocks start sliding along planar discontinuities. The volume of the failed mass in the crown area is estimated at 500,000 m3 with the sloping local base level method.

A Laboratory-based Approach to Biological Control of Snails

Development of Schistosoma mansoni in the intermediate host Biomphalaria glabrata is influenced by a number of parasite and snail genes. Understanding the genetics involved in this complex host/parasite relationship may lead to an often discussed approach of introducing resistant B. glabrata into the field as a means of biological control for the parasite. For the snail, juvenile susceptibility to the parasite is controlled by at least four genes, whereas one gene seems to be responsible for adult nonsusceptibility. Obtaining DNA from F2 progeny snails from crosses between parasite-resistant and-susceptible snails, we have searched for molecular markers that show linkage to either the resistant or susceptible phenotype. Both restriction fragment length polymorphism (RFLP) and random amplified polymorphic DNA (RAPD) approaches have been used. To date, using a variety of snail and heterologous species probes, no RFLP marker has been found that segregates with either the resistant or susceptible phenotype in F2 progeny snails. More promising results however have been found with the RAPD approach, where a 1.3 kb marker appears in nearly all resistant progeny, and a 1.1 kb marker appears in all susceptible progeny