Child Abuse and Mental Disorders in Iranian Adolescents

Background: Child abuse is a serious social health problem all over the world with important adverse effects. Objectives: The aim of this study was to extend our understanding of the relation between mental disorders and child abuse. Materials and Methods: The study was designed as a cross-sectional survey on 700 students in secondary schools using multiple cluster sampling in Yazd, Iran in 2013. We applied 2 self reported questionnaires: DASS (depression anxiety stress scales)-42 for assessing mental disorders (anxiety, stress and depression) and a standard self-reported valid and reliable questionnaire for recording child abuse information in neglect, psychological, physical and sexual domains. The collected data was analyzed using SPSS software. P-values < 0.05 were considered as significant. Results: There was a statically significant correlation between mental disorder and child abuse score (Spearman rho: 0.2; P-value < 0.001). The highest correlations between mental disorders and child abuse were found in psychological domain, Spearman’s rho coefficients were 0.46, 0.41 and 0.36 for depression, anxiety and stress respectively (P-value < 0.001). Based on the results of logistic regression for mental disorder, females, last born adolescents and subjects with drug or alcohol abuser parents had mental disorder odds of 3, 0.4 and 1.9 times compared to others; and severe psychological abuse, being severely neglected and having sexual abuse had odds 90, 1.6 and 1.5 respectively in another model. Conclusions: Programming for mandatory reporting of child abuse by physicians and all health care givers e.g. those attending schools or health centers, in order to prevent or reduce its detrimental effects is useful and success in preventing child abuse could lead to reductions in the prevalence of mental disorders.

Fadiga em pacientes da Coorte Brasília de artrite reumatoide (AR) : estudo da prevalência e comparação entre diferentes instrumentos de avaliação

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Medicina, Programa de Pós-Graduação em Ciências Médicas, 2016.

Methods for Modeling and Analyzing Concurrent Software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Leadership and Pedagogical Interaction as Predictors of Learning Outcomes in Physical Education

Problem Statement: This research aims to understand the relative contribution of leadership styles and teacher-student and student-student pedagogical interaction concerning the learning performance and academic achievement in physical education. Research Questions: Are the teacher leadership style and the teacher-student and student-student pedagogical interaction related to the learning performance and academic achievement in physical education in basic schooling? Purpose of Study: There are several factors that contribute for the explanation of learning outcomes, namely teacher leadership styles in the classroom, as well as teacher-student and student-student pedagogical interactions. These factors are considered to be essential in the teaching-learning process and in the subsequent improvement of educational outcomes. Research Methods: A quantitative methodology was implemented, comprising a sample of 447 students attending a School Grouping located in the Central Region of Portugal. In order to verify the nature, the strength and the direction of the relations among the variables, correlation and multiple regression analyses were used. For this, scales already validated and used in other researches were applied. Findings: The results show that the learning performance and the academic achievement are significantly associated with teacher leadership styles and teacher-student and student-student pedagogical interaction. A stronger association was obtained with leadership styles, especially the democratic one. It should be mentioned that these factors provide a higher relative contribution to the learning performance than to the academic achievement. Conclusions: This study sought to deepen the understanding of the explanatory factors of academic success concerning the teaching-learning process in physical education. The analysis conducted highlights the importance of the democratic teacher leadership style and of the pedagogical interaction established within the classroom towards the improvement of students' ability to understand the gains and the effort made in learning.

New Rigorous Decomposition Methods for Mixed-integer Linear and Nonlinear Programming

Process systems design, operation and synthesis problems under uncertainty can readily be formulated as two-stage stochastic mixed-integer linear and nonlinear (nonconvex) programming (MILP and MINLP) problems. These problems, with a scenario based formulation, lead to large-scale MILPs/MINLPs that are well structured. The first part of the thesis proposes a new finitely convergent cross decomposition method (CD), where Benders decomposition (BD) and Dantzig-Wolfe decomposition (DWD) are combined in a unified framework to improve the solution of scenario based two-stage stochastic MILPs. This method alternates between DWD iterations and BD iterations, where DWD restricted master problems and BD primal problems yield a sequence of upper bounds, and BD relaxed master problems yield a sequence of lower bounds. A variant of CD, which includes multiple columns per iteration of DW restricted master problem and multiple cuts per iteration of BD relaxed master problem, called multicolumn-multicut CD is then developed to improve solution time. Finally, an extended cross decomposition method (ECD) for solving two-stage stochastic programs with risk constraints is proposed. In this approach, a CD approach at the first level and DWD at a second level is used to solve the original problem to optimality. ECD has a computational advantage over a bilevel decomposition strategy or solving the monolith problem using an MILP solver. The second part of the thesis develops a joint decomposition approach combining Lagrangian decomposition (LD) and generalized Benders decomposition (GBD), to efficiently solve stochastic mixed-integer nonlinear nonconvex programming problems to global optimality, without the need for explicit branch and bound search. In this approach, LD subproblems and GBD subproblems are systematically solved in a single framework. The relaxed master problem obtained from the reformulation of the original problem, is solved only when necessary. A convexification of the relaxed master problem and a domain reduction procedure are integrated into the decomposition framework to improve solution efficiency. Using case studies taken from renewable resource and fossil-fuel based application in process systems engineering, it can be seen that these novel decomposition approaches have significant benefit over classical decomposition methods and state-of-the-art MILP/MINLP global optimization solvers.

