An Indexing Structure and Application Model for Vehicles Moving on Road Networks

Moving objects database systems are the most challenging sub-category among Spatio-Temporal database systems. A database system that updates in real-time the location information of GPS-equipped moving vehicles has to meet even stricter requirements. Currently existing data storage models and indexing mechanisms work well only when the number of moving objects in the system is relatively small. This dissertation research aimed at the real-time tracking and history retrieval of massive numbers of vehicles moving on road networks. A total solution has been provided for the real-time update of the vehicles’ location and motion information, range queries on current and history data, and prediction of vehicles’ movement in the near future. To achieve these goals, a new approach called Segmented Time Associated to Partitioned Space (STAPS) was first proposed in this dissertation for building and manipulating the indexing structures for moving objects databases. Applying the STAPS approach, an indexing structure of associating a time interval tree to each road segment was developed for real-time database systems of vehicles moving on road networks. The indexing structure uses affordable storage to support real-time data updates and efficient query processing. The data update and query processing performance it provides is consistent without restrictions such as a time window or assuming linear moving trajectories. An application system design based on distributed system architecture with centralized organization was developed to maximally support the proposed data and indexing structures. The suggested system architecture is highly scalable and flexible. Finally, based on a real-world application model of vehicles moving in region-wide, main issues on the implementation of such a system were addressed.

Location and ages of terrestrial peatlands located on continental shelves and in coastal sediments

This synthesis dataset contains records of freshwater peat and lake sediments from continental shelves and coastal areas. Information included is site location (when available), thickness and description of terrestrial sediments as well as underlying and overlying sediments, dates (when available), and references.

A Novel Mouse Model of Diffuse Intrinsic Pontine Glioma Initiated in Pax3-Expressing Cells.

Diffuse intrinsic pontine glioma (DIPG) is a rare and incurable brain tumor that arises predominately in children and involves the pons, a structure that along with the midbrain and medulla makes up the brainstem. We have previously developed genetically engineered mouse models of brainstem glioma using the RCAS/Tv-a system by targeting PDGF-B overexpression, p53 loss, and H3.3K27M mutation to Nestin-expressing brainstem progenitor cells of the neonatal mouse. Here we describe a novel mouse model targeting these same genetic alterations to Pax3-expressing cells, which in the neonatal mouse pons consist of a Pax3+/Nestin+/Sox2+ population lining the fourth ventricle and a Pax3+/NeuN+ parenchymal population. Injection of RCAS-PDGF-B into the brainstem of Pax3-Tv-a mice at postnatal day 3 results in 40% of mice developing asymptomatic low-grade glioma. A mixture of low- and high-grade glioma results from injection of Pax3-Tv-a;p53(fl/fl) mice with RCAS-PDGF-B and RCAS-Cre, with or without RCAS-H3.3K27M. These tumors are Ki67+, Nestin+, Olig2+, and largely GFAP- and can arise anywhere within the brainstem, including the classic DIPG location of the ventral pons. Expression of the H3.3K27M mutation reduces overall H3K27me3 as compared with tumors without the mutation, similar to what has been previously shown in human and mouse tumors. Thus, we have generated a novel genetically engineered mouse model of DIPG, which faithfully recapitulates the human disease and represents a novel platform with which to study the biology and treatment of this deadly disease.

Characterization of the glial scar tissue in a murine model of spinal cord compression, with focus on hyaluronan

Spinal cord injury (SCI) is a devastating neurological disorder that affects thousands of people each year. Although in recent decades significant progress has been made in relation to understanding the molecular and cellular events underlying the nervous damage, spinal cord injury is still a highly disabling condition for which there is no curative therapy. People affected by spinal cord injuries manifested dysfunction or loss, temporary or permanent, of motor, sensory and / or autonomic functions depending on the spinal lesion damaged. Currently, the incidence rate of this type of injury is approximately 15-40 cases per million people worldwide. At the origin of these lesions are: road accidents, falls, interpersonal violence and the practice of sports. In this work we placed the hypothesis that HA is one of the component of the scar tissue formed after a compressive SCI, that it is likely synthetised by the perilesional glial cells and that it might support the permeation of the glial scar during the late phase of SCI. Nowadays, much focus is drawn on the recovery of CNS function, made impossible after SCI due to the high content of sulfated proteoglycans in the extracellular matrix. Counterbalancing the ratio between these proteoglycans and hyaluronic acid could be one of the experimental therapy to re-permeate the glial scar tissue formed after SCI, making possible axonal regrowth and functional recovery. Therefore, we established a model of spinal cord compression in mice and studied the glial scar tissue, particularly through the characterization of the expression of enzymes related to the metabolism of HA and the subsequent concentration thereof at different distances of the lesion epicenter. Our results show that the lesion induced in mice shows results similar to those produced in human lesions, in terms of histologic similarities and behavioral results. but these animals demonstrate an impressive spontaneous reorganization mechanism of the spinal cord tissue that occurs after injury and allows for partial recovery of the functions of the CNS. As regards the study of the glial scar, changes were recorded at the level of mRNA expression of enzymes metabolizing HA i.e., after injury there was a decreased expression of HA synthases 1-2 (HAS 1-2) and an increase of the expression HAS3 synthase mRNA, as well as the enzymes responsible for the HA catabolism, HYAL 1-2. But the amount of HA measured through the ELISA test was found unchanged after injury, it is not possible to explain this fact only with the change of expression of enzymes. At two weeks and in response to SCI, we found synthesized HA by reactive astrocytes and probably by others like microglial cells as it was advanced by the HA/GFAP+ and HA/IBA1+ cells co-location.

