Mitigating Inconsistencies by Coupling Data Cleaning, Filtering, and Contextual Data Validation in Wireless Sensor Networks

With the advent of peer to peer networks, and more importantly sensor networks, the desire to extract useful information from continuous and unbounded streams of data has become more prominent. For example, in tele-health applications, sensor based data streaming systems are used to continuously and accurately monitor Alzheimer's patients and their surrounding environment. Typically, the requirements of such applications necessitate the cleaning and filtering of continuous, corrupted and incomplete data streams gathered wirelessly in dynamically varying conditions. Yet, existing data stream cleaning and filtering schemes are incapable of capturing the dynamics of the environment while simultaneously suppressing the losses and corruption introduced by uncertain environmental, hardware, and network conditions. Consequently, existing data cleaning and filtering paradigms are being challenged. This dissertation develops novel schemes for cleaning data streams received from a wireless sensor network operating under non-linear and dynamically varying conditions. The study establishes a paradigm for validating spatio-temporal associations among data sources to enhance data cleaning. To simplify the complexity of the validation process, the developed solution maps the requirements of the application on a geometrical space and identifies the potential sensor nodes of interest. Additionally, this dissertation models a wireless sensor network data reduction system by ascertaining that segregating data adaptation and prediction processes will augment the data reduction rates. The schemes presented in this study are evaluated using simulation and information theory concepts. The results demonstrate that dynamic conditions of the environment are better managed when validation is used for data cleaning. They also show that when a fast convergent adaptation process is deployed, data reduction rates are significantly improved. Targeted applications of the developed methodology include machine health monitoring, tele-health, environment and habitat monitoring, intermodal transportation and homeland security.

Caracterização de células de lugar no hipocampo e de suas relações com oscilações do potencial de campo local

The main inputs to the hippocampus arise from the entorhinal cortex (EC) and form a loop involving the dentate gyrus, CA3 and CA1 hippocampal subfields and then back to EC. Since the discovery that the hippocampus is involved in memory formation in the 50's, this region and its circuitry have been extensively studied. Beyond memory, the hippocampus has also been found to play an important role in spatial navigation. In rats and mice, place cells show a close relation between firing rate and the animal position in a restricted area of the environment, the so-called place field. The firing of place cells peaks at the center of the place field and decreases when the animal moves away from it, suggesting the existence of a rate code for space. Nevertheless, many have described the emergence of hippocampal network oscillations of multiple frequencies depending on behavioral state, which are believed to be important for temporal coding. In particular, theta oscillations (5-12 Hz) exhibit a spatio-temporal relation with place cells known as phase precession, in which place cells consistently change the theta phase of spiking as the animal traverses the place field. Moreover, current theories state that CA1, the main output stream of the hippocampus, would interplay inputs from EC and CA3 through network oscillations of different frequencies, namely high gamma (60-100 Hz; HG) and low gamma (30-50 Hz; LG), respectively, which tend to be nested in different phases of the theta cycle. In the present dissertation we use a freely available online dataset to make extensive computational analyses aimed at reproducing classical and recent results about the activity of place cells in the hippocampus of freely moving rats. In particular, we revisit the debate of whether phase precession is due to changes in firing frequency or space alone, and conclude that the phenomenon cannot be explained by either factor independently but by their joint influence. We also perform novel analyses investigating further characteristics of place cells in relation to network oscillations. We show that the strength of theta modulation of spikes only marginally affects the spatial information content of place cells, while the mean spiking theta phase has no influence on spatial information. Further analyses reveal that place cells are also modulated by theta when they fire outside the place field. Moreover, we find that the firing of place cells within the theta cycle is modulated by HG and LG amplitude in both CA1 and EC, matching cross-frequency coupling results found at the local field potential level. Additionally, the phase-amplitude coupling in CA1 associated with spikes inside the place field is characterized by amplitude modulation in the 40-80 Hz range. We conclude that place cell firing is embedded in large network states reflected in local field potential oscillations and suggest that their activity might be seen as a dynamic state rather than a fixed property of the cell.

(Table 2) Radiocarbon dating on cold-water corals collected in the Mediterranean Sea

