Segmentação do tecido tumoral cerebral em imagens de ressonância magnética

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Eletrónica Médica)

Search for Dark Matter in Events with Missing Transverse Momentum and a Higgs Boson Decaying to Two Photons in pp Collisions at root s=8 TeV with the ATLAS Detector

Results of a search for new phenomena in events with large missing transverse momentum and a Higgs boson decaying to two photons are reported. Data from proton--proton collisions at a center-of-mass energy of 8 TeV and corresponding to an integrated luminosity of 20.3 fb−1 have been collected with the ATLAS detector at the LHC. The observed data are well described by the expected Standard Model backgrounds. Upper limits on the cross section of events with large missing transverse momentum and a Higgs boson candidate are also placed. Exclusion limits are presented for models of physics beyond the Standard Model featuring dark-matter candidates.

Seismic behavior of concrete block masonry buildings

Tese de Doutoramento em Engenharia Civil

Effects of lisinopril on experimental ischemia in rats. Influence of infarct size

OBJECTIVE - Angiotensin-converting enzyme inhibitors (ACEIs) have gained importance in preventing or attenuating the process of ventricular remodeling after myocardial infarction. The significance of infarct size in regard to the response to ACEIs, however, is controversial. This study aimed to analyze the effects of lisinopril on mortality rate, cardiac function, degree of cardiac hypertrophy and fibrosis in rats with different infarct sizes. METHODS - Lisinopril (20 mg/kg/day) dissolved in drinking water was administered to rats immediately after coronary artery occlusion. After being sacrificed, the infarcted animals were divided into two groups: one group of animals with small infarcts (< 40% of the left ventricle) and another group of animals with large infarcts (> 40% of the left ventricle). RESULTS - The mortality rate was 31.7% in treated rats and 47% in the untreated rats. There was no statistical difference between the groups with small and large infarcts in regard to myocardial concentration of hydroxyproline. In small infarcts, the treatment attenuated the heart dysfunction characterized by lower levels of blood pressure and lower values of the first derivative of pressure and of the negative derivative of pressure. The degree of hypertrophy was also attenuated in small infarcts. In regard to large infarcts, no differences between the groups were observed. CONCLUSION - Treatment with the ACEIs had no effect on mortality rate and on the amount of fibrosis. The protective effect of lisinopril on heart function and on the degree of hypertrophy could only be detected in small infarcts

Redes de Petri e VHDL na prototipagem rápida de sistemas digitais

O objectivo principal deste artigo é exemplificar a utilização de uma metodologia de especificação de sistemas digitais, baseada em Redes de Petri orientadas por objectos, para obter de uma forma rápida e simplificada um protótipo em VHDL do sistema pretendido. É considerado como exemplo um sistema digital, para o qual se efectua a especificação no modelo RdP-shobi e a partir da qual se pode gerar automaticamente código VHDL. Este exemplo permite demonstrar acerca da capacidade desta metodologia no projecto de sistemas digitais, suportado por princípios de orientação por objectos e por uma ferramenta de EDA concebida para o efeito.

Factors associated with willingness to donate embryos for research among couples undergoing IVF

Between 2011 and 2012, 213 heterosexual couples undergoing fertility treatments in a Portuguese public fertility centre were systematically recruited to assess factors associated with willingness to donate embryos for research. Data were collected by questionnaire. Most couples (87.3%; 95% CI 82.1 to 91.5) were willing to donate embryos for research, citing benefits for science, health and infertile patients. Almost all couples (94.3%; 95% CI 89.8 to 96.7) reached consensus about the decision. Willingness to donate was more frequent in women younger than 36 years (adjusted OR 3.06; 95% CI 1.23 to 7.61) and who considered embryo research to be very important (adjusted OR: 6.32; 95% CI 1.85 to 21.64), and in Catholic men (adjusted OR 4.16; 95% CI 1.53 to 11.30). Those unwilling to donate reported conceptualizing embryos as children or living beings and a lack of information or fears about embryo research. Men with higher levels of trait anxiety (adjusted OR 0.90; 95% CI 0.84 to 0.96) were less frequently willing to donate. Future research on embryo disposition decision-making should include the assessment of gender differences and psychosocial factors. Ethically robust policies and accurate information about the results of human embryo research are required.

