Reasoning about change over time: Actions, events and their effects

This paper presents a new formalism for reasoning about change over time. The formalism derives a clean separation between the notion of states and situations. It allows more flexible temporal causal relationships than do other formalisms for reasoning about causal change, such as the situation calculus and the event calculus. It includes effects that start during, immediately after, or some time after their causes, and which end before, simultaneously with, or after their causes. A formal distinction between actions, action-types and events is proposed, which allows the expression of common-sense causal laws at high level. It is shown how these laws can be used to deduce state change over time at low level, when events occur under certain preconditions hold. Two problems that beset most interval-based temporal systems, i.e., the so-called dividing instant problem and intermingling problem, are absent from the formalism.

Asymptotic Change-Point Analysis of the Dependencies in Time Series

In recent papers, Wied and his coauthors have introduced change-point procedures to detect and estimate structural breaks in the correlation between time series. To prove the asymptotic distribution of the test statistic and stopping time as well as the change-point estimation rate, they use an extended functional Delta method and assume nearly constant expectations and variances of the time series. In this thesis, we allow asymptotically infinitely many structural breaks in the means and variances of the time series. For this setting, we present test statistics and stopping times which are used to determine whether or not the correlation between two time series is and stays constant, respectively. Additionally, we consider estimates for change-points in the correlations. The employed nonparametric statistics depend on the means and variances. These (nuisance) parameters are replaced by estimates in the course of this thesis. We avoid assuming a fixed form of these estimates but rather we use "blackbox" estimates, i.e. we derive results under assumptions that these estimates fulfill. These results are supplement with examples. This thesis is organized in seven sections. In Section 1, we motivate the issue and present the mathematical model. In Section 2, we consider a posteriori and sequential testing procedures, and investigate convergence rates for change-point estimation, always assuming that the means and the variances of the time series are known. In the following sections, the assumptions of known means and variances are relaxed. In Section 3, we present the assumptions for the mean and variance estimates that we will use for the mean in Section 4, for the variance in Section 5, and for both parameters in Section 6. Finally, in Section 7, a simulation study illustrates the finite sample behaviors of some testing procedures and estimates.

A generalized model for population dynamics where interactions change over time

La dinámica demográfica ha sido modelada con ecuaciones diferenciales desde que Malthus comenzó sus estudios hace más de doscientos años atrás. Los modelos convencionales siempre tratan relaciones entre especies como estáticas, denotando sólo su dependencia durante un período fijo del tiempo, aunque sea conocido que las relaciones entre especies pueden cambiar con el tiempo. Aquí proponemos un modelo para la dinámica demográfica que incorpora la evolución con el tiempo de las interacciones entre especies. Este modelo incluye una amplia gama de interacciones, de depredador-presa a las relaciones mutualistas, ya sea obligada o facultativa. El mecanismo que describimos permite la transición de una clase de relación entre especies a algún otro, según algunos parámetros externos fijados por el contexto. Estas transiciones podrían evitar la extinción de una de las especies, si esto termina por depender demasiado del ambiente o su relación con las otras especies.

Effect of time and diet change on the bacterial community structure throughout the gastrointestinal tract and in faeces of the northern brown bandicoot, Isoodon macrourus

A significant gap, in not only peramelid nutritional physiology but marsupial nutrition as a whole, is the lack of information relating to microorganisms of the gastrointestinal tract. This research is a preliminary investigation that will provide a baseline for comparisons among peramelids. The high degree of 16S rRNA gene clones identified in this research that are closely related to culturable bacteria suggests that additional research will enable a more complete description of the gastrointestinal bacteria of I. macrourus. Most identifiable clones belonged to Clostridium and Ruminococcus. This research has confirmed that the hindgut of I. macrourus, the caecum, proximal colon and distal colon, are the main sites for microbial activity.

Change-point detection in environmental time series based on the informational approach

In this study, the Schwarz Information Criterion (SIC) is applied in order to detect change-points in the time series of surface water quality variables. The application of change-point analysis allowed detecting change-points in both the mean and the variance in series under study. Time variations in environmental data are complex and they can hinder the identification of the so-called change-points when traditional models are applied to this type of problems. The assumptions of normality and uncorrelation are not present in some time series, and so, a simulation study is carried out in order to evaluate the methodology’s performance when applied to non-normal data and/or with time correlation.