This study presents newly obtained coral ages of the cold-water corals Lophelia pertusa and Madrepora oculata collected in the Alboran Sea and the Strait of Sicily (Urania Bank). These data were combined with all available Mediterranean Lophelia and Madrepora ages compiled from literature to conduct a basin-wide assessment of the spatial and temporal occurrence of these prominent framework-forming scleractinian species in the Mediterranean realm and to unravel the palaeo-environmental conditions that controlled their proliferation or decline. For the first time special focus was placed on a closer examination of potential differences occurring between the eastern and western Mediterranean sub-basins. Our results clearly demonstrate that cold-water corals occurred sparsely in the entire Mediterranean during the last glacial before becoming abundant during the Bølling-Allerød warm interval, pointing to a basin-wide, almost concurrent onset in (re-)colonisation after ~13.5 ka. This time coincides with a peak in meltwater discharge originating from the northern Mediterranean borderlands which caused a major reorganisation of the Mediterranean thermohaline circulation. During the Younger Dryas and Holocene, some striking differences in coral proliferation were identified between the sub-basins such as periods of highly prolific coral growth in the eastern Mediterranean Sea during the Younger Dryas and in the western basin during the Early Holocene, whereas a temporary pronounced coral decline during the Younger Dryas was exclusively affecting coral sites in the Alboran Sea. Comparison with environmental and oceanographic data revealed that the proliferation of the Mediterranean corals is linked with enhanced productivity conditions. Moreover, corals thrived in intermediate depths and showed a close relationship with intermediate water mass circulation in the Mediterranean sub-basins. For instance, reduced Levantine Intermediate Water formation hampered coral growth in the eastern Mediterranean Sea during sapropel S1 event as reduced Winter Intermediate Water formation did in the westernmost part of the Mediterranean (Alboran Sea) during the Mid-Holocene. Overall, this study clearly demonstrates the importance to consider region-specific environmental changes as well as species-specific environmental preferences in interpreting coral chronologies. Moreover, it highlights that the occurrence or decline of cold-water corals is not controlled by one key parameter but rather by a complex interplay of various environmental variables.

Melt climatology estimates for small to giant Antarctic icebergs, links to NetCDF files

We present four melt climatology estimates based on a simulation of Antarctic iceberg drift and melting that includes small, medium-sized, and giant tabular icebergs with a realistic size distribution. Drift and meltdown is simulated using vertical profiles of ocean currents, temperature, and salinity, which goes beyond the present standard in iceberg modeling. The climatology estimates based on simulations of small (SMA), 'small-to-medium'-sized (MED12 & MED123), and small-to-giant icebergs (ALL) exhibit differential characteristics: successive inclusion of larger icebergs leads to a reduced seasonality of iceberg melt and a shift of the mass input to the area north of 58°S, while less melt water is released into the coastal areas. This highlights the necessity to account for larger and giant icebergs in order to obtain accurate melt climatologies. The four monthly melt climatologies [mm/day] are available as netCDF files with 1°x1° spatial resolution and can be used, e.g., for sensitivity studies with uncoupled sea ice-ocean models, or as spatio-temporal templates for the redistribution of land ice from the Antarctic ice sheet over the Southern Ocean in climate models.

Monthly Arctic sea ice lead fraction in 0.5° x 0.5° resolution from SARAL/Altika altimeter, link to datasets in NetCDF 4 format

Sea ice leads play an essential role in ocean-ice-atmosphere exchange, in ocean circulation, geochemistry, and in ice dynamics. Their precise detection is crucial for altimetric estimations of sea ice thickness and volume. This study evaluates the performance of the SARAL/AltiKa (Satellite with ARgos and ALtiKa) altimeter to detect leads and to monitor their spatio-temporal dynamics. We show that a pulse peakiness parameter (PP) used to detect leads by Envisat RA-2 and ERS-1,-2 altimeters is not suitable because of saturation of AltiKa return echoes over the leads. The signal saturation results in loss of 6-10% of PP data over sea ice. We propose a different parameter-maximal power of waveform-and define the threshold to discriminate the leads. Our algorithm can be applied from December until May. It detects well the leads of small and medium size from 200 m to 3-4 km. So the combination of the high-resolution altimetric estimates with low-resolution thermal infra-red or radiometric lead fraction products could enhance the capability of remote sensing to monitor sea ice fracturing.

Biomass, quality traits and methane production of extensive grassland: biodiversity effects and sensor approaches

