Going twice to the polls?: Optimality of two-stage voting procedures

A Masters Thesis, presented as part of the requirements for the award of a Research Masters Degree in Economics from NOVA – School of Business and Economics

Perspectives and approaches for the internet of things

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

Creation of a web application for smart park system and parking prediction study for system integration

In the last few years, we have observed an exponential increasing of the information systems, and parking information is one more example of them. The needs of obtaining reliable and updated information of parking slots availability are very important in the goal of traffic reduction. Also parking slot prediction is a new topic that has already started to be applied. San Francisco in America and Santander in Spain are examples of such projects carried out to obtain this kind of information. The aim of this thesis is the study and evaluation of methodologies for parking slot prediction and the integration in a web application, where all kind of users will be able to know the current parking status and also future status according to parking model predictions. The source of the data is ancillary in this work but it needs to be understood anyway to understand the parking behaviour. Actually, there are many modelling techniques used for this purpose such as time series analysis, decision trees, neural networks and clustering. In this work, the author explains the best techniques at this work, analyzes the result and points out the advantages and disadvantages of each one. The model will learn the periodic and seasonal patterns of the parking status behaviour, and with this knowledge it can predict future status values given a date. The data used comes from the Smart Park Ontinyent and it is about parking occupancy status together with timestamps and it is stored in a database. After data acquisition, data analysis and pre-processing was needed for model implementations. The first test done was with the boosting ensemble classifier, employed over a set of decision trees, created with C5.0 algorithm from a set of training samples, to assign a prediction value to each object. In addition to the predictions, this work has got measurements error that indicates the reliability of the outcome predictions being correct. The second test was done using the function fitting seasonal exponential smoothing tbats model. Finally as the last test, it has been tried a model that is actually a combination of the previous two models, just to see the result of this combination. The results were quite good for all of them, having error averages of 6.2, 6.6 and 5.4 in vacancies predictions for the three models respectively. This means from a parking of 47 places a 10% average error in parking slot predictions. This result could be even better with longer data available. In order to make this kind of information visible and reachable from everyone having a device with internet connection, a web application was made for this purpose. Beside the data displaying, this application also offers different functions to improve the task of searching for parking. The new functions, apart from parking prediction, were: - Park distances from user location. It provides all the distances to user current location to the different parks in the city. - Geocoding. The service for matching a literal description or an address to a concrete location. - Geolocation. The service for positioning the user. - Parking list panel. This is not a service neither a function, is just a better visualization and better handling of the information.

Prediction of hyperglycemia in preterm newborn infants

Many conditions are associated with hyperglycemia in preterm neonates because they are very susceptible to changes in carbohydrate homeostasis. The purpose of this study was to evaluate the occurrence of hyperglycemia in preterm infants undergoing glucose infusion during the first week of life, and to enumerate the main variables predictive of hyperglycemia. This prospective study (during 1994) included 40 preterm neonates (gestational age <37 weeks); 511 determinations of glycemic status were made in these infants (average 12.8/infant), classified by gestational age, birth weight, glucose infusion rate and clinical status at the time of determination (based on clinical and laboratory parameters). The clinical status was classified as stable or unstable, as an indication of the stability or instability of the mechanisms governing glucose homeostasis at the time of determination of blood glucose; 59 episodes of hyperglycemia (11.5%) were identified. A case-control study was used (case = hyperglycemia; control = normoglycemia) to derive a model for predicting glycemia. The risk factors considered were gestational age (<=31 vs. >31 weeks), birth weight (<=1500 vs. >1500 g), glucose infusion rate (<=6 vs. >6 mg/kg/min) and clinical status (stable vs. unstable). Multivariate analysis by logistic regression gave the following mathematical model for predicting the probability of hyperglycemia: 1/exp{-3.1437 + 0.5819(GA) + 0.9234(GIR) + 1.0978(Clinical status)} The main predictive variables in our study, in increasing order of importance, were gestational age, glucose infusion rate and, the clinical status (stable or unstable) of the preterm newborn infant. The probability of hyperglycemia ranged from 4.1% to 36.9%.

The use of a modular titanium endoprosthesis in skeletal reconstructions after bone tumor resections: method presentation and analysis of 37 cases

