On the Nature of Temporal Variability of the Gulf Stream Path from 75° to 55°W

The response of the Gulf Stream (GS) system to atmospheric forcing is generally linked either to the basin-scale winds on the subtropical gyre or to the buoyancy forcing from the Labrador Sea. This study presents a multiscale synergistic perspective to describe the low-frequency response of the GS system. The authors identify dominant temporal variability in the North Atlantic Oscillation (NAO), in known indices of the GS path, and in the observed GS latitudes along its path derived from sea surface height (SSH) contours over the period 1993-2013. The analysis suggests that the signature of interannual variability changes along the stream's path from 75 degrees to 55 degrees W. From its separation at Cape Hatteras to the west of 65 degrees W, the variability of the GS is mainly in the near-decadal (7-10 years) band, which is missing to the east of 60 degrees W, where a new interannual (4-5 years) band peaks. The latter peak (4-5 years) was missing to the west of 65 degrees W. The region between 65 degrees and 60 degrees W seems to be a transition region. A 2-3-yr secondary peak was pervasive in all time series, including that for the NAO. This multiscale response of the GS system is supported by results from a basin-scale North Atlantic model. The near-decadal response can be attributed to similar forcing periods in the NAO signal; however, the interannual variability of 4-5 years in the eastern segment of the GS path is as yet unexplained. More numerical and observational studies are warranted to understand such causality.

Statistical Analysis of Wind Power Generation in Europe

Studies have shown that large geographical spreading can reduce the wind power variability and smooth production. It is frequently assumed that storage and interconnection can manage wind power variability and are totally flexible. However, constraints do exist. In the future more and more electricity will be provided by renewable energy sources and more electricity interconnectors will be built between European Union (EU) countries, as outlines in many of the Projects of Common Interests. It is essential to understand the correlation of wind generation throughout Europe considering power system constraints. In this study the spatial and temporal correlation of wind power production across several countries is examined in order to understand how “the wind ‘travels’ across Europe”. Three years of historical hourly wind power generation from ten EU countries is analysed to investigate the geographic diversity and time scales influence on correlation of wind power variations. Results are then compared with two other studies and show similar general characteristics of correlation between EU country pairs to identify opportunities for storage optimisation, power system operations, and trading.

Solidão e Depressão: perspetiva temporal

O presente estudo, propõe-se explorar a relação entre os constructos de solidão e depressão, contribuindo para esclarecer em que medida a primeira pode ser considerada uma entidade diagnóstica separada da depressão ou pelo contrário, apenas percebida na relação com a mesma. Pretendeu-se averiguar se existem indivíduos sem depressão que apresentem significativos níveis de solidão. Nesta análise privilegiamos, ainda, a perspetiva temporal, pretendemos verificar se há diferenças significativas na evolução do sentimento de solidão, após o período intervalar de três meses. Participaram, neste estudo, uma amostra de 60 indivíduos com idades compreendidas entre os 40 e os 86 anos, sendo a média aproximada de 52 anos. Os instrumentos utilizados para recolher os dados foram um breve Questionário Sociodemográfico; a adaptação portuguesa da Escala de Solidão da UCLA e a Escala Geriátrica de Depressão (GDS). Os dados foram submetidos a análise pelos princípios da estatística paramétrica. Neste estudo a fidedignidade global demonstrou ser elevada sendo o valor de Alpha Cronbach’s de 0,939.A hipótese central foi confirmada constatando-se que, apesar de existir uma associação estatisticamente significativa entre a solidão e a depressão, existem indivíduos sem depressão que apresentam elevados níveis de solidão (p>0,001). Não se verificou uma relação de prevalência da solidão no género feminino e a mesma foi maior em grupos etários mais elevados, no entanto, essa diferença não se revelou estatisticamente significativa. Recorrendo aos testes do qui-quadrado da independência; de concordância Kappa de cohen e ao teste t de student, concluiu-se que existe uma associação significativa de concordância moderada entre a solidão, ao longo do tempo. Esta conclusão reforça a análise da manutenção dos níveis de solidão quando não existe intervenção terapêutica específica. / This study aims to explore the relationship between the constructs of loneliness and depression, helping to clarify how far the former can be considered a separate diagnostic entity of depression or on the contrary, only perceived in relation to the same. We sought to determine whether there are individuals without depression who present significant levels of loneliness. In this analysis we also focus on the temporal perspective. We plan to check for statistically significant differences in the evolution of the feeling of loneliness after a three month period. A sample of 60 individuals aged between 40 and 86, with an average age of approximately 52, participated in this study. The instruments used to collect the data were a brief Sociodemographic Questionnaire, the Portuguese adaptation of the UCLA Loneliness Scale and the Geriatric Depression Scale (GDS). The data were subjected to an analysis based on the principles of parametric statistics. In this study the overall reliability proved to be high, Cronbach's alpha value being 0,939. A central hypothesis was confirmed verifying that, although there is a statistically significant association between loneliness and depression, there are individuals without depression presenting high levels of loneliness (p <0.001). There was no ratio of loneliness prevaling in females and the same was higher in older age groups, but this difference did not prove to be statistically significant. Using Cohen’s Kappa chi-square independance and agreement tests; and the Student t test, we concluded that there is a significant association of a moderate correlation in loneliness over time. This reinforces the analysis that loneliness levels are maintained when there is no specific therapeutic intervention.