Energy policies around the world are mandating for a progressive increase in renewable energy production. Extensive grassland areas with low productivity and land use limitations have become target areas for sustainable energy production to avoid competition with food production on the limited available arable land resources and minimize further conversion of grassland into intensively managed energy cropping systems or abandonment. However, the high spatio-temporal variability in botanical composition and biochemical parameters is detrimental to reliable assessment of biomass yield and quality regarding anaerobic digestion. In an approach to assess the performance for predicting biomass using a multi-sensor combination including NIRS, ultra-sonic distance measurements and LAI-2000, biweekly sensor measurements were taken on a pure stand of reed canary grass (Phalaris aruninacea), a legume grass mixture and a diversity mixture with thirty-six species in an experimental extensive two cut management system. Different combinations of the sensor response values were used in multiple regression analysis to improve biomass predictions compared to exclusive sensors. Wavelength bands for sensor specific NDVI-type vegetation indices were selected from the hyperspectral data and evaluated for the biomass prediction as exclusive indices and in combination with LAI and ultra-sonic distance measurements. Ultrasonic sward height was the best to predict biomass in single sensor approaches (R² 0.73 – 0.76). The addition of LAI-2000 improved the prediction performance by up to 30% while NIRS barely improved the prediction performance. In an approach to evaluate broad based prediction of biochemical parameters relevant for anaerobic digestion using hyperspectral NIRS, spectroscopic measurements were taken on biomass from the Jena-Experiment plots in 2008 and 2009. Measurements were conducted on different conditions of the biomass including standing sward, hay and silage and different spectroscopic devices to simulate different preparation and measurement conditions along the process chain for biogas production. Best prediction results were acquired for all constituents at laboratory measurement conditions with dried and ground samples on a bench-top NIRS system (RPD > 3) with a coefficient of determination R2 < 0.9. The same biomass was further used in batch fermentation to analyse the impact of species richness and functional group composition on methane yields using whole crop digestion and pressfluid derived by the Integrated generation of solid Fuel and Biogas from Biomass (IFBB) procedure. Although species richness and functional group composition were largely insignificant, the presence of grasses and legumes in the mixtures were most determining factors influencing methane yields in whole crop digestion. High lignocellulose content and a high C/N ratio in grasses may have reduced the digestibility in the first cut material, excess nitrogen may have inhibited methane production in second cut legumes, while batch experiments proved superior specific methane yields of IFBB press fluids and showed that detrimental effects of the parent material were reduced by the technical treatment

Marqueurs électrophysiologiques des dysfonctions attentionnelles et de leur récupération suite à un traumatisme craniocérébral léger

L’objectif principal de cette thèse était d’obtenir, via l’électrophysiologie cognitive, des indices de fonctionnement post-traumatisme craniocérébral léger (TCCL) pour différents niveaux de traitement de l’information, soit l’attention sélective, les processus décisionnels visuoattentionnels et les processus associés à l’exécution d’une réponse volontaire. L’hypothèse centrale était que les mécanismes de production des lésions de même que la pathophysiologie caractérisant le TCCL engendrent des dysfonctions visuoattentionnelles, du moins pendant la période aiguë suivant le TCCL (i.e. entre 1 et 3 mois post-accident), telles que mesurées à l’aide d’un nouveau paradigme électrophysiologique conçu à cet effet. Cette thèse présente deux articles qui décrivent le travail effectué afin de rencontrer ces objectifs et ainsi vérifier les hypothèses émises. Le premier article présente la démarche réalisée afin de créer une nouvelle tâche d’attention visuospatiale permettant d’obtenir les indices électrophysiologiques (amplitude, latence) et comportementaux (temps de réaction) liés aux processus de traitement visuel et attentionnel précoce (P1, N1, N2-nogo, P2, Ptc) à l’attention visuelle sélective (N2pc, SPCN) et aux processus décisionnels (P3b, P3a) chez un groupe de participants sains (i.e. sans atteinte neurologique). Le deuxième article présente l’étude des effets persistants d’un TCCL sur les fonctions visuoattentionelles via l’obtention des indices électrophysiologiques ciblés (amplitude, latence) et de données comportementales (temps de réaction à la tâche et résultats aux tests neuropsychologiques) chez deux cohortes d’individus TCCL symptomatiques, l’une en phase subaigüe (3 premiers mois post-accident), l’autre en phase chronique (6 mois à 1 an post-accident), en comparaison à un groupe de participants témoins sains. Les résultats des articles présentés dans cette thèse montrent qu’il a été possible de créer une tâche simple qui permet d’étudier de façon rapide et peu coûteuse les différents niveaux de traitement de l’information impliqués dans le déploiement de l’attention visuospatiale. Par la suite, l’utilisation de cette tâche auprès d’individus atteints d’un TCCL testés en phase sub-aiguë ou en phase chronique a permis d’objectiver des profils d’atteintes et de récupération différentiels pour chacune des composantes étudiées. En effet, alors que les composantes associées au traitement précoce de l’information visuelle (P1, N1, N2) étaient intactes, certaines composantes attentionnelles (P2) et cognitivo-attentionnelles (P3a, P3b) étaient altérées, suggérant une dysfonction au niveau des dynamiques spatio-temporelles de l’attention, de l’orientation de l’attention et de la mémoire de travail, à court et/ou à long terme après le TCCL, ceci en présence de déficits neuropsychologiques en phase subaiguë surtout et d’une symptomatologie post-TCCL persistante. Cette thèse souligne l’importance de développer des outils diagnostics sensibles et exhaustifs permettant d’objectiver les divers processus et sous-processus cognitifs susceptible d’être atteints après un TCCL.

