The Implication Problem for Functional and Multivalued Dependencies

Computation of the dependency basis is the fundamental step in solving the implication problem for MVDs in relational database theory. We examine this problem from an algebraic perspective. We introduce the notion of the inference basis of a set M of MVDs and show that it contains the maximum information about the logical consequences of M. We propose the notion of an MVD-lattice and develop an algebraic characterization of the inference basis using simple notions from lattice theory. We also establish several properties of MVD-lattices related to the implication problem. Founded on our characterization, we synthesize efficient algorithms for (a) computing the inference basis of a given set M of MVDs; (b) computing the dependency basis of a given attribute set w.r.t. M; and (c) solving the implication problem for MVDs. Finally, we show that our results naturally extend to incorporate FDs also in a way that enables the solution of the implication problem for both FDs and MVDs put together.

Predicting invasive species impacts: a community module functional response approach reveals context dependencies

Summary
-Predatory functional responses play integral roles in predator–prey dynamics, and their assessment promises greater understanding and prediction of the predatory impacts of invasive species.
-Other interspecific interactions, however, such as parasitism and higher-order predation, have the potential to modify predator–prey interactions and thus the predictive capability of the comparative functional response approach.
-We used a four-species community module (higher-order predator; focal native or invasive predators; parasites of focal predators; native prey) to compare the predatory functional responses of native Gammarus duebeni celticus and invasive Gammarus pulex amphipods towards three invertebrate prey species (Asellus aquaticus, Simulium spp., Baetis rhodani), thus, quantifying the context dependencies of parasitism and a higher-order fish predator on these functional responses.
-Our functional response experiments demonstrated that the invasive amphipod had a higher predatory impact (lower handling time) on two of three prey species, which reflects patterns of impact observed in the field. The community module also revealed that parasitism had context-dependent influences, for one prey species, with the potential to further reduce the predatory impact of the invasive amphipod or increase the predatory impact of the native amphipod in the presence of a higher-order fish predator.
-Partial consumption of prey was similar for both predators and occurred increasingly in the order A. aquaticus, Simulium spp. and B. rhodani. This was associated with increasing prey densities, but showed no context dependencies with parasitism or higher-order fish predator.
-This study supports the applicability of comparative functional responses as a tool to predict and assess invasive species impacts incorporating multiple context dependencies.

Spatio-temporal dependencies in functional connectivity in rodent cortical cultures

Models of functional connectivity in cortical cultures on multi-electrodes arrays may aid in understanding how cognitive pathways form and improve techniques that aim to interface with neuronal systems. To enable research on such models, this study uses both data- and model-driven approaches to determine what dependencies are present in and between functional connectivity networks derived from bursts of extracellularly recorded activity. Properties of excitation in bursts were analysed using correlative techniques to assess the degree of linear dependence and then two parallel techniques were used to assess functional connectivity. Three models presenting increasing levels of spatio-temporal dependency were used to capture the dynamics of individual functional connections and their consistencies were verified using surrogate data. By comparing network-wide properties between model generated networks and functional networks from data, complex interdependencies were revealed. This indicates the persistent co-activation of neuronal pathways in spontaneous bursts, as can be found in whole brain structures.

Phase synchronization in brain networks derived from correlation between probabilities of recurrences in functional MRI data

It is increasingly being recognized that resting state brain connectivity derived from functional magnetic resonance imaging (fMRI) data is an important marker of brain function both in healthy and clinical populations. Though linear correlation has been extensively used to characterize brain connectivity, it is limited to detecting first order dependencies. In this study, we propose a framework where in phase synchronization (PS) between brain regions is characterized using a new metric ``correlation between probabilities of recurrence'' (CPR) and subsequent graph-theoretic analysis of the ensuing networks. We applied this method to resting state fMRI data obtained from human subjects with and without administration of propofol anesthetic. Our results showed decreased PS during anesthesia and a biologically more plausible community structure using CPR rather than linear correlation. We conclude that CPR provides an attractive nonparametric method for modeling interactions in brain networks as compared to standard correlation for obtaining physiologically meaningful insights about brain function.

Advancing impact prediction and hypothesis testing in invasion ecology using a comparative functional response approach