Epworth's sleepiness scale in outpatients with different values of arterial blood pressure

OBJECTIVE: To compare sleepiness scores of the Epworth scale in patients with different levels of arterial pressure when undergoing outpatient monitoring within the context of clinical evaluation. METHODS: A total of 157 patients selected for outpatient monitoring of arterial pressure during hypertension evaluation were divided into 3 groups: group 1 - normotensive; group 2 - hypertensive; group 3 - resistant hypertensive. For analysis, values > or = 11 were considered as associated with respiratory disturbances during sleep. RESULTS: Seventeen (10.8%) patients in group 1, 112 (71.3%) in group 2, and 28 (17.8%) in group 3, which was composed of aged, more severely hypertensive individuals, were analyzed. Groups were similar relative to sex and body mass index, but different in relation to systolic and diastolic pressure levels and age. Despite an absolute difference, no statistically significant difference occurred between Epworth scores and in the proportion of patients with values > or = 11 (5.9% vs. 18.8% vs. 212.4%; P=0.37). Despite the positive association between degree of sleepiness measured with the scale and the severity of the hypertension, no statistical significance occurred following control by age (p=0.18). CONCLUSION: A positive correlation exists between degree of sleepiness and hypertension severity. The absence of a statistical significance shown in the present study could be due to a beta type of error. Instruments that render this complaint into an objective finding could help in the pursuit of an investigation of respiratory disturbances during sleep in more severely hypertensive patients, and should therefore be studied better.

National alert campaign about increased cholesterol: determination of cholesterol levels in 81,262 Brazilians

OBJECTIVE: To determine the levels of total cholesterol in a significant sample of the Brazilian population. METHODS: Blood cholesterol was determined in 81.262 individuals > 18 years old (51% male, 44.7 ± 15.7 years), using Accutrend equipment, in the cities São Paulo, Campinas, Campos do Jordão, São José dos Campos, Santos, Santo André, Ribeirão Preto, Porto Alegre, Rio de Janeiro, Belo Horizonte, Curitiba, Brasília, Salvador and documented in the presence of other risk factors (RF) for coronary artery disease (CAD) (systemic hypertension, CAD in the family, smoking, and diabetes). Participants were classified according to sex, age, and the presence or absence of RF, respectively, as 0 RF, 1 RF and > 2 RF. The percentage of individuals with cholesterol > 200 mg/dL and > 240 mg/dL was evaluated. RESULTS: The prevalence of individuals with 0, 1, and > 2 risk factors was 30% (n = 24,589), 36% (n =29,324), and 34% (n = 27,349) respectively, (P=0.657), and the mean total cholesterol of the population was 199.0 ± 35.0 mg/dL. Cholesterol levels above 200 and 240 mg/dL were found, respectively, in 40% (n = 32,515) and 13% (10.942) of individuals. The greater the number of risk factors the higher the levels of cholesterol (P<0.0001) and the greater the proportion of individuals with cholesterol > 200 mg/dL (P=0.032). No difference existed in the proportion of individuals with cholesterol > 240 mg/dL (P=0.11). CONCLUSION: A great percentage of individuals with cholesterol levels above those recommended to prevent coronary artery disease was found.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Gender-Based Differences in Cardiac Remodeling and ILK Expression after Myocardial Infarction

Background: Gender can influence post-infarction cardiac remodeling. Objective: To evaluate whether gender influences left ventricular (LV) remodeling and integrin-linked kinase (ILK) after myocardial infarction (MI). Methods: Female and male Wistar rats were assigned to one of three groups: sham, moderate MI (size: 20-39% of LV area), and large MI (size: ≥40% of LV area). MI was induced by coronary occlusion, and echocardiographic analysis was performed after six weeks to evaluate MI size as well as LV morphology and function. Real-time RT-PCR and Western blot were used to quantify ILK in the myocardium. Results: MI size was similar between genders. MI resulted in systolic dysfunction and enlargement of end-diastolic as well as end-systolic dimension of LV as a function of necrotic area size in both genders. Female rats with large MI showed a lower diastolic and systolic dilatation than the respective male rats; however, LV dysfunction was similar between genders. Gene and protein levels of ILK were increased in female rats with moderate and large infarctions, but only male rats with large infarctions showed an altered ILK mRNA level. A negative linear correlation was evident between LV dimensions and ILK expression in female rats with large MI. Conclusions: Post-MI ILK expression is altered in a gender-specific manner, and higher ILK levels found in females may be sufficient to improve LV geometry but not LV function.