Conservative management in very elderly patients with severe aortic stenosis: Time to change?

Despite current recommendations, a high percentage of patients with severe symptomatic aortic stenosis are managed conservatively. The aim of this study was to study symptomatic patients undergoing conservative management from the IDEAS registry, describing their baseline clinical characteristics, mortality, and the causes according to the reason for conservative management. Consecutive patients with severe aortic stenosis diagnosed at 48 centers during January 2014 were included. Baseline clinical characteristics, echocardiographic data, Charlson index, and EuroSCORE-II were registered, including vital status and performance of valve intervention during one-year follow-up. For the purpose of this substudy we assessed symptomatic patients undergoing conservative management, including them in 5 groups according to the reason for performing conservative management [I: comorbidity/frailty (128, 43.8%); II: dementia 18 (6.2%); III: advanced age 34 (11.6%); IV: patients’ refusal 62 (21.2%); and V: other reasons 50 (17.1%)]. We included 292 patients aged 81.5 ± 9 years. Patients from group I had higher Charlson index (4 ± 2.3), higher EuroSCORE-II (7.5 ± 6), and a higher overall (42.2%) and non-cardiac mortality (16.4%) than the other groups. In contrast, patients from group III had fewer comorbidities, lower EuroSCORE-II (4 ± 2.5), and low overall (20.6%) and non-cardiac mortality (5.9%). Patients with severe symptomatic aortic stenosis managed conservatively have different baseline characteristics and clinical course according to the reason for performing conservative management. A prospective assessment of comorbidity and other geriatric syndromes might contribute to improve therapeutic strategy in this clinical setting.

Time course of training-induced microcirculatory changes and of vegf expression in skeletal muscles of spontaneously hypertensive female rats

Exercise-induced vessel changes modulate arterial pressure (AP) in male spontaneously hypertensive rats (SHR). Vascular endothelial growth factor (VEGF) is important for angiogenesis of skeletal muscle. The present study evaluated the time course of VEGF and angiogenesis after short- and long-term exercise training of female SHR and Wistar Kyoto (WKY) rats, 8-9 weeks (200-250 g). Rats were allocated to daily training or remained sedentary for 3 days (N = 23) or 13 weeks (N = 23). After training, the carotid artery was catheterized for AP measurements. Locomotor (tibialis anterior and gracilis) and non-locomotor skeletal muscles (temporalis) were harvested and prepared for histologic and protein expression analyses. Training increased treadmill performance by all groups (SHR = 28%, WKY = 64%, 3 days) and (SHR = 141%, WKY = 122%, 13 weeks). SHR had higher values of AP than WKY (174 ± 4 vs 111 ± 2 mmHg) that were not altered by training. Three days of running increased VEGF expression (SHR = 28%, WKY = 36%) simultaneously with an increase in capillary-to-fiber ratio in gracilis muscle (SHR = 19%, WKY = 15%). In contrast, 13 weeks of training increased gracilis capillary-to-fiber ratio (SHR = 18%, WKY = 19%), without simultaneous changes in VEGF expression. Training did not change VEGF expression and capillarity of temporalis muscle. We conclude that training stimulates time- and tissue-dependent VEGF protein expression, independent of pressure levels. VEGF triggers angiogenesis in locomotor skeletal muscle shortly after the exercise starts, but is not involved in the maintenance of capillarity after long-term exercise in female rats.

Time resolved emission spectroscopy of poly(2,5-dicyano-p-phenylene-vinylene) films

Films of poly (2,5-dicyano-p-phenylene vinylene), DCNPPV, were obtained by electrochemical synthesis over gold thin layer (20 nm) transparent electrode deposited on a glass plate. The DCNPPV films of 4 µm thickness were produced by electropolymerization process of α,α,α',α'-tetrabromo-2-5-dicyano-p-xilene at different applied potentials (-0.15, -0.25, -0.40, -0.60, -0.80, and -1.0 V) using 0.1 mol L-1 of tetraethylammonium bromide in acetonitrile as the supporting electrolyte. The emission decays have three exponential components: a fast component in the picosecond range (200-400 ps), and two other of about one and five nanoseconds at 293 K. The fluorescence quenching process seems to occur by exciton trapping in a low-energy site and quenching by residual bromine monomer attached at the end of the polymer chain. However, the electrochemical synthesis generates entrapped bromide or ion pairs during the growth step of the film which also contributes to the deactivation. The change of the electrolyte from bromide to perchlorate reduces significantly this additional quenching effect by allowing ion exchange of formed bromide with the nonquenching perchloride anion.