Mode locking in a spatially extended neuron model: active soma and compartmental tree

Understanding the mode-locked response of excitable systems to periodic forcing has important applications in neuroscience. For example it is known that spatially extended place cells in the hippocampus are driven by the theta rhythm to generate a code conveying information about spatial location. Thus it is important to explore the role of neuronal dendrites in generating the response to periodic current injection. In this paper we pursue this using a compartmental model, with linear dynamics for each compartment, coupled to an active soma model that generates action potentials. By working with the piece-wise linear McKean model for the soma we show how the response of the whole neuron model (soma and dendrites) can be written in closed form. We exploit this to construct a stroboscopic map describing the response of the spatially extended model to periodic forcing. A linear stability analysis of this map, together with a careful treatment of the non-differentiability of the soma model, allows us to construct the Arnol'd tongue structure for 1:q states (one action potential for q cycles of forcing). Importantly we show how the presence of quasi-active membrane in the dendrites can influence the shape of tongues. Direct numerical simulations confirm our theory and further indicate that resonant dendritic membrane can enlarge the windows in parameter space for chaotic behavior. These simulations also show that the spatially extended neuron model responds differently to global as opposed to point forcing. In the former case spatio-temporal patterns of activity within an Arnol'd tongue are standing waves, whilst in the latter they are traveling waves.

Location analysis of city sections: socio-demographic segmentation and restaurant potentiality estimation : a case study of Lisbon

One of the objectives of this study is to perform classification of socio-demographic components for the level of city section in City of Lisbon. In order to accomplish suitable platform for the restaurant potentiality map, the socio-demographic components were selected to produce a map of spatial clusters in accordance to restaurant suitability. Consequently, the second objective is to obtain potentiality map in terms of underestimation and overestimation in number of restaurants. To the best of our knowledge there has not been found identical methodology for the estimation of restaurant potentiality. The results were achieved with combination of SOM (Self-Organized Map) which provides a segmentation map and GAM (Generalized Additive Model) with spatial component for restaurant potentiality. Final results indicate that the highest influence in restaurant potentiality is given to tourist sites, spatial autocorrelation in terms of neighboring restaurants (spatial component), and tax value, where lower importance is given to household with 1 or 2 members and employed population, respectively. In addition, an important conclusion is that the most attractive market sites have shown no change or moderate underestimation in terms of restaurants potentiality.

On multimodality of obnoxious faclity location models

Obnoxious single facility location models are models that have the aim to find the best location for an undesired facility. Undesired is usually expressed in relation to the so-called demand points that represent locations hindered by the facility. Because obnoxious facility location models as a rule are multimodal, the standard techniques of convex analysis used for locating desirable facilities in the plane may be trapped in local optima instead of the desired global optimum. It is assumed that having more optima coincides with being harder to solve. In this thesis the multimodality of obnoxious single facility location models is investigated in order to know which models are challenging problems in facility location problems and which are suitable for site selection. Selected for this are the obnoxious facility models that appear to be most important in literature. These are the maximin model, that maximizes the minimum distance from demand point to the obnoxious facility, the maxisum model, that maximizes the sum of distance from the demand points to the facility and the minisum model, that minimizes the sum of damage of the facility to the demand points. All models are measured with the Euclidean distances and some models also with the rectilinear distance metric. Furthermore a suitable algorithm is selected for testing multimodality. Of the tested algorithms in this thesis, Multistart is most appropriate. A small numerical experiment shows that Maximin models have on average the most optima, of which the model locating an obnoxious linesegment has the most. Maximin models have few optima and are thus not very hard to solve. From the Minisum models, the models that have the most optima are models that take wind into account. In general can be said that the generic models have less optima than the weighted versions. Models that are measured with the rectilinear norm do have more solutions than the same models measured with the Euclidean norm. This can be explained for the maximin models in the numerical example because the shape of the norm coincides with a bound of the feasible area, so not all solutions are different optima. The difference found in number of optima of the Maxisum and Minisum can not be explained by this phenomenon.