Structured professional judgement approach to risk assessment: generalisability across patient groups for the prediction of adverse outcomes in secure mental health care

This is a redacted version of the the final thesis. Copyright material has been removed to comply with UK Copyright Law.

Assessment of catches, landings and fishing effort as useful tools for MPA management

Marine protected areas (MPAs) have been widely recognized as a tool to achieve both fisheries management and conservation goals. Simultaneously achieving these multiple goals is difficult due to conflicts between conservation (often long-term) and economic (often short-term) objectives. MPA implementation often includes additional control measures on fisheries (e.g. vessel size restrictions, gear exclusion, catch controls) that in the short-term may have impacts on local fishers' communities. Thus, monitoring fisheries catches before, during and after MPA implementation is essential to document changes in fisheries activities and to evaluate the impact of MPAs in fishers' communities. Remarkably, in contrast with standard fisheries-independent biological surveys, these data are rarely measured at appropriate spatial scales following MPA implementation. Here, the effects of MPA implementation on local fisheries are assessed in a temperate MPA (Arrabida Marine Park, Portugal), using fisheries monitoring methods combining spatial distribution of fishing effort, on-board observations and official landings statistics at scales appropriate to the Marine Park. Fisheries spatial distribution, fishing effort, on-board data collection and official landings registered for the same vessels over time were analysed between 2004 and 2010. The applicability and reliability of using landings statistics alone was tested (i.e. when no sampling data are available) and we conclude that landings data alone only allow the identification of general patterns. The combination of landings information (which is known to be unreliable in many coastal communities) with other methods, provides an effective tool to evaluate fisheries dynamics in response to MPA implementation. As resources for monitoring socio-ecological responses to MPAs are frequently scarce, the use of landings data calibrated with fisheries information (from vessels, gear distribution and on-board data) is a valuable tool applicable to many worldwide coastal small-scale fisheries. (C) 2015 Elsevier B.V. All rights reserved.

Evidencia sobre la eficacia de cannabinoides en el dolor neuropático oncológico

Contexto: La eficacia de los cannabinoides en el dolor neuropático es desconocida. El control del dolor es determinante en los pacientes ya que genera un impacto negativo en la calidad de vida de los pacientes. Objetivo: El presente trabajo pretende demostrar la evidencia sobre la eficacia de los medicamentos cannabinoides en el control del dolor neuropático oncológico, mediante la evaluación de la literatura disponible. Metodología: Se realizó una revisión sistemática de literatura incluyendo estudios experimentales, observacionales y revisiones sistemáticas en un periodo de 15 años. Se incluyeron todos los estudios desde el años 2000 con evidencia IB según la escala de evidencia de Oxford. Resultados: Cuatro estudios cumplieron criterios para su inclusión, sin embargo la evidencia es baja y no permite recomendar o descartar los cannabinoides como terapia coadyuvante en control del dolor neuropático oncológico. La combinación de THC/CDB (Sativex®) parece ser un medicamento seguro pues no se reportaron muertes asociadas a su uso, sin embargo la presentación de eventos adversos a nivel gastrointestinal y neurológico podría aumentar el riesgo de interacciones medicamentosas y tener un impacto negativo en la calidad de vida de los pacientes oncológicos. Conclusiones: No hay suficiente literatura y la evidencia no es suficiente para recomendar o descartar el uso de los cannabinoides en dolor neuropático oncológico. Futuros estudios deben realizarse para analizar el beneficio de estos medicamentos. Aunque ética y socialmente hay resistencia para el uso de los cannabinoides, actualmente hay una gran discusión política en el mundo y en Colombia para su aceptación como terapia en el control del dolor.

Otter (Lutra lutra) distribution modeling at two resolution scales suited to conservation planning in the Iberian Peninsula

We used the results of the Spanish Otter Survey of 1994–1996, a Geographic Information System and stepwise multiple logistic regression to model otter presence/absence data in the continental Spanish UTM 10 10-km squares. Geographic situation, indicators of human activity such as highways and major urban centers, and environmental variables related with productivity, water availability, altitude, and environmental energy were included in a logistic model that correctly classified about 73% of otter presences and absences. We extrapolated the model to the adjacent territory of Portugal, and increased the model’s spatial resolution by extrapolating it to 1 1-km squares in the whole Iberian Peninsula. The model turned out to be rather flexible, predicting, for instance, the species to be very restricted to the courses of rivers in some areas, and more widespread in others. This allowed us to determine areas where otter populations may be more vulnerable to habitat changes or harmful human interventions. # 2003 Elsevier Ltd. All rights reserved.