Visual Feedforward Control in Human Locomotion During Avoidance of Obstacles that Change Size

The purpose of the current study was to understand how visual information about an ongoing change in obstacle size is used during obstacle avoidance for both lead and trail limbs. Participants were required to walk in a dark room and to step over an obstacle edged with a special tape visible in the dark. The obstacle's dimensions were manipulated one step before obstacle clearance by increasing or decreasing its size. Two increasing and two decreasing obstacle conditions were combined with seven control static conditions. Results showed that information about the obstacle's size was acquired and used to modulate trail limb trajectory, but had no effect on lead limb trajectory. The adaptive step was influenced by the time available to acquire and process visual information. In conclusion, visual information about obstacle size acquired during lead limb crossing was used in a feedforward manner to modulate trail limb trajectory.

Viral mutation and its influence in the time evolution of the immunizations

In this paper, we study the behavior of immune memory against antigenic mutation. Using a dynamic model proposed by one of the authors in a previous study (A. de Castro [Phys. J. Appl. Phys. 33, 147 (2006) and Simul. Mod. Pract. Theory. 15, 831 (2007)]), we have performed simulations of several inoculations, where in each virtual sample the viral population undergoes mutations. Our results suggest that the sustainability of the immunizations is dependent on viral variability and that the memory lifetimes are not random, what contradicts what was suggested by Tarlinton et al. [Curr. Opin. Immunol. 20, 162 (2008)]. We show that what may cause an apparent random behavior of the immune memory is the antigenic variability.

Influence of pulse repetition rate on temperature rise and working time during composite filling removal with the Er : YAG laser

Objective: The purpose of this study was to assess the efficacy of Er:YAG laser energy for composite resin removal and the influence of pulse repetition rate on the thermal alterations occurring during laser ablation. Materials and Methods: Composite resin filling was placed in cavities (1.0 mm deep) prepared in bovine teeth and the specimens were randomly assigned to five groups according to the technique used for composite filling removal. In group I (controls), the restorations were removed using a high-speed diamond bur. In the other groups, the composite fillings were removed using an Er: YAG laser with different pulse repetition rates: group 2-2 Hz; group 3-4 Hz; group 4-6 Hz; and group 5-10 Hz. The time required for complete removal of the restorative material and the temperature changes were recorded. Results: Temperature rise during composite resin removal with the Er: YAG laser occurred in the substrate underneath the restoration and was directly proportional to the increase in pulse repetition rate. None of the groups had a temperature increase during composite filling removal of more than 5.6 degrees C, which is considered the critical point above which irreversible thermal damage to the pulp may result. Regarding the time for composite filling removal, all the laser-ablated groups (except for group 5 [10 Hz]) required more time than the control group for complete elimination of the material from the cavity walls. Conclusion: Under the tested conditions, Er: YAG laser irradiation was efficient for composite resin ablation and did not cause a temperature increase above the limit considered safe for the pulp. Among the tested pulse repetition rates, 6 Hz produced minimal temperature change compared to the control group (high-speed bur), and allowed composite filling removal within a time period that is acceptable for clinical conditions.

Numerical evidence against a conjecture on the cover time of planar graphs

We investigate a conjecture on the cover times of planar graphs by means of large Monte Carlo simulations. The conjecture states that the cover time tau (G(N)) of a planar graph G(N) of N vertices and maximal degree d is lower bounded by tau (G(N)) >= C(d)N(lnN)(2) with C(d) = (d/4 pi) tan(pi/d), with equality holding for some geometries. We tested this conjecture on the regular honeycomb (d = 3), regular square (d = 4), regular elongated triangular (d = 5), and regular triangular (d = 6) lattices, as well as on the nonregular Union Jack lattice (d(min) = 4, d(max) = 8). Indeed, the Monte Carlo data suggest that the rigorous lower bound may hold as an equality for most of these lattices, with an interesting issue in the case of the Union Jack lattice. The data for the honeycomb lattice, however, violate the bound with the conjectured constant. The empirical probability distribution function of the cover time for the square lattice is also briefly presented, since very little is known about cover time probability distribution functions in general.