Identifying the location of fire refuges in wet forest ecosystems

The increasing frequency of large, high-severity fires threatens the survival of old-growth specialist fauna in fire-prone forests. Within topographically diverse montane forests, areas that experience less severe or fewer fires compared with those prevailing in the landscape may present unique resource opportunities enabling old-growth specialist fauna to survive. Statistical landscape models that identify the extent and distribution of potential fire refuges may assist land managers to incorporate these areas into relevant biodiversity conservation strategies. We used a case study in an Australian wet montane forest to establish how predictive fire simulation models can be interpreted as management tools to identify potential fire refuges. We examined the relationship between the probability of fire refuge occurrence as predicted by an existing fire refuge model and fire severity experienced during a large wildfire. We also examined the extent to which local fire severity was influenced by fire severity in the surrounding landscape. We used a combination of statistical approaches, including generalized linear modeling, variogram analysis, and receiver operating characteristics and area under the curve analysis (ROC AUC). We found that the amount of unburned habitat and the factors influencing the retention and location of fire refuges varied with fire conditions. Under extreme fire conditions, the distribution of fire refuges was limited to only extremely sheltered, fire-resistant regions of the landscape. During extreme fire conditions, fire severity patterns were largely determined by stochastic factors that could not be predicted by the model. When fire conditions were moderate, physical landscape properties appeared to mediate fire severity distribution. Our study demonstrates that land managers can employ predictive landscape fire models to identify the broader climatic and spatial domain within which fire refuges are likely to be present. It is essential that within these envelopes, forest is protected from logging, roads, and other developments so that the ecological processes related to the establishment and subsequent use of fire refuges are maintained.

Cost and feasibility of a barrier to halt the spread of invasive cane toads in arid Australia: incorporating expert knowledge into model-based decision-making

1. Active engagement with practitioners is a crucial component of model-based decision-making in conservation management; it can assist with data acquisition, improve models and help narrow the 'knowing-doing' gap.
2. We worked with practitioners of one of the worst invasive species in Australia, the cane toad Rhinella marina, to revise a model that estimates the effectiveness of landscape barriers to contain spread. The original model predicted that the invasion could be contained by managing artificial watering points on pastoral properties, but was initially met with scepticism by practitioners, in part due to a lack of engagement during model development.
3. We held a workshop with practitioners and experts in cane toad biology. Using structured decision-making, we elicited concerns about the original model, revised its structure, updated relevant input data, added an economic component and found the most cost-effective location for a barrier across a range of fixed budgets and management scenarios. We then conducted scenario analyses to test the sensitivity of management decisions to model revisions.
4. We found that toad spread could be contained for all of the scenarios tested. Our modelling suggests a barrier could cost $4·5 M (2015 AUD) over 50 years for the most likely landscape scenario. The incorporation of practitioner knowledge into the model was crucial. As well as improving engagement, when we incorporated practitioner concerns (particularly regarding the effects of irrigation and dwellings on toad spread), we found a different location for the optimal barrier compared to a previously published study (Tingley et al. 2013).
5. Synthesis and applications. Through engagement with practitioners, we turned an academic modelling exercise into a decision-support tool that integrated local information, and considered more realistic scenarios and constraints. Active engagement with practitioners led to productive revisions of a model that estimates the effectiveness of a landscape barrier to contain spread of the invasive cane toad R. marina. Benefits also include greater confidence in model predictions, improving our assessment of the cost and feasibility of containing the spread of toads.

A Model for Continuous Measurement of Drilled Shaft Diameter During Construction