Invasion ecology urgently requires predictive methodologies that can forecast the ecological impacts of existing, emerging and potential invasive species. We argue that many ecologically damaging invaders are characterised by their more efficient use of resources. Consequently, comparison of the classical ‘functional response’ (relationship between resource use and availability) between invasive and trophically analogous native species may allow prediction of invader ecological impact. We review the utility of species trait comparisons and the history and context of the use of functional responses in invasion ecology, then present our framework for the use of comparative functional responses. We show that functional response analyses, by describing the resource use of species over a range of resource availabilities, avoids many pitfalls of ‘snapshot’ assessments of resource use. Our framework demonstrates how comparisons of invader and native functional responses, within and between Type II and III functional responses, allow testing of the likely population-level outcomes of invasions for affected species. Furthermore, we describe how recent studies support the predictive capacity of this method; for example, the invasive ‘bloody red shrimp’ Hemimysis anomala shows higher Type II functional responses than native mysids and this corroborates, and could have predicted, actual invader impacts in the field. The comparative functional response method can also be used to examine differences in the impact of two or more invaders, two or more populations of the same invader, and the abiotic (e.g. temperature) and biotic (e.g. parasitism) context-dependencies of invader impacts. Our framework may also address the previous lack of rigour in testing major hypotheses in invasion ecology, such as the ‘enemy release’ and ‘biotic resistance’ hypotheses, as our approach explicitly considers demographic consequences for impacted resources, such as native and invasive prey species. We also identify potential challenges in the application of comparative functional responses in invasion ecology. These include incorporation of numerical responses, multiple predator effects and trait-mediated indirect interactions, replacement versus non-replacement study designs and the inclusion of functional responses in risk assessment frameworks. In future, the generation of sufficient case studies for a meta-analysis could test the overall hypothesis that comparative functional responses can indeed predict invasive species impacts.

Knowledge of A/A'-dependencies on subject extraction with two types of infinitives in non-native Portuguese adult bilingualism

Within generative L2 acquisition research there is a longstanding debate as to what underlies observable differences in L1/L2 knowledge/ performance. On the one hand, Full Accessibility approaches maintain that target L2 syntactic representations (new functional categories and features) are acquirable (e.g., Schwartz & Sprouse, 1996). Conversely, Partial Accessibility approaches claim that L2 variability and/or optionality, even at advanced levels, obtains as a result of inevitable deficits in L2 narrow syntax and is conditioned upon a maturational failure in adulthood to acquire (some) new functional features (e.g., Beck, 1998; Hawkins & Chan, 1997; Hawkins & Hattori, 2006; Tsimpli & Dimitrakopoulou, 2007). The present study tests the predictions of these two sets of approaches with advanced English learners of L2 Brazilian Portuguese (n = 21) in the domain of inflected infinitives. These advanced L2 learners reliably differentiate syntactically between finite verbs, uninflected and inflected infinitives, which, as argued, only supports Full Accessibility approaches. Moreover, we will discuss how testing the domain of inflected infinitives is especially interesting in light of recent proposals that Brazilian Portuguese colloquial dialects no longer actively instantiate them (Lightfoot, 1991; Pires, 2002, 2006; Pires & Rothman, 2009; Rothman, 2007).

JavaFMI una librería Java para el estándar Functional Mockup Interface

[ES] El estándar Functional Mockup Interface (FMI), es un estándar abierto e independiente de cualquier aplicación o herramienta que permite compartir modelos de sistemas dinámicos entre aplicaciones. Provee una interfaz escrita en lenguaje C que ha de ser implementada por las distintas herramientas exportadoras y pone en común un conjunto de funciones para manipular los modelos.
JavaFMI es una herramienta que permite utilizar simulaciones que cumplen con el estándar FMI en aplicaciones Java de una manera muy simple, limpia y eficiente. Es un proyecto open source con licencia LGPL V2.1H y su código fuente se encuentra disponible para ser clonado en la pagina del proyecto. El proyecto se encuentra alojado en www.bitbucket.org/siani/javafmi y cuenta con una página de bienvenida donde se explica como se usa la librería, una página para reportar incidencias o solicitar que se implementen nuevas historias y una página donde se listan todas las versiones que hay disponibles para descargar. JavaFMI se distribuye como un fichero zip que contiene el .jar con el código compilado de la librería una carpeta lib con las dos dependencias que tiene con librerías externas y una copia de la licencia. Comparada con JFMI, con menos lineas de código, una API limpia, expresiva y auto documentada, y un rendimiento que es un 66 % mejor, JavaFMI es objetivamente la mejor herramienta Java que existe para manipular FMUs de la versión 1.0 y 2.0 del estándar FMI.