We analyzed 37 patients who underwent segmental wide resection of bone tumors and reconstruction with a modular titanium endoprosthesis at the Orthopaedic Oncology Group, between 1992 and 1998. Twelve patients were male and 25 were female, with a mean age of 30 years (9 - 81). The mean follow-up was 14 months (2 - 48). The diagnoses were: osteosarcoma (14 cases), metastatic carcinoma (10), Ewing's sarcoma (4), giant cell tumor (4), malignant fibrous histiocytoma (3), chondrosarcoma (1), and aneurysmal bone cyst (1). Eleven articulated total knee, 8 partial proximal femur with bipolar acetabulum, 8 partial proximal humerus, 3 total femur, 2 partial proximal tibia, 2 diaphyseal femur, 2 diaphyseal humerus, and 1 total proximal femur with cementless acetabulum endoprosthesis implant procedures were done. The complications related to the procedure included: infection (5 cases), dislocation (3), module loosening (1), and ulnar nerve paresthesia (1). We used the following criteria for the clinical evaluation: presence of pain, range of motion, reconstruction stability, surgical and oncologic complications, and patient acceptance. The results were good in 56.8% of the cases, regular in 32.4% and poor in 10.8%.

Dispersion of fillers in viscoelastic polymer matrices using Eulerian-Lagrangian approaches

Understanding the behavior of c omplex composite materials using mixing procedures is fundamental in several industrial processes. For instance, polymer composites are usually manufactured using dispersion of fillers in polymer melt matrices. The success of the filler dispersion depends both on the complex flow patterns generated and on the polymer melt rheological behavior. Consequently, the availability of a numerical tool that allow to model both fluid and particle would be very useful to increase the process insight. Nowadays there ar e computational tools that allow modeling the behavior of filled systems, taking into account both the behavior of the fluid (Computational Rheology) and the particles (Discrete Element Method). One example is the DPMFoam solver of the OpenFOAM ® framework where the averaged volume fraction momentum and mass conservation equations are used to describe the fluid (continuous phase) rheology, and the Newton’s second law of motion is used to compute the particles (discrete phase) movement. In this work the refer red solver is extended to take into account the elasticity of the polymer melts for the continuous phase. The solver capabilities will be illustrated by studying the effect of the fluid rheology on the filler dispersion, taking into account different fluid types (generalized Newtonian or viscoelastic) and particles volume fraction and size. The results obtained are used to evaluate the relevance of considering the fluid complex rheology for the prediction of the composites morphology

Understanding the dispersion of fillers in polymer matrices

Understanding the mixing process of complex composite materials is fundamental in several industrial processes. For instance, the dispersion of fillers in polymer melt matrices is commonly employed to manufacture polymer composites, using a twin-screw extruder. The effectiveness of the filler dispersion depends not only on the complex flow patterns generated, but also on the polymer melt rheological behavior. Therefore, the availability of a numerical tool able to predict mixing, taking into account both fluid and particles phases would be very useful to increase the process insight, and thus provide useful guidelines for its optimization. In this work, a new Eulerian-Lagrangian numerical solver is developed OpenFOAM® computational library, and used to better understand the mechanisms determining the dispersion of fillers in polymer matrices. Particular attention will be given to the effect of the rheological model used to represent the fluid behavior, on the level of dispersion obtained. For the Eulerian phase the averaged volume fraction governing equations (conservation of mass and linear momentum) are used to describe the fluid behavior. In the case of the Lagrangian phase, Newton’s second law of motion is used to compute the particles trajectories and velocity. To study the effect of fluid behavior on the filler dispersion, several systems are modeled considering different fluid types (generalized Newtonian or viscoelastic) and particles volume fraction and size. The results obtained are used to correlate the fluid and particle characteristics on the effectiveness of mixing and morphology obtained.

Influence of the hip joint modeling approaches on the kinematics of human gait

The influence of the hip joint formulation on the kinematic response of the model of human gait is investigated throughout this work. To accomplish this goal, the fundamental issues of the modeling process of a planar hip joint under the framework of multibody systems are revisited. In particular, the formulations for the ideal, dry, and lubricated revolute joints are described and utilized for the interaction of femur head inside acetabulum or the hip bone. In this process, the main kinematic and dynamic aspects of hip joints are analyzed. In a simple manner, the forces that are generated during human gait, for both dry and lubricated hip joint models, are computed in terms of the system’s state variables and subsequently introduced into the dynamics equations of motion of the multibody system as external generalized forces. Moreover, a human multibody model is considered, which incorporates the different approaches for the hip articulation, namely ideal joint, dry, and lubricated models. Finally, several computational simulations based on different approaches are performed, and the main results presented and compared to identify differences among the methodologies and procedures adopted in this work. The input conditions to the models correspond to the experimental data capture from an adult male during normal gait. In general, the obtained results in terms of positions do not differ significantly when the different hip joint models are considered. In sharp contrast, the velocity and acceleration plotted vary significantly. The effect of the hip joint modeling approach is clearly measurable and visible in terms of peaks and oscillations of the velocities and accelerations. In general, with the dry hip model, intra-joint force peaks can be observed, which can be associated with the multiple impacts between the femur head and the cup. In turn, when the lubricant is present, the system’s response tends to be smoother due to the damping effects of the synovial fluid.