Dynamique des ambiances lumineuses - approche basée sur la photométrie vidéo d’espaces de transition

Les variations de la lumière naturelle lors du passage d’un espace à un autre caractérisent de manière complexe, mais importante le design d’un bâtiment. Cette adaptation visuelle s’inscrit dans un processus spatiotemporel et influe sur le confort et le bien-être de ses occupants. La littérature fait état du peu de connaissances de la relation lumière espace-temps. Cette recherche propose donc d’étudier cette relation spatio-temporelle existant entre la lumière et l’espace, afin de qualifier un parcours architectural au moyen d’une expérimentation in situ et de segments filmiques. La recherche combine l’utilisation d’un luminance-mètre, d’une caméra vidéo et d’une méthode d’analyse d’images numériques afin de permettre l’évaluation des qualités spatio-temporelles de la lumière. Le parcours architectural est analysé selon la diversité et l’intensité des ambiances lumineuses en fonction du temps permettant de décrire les perceptions visuelles d’espaces transitions. Cette méthode dynamique offre un potentiel d’analyse et de création aux concepteurs désireux d’enrichir le design de séquences spatiales en favorisant la diversité lumineuse dans l’expérience architecturale. Mots clefs: adaptation visuelle, analyse d’images, ambiance lumineuse, contraste, éclairage naturel, espaces transitions, lumière perception visuelle, vidéo, spatio-temporel.

Monitoring pollutants in occupied spaces.

There is increasing evidence of a causal link between airborne particles and ill health and this study monitored the exposure to both airborne particles and the gas phase contaminants of environmental tobacco smoke (ETS) in a nightclub. The present study followed a number of pilot studies in which the human exposure to airborne particles in a nightclub was assessed and the spatio-temporal distribution of gas phase pollutants was evaluated in restaurants and pubs. The work reported here re-examined the nightclub environment and utilized concurrent and continuous monitoring using optical scattering samplers to measure particulates (PM10) together with multi-gas analysers. The analysis illustrated the highly episodic nature of both gaseous and particulate concentrations in both the dance floor and in the bar area but levels were well below the maximum recommended exposure levels. Short-term exposure to high concentrations may however be relevant when considering the possible toxic effects on biological systems. The results give an indication of the problems associated with achieving acceptable indoor air quality (IAQ) in a complex space and identified some of the problems inherent in the design and operation of ventilation systems for such spaces.

Dynamic instabilities in scalar neural field equations with space-dependent delays

In this paper we consider a class of scalar integral equations with a form of space-dependent delay. These non-local models arise naturally when modelling neural tissue with active axons and passive dendrites. Such systems are known to support a dynamic (oscillatory) Turing instability of the homogeneous steady state. In this paper we develop a weakly nonlinear analysis of the travelling and standing waves that form beyond the point of instability. The appropriate amplitude equations are found to be the coupled mean-field Ginzburg-Landau equations describing a Turing-Hopf bifurcation with modulation group velocity of O(1). Importantly we are able to obtain the coefficients of terms in the amplitude equations in terms of integral transforms of the spatio-temporal kernels defining the neural field equation of interest. Indeed our results cover not only models with axonal or dendritic delays but those which are described by a more general distribution of delayed spatio-temporal interactions. We illustrate the predictive power of this form of analysis with comparison against direct numerical simulations, paying particular attention to the competition between standing and travelling waves and the onset of Benjamin-Feir instabilities.

Die mittelpleistozäne Flußentwicklung im nordöstlichen Harzvorland: Petrographie, Terrassenstratigraphie