Chow–Liu trees are sufficient predictive models for reproducing key features of functional networks of periictal EEG time-series

Seizure freedom in patients suffering from pharmacoresistant epilepsies is still not achieved in 20–30% of all cases. Hence, current therapies need to be improved, based on a more complete understanding of ictogenesis. In this respect, the analysis of functional networks derived from intracranial electroencephalographic (iEEG) data has recently become a standard tool. Functional networks however are purely descriptive models and thus are conceptually unable to predict fundamental features of iEEG time-series, e.g., in the context of therapeutical brain stimulation. In this paper we present some first steps towards overcoming the limitations of functional network analysis, by showing that its results are implied by a simple predictive model of time-sliced iEEG time-series. More specifically, we learn distinct graphical models (so called Chow–Liu (CL) trees) as models for the spatial dependencies between iEEG signals. Bayesian inference is then applied to the CL trees, allowing for an analytic derivation/prediction of functional networks, based on thresholding of the absolute value Pearson correlation coefficient (CC) matrix. Using various measures, the thus obtained networks are then compared to those which were derived in the classical way from the empirical CC-matrix. In the high threshold limit we find (a) an excellent agreement between the two networks and (b) key features of periictal networks as they have previously been reported in the literature. Apart from functional networks, both matrices are also compared element-wise, showing that the CL approach leads to a sparse representation, by setting small correlations to values close to zero while preserving the larger ones. Overall, this paper shows the validity of CL-trees as simple, spatially predictive models for periictal iEEG data. Moreover, we suggest straightforward generalizations of the CL-approach for modeling also the temporal features of iEEG signals.

Estimation of functional connectivity from electromagnetic signals and the amount of empirical data required

An increasing number of neuroimaging studies are concerned with the identification of interactions or statistical dependencies between brain areas. Dependencies between the activities of different brain regions can be quantified with functional connectivity measures such as the cross-correlation coefficient. An important factor limiting the accuracy of such measures is the amount of empirical data available. For event-related protocols, the amount of data also affects the temporal resolution of the analysis. We use analytical expressions to calculate the amount of empirical data needed to establish whether a certain level of dependency is significant when the time series are autocorrelated, as is the case for biological signals. These analytical results are then contrasted with estimates from simulations based on real data recorded with magnetoencephalography during a resting-state paradigm and during the presentation of visual stimuli. Results indicate that, for broadband signals, 50–100 s of data is required to detect a true underlying cross-correlations coefficient of 0.05. This corresponds to a resolution of a few hundred milliseconds for typical event-related recordings. The required time window increases for narrow band signals as frequency decreases. For instance, approximately 3 times as much data is necessary for signals in the alpha band. Important implications can be derived for the design and interpretation of experiments to characterize weak interactions, which are potentially important for brain processing.

From patterns to processes: Phase and density dependencies in the Canadian lynx cycle

Across the boreal forest of North America, lynx populations undergo 10-year cycles. Analysis of 21 time series from 1821 to the present demonstrates that these fluctuations are generated by nonlinear processes with regulatory delays. Trophic interactions between lynx and hares cause delayed density-dependent regulation of lynx population growth. The nonlinearity, in contrast, appears to arise from phase dependencies in hunting success by lynx through the cycle. Using a combined approach of empirical, statistical, and mathematical modeling, we highlight how shifts in trophic interactions between the lynx and the hare generate the nonlinear process primarily by shifting functional response curves during the increase and the decrease phases.

Estimation of functional connectivity from electromagnetic signals and the amount of empirical data required