Non-Destructive Testing (NDT) of deep foundations has become an integral part of the industry’s standard manufacturing processes. It is not unusual for the evaluation of the integrity of the concrete to include the measurement of ultrasonic wave speeds. Numerous methods have been proposed that use the propagation speed of ultrasonic waves to check the integrity of concrete for drilled shaft foundations. All such methods evaluate the integrity of the concrete inside the cage and between the access tubes. The integrity of the concrete outside the cage remains to be considered to determine the location of the border between the concrete and the soil in order to obtain the diameter of the drilled shaft. It is also economic to devise a methodology to obtain the diameter of the drilled shaft using the Cross-Hole Sonic Logging system (CSL). Performing such a methodology using the CSL and following the CSL tests is performed and used to check the integrity of the inside concrete, thus allowing the determination of the drilled shaft diameter without having to set up another NDT device. This proposed new method is based on the installation of galvanized tubes outside the shaft across from each inside tube, and performing the CSL test between the inside and outside tubes. From the performed experimental work a model is developed to evaluate the relationship between the thickness of concrete and the ultrasonic wave properties using signal processing. The experimental results show that there is a direct correlation between concrete thicknesses outside the cage and maximum amplitude of the received signal obtained from frequency domain data. This study demonstrates how this new method to measuring the diameter of drilled shafts during construction using a NDT method overcomes the limitations of currently-used methods. In the other part of study, a new method is proposed to visualize and quantify the extent and location of the defects. It is based on a color change in the frequency amplitude of the signal recorded by the receiver probe in the location of defects and it is called Frequency Tomography Analysis (FTA). Time-domain data is transferred to frequency-domain data of the signals propagated between tubes using Fast Fourier Transform (FFT). Then, distribution of the FTA will be evaluated. This method is employed after CSL has determined the high probability of an anomaly in a given area and is applied to improve location accuracy and to further characterize the feature. The technique has a very good resolution and clarifies the exact depth location of any void or defect through the length of the drilled shaft for the voids inside the cage. The last part of study also evaluates the effect of voids inside and outside the reinforcement cage and corrosion in the longitudinal bars on the strength and axial load capacity of drilled shafts. The objective is to quantify the extent of loss in axial strength and stiffness of drilled shafts due to presence of different types of symmetric voids and corrosion throughout their lengths.

GIS-integrated mathematical modeling of social phenomena at macro- and micro- levels—a multivariate geographically-weighted regression model for identifying locations vulnerable to hosting terrorist safe-houses: France as case study

Adaptability and invisibility are hallmarks of modern terrorism, and keeping pace with its dynamic nature presents a serious challenge for societies throughout the world. Innovations in computer science have incorporated applied mathematics to develop a wide array of predictive models to support the variety of approaches to counterterrorism. Predictive models are usually designed to forecast the location of attacks. Although this may protect individual structures or locations, it does not reduce the threat—it merely changes the target. While predictive models dedicated to events or social relationships receive much attention where the mathematical and social science communities intersect, models dedicated to terrorist locations such as safe-houses (rather than their targets or training sites) are rare and possibly nonexistent. At the time of this research, there were no publically available models designed to predict locations where violent extremists are likely to reside. This research uses France as a case study to present a complex systems model that incorporates multiple quantitative, qualitative and geospatial variables that differ in terms of scale, weight, and type. Though many of these variables are recognized by specialists in security studies, there remains controversy with respect to their relative importance, degree of interaction, and interdependence. Additionally, some of the variables proposed in this research are not generally recognized as drivers, yet they warrant examination based on their potential role within a complex system. This research tested multiple regression models and determined that geographically-weighted regression analysis produced the most accurate result to accommodate non-stationary coefficient behavior, demonstrating that geographic variables are critical to understanding and predicting the phenomenon of terrorism. This dissertation presents a flexible prototypical model that can be refined and applied to other regions to inform stakeholders such as policy-makers and law enforcement in their efforts to improve national security and enhance quality-of-life.

Equilibrium existence in the circle model with linear quadratic transport cost

We treat the problem of existence of a location-then-price equilibrium in the circle model with a linear quadratic type of transportation cost function which can be either convex or concave. We show the existence of a unique perfect equilibrium for the concave case when the linear and quadratic terms are equal and of a unique perfect equilibrium for the convex case when the linear term is equal to zero. Aside from these two cases, there are feasible locations by the firms for which no equilibrium in the price subgame exists. Finally, we provide a full taxonomy of the price equilibrium regions in terms of weights of the linear and quadratic terms in the cost function.

An adaptive elliptical anomaly detection model for wireless sensor networks

Wireless Sensor Networks (WSNs) provide a low cost option for monitoring different environments such as farms, forests and water and electricity networks. However, the restricted energy resources of the network impede the collection of raw monitoring data from all the nodes to a single location for analysis. This has stimulated research into efficient anomaly detection techniques to extract information about unusual events such as malicious attacks or faulty sensors at each node. Many previous anomaly detection methods have relied on centralized processing of measurement data, which is highly communication intensive. In this paper, we present an efficient algorithm to detect anomalies in a decentralized manner. In particular, we propose a novel adaptive model for anomaly detection, as well as a robust method for modeling normal behavior. Our evaluation results on both real-life and simulated data sets demonstrate the accuracy of our approach compared to existing methods.