The present study deals with the evolution of the middle Pleistocene river system in the north-eastern foreland of the Harz Mtns. Sediments of the middle fluvial terrace level (early Saalian time) are the main objectives. By using these sediments supplementary with some results of upper fluvial terrace level (early Elesterian time or older) the fluvial palaeogeography within the area has been reconstructed. The sediments were investigated with respect to their gravel spectra, heavy mineral record, sedimentary structures and altitude above the recent river beds. Due to the resulting specifics the sediments have been attributed to particular rivers in the area. Furthermore it is possible to distinguish between fluvial sediments and Elsterian as well as Saalian fluvioglacial deposits. Together with discernible middle or upper terrace characteristics this led to a spatio-temporal reconstruction of the palaeo river system of the Harz Mtns. It revealed that not only during upper terrace sedimentation but even while middle terraces were deposited the rivers partly diversed. These river diversions were mainly caused by hydrodynamic changes reflecting interaction of the fluvial system with Elsterian and Saalian ice shield formation in the north. The Rivers Ecker, Ilse, Rammelsbach, Holtemme, Goldbach, Bode, Selke and Eine were affected by this development as follows: Upper terrace level formation: • The Ecker River formerly ran between its recent river bed and that of the Use River in direction to the Großer Fallstein Mtn. • The Use River flowed to the NE towards the Huy Mtn. • The Goldbach River and the Holtemme River mutually ran to the NW south of the Huy Mtn. After uniting with the Use River and Ecker River it ran south of the Großer Fallstein Mtn. Middle terrace level formation: • The Ecker River flowed far more NE. • Near to the Harz Mtns. the Use River flowed more in the E. The tributary junction of the Rammelsbach River was located far more downstream. Thereafter the Use River ran to the N between Huy Mtn. and Großer Fallstein Mtn. to end up flowing in the area of the Großes Bruch. • The Holtemme River kept its course. Its recent tributary the Goldbach River flowed to the NE and joined the Bode River after leaving the Harz Mtn. Range. • The Eine River ran to the NW when passing todays city of Aschersleben. After flowing together with the Selke River in the area of the Seeländerei it became a tributary to the Bode River. • The Bode River within the recent tributary junction of the Holtemme ran far more in the W. In the area of the Espenbruch it flowed eastwards to the Saale River. The following general implications resulted out of the study: • The so called “mixed sediments” sensu Rosenberger & Altermann (1975) have now been interpreted as proximal fluvioglacial deposits. • High altitudes of middle terrace fluvial deposits in the courses of the Ecker River and Use River were formerly assigned to post middle Pleistocene uplift of the Großer Fallstein Mtn. (Feldmann, 2002). The present study suggests that the unusual high altitudes should rather be attributed to post middle terrace level erosion of the shortened Ilse- Rammelsbach river system or fluvioglacial processes below the glacier. • Within the north-eastern foreland of the Harz Mtns. middle terrace level deposits have previously been subdivided by cryoturbation horizons or short-term progradation of Saalian glaciation. This is not supported by own results for the examined area.

Formalizing operator task analysis

Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously execute a given task description to operate a computer system. Usually, a computer system is protected against some erroneous human behaviors by having necessary safeguard mechanisms in place. But some erroneous human operator behaviors can lead to severe or even fatal consequences especially in safety critical systems. A generalized methodology that can allow modeling and analyzing the interactions between computer systems and human operators where the operators are allowed to deviate from their prescribed behaviors will provide a formal understanding of the robustness of a computer system against possible aberrant behaviors by its human operators. We provide several methodology for assisting in modeling and analyzing human behaviors exhibited while operating computer systems. Every human operator is usually given a specific recommended set of guidelines for operating a system. We first present process algebraic methodology for modeling and verifying recommended human task execution behavior. We present how one can perform runtime monitoring of a computer system being operated by a human operator for checking violation of temporal safety properties. We consider the concept of a protection envelope giving a wider class of behaviors than those strictly prescribed by a human task that can be tolerated by a system. We then provide a framework for determining whether a computer system can maintain its guarantees if the human operators operate within their protection envelopes. This framework also helps to determine the robustness of the computer system under weakening of the protection envelopes. In this regard, we present a tool called Tutela that assists in implementing the framework. We then examine the ability of a system to remain safe under broad classes of variations of the prescribed human task. We develop a framework for addressing two issues. The first issue is: given a human task specification and a protection envelope, will the protection envelope properties still hold under standard erroneous executions of that task by the human operators? In other words how robust is the protection envelope? The second issue is: in the absence of a protection envelope, can we approximate a protection envelope encompassing those standard erroneous human behaviors that can be safely endured by the system? We present an extension of Tutela that implements this framework. The two frameworks mentioned above use Concurrent Game Structures (CGS) as models for both computer systems and their human operators. However, there are some shortcomings of this formalism for our uses. We add incomplete information concepts in CGSs to achieve better modularity for the players. We introduce nondeterminism in both the transition system and strategies of players and in the modeling of human operators and computer systems. Nondeterministic action strategies for players in \emph{i}ncomplete information \emph{N}ondeterministic CGS (iNCGS) is a more precise formalism for modeling human behaviors exhibited while operating a computer system. We show how we can reason about a human behavior satisfying a guarantee by providing a semantics of Alternating Time Temporal Logic based on iNCGS player strategies. In a nutshell this dissertation provides formal methodology for modeling and analyzing system robustness against both expected and erroneous human operator behaviors.