An increasing number of neuroimaging studies are concerned with the identification of interactions or statistical dependencies between brain areas. Dependencies between the activities of different brain regions can be quantified with functional connectivity measures such as the cross-correlation coefficient. An important factor limiting the accuracy of such measures is the amount of empirical data available. For event-related protocols, the amount of data also affects the temporal resolution of the analysis. We use analytical expressions to calculate the amount of empirical data needed to establish whether a certain level of dependency is significant when the time series are autocorrelated, as is the case for biological signals. These analytical results are then contrasted with estimates from simulations based on real data recorded with magnetoencephalography during a resting-state paradigm and during the presentation of visual stimuli. Results indicate that, for broadband signals, 50-100 s of data is required to detect a true underlying cross-correlations coefficient of 0.05. This corresponds to a resolution of a few hundred milliseconds for typical event-related recordings. The required time window increases for narrow band signals as frequency decreases. For instance, approximately 3 times as much data is necessary for signals in the alpha band. Important implications can be derived for the design and interpretation of experiments to characterize weak interactions, which are potentially important for brain processing.

Spatial and temporal dependencies of cross-orientation suppression in human vision.

A well-known property of orientation-tuned neurons in the visual cortex is that they are suppressed by the superposition of an orthogonal mask. This phenomenon has been explained in terms of physiological constraints (synaptic depression), engineering solutions for components with poor dynamic range (contrast normalization) and fundamental coding strategies for natural images (redundancy reduction). A common but often tacit assumption is that the suppressive process is equally potent at different spatial and temporal scales of analysis. To determine whether it is so, we measured psychophysical cross-orientation masking (XOM) functions for flickering horizontal Gabor stimuli over wide ranges of spatio-temporal frequency and contrast. We found that orthogonal masks raised contrast detection thresholds substantially at low spatial frequencies and high temporal frequencies (high speeds), and that small and unexpected levels of facilitation were evident elsewhere. The data were well fit by a functional model of contrast gain control, where (i) the weight of suppression increased with the ratio of temporal to spatial frequency and (ii) the weight of facilitatory modulation was the same for all conditions, but outcompeted by suppression at higher contrasts. These results (i) provide new constraints for models of primary visual cortex, (ii) associate XOM and facilitation with the transient magno- and sustained parvostreams, respectively, and (iii) reconcile earlier conflicting psychophysical reports on XOM.

Atom transfer radical polymerisation - towards the synthesis of a fully-functional photorefractive polymer

Atom transfer radical polymerisation (ATRP) of styrene in xylene solution initiated with 1-phenylethyl bromide and mediated by CuBr/N-propyl-2- pyridinemethanimine catalyst complex was studied. The polymerisation was ill-controlled, yielding polymers with broad molecular weight distributions and values of number average molecular weight considerably higher than the theoretical values calculated from 100% initiator efficiency. The degree of control afforded over the polymerisation was enhanced by use of a more soluble catalyst complex, CuBr/N-octyl-2-pyridinemethanimine. Furthermore, the use of a more polar solvent, diglyme, generated a homogeneous catalyst complex that facilitated the production of polymers having narrow molecular weight distributions (1.10 < PDi < 1.20). The kinetics of the atom transfer radical polymerisation of methyl methacrylate at 90°C in diglyme solution initiated with ethyl-2-bromoisobutyrate and mediated by CuBr/N-octyl-2-pyridinemethanimine was studied and the orders of the reaction were established. The effect on the rate of polymerisation of the ratio of CuBr:N-octyl-2-pyridinemethanimine was also determined. The temperature dependencies of the rate of polymerisation of methyl methacrylate in diglyme solution and xylene solution were studied, and were found to be non-linear and dependent upon the polarity of the solvent. The use of highly polar aprotic solvents, such as N,N-dimethylformamide and dimethylsulphoxide, was found to be detrimental to the degree of control afforded over the polymerisation of methyl methacrylate. This was circumvented by use of a 5-fold excess, over that conventionally used, of catalyst complex. The atom transfer radical polymerisation of (4-nitrophenyl)-[3-[N-[2- (methacryloyloxy)ethyl]carbazolyl]]diazene in dimethyl sulphoxide solution was studied. Although homopolymerisation yielded only oligomers, copolymerisation of this monomer with methyl methacrylate was found to be readily achievable. Keywords: ATRP, Styrene; Methyl methacrylate; Polar solvents; Fully-functional photorefractive polymer. 2

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.