Physical signatures of discontinuities of the time-dependent exchange-correlation potential

The exact exchange-correlation (XC) potential in time-dependent density-functional theory (TDDFT) is known to develop steps and discontinuities upon change of the particle number in spatially confined regions or isolated subsystems. We demonstrate that the self-interaction corrected adiabatic local-density approximation for the XC potential has this property, using the example of electron loss of a model quantum well system. We then study the influence of the XC potential discontinuity in a real-time simulation of a dissociation process of an asymmetric double quantum well system, and show that it dramatically affects the population of the resulting isolated single quantum wells. This indicates the importance of a proper account of the discontinuities in TDDFT descriptions of ionization, dissociation or charge transfer processes.

Inference of gene regulatory networks from time series by Tsallis entropy

Background: The inference of gene regulatory networks (GRNs) from large-scale expression profiles is one of the most challenging problems of Systems Biology nowadays. Many techniques and models have been proposed for this task. However, it is not generally possible to recover the original topology with great accuracy, mainly due to the short time series data in face of the high complexity of the networks and the intrinsic noise of the expression measurements. In order to improve the accuracy of GRNs inference methods based on entropy (mutual information), a new criterion function is here proposed. Results: In this paper we introduce the use of generalized entropy proposed by Tsallis, for the inference of GRNs from time series expression profiles. The inference process is based on a feature selection approach and the conditional entropy is applied as criterion function. In order to assess the proposed methodology, the algorithm is applied to recover the network topology from temporal expressions generated by an artificial gene network (AGN) model as well as from the DREAM challenge. The adopted AGN is based on theoretical models of complex networks and its gene transference function is obtained from random drawing on the set of possible Boolean functions, thus creating its dynamics. On the other hand, DREAM time series data presents variation of network size and its topologies are based on real networks. The dynamics are generated by continuous differential equations with noise and perturbation. By adopting both data sources, it is possible to estimate the average quality of the inference with respect to different network topologies, transfer functions and network sizes. Conclusions: A remarkable improvement of accuracy was observed in the experimental results by reducing the number of false connections in the inferred topology by the non-Shannon entropy. The obtained best free parameter of the Tsallis entropy was on average in the range 2.5 <= q <= 3.5 (hence, subextensive entropy), which opens new perspectives for GRNs inference methods based on information theory and for investigation of the nonextensivity of such networks. The inference algorithm and criterion function proposed here were implemented and included in the DimReduction software, which is freely available at http://sourceforge.net/projects/dimreduction and http://code.google.com/p/dimreduction/.

TESTING STATISTICAL HYPOTHESIS ON RANDOM TREES AND APPLICATIONS TO THE PROTEIN CLASSIFICATION PROBLEM

Efficient automatic protein classification is of central importance in genomic annotation. As an independent way to check the reliability of the classification, we propose a statistical approach to test if two sets of protein domain sequences coming from two families of the Pfam database are significantly different. We model protein sequences as realizations of Variable Length Markov Chains (VLMC) and we use the context trees as a signature of each protein family. Our approach is based on a Kolmogorov-Smirnov-type goodness-of-fit test proposed by Balding et at. [Limit theorems for sequences of random trees (2008), DOI: 10.1007/s11749-008-0092-z]. The test statistic is a supremum over the space of trees of a function of the two samples; its computation grows, in principle, exponentially fast with the maximal number of nodes of the potential trees. We show how to transform this problem into a max-flow over a related graph which can be solved using a Ford-Fulkerson algorithm in polynomial time on that number. We apply the test to 10 randomly chosen protein domain families from the seed of Pfam-A database (high quality, manually curated families). The test shows that the distributions of context trees coming from different families are significantly different. We emphasize that this is a novel mathematical approach to validate the automatic clustering of sequences in any context. We also study the performance of the test via simulations on Galton-Watson related processes.