Efficient bidding with externalities

We implement a family of efficient proposals to share benefits generated in environments with externalities. These proposals extend the Shapley value to games with externalities and are parametrized through the method by which the externalities are averaged. We construct two slightly different mechanisms: one for environments with negative externalities and the other for positive externalities. We show that the subgame perfect equilibrium outcomes of these mechanisms coincide with the sharing proposals.

A labor market with targeted wage offers

We model a market for highly skilled workers, such as the academic job market. The outputs of firm-worker matches are heterogeneous and common knowledge. Wage setting is synchronous with search: firms simultaneously make one personalized o¤er each to the worker of their choice. With large frictions (delay costs), efficient coordination is not possible, but for small frictions efficient matching with Diamond-type monopsony wages is an equilibrium.

Large Time-Varying Parameter VARs

In this paper we develop methods for estimation and forecasting in large timevarying parameter vector autoregressive models (TVP-VARs). To overcome computational constraints with likelihood-based estimation of large systems, we rely on Kalman filter estimation with forgetting factors. We also draw on ideas from the dynamic model averaging literature and extend the TVP-VAR so that its dimension can change over time. A final extension lies in the development of a new method for estimating, in a time-varying manner, the parameter(s) of the shrinkage priors commonly-used with large VARs. These extensions are operationalized through the use of forgetting factor methods and are, thus, computationally simple. An empirical application involving forecasting inflation, real output, and interest rates demonstrates the feasibility and usefulness of our approach.

Using VARs and TVP-VARs with Many Macroeconomic Variables

This paper discusses the challenges faced by the empirical macroeconomist and methods for surmounting them. These challenges arise due to the fact that macroeconometric models potentially include a large number of variables and allow for time variation in parameters. These considerations lead to models which have a large number of parameters to estimate relative to the number of observations. A wide range of approaches are surveyed which aim to overcome the resulting problems. We stress the related themes of prior shrinkage, model averaging and model selection. Subsequently, we consider a particular modelling approach in detail. This involves the use of dynamic model selection methods with large TVP-VARs. A forecasting exercise involving a large US macroeconomic data set illustrates the practicality and empirical success of our approach.

Coloration signals the ability to cope with elevated stress hormones: effects of corticosterone on growth of barn owls are associated with melanism.

Stressful situations during development can shape the phenotype for life by provoking a trade-off between development and survival. Stress hormones, mainly glucocorticoids, play an important orchestrating role in this trade-off. Hence, how stress sensitive an animal is critically determines the phenotype and ultimately fitness. In several species, darker eumelanic individuals are less sensitive to stressful conditions than less eumelanic conspecifics, which may be due to the pleiotropic effects of genes affecting both coloration and physiological traits. We experimentally tested whether the degree of melanin-based coloration is associated with the sensitivity to an endocrine response to stressful situations in the barn owl. We artificially administered the mediator of a hormonal stress response, corticosterone, to nestlings to examine the prediction that corticosterone-induced reduction in growth rate is more pronounced in light eumelanic nestlings than in darker nest mates. To examine whether such an effect may be genetically determined, we swapped hatchlings between randomly chosen pairs of nests. We first showed that corticosterone affects growth and, thus, shapes the phenotype. Second, we found that under corticosterone administration, nestlings with large black spots grew better than nestlings with small black spots. As in the barn owl the expression of eumelanin-based coloration is heritable and not sensitive to environmental conditions, it is therefore a reliable, genetically based sign of the ability to cope with an increase in blood corticosterone level.