A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Critical Velocity obtained using Simplified Models of the Railway Track: Viability and Applicability

Increased demands on the capacity of the railway network gave rise to new issues related to the dynamic response of railway tracks subjected to moving vehicles. Thus, it becomes important to evaluate the applicability of traditionally used simplified models which have a closed form solution. Regarding simplified models, transversal vibrations of a beam on a visco-elastic foundation subjected to a moving load are considered. Governing equations are obtained by Hamilton’s principle. Shear distortion, rotary inertia and effect of axial force are accounted for. The load is introduced as a time varying force moving at a constant velocity. Transversal vibrations induced by the load are solved by the normal-mode analysis. Reflected waves at the extremities of the full beam are avoided by introduction of semi-infinite elements. Firstly, the critical velocity obtained from this model is compared with results of an undamped Euler- Bernoulli formulation with zero axial force. Secondly, a finite element model in ABAQUS is examined. The new contribution lies in the introduction of semi- infinite elements and in the first step to a systematic comparison, which have not been published so fa

Behavioral and synaptic circuit analysis in models of neuropsychiatric disorders: Dissecting the in vivo role of the postsynaptic density proteins nArgBP2 and Shank3 using genetic engineered mice

Dissertation presented to obtain the Ph.D degree in Biology

Evaluation of chemotherapeutic potential of natural extracts using 3D models of colon cancer

Dissertation to obtain master degree in Biotechnology

Integration of geometric consistency contributory factors in three-leg junctions collision prediction models of Portuguese two-lane national highways

This paper aims at developing a collision prediction model for three-leg junctions located in national roads (NR) in Northern Portugal. The focus is to identify factors that contribute for collision type crashes in those locations, mainly factors related to road geometric consistency, since literature is scarce on those, and to research the impact of three modeling methods: generalized estimating equations, random-effects negative binomial models and random-parameters negative binomial models, on the factors of those models. The database used included data published between 2008 and 2010 of 177 three-leg junctions. It was split in three groups of contributing factors which were tested sequentially for each of the adopted models: at first only traffic, then, traffic and the geometric characteristics of the junctions within their area of influence; and, lastly, factors which show the difference between the geometric characteristics of the segments boarding the junctionsâ area of influence and the segment included in that area were added. The choice of the best modeling technique was supported by the result of a cross validation made to ascertain the best model for the three sets of researched contributing factors. The models fitted with random-parameters negative binomial models had the best performance in the process. In the best models obtained for every modeling technique, the characteristics of the road environment, including proxy measures for the geometric consistency, along with traffic volume, contribute significantly to the number of collisions. Both the variables concerning junctions and the various national highway segments in their area of influence, as well as variations from those characteristics concerning roadway segments which border the already mentioned area of influence have proven their relevance and, therefore, there is a rightful need to incorporate the effect of geometric consistency in the three-leg junctions safety studies.

Exploring female mice interstrain differences relevant for models of depression

Depression is an extremely heterogeneous disorder. Diverse molecular mechanisms have been suggested to underlie its etiology. To understand the molecular mechanisms responsible for this complex disorder, researchers have been using animal models extensively, namely mice from various genetic backgrounds and harboring distinct genetic modifications. The use of numerous mouse models has contributed to enrich our knowledge on depression. However, accumulating data also revealed that the intrinsic characteristics of each mouse strain might influence the experimental outcomes, which may justify some conflicting evidence reported in the literature. To further understand the impact of the genetic background, we performed a multimodal comparative study encompassing the most relevant parameters commonly addressed in depression, in three of the most widely used mouse strains: Balb/c, C57BL/6, and CD-1. Moreover, female mice were selected for this study taken into account the higher prevalence of depression in women and the fewer animal studies using this gender. Our results show that Balb/c mice have a more pronounced anxious-like behavior than CD-1 and C57BL/6 mice, whereas C57BL/6 animals present the strongest depressive-like trait. Furthermore, C57BL/6 mice display the highest rate of proliferating cells and brain-derived neurotrophic factor (Bdnf) expression levels in the hippocampus, while hippocampal dentate granular neurons of Balb/c mice show smaller dendritic lengths and fewer ramifications. Of notice, the expression levels of inducible nitric oxide synthase (iNos) predict 39.5% of the depressive-like behavior index, which suggests a key role of hippocampal iNOS in depression. Overall, this study reveals important interstrain differences in several behavioral dimensions and molecular and cellular parameters that should be considered when preparing and analyzing experiments addressing depression using mouse models. It further contributes to the literature by revealing the predictive value of hippocampal iNos expression levels in depressive-like behavior, irrespectively of the mouse strain.

Cylindrically symmetric models of gravitational collapse to black holes: a short review

We survey results about exact cylindrically symmetric models of gravitational collapse in General Relativity. We focus on models which result from the matching of two spacetimes having collapsing interiors which develop trapped surfaces and vacuum exteriors containing gravitational waves. We collect some theorems from the literature which help to decide a priori about eventual spacetime matchings. We revise, in more detail, some toy models which include some of the main mathematical and physical issues that arise in this context, and compute the gravitational energy flux through the matching boundary of a particular collapsing region. Along the way, we point out several interesting open problems.

Development and Validation of Predictive Models of Cardiac Mortality and Transplantation in Resynchronization Therapy

AbstractBackground:30-40% of cardiac resynchronization therapy cases do not achieve favorable outcomes.Objective:This study aimed to develop predictive models for the combined endpoint of cardiac death and transplantation (Tx) at different stages of cardiac resynchronization therapy (CRT).Methods:Prospective observational study of 116 patients aged 64.8 ± 11.1 years, 68.1% of whom had functional class (FC) III and 31.9% had ambulatory class IV. Clinical, electrocardiographic and echocardiographic variables were assessed by using Cox regression and Kaplan-Meier curves.Results:The cardiac mortality/Tx rate was 16.3% during the follow-up period of 34.0 ± 17.9 months. Prior to implantation, right ventricular dysfunction (RVD), ejection fraction < 25% and use of high doses of diuretics (HDD) increased the risk of cardiac death and Tx by 3.9-, 4.8-, and 5.9-fold, respectively. In the first year after CRT, RVD, HDD and hospitalization due to congestive heart failure increased the risk of death at hazard ratios of 3.5, 5.3, and 12.5, respectively. In the second year after CRT, RVD and FC III/IV were significant risk factors of mortality in the multivariate Cox model. The accuracy rates of the models were 84.6% at preimplantation, 93% in the first year after CRT, and 90.5% in the second year after CRT. The models were validated by bootstrapping.Conclusion:We developed predictive models of cardiac death and Tx at different stages of CRT based on the analysis of simple and easily obtainable clinical and echocardiographic variables. The models showed good accuracy and adjustment, were validated internally, and are useful in the selection, monitoring and counseling of patients indicated for CRT.

Mathematical models of influenza A virus infection : from intracellular replication to virus growth in cell populations

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

Analysis of animal models of neurodegenerative diseases with protein deposits

Otto-von-Guericke-Universität Magdeburg, Fakultät für Naturwissenschaften, Univ., Dissertation, 2016