Graph analysis of verbal fluency test discriminate between patients with Alzheimer’s disease, Mild Cognitive Impairment and normal elderly controls

Verbal fluency is the ability to produce a satisfying sequence of spoken words during a given time interval. The core of verbal fluency lies in the capacity to manage the executive aspects of language. The standard scores of the semantic verbal fluency test are broadly used in the neuropsychological assessment of the elderly, and different analytical methods are likely to extract even more information from the data generated in this test. Graph theory, a mathematical approach to analyze relations between items, represents a promising tool to understand a variety of neuropsychological states. This study reports a graph analysis of data generated by the semantic verbal fluency test by cognitively healthy elderly (NC), patients with Mild Cognitive Impairment – subtypes amnestic(aMCI) and amnestic multiple domain (a+mdMCI) - and patients with Alzheimer’s disease (AD). Sequences of words were represented as a speech graph in which every word corresponded to a node and temporal links between words were represented by directed edges. To characterize the structure of the data we calculated 13 speech graph attributes (SGAs). The individuals were compared when divided in three (NC – MCI – AD) and four (NC – aMCI – a+mdMCI – AD) groups. When the three groups were compared, significant differences were found in the standard measure of correct words produced, and three SGA: diameter, average shortest path, and network density. SGA sorted the elderly groups with good specificity and sensitivity. When the four groups were compared, the groups differed significantly in network density, except between the two MCI subtypes and NC and aMCI. The diameter of the network and the average shortest path were significantly different between the NC and AD, and between aMCI and AD. SGA sorted the elderly in their groups with good specificity and sensitivity, performing better than the standard score of the task. These findings provide support for a new methodological frame to assess the strength of semantic memory through the verbal fluency task, with potential to amplify the predictive power of this test. Graph analysis is likely to become clinically relevant in neurology and psychiatry, and may be particularly useful for the differential diagnosis of the elderly.

Whole Genome Analysis of Gene Expression Reveals Coordinated Activation of Signaling and Metabolic Pathways during Pollen-Pistil Interactions in Arabidopsis

Plant reproduction depends on the concerted activation of many genes to ensure correct communication between pollen and pistil. Here, we queried the whole transcriptome of Arabidopsis (Arabidopsis thaliana) in order to identify genes with specific reproductive functions. We used the Affymetrix ATH1 whole genome array to profile wild-type unpollinated pistils and unfertilized ovules. By comparing the expression profile of pistils at 0.5, 3.5, and 8.0 h after pollination and applying a number of statistical and bioinformatics criteria, we found 1,373 genes differentially regulated during pollen-pistil interactions. Robust clustering analysis grouped these genes in 16 time-course clusters representing distinct patterns of regulation. Coregulation within each cluster suggests the presence of distinct genetic pathways, which might be under the control of specific transcriptional regulators. A total of 78% of the regulated genes were expressed initially in unpollinated pistil and/or ovules, 15% were initially detected in the pollen data sets as enriched or preferentially expressed, and 7% were induced upon pollination. Among those, we found a particular enrichment for unknown transcripts predicted to encode secreted proteins or representing signaling and cell wall-related proteins, which may function by remodeling the extracellular matrix or as extracellular signaling molecules. A strict regulatory control in various metabolic pathways suggests that fine-tuning of the biochemical and physiological cellular environment is crucial for reproductive success. Our study provides a unique and detailed temporal and spatial gene expression profile of in vivo pollen-pistil interactions, providing a framework to better understand the basis of the molecular mechanisms operating during the reproductive process in higher plants.

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.