Correction of the initial conditions

"Series title: Springerbriefs in applied sciences and technology, ISSN 2191-530X"

Demonstrative example of application

"Series title: Springerbriefs in applied sciences and technology, ISSN 2191-530X"

Tolerance to salinities shocks of the invasive mussel Limnoperma fortunei under experimental conditions

The golden mussel, Limnoperna fortunei (Dunker, 1857), has been found in the estuarine regions of South America, including the Patos Lagoon (Brazil), a huge choked lagoon with an estuarine region that is highly unstable chemically. Limnoperna fortunei space-temporal variability in the lagoon's estuarine region demonstrated the need to evaluate this species' ability to survive under salinity shocks. A set of experiments was conducted under controlled laboratory conditions. Specimens were tested under salinities of 2, 4, 6, 8 and 12 ppt, and were exposed for periods of 24, 48, 72, 96 and 240 hours. The mussel can survive (90%) up to a salinity shock of 2 ppt for periods of at least 10 days. Considering the influence of climatic and stochastic events and the chemical instability of the Patos Lagoon estuarine region, it's unlikely that populations could survive for longer periods (more than a year) in this area.

Expectations, Learning and Monetary Policy: An Overview of Recent Research

Expectations about the future are central for determination of current macroeconomic outcomes and the formulation of monetary policy. Recent literature has explored ways for supplementing the benchmark of rational expectations with explicit models of expectations formation that rely on econometric learning. Some apparently natural policy rules turn out to imply expectational instability of private agents’ learning. We use the standard New Keynesian model to illustrate this problem and survey the key results about interest-rate rules that deliver both uniqueness and stability of equilibrium under econometric learning. We then consider some practical concerns such as measurement errors in private expectations, observability of variables and learning of structural parameters required for policy. We also discuss some recent applications including policy design under perpetual learning, estimated models with learning, recurrent hyperinflations, and macroeconomic policy to combat liquidity traps and deflation.

Motion compensation strategies in magnetic resonance imaging.

Image quality in magnetic resonance imaging (MRI) is considerably affected by motion. Therefore, motion is one of the most common sources of artifacts in contemporary cardiovascular MRI. Such artifacts in turn may easily lead to misinterpretations in the images and a subsequent loss in diagnostic quality. Hence, there is considerable research interest in strategies that help to overcome these limitations at minimal cost in time, spatial resolution, temporal resolution, and signal-to-noise ratio. This review summarizes and discusses the three principal sources of motion: the beating heart, the breathing lungs, and bulk patient movement. This is followed by a comprehensive overview of commonly used compensation strategies for these different types of motion. Finally, a summary and an outlook are provided.

Dynamical modeling and analysis of large cellular regulatory networks.

The dynamical analysis of large biological regulatory networks requires the development of scalable methods for mathematical modeling. Following the approach initially introduced by Thomas, we formalize the interactions between the components of a network in terms of discrete variables, functions, and parameters. Model simulations result in directed graphs, called state transition graphs. We are particularly interested in reachability properties and asymptotic behaviors, which correspond to terminal strongly connected components (or "attractors") in the state transition graph. A well-known problem is the exponential increase of the size of state transition graphs with the number of network components, in particular when using the biologically realistic asynchronous updating assumption. To address this problem, we have developed several complementary methods enabling the analysis of the behavior of large and complex logical models: (i) the definition of transition priority classes to simplify the dynamics; (ii) a model reduction method preserving essential dynamical properties, (iii) a novel algorithm to compact state transition graphs and directly generate compressed representations, emphasizing relevant transient and asymptotic dynamical properties. The power of an approach combining these different methods is demonstrated by applying them to a recent multilevel logical model for the network controlling CD4+ T helper cell response to antigen presentation and to a dozen cytokines. This model accounts for the differentiation of canonical Th1 and Th2 lymphocytes, as well as of inflammatory Th17 and regulatory T cells, along with many hybrid subtypes. All these methods have been implemented into the software GINsim, which enables the definition, the analysis, and the simulation of logical regulatory graphs.