Traffic Light Using Multiple Wireless Technologies

This paper presents the study and experimental tests for the viability analysis of using multiple wireless technologies in urban traffic light controllers in a Smart City environment. Communication drivers, different types of antennas, data acquisition methods and data processing for monitoring the network are presented. The sensors and actuators modules are connected in a local area network through two distinct low power wireless networks using both 868 MHz and 2.4 GHz frequency bands. All data communications using 868 MHz go through a Moteino. Various tests are made to assess the most advantageous features of each communication type. The experimental results show better range for 868 MHz solutions, whereas the 2.4 GHz presents the advantage of self-regenerating the network and mesh. The different pros and cons of both communication methods are presented.

Sleep disorders in Multiple System Atrophy: a longitudinal study

Introduction: A higher frequency of sleep and breathing disorders in Multiple System Atrophy (MSA) populations is documented in literature. The analysis of disease progression and prognosis in patients with sleep and breathing disorders could shed light on specific neuropathology and pathophysiology of MSA. Objective: To characterize sleep disorders and their longitudinal modifications during disease course in MSA patients, and to determine their prognostic value. Methods: This is a retrospective and prospective cohort study including 182 MSA patients (58.8% males). Type of onset was defined by the first reported motor or autonomic symptom/sign related to MSA. The occurrence of symptoms/signs and milestones of disease progression and their latency were collected. REM sleep behaviour disorder (RBD) and stridor were video-polysomnography (VPSG)-confirmed. VPSG recordings were analysed in a standardized fashion during the disease course. Survival data were based on time to death from the first symptom of disease. Results: Isolated RBD represented the first MSA symptom in 30% of patients, preceding disease onset according to international criteria with a median of 3(1–5) years. Patients developing early stridor or presenting with RBD at disease onset showed a more rapid and severe disease progression. These features had independent negative prognostic value for survival. Sleep architecture was characterized by peculiar features which could represent negative markers in MSA prognosis. Patients with stridor treated with tracheostomy showed a reduced risk of death. Conclusions: This is one of the first studies focusing on longitudinal progression of sleep in MSA. Sleep disorders are key features of disease, playing a role in presentation, prognosis and progression. In our MSA cohort, RBD represented the most frequent mode of disease presentation. Moreover, some specific clinical and instrumental sleep features could represent a hallmark of MSA and could be involved in prognosis and, in particular, in sudden death and death during sleep.

mHealth-based Methods for Neuromotor Assessment and Rehabilitation

Recent years observed massive growth in wearable technology, everything can be smart: phones, watches, glasses, shirts, etc. These technologies are prevalent in various fields: from wellness/sports/fitness to the healthcare domain. The spread of this phenomenon led the World-Health-Organization to define the term 'mHealth' as "medical and public health practice supported by mobile devices, such as mobile phones, patient monitoring devices, personal digital assistants, and other wireless devices". Furthermore, mHealth solutions are suitable to perform real-time wearable Biofeedback (BF) systems: sensors in the body area network connected to a processing unit (smartphone) and a feedback device (loudspeaker) to measure human functions and return them to the user as (bio)feedback signal. During the COVID-19 pandemic, this transformation of the healthcare system has been dramatically accelerated by new clinical demands, including the need to prevent hospital surges and to assure continuity of clinical care services, allowing pervasive healthcare. Never as of today, we can say that the integration of mHealth technologies will be the basis of this new era of clinical practice. In this scenario, this PhD thesis's primary goal is to investigate new and innovative mHealth solutions for the Assessment and Rehabilitation of different neuromotor functions and diseases. For the clinical assessment, there is the need to overcome the limitations of subjective clinical scales. Creating new pervasive and self-administrable mHealth solutions, this thesis investigates the possibility of employing innovative systems for objective clinical evaluation. For rehabilitation, we explored the clinical feasibility and effectiveness of mHealth systems. In particular, we developed innovative mHealth solutions with BF capability to allow tailored rehabilitation. The main goal that a mHealth-system should have is improving the person's quality of life, increasing or maintaining his autonomy and independence. To this end, inclusive design principles might be crucial, next to the technical and technological ones, to improve mHealth-systems usability.

Colocated multiple-input multiple-output radars for smart mobility