Graph analysis of verbal fluency test discriminate between patients with Alzheimer’s disease, Mild Cognitive Impairment and normal elderly controls

Verbal fluency is the ability to produce a satisfying sequence of spoken words during a given time interval. The core of verbal fluency lies in the capacity to manage the executive aspects of language. The standard scores of the semantic verbal fluency test are broadly used in the neuropsychological assessment of the elderly, and different analytical methods are likely to extract even more information from the data generated in this test. Graph theory, a mathematical approach to analyze relations between items, represents a promising tool to understand a variety of neuropsychological states. This study reports a graph analysis of data generated by the semantic verbal fluency test by cognitively healthy elderly (NC), patients with Mild Cognitive Impairment – subtypes amnestic(aMCI) and amnestic multiple domain (a+mdMCI) - and patients with Alzheimer’s disease (AD). Sequences of words were represented as a speech graph in which every word corresponded to a node and temporal links between words were represented by directed edges. To characterize the structure of the data we calculated 13 speech graph attributes (SGAs). The individuals were compared when divided in three (NC – MCI – AD) and four (NC – aMCI – a+mdMCI – AD) groups. When the three groups were compared, significant differences were found in the standard measure of correct words produced, and three SGA: diameter, average shortest path, and network density. SGA sorted the elderly groups with good specificity and sensitivity. When the four groups were compared, the groups differed significantly in network density, except between the two MCI subtypes and NC and aMCI. The diameter of the network and the average shortest path were significantly different between the NC and AD, and between aMCI and AD. SGA sorted the elderly in their groups with good specificity and sensitivity, performing better than the standard score of the task. These findings provide support for a new methodological frame to assess the strength of semantic memory through the verbal fluency task, with potential to amplify the predictive power of this test. Graph analysis is likely to become clinically relevant in neurology and psychiatry, and may be particularly useful for the differential diagnosis of the elderly.

Development of an historical landscape photography database to support landscape change analysis in the Northeast of Portugal

Repeat photography is an efficient, effective and useful method to identify trends of changes in the landscapes. It was used to illustrate long-term changes occurring in the landscapes. In the Northeast of Portugal, landscapes changes is currently driven mostly by agriculture abandonment and agriculture and energy policy. However, there is a need to monitoring changes in the region using a multitemporal and multiscale approach. This project aimed to establish an online repository of oblique digital photography from the region to be used to register the condition of the landscape as recorded in historical and contemporary photography over time as well as to support qualitative and quantitative assessment of change in the landscape using repeat photography techniques and methods. It involved the development of a relational database and a series of web-based services using PHP: Hypertext Preprocessor language, and the development of an interface, with Joomla, of pictures uploading and downloading by users. The repository will make possible to upload, store, search by location, theme, or date, display, and download pictures for Northeastern Portugal. The website service is devoted to help researchers to obtain quickly the photographs needed to apply RP through a developed search engine. It can be accessed at: http://esa.ipb.pt/digitalandscape/.

Factors influencing temporal changes in chemical composition of biogenic deposits in the middle Tążyna River Valley (Kuyavian Lakeland, central Poland)

