1,180 research outputs found

    Plasticity, and Its Limits, in Adult Human Primary Visual Cortex

    Get PDF
    There is an ongoing debate about whether adult human primary visual cortex (V1) is capable of large-scale cortical reorganization in response to bilateral retinal lesions. Animal models suggest that the visual neural circuitry maintains some plasticity through adulthood, and there are also a few human imaging studies in support this notion. However, the interpretation of these data has been brought into question, because there are factors besides cortical reorganization, such as the presence of sampling bias and/or the unmasking of task-dependent feedback signals from higher level visual areas, that could also explain the results. How reasonable would it be to accept that adult human V1 does not reorganize itself in the face of disease? Here, we discuss new evidence for the hypothesis that adult human V1 is not as capable of reorganization as in animals and juveniles, because in adult humans, cortical reorganization would come with costs that outweigh its benefits. These costs are likely functional and visible in recent experiments on adaptation — a rapid, short-term form of neural plasticity — where they prevent reorganization from being sustained over the long term

    Coupling ecological and social network models to assess “transmission” and “contagion” of an aquatic invasive species

    Get PDF
    Network analysis is used to address diverse ecological, social, economic, and epidemiological questions, but few efforts have been made to combine these field-specific analyses into interdisciplinary approaches that effectively address how complex systems are interdependent and connected to one another. Identifying and understanding these cross-boundary connections improves natural resource management and promotes proactive, rather than reactive, decisions. This research had two main objectives; first, adapt the framework and approach of infectious disease network modeling so that it may be applied to the socio-ecological problem of spreading aquatic invasive species, and second, use this new coupled model to simulate the spread of the invasive Chinese mystery snail (Bellamya chinensis) in a reservoir network in Southeastern Nebraska, USA. The coupled model integrates an existing social network model of how anglers move on the landscape with new reservoir-specific ecological network models. This approach allowed us to identify 1) how angler movement among reservoirs aids in the spread of B. chinensis, 2) how B. chinensis alters energy flows within individual-reservoir food webs, and 3) a new method for assessing the spread of any number of non-native or invasive species within complex, social-ecological systems

    Parameterised Counting in Logspace

    Get PDF
    Logarithmic space bounded complexity classes such as L and NL play a central role in space bounded computation. The study of counting versions of these complexity classes have lead to several interesting insights into the structure of computational problems such as computing the determinant and counting paths in directed acyclic graphs. Though parameterised complexity theory was initiated roughly three decades ago by Downey and Fellows, a satisfactory study of parameterised logarithmic space bounded computation was developed only in the last decade by Elberfeld, Stockhusen and Tantau (IPEC 2013, Algorithmica 2015). In this paper, we introduce a new framework for parameterised counting in logspace, inspired by the parameterised space bounded models developed by Elberfeld, Stockhusen and Tantau (IPEC 2013, Algorithmica 2015). They defined the operators para_W and para_? for parameterised space complexity classes by allowing bounded nondeterminism with multiple-read and read-once access, respectively. Using these operators, they characterised the parameterised complexity of natural problems on graphs. In the spirit of the operators para_W and para_? by Stockhusen and Tantau, we introduce variants based on tail-nondeterminism, para_{W[1]} and para_{?tail}. Then, we consider counting versions of all four operators applied to logspace and obtain several natural complete problems for the resulting classes: counting of paths in digraphs, counting first-order models for formulas, and counting graph homomorphisms. Furthermore, we show that the complexity of a parameterised variant of the determinant function for (0,1)-matrices is #para_{?tail} L-hard and can be written as the difference of two functions in #para_{?tail} L. These problems exhibit the richness of the introduced counting classes. Our results further indicate interesting structural characteristics of these classes. For example, we show that the closure of #para_{?tail} L under parameterised logspace parsimonious reductions coincides with #para_? L, that is, modulo parameterised reductions, tail-nondeterminism with read-once access is the same as read-once nondeterminism. Initiating the study of closure properties of these parameterised logspace counting classes, we show that all introduced classes are closed under addition and multiplication, and those without tail-nondeterminism are closed under parameterised logspace parsimonious reductions. Also, we show that the counting classes defined can naturally be characterised by parameterised variants of classes based on branching programs in analogy to the classical counting classes. Finally, we underline the significance of this topic by providing a promising outlook showing several open problems and options for further directions of research

    Parameterised Counting in Logspace

    Get PDF
    Logarithmic space-bounded complexity classes such as L and NL play a central role in space-bounded computation. The study of counting versions of these complexity classes have lead to several interesting insights into the structure of computational problems such as computing the determinant and counting paths in directed acyclic graphs. Though parameterised complexity theory was initiated roughly three decades ago by Downey and Fellows, a satisfactory study of parameterised logarithmic space-bounded computation was developed only in the last decade by Elberfeld, Stockhusen and Tantau (IPEC 2013, Algorithmica 2015). In this paper, we introduce a new framework for parameterised counting in logspace, inspired by the parameterised space-bounded models developed by Elberfeld, Stockhusen and Tantau. They defined the operators paraW and paraβ for parameterised space complexity classes by allowing bounded nondeterminism with multiple-read and read-once access, respectively. Using these operators, they characterised the parameterised complexity of natural problems on graphs. In the spirit of the operators paraW and paraβ by Stockhusen and Tantau, we introduce variants based on tail-nondeterminism, paraW[1] and paraβtail. Then, we consider counting versions of all four operators and apply them to the class L. We obtain several natural complete problems for the resulting classes: counting of paths in digraphs, counting first-order models for formulas, and counting graph homomorphisms. Furthermore, we show that the complexity of a parameterised variant of the determinant function for (0, 1)-matrices is # paraβtailL-hard and can be written as the difference of two functions in # paraβtailL. These problems exhibit the richness of the introduced counting classes. Our results further indicate interesting structural characteristics of these classes. For example, we show that the closure of # paraβtailL under parameterised logspace parsimonious reductions coincides with # paraβL. In other words, in the setting of read-once access to nondeterministic bits, tail-nondeterminism coincides with unbounded nondeterminism modulo parameterised reductions. Initiating the study of closure properties of these parameterised logspace counting classes, we show that all introduced classes are closed under addition and multiplication, and those without tail-nondeterminism are closed under parameterised logspace parsimonious reductions. Finally, we want to emphasise the significance of this topic by providing a promising outlook highlighting several open problems and directions for further research

    Preserved retinotopic brain connectivity in macular degeneration

    Get PDF
    PURPOSE: The eye disease macular degeneration (MD) is a leading cause of blindness worldwide. There is no cure for MD, but several promising treatments aimed at restoring vision at the level of the retina are currently under investigation. These treatments assume that the patient's brain can still process appropriately the retinal input once it is restored, but whether this assumption is correct has yet to be determined. METHODS: We used functional magnetic resonance imaging (fMRI) and connective field modelling to determine whether the functional connectivity between the input-deprived portions of primary visual cortex (V1) and early extrastriate areas (V2/3) is still retinotopically organised. Specifically, in both patients with juvenile macular degeneration and age-matched controls with simulated retinal lesions, we assessed the extent to which the V1-referred connective fields of extrastriate voxels, as estimated on the basis of spontaneous fMRI signal fluctuations, adhered to retinotopic organisation. RESULTS: We found that functional connectivity between the input-deprived portions of visual areas V1 and extrastriate cortex is still largely retinotopically organised in MD, although on average less so than in controls. Patients with stable fixation exhibited normal retinotopic connectivity, however, suggesting that for the patients with unstable fixation, eye-movements resulted in spurious, homogeneous signal modulations across the entire input-deprived cortex, which would have hampered our ability to assess their spatial structure of connectivity. CONCLUSIONS: Despite the prolonged loss of visual input due to MD, the cortico-cortical connections of input-deprived visual cortex remain largely intact. This suggests that the restoration of sight in macular degeneration can rely on a largely unchanged retinotopic representation in early visual cortex following loss of central retinal function

    Counterexamples to the discrete and continuous weighted Weiss conjectures

    No full text
    Counterexamples are presented to weighted forms of the Weiss conjecture in discrete and continuous time. In particular, for certain ranges of α\alpha, operators are constructed that satisfy a given resolvent estimate, but fail to be α\alpha-admissible. For α(1,0)\alpha \in (-1,0) the operators constructed are normal, while for α(0,1)\alpha \in (0,1) the operator is the unilateral shift on the Hardy space H2(D)H^2(\mathbb{D}).Comment: 16 page

    HaliVer: Deductive Verification and Scheduling Languages Join Forces

    Get PDF
    The HALIVER tool integrates deductive verification into the popular scheduling language HALIDE, used for image processing pipelines and array computations. HALIVER uses VERCORS, a separation logic-based verifier, to verify the correctness of (1) the HALIDE algorithms and (2) the optimised parallel code produced by HALIDE when an optimisation schedule is applied to an algorithm. This allows proving complex, optimised code correct while reducing the effort to provide the required verification annotations. For both approaches, the same specification is used. We evaluated the tool on several optimised programs generated from characteristic HALIDE algorithms, using all but one of the essential scheduling directives available in HALIDE. Without annotation effort, HALIVER proves memory safety in almost all programs. With annotations HALIVER, additionally, proves functional correctness properties. We show that the approach is viable and reduces the manual annotation effort by an order of magnitude

    The Caffeine Dose Response in Habitual Consumers Performing a Maximal Anaerobic Test

    Get PDF
    Please view abstract in the attached PDF fil

    Imaging of Chemical Kinetics at the Water-Water Interface in a Free-Flowing Liquid Flat-Jet

    Get PDF
    We present chemical kinetics measurements of the luminol oxidation chemiluminescence (CL) reaction at the interface between two aqueous solutions, using liquid jet technology. Free-flowing liquid microjets are a relatively recent development that have found their way into a growing number of applications in spectroscopy and dynamics. A variant thereof, called flat-jet, is obtained when two cylindrical jets of a liquid are crossed, leading to a chain of planar leaf-shaped structures of the flowing liquid. We here show that in the first leaf of this chain, the fluids do not exhibit turbulent mixing, providing a clean interface between the liquids from the impinging jets. We also show, using the example of the luminol CL reaction, how this setup can be used to obtain kinetics information from friction-less flow and by circumventing the requirement for rapid mixing by intentionally suppressing all turbulent mixing and instead relying on diffusion

    Ruthenacycles and Iridacycles as Catalysts for Asymmetric Transfer Hydrogenation and Racemisation

    Get PDF
    Ruthenacycles, which are easily prepared in a single step by reaction between enantiopure aromatic amines and [Ru(arene)Cl2]2 in the presence of NaOH and KPF6, are very good asymmetric transfer hydrogenation catalysts. A range of aromatic ketones were reduced using isopropanol in good yields with ee’s up to 98%. Iridacycles, which are prepared in similar fashion from [IrCp*Cl2]2 are excellent catalysts for the racemisation of secondary alcohols and chlorohydrins at room temperature. This allowed the development of a new dynamic kinetic resolution of chlorohydrins to the enantiopure epoxides in up to 90% yield and 98% enantiomeric excess (ee) using a mutant of the enzyme Haloalcohol dehalogenase C and an iridacycle as racemisation catalyst.
    corecore