In recent years, radars have been used in many applications such as precision agriculture and advanced driver assistant systems. Optimal techniques for the estimation of the number of targets and of their coordinates require solving multidimensional optimization problems entailing huge computational efforts. This has motivated the development of sub-optimal estimation techniques able to achieve good accuracy at a manageable computational cost. Another technical issue in advanced driver assistant systems is the tracking of multiple targets. Even if various filtering techniques have been developed, new efficient and robust algorithms for target tracking can be devised exploiting a probabilistic approach, based on the use of the factor graph and the sum-product algorithm. The two contributions provided by this dissertation are the investigation of the filtering and smoothing problems from a factor graph perspective and the development of efficient algorithms for two and three-dimensional radar imaging. Concerning the first contribution, a new factor graph for filtering is derived and the sum-product rule is applied to this graphical model; this allows to interpret known algorithms and to develop new filtering techniques. Then, a general method, based on graphical modelling, is proposed to derive filtering algorithms that involve a network of interconnected Bayesian filters. Finally, the proposed graphical approach is exploited to devise a new smoothing algorithm. Numerical results for dynamic systems evidence that our algorithms can achieve a better complexity-accuracy tradeoff and tracking capability than other techniques in the literature. Regarding radar imaging, various algorithms are developed for frequency modulated continuous wave radars; these algorithms rely on novel and efficient methods for the detection and estimation of multiple superimposed tones in noise. The accuracy achieved in the presence of multiple closely spaced targets is assessed on the basis of both synthetically generated data and of the measurements acquired through two commercial multiple-input multiple-output radars.

Ecological responses of Western Palearctic avian species to late Quaternary climate oscillations

This PhD thesis explores the ecological responses of bird species to glacial-interglacial transitions during the late Quaternary in the Western Palearctic, using multiple approaches and at different scales, enhancing the importance of the bird fossil record and quantitative methods to elucidate biotic trends in relation to long-term climate changes. The taxonomic and taphonomic analyses of the avian fossil assemblages from four Italian Middle and Upper Pleistocene sedimentary successions (Grotta del Cavallo, Grotta di Fumane, Grotta di Castelcivita, and Grotta di Uluzzo C) allowed us to reconstruct local-scale patterns in birds’ response to climate changes. These bird assemblages are characterized by the presence of temperate species and by the occasional presence of cold-dwelling species during glacials, related to range shifts. These local patterns are supported by those identified at the continental scale. In this respect, I mapped the present-day and LGM climatic envelopes of species with different climatic requirements. The results show a substantial stability in the range of temperate species and pronounced changes in the range of cold-dwelling species, supported by their fossil records. Therefore, the responses to climate oscillations are highly related to the thermal niches of investigated species. I also clarified the dynamics of the presence of boreal and arctic bird species in Mediterranean Europe, due to southern range shifts, during the glacial phases. After a reassessment of the reliability of the existing fossil evidence, I show that this phenomenon is not as common as previously thought, with important implications for the paleoclimatic and paleoenvironmental significance of the targeted species. I have also been able to explore the potential of multivariate and rarefaction methods in the analyses of avian fossils from Grotta del Cavallo. These approaches helped to delineate the main drivers of taphonomic damages and the dynamics of species diversity in relation to climate-driven paleoenvironmental changes.

An efficient Jeans modelling of axisymmetric galaxies with multiple stellar components

Dynamical models of stellar systems represent a powerful tool to study their internal structure and dynamics, to interpret the observed morphological and kinematical fields, and also to support numerical simulations of their evolution. We present a method especially designed to build axisymmetric Jeans models of galaxies, assumed as stationary and collisionless stellar systems. The aim is the development of a rigorous and flexible modelling procedure of multicomponent galaxies, composed of different stellar and dark matter distributions, and a central supermassive black hole. The stellar components, in particular, are intended to represent different galaxy structures, such as discs, bulges, halos, and can then have different structural (density profile, flattening, mass, scale-length), dynamical (rotation, velocity dispersion anisotropy), and population (age, metallicity, initial mass function, mass-to-light ratio) properties. The theoretical framework supporting the modelling procedure is presented, with the introduction of a suitable nomenclature, and its numerical implementation is discussed, with particular reference to the numerical code JASMINE2, developed for this purpose. We propose an approach for efficiently scaling the contributions in mass, luminosity, and rotational support, of the different matter components, allowing for fast and flexible explorations of the model parameter space. We also offer different methods of the computation of the gravitational potentials associated of the density components, especially convenient for their easier numerical tractability. A few galaxy models are studied, showing internal, and projected, structural and dynamical properties of multicomponent galaxies, with a focus on axisymmetric early-type galaxies with complex kinematical morphologies. The application of galaxy models to the study of initial conditions for hydro-dynamical and $N$-body simulations of galaxy evolution is also addressed, allowing in particular to investigate the large number of interesting combinations of the parameters which determine the structure and dynamics of complex multicomponent stellar systems.