The present paper discusses the influence of geochemical properties on biogenic deposits in the Wilkostowo mire near Toruń, central Poland. The analysed core has allowed the documentation of environmental changes between the older part of the Atlantic Period and the present day (probably interrupted at the turn of the Meso- and Neoholocene). In order to reconstruct the main stages in the sedimentation of biogenic deposits, we have used stratigraphic variability of selected litho-geochemical elements (organic matter, calcium carbonate, biogenic and terrigenous silica, macro- and micro-elements: Na, K, Mg, Ca, Fe, Mn, Cu, Zn, Pb, Cr and Ni). The main litho-geochemical component is CaCO 3 ; its content ranges from 4.1 per cent to 92 per cent. The variability of CaCO 3 content reflects mainly changes in hydrolog- ical and geomorphological conditions within the catchment area. The effects of prehistoric anthropogenic activities in the catchment of the River Tążyna, e.g., the use of saline water for economic purposes, are recorded in a change from calcareous gyttja into detritus-calcareous gyttja sedimentation and an increased content of lithophilous elements (Na, K, Mg and Ni) in the sediments. Principal component analysis (PCA) has enabled the distinction the most important factors that affected the chemical composition of sediments at the Wilkostowo site, i.e., mechanical and chemical den- udation processes in the catchment, changes in redox conditions, bioaccumulation of selected elements and human activity. Sediments of the Wilkostowo mire are located in the direct vicinity of an archaeological site, where traces of intensive settlement dating back to the Neolithic have been documented. The settlement phase is recorded both in li- thology and geochemical properties of biogenic deposits which fill the reservoir formed at the bottom of the Parchania Canal Valley.

A space-time hybrid hourly rainfall model for derived flood frequency analysis

For derived flood frequency analysis based on hydrological modelling long continuous precipitation time series with high temporal resolution are needed. Often, the observation network with recording rainfall gauges is poor, especially regarding the limited length of the available rainfall time series. Stochastic precipitation synthesis is a good alternative either to extend or to regionalise rainfall series to provide adequate input for long-term rainfall-runoff modelling with subsequent estimation of design floods. Here, a new two step procedure for stochastic synthesis of continuous hourly space-time rainfall is proposed and tested for the extension of short observed precipitation time series. First, a single-site alternating renewal model is presented to simulate independent hourly precipitation time series for several locations. The alternating renewal model describes wet spell durations, dry spell durations and wet spell intensities using univariate frequency distributions separately for two seasons. The dependence between wet spell intensity and duration is accounted for by 2-copulas. For disaggregation of the wet spells into hourly intensities a predefined profile is used. In the second step a multi-site resampling procedure is applied on the synthetic point rainfall event series to reproduce the spatial dependence structure of rainfall. Resampling is carried out successively on all synthetic event series using simulated annealing with an objective function considering three bivariate spatial rainfall characteristics. In a case study synthetic precipitation is generated for some locations with short observation records in two mesoscale catchments of the Bode river basin located in northern Germany. The synthetic rainfall data are then applied for derived flood frequency analysis using the hydrological model HEC-HMS. The results show good performance in reproducing average and extreme rainfall characteristics as well as in reproducing observed flood frequencies. The presented model has the potential to be used for ungauged locations through regionalisation of the model parameters.

Análise da distribuição espaço-temporal de dengue e da infestação larvária no município de Tupã, Estado de São Paulo

INTRODUÇÃO: O vírus da dengue é transmitido pela picada do mosquito Aedes aegypti e, o atual programa de controle não atinge o objetivo de impedir sua transmissão. Este trabalho objetivou analisar a relação entre a distribuição espaço-temporal de casos de dengue e os indicadores larvários no município de Tupã, de janeiro de 2004 a dezembro de 2007. MÉTODOS: Foram construídos indicadores larvários por quarteirão e totalidade do município. Utilizou-se o método cross-lagged correlation para avaliar a correlação entre casos de dengue e indicadores larvários. Foi utilizado estimador kernel para análise espacial. RESULTADOS: A correlação cruzada defasada entre casos de dengue e indicadores larvários foi significativa. Os mapas do estimador Kernel da positividade de recipientes indicam uma distribuição heterogênea, ao longo do período estudado. Nos dois anos de transmissão, a epidemia ocorreu em diferentes regiões. CONCLUSÕES: Não ficou evidenciada relação espacial entre infestação larvária e ocorrência de dengue. A incorporação de técnicas de geoprocessamento e análise espacial no programa, desde que utilizados imediatamente após a realização das atividades, podem contribuir com as ações de controle, indicando os aglomerados espaciais de maior incidência.

Motion Planning and Controls with Safety and Temporal Constraints

Motion planning, or trajectory planning, commonly refers to a process of converting high-level task specifications into low-level control commands that can be executed on the system of interest. For different applications, the system will be different. It can be an autonomous vehicle, an Unmanned Aerial Vehicle(UAV), a humanoid robot, or an industrial robotic arm. As human machine interaction is essential in many of these systems, safety is fundamental and crucial. Many of the applications also involve performing a task in an optimal manner within a given time constraint. Therefore, in this thesis, we focus on two aspects of the motion planning problem. One is the verification and synthesis of the safe controls for autonomous ground and air vehicles in collision avoidance scenarios. The other part focuses on the high-level planning for the autonomous vehicles with the timed temporal constraints. In the first aspect of our work, we first propose a verification method to prove the safety and robustness of a path planner and the path following controls based on reachable sets. We demonstrate the method on quadrotor and automobile applications. Secondly, we propose a reachable set based collision avoidance algorithm for UAVs. Instead of the traditional approaches of collision avoidance between trajectories, we propose a collision avoidance scheme based on reachable sets and tubes. We then formulate the problem as a convex optimization problem seeking control set design for the aircraft to avoid collision. We apply our approach to collision avoidance scenarios of quadrotors and fixed-wing aircraft. In the second aspect of our work, we address the high level planning problems with timed temporal logic constraints. Firstly, we present an optimization based method for path planning of a mobile robot subject to timed temporal constraints, in a dynamic environment. Temporal logic (TL) can address very complex task specifications such as safety, coverage, motion sequencing etc. We use metric temporal logic (MTL) to encode the task specifications with timing constraints. We then translate the MTL formulae into mixed integer linear constraints and solve the associated optimization problem using a mixed integer linear program solver. We have applied our approach on several case studies in complex dynamical environments subjected to timed temporal specifications. Secondly, we also present a timed automaton based method for planning under the given timed temporal logic specifications. We use metric interval temporal logic (MITL), a member of the MTL family, to represent the task specification, and provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find an optimal motion (or path) sequence for the robot to complete the task.

Variação temporal das assembleias de drosofilídeos (Diptera, Drosophilidae) na reserva ecológica do IBGE

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Biológicas, Programa de Pós-Graduação em Ecologia, 2016.

The transformed-stationary approach: a generic and simplified methodology for non-stationary extreme value analysis

Statistical approaches to study extreme events require, by definition, long time series of data. In many scientific disciplines, these series are often subject to variations at different temporal scales that affect the frequency and intensity of their extremes. Therefore, the assumption of stationarity is violated and alternative methods to conventional stationary extreme value analysis (EVA) must be adopted. Using the example of environmental variables subject to climate change, in this study we introduce the transformed-stationary (TS) methodology for non-stationary EVA. This approach consists of (i) transforming a non-stationary time series into a stationary one, to which the stationary EVA theory can be applied, and (ii) reverse transforming the result into a non-stationary extreme value distribution. As a transformation, we propose and discuss a simple time-varying normalization of the signal and show that it enables a comprehensive formulation of non-stationary generalized extreme value (GEV) and generalized Pareto distribution (GPD) models with a constant shape parameter. A validation of the methodology is carried out on time series of significant wave height, residual water level, and river discharge, which show varying degrees of long-term and seasonal variability. The results from the proposed approach are comparable with the results from (a) a stationary EVA on quasi-stationary slices of non-stationary series and (b) the established method for non-stationary EVA. However, the proposed technique comes with advantages in both cases. For example, in contrast to (a), the proposed technique uses the whole time horizon of the series for the estimation of the extremes, allowing for a more accurate estimation of large return levels. Furthermore, with respect to (b), it decouples the detection of non-stationary patterns from the fitting of the extreme value distribution. As a result, the steps of the analysis are simplified and intermediate diagnostics are possible. In particular, the transformation can be carried out by means of simple statistical techniques such as low-pass filters based on the running mean and the standard deviation, and the fitting procedure is a stationary one with a few degrees of freedom and is easy to implement and control. An open-source MAT-LAB toolbox has been developed to cover this methodology, which is available at https://github.com/menta78/tsEva/(Mentaschi et al., 2016).