A generalization and short proof of a theorem of Hano on affine vector fields

We prove that a bounded affine vector field on a complete Finsler manifold is a Killing vector field. This generalizes the analogous result of Hano for Riemannian manifolds. Even though our result is more general, the proof is significantly simpler.Comment: 3 page

Stability of Time Delay Feedback Controls of Dynamical Systems

Tato diplomová práce pojednává o stabilitě zpětně-vazebných řízení dynamických systémů s časovým zpozděním, speciálně řízení mechanických oscilátorů. Dva základní druhy řízení jsou užity v lineárních systémech. Dále je zde ukázána synchronizace dvouprvkových systémů užitím zpětně-vazebných řízení. Práce se také zabývá funkcí v MATLABu pro řešení zpožděných diferenciálních rovnic.This diploma thesis deals with stability of time delay feedback controls of dynamical systems, especially controls of mechanical oscillators. Two basic types of controls are applied to linear systems. Further, synchronisation of coupled systems by use of time delay feedback controls is shown. The thesis also discusses a MATLAB solver for delay differential equations.

On Soot Sampling: Considerations when Sampling for TEM Imaging and Differential Mobility Spectrometer

Particulate matter (PM) has been sampled from a compression ignition engine using a differential mobility spectrometer (Cambustion DMS 500) and for imaging in a transmission electron microscope (TEM) with the aim of coupling these two measuring techniques. A known issue when coupling these two methods is that a devise like the DMS samples all PM, and the TEM only soot. To help resolve this issue, a thermal denuder was designed and built to remove all volatile organic compounds (VOC) from the sample prior to entering the DMS. For TEM imaging, soot was either collected directly onto a TEM grid using the thermophoretic effect or collected onto quartz filters with the soot then transferred onto the TEM grids. The direct to grid technique did not work after the denuder due to the gas temperature being too low for the thermophoretic effect; hence the reason to collect some soot using the quartz filters. Soot was removed from the filters using an ethanol wash/sonication technique. Morphology; diameter of gyration, projected area, primary particle size and fractal dimension have been compared between the two TEM sampling techniques, with or without the denuder. Denuder effectiveness has been assessed using TGA analysis of sampled soot. Issues concerning the sampling process itself are outlined. A comparison between the TEM and the DMS results is conducted with the discrepancies between them discussed. Direct and filter sampling gave similar results as long as the sonication process and grid prep is done properly, otherwise the filter wash technique results in a number of clusters of agglomerates which distorts the post processing and morphological data

Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance

Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refinements are bidirectional, leading to a straightforward proof of decidability of typechecking even in the presence of intersection types. Because we insist on canonical forms, structural rules for subtyping can now be derived rather than being assumed as primitive. We illustrate the expressive power of our system with examples and validate its design by demonstrating a precise correspondence with traditional presentations of subtyping. Proof irrelevance provides a mechanism for selectively hiding the identities of terms in type theories. We show that LF refinement types can be interpreted as predicates using proof irrelevance, establishing a uniform relationship between two previously studied concepts in type theory. The interpretation and its correctness proof are surprisingly complex, lending support to the claim that refinement types are a fundamental construct rather than just a convenient surface syntax for certain uses of proof irrelevance

Dispersal of aquatic and terrestrial organisms by waterbirds: A review of current knowledge and future priorities

1. We review progress in our understanding of the importance of waterbirds as dispersal vectors of other organisms, and identify priorities for further research. 2. Waterbirds are excellent for long-distance dispersal (LDD), whereas other vectors such as fish and mammals disperse similar propagules, but over shorter distances. Empirical studies of internal and external transport by waterbirds have shown that the former mechanism generally is more important. Internal transport is widely recognised for aquatic plants and aquatic invertebrates with resting eggs, but also is important for other organisms (e.g., terrestrial flowering plants not dispersed by frugivores, bryophytes, tardigrades, fish eggs). 3. Waterbird vectors also are important in terrestrial habitats, and provide connectivity across terrestrial–aquatic boundaries. There are important differences in the roles of different waterbird species, especially those using different habitats along the aquatic–terrestrial gradient. Early attempts to predict zoochory based on propagule morphology have been found wanting, and more research is needed into how the traits of vectors and vectored organisms (including life history, dormancy and growth traits) explain dispersal interactions. Experimental studies have focused on the potential of propagules to survive internal or external transport, and research into factors determining the establishment success of propagules after dispersal is lacking. 4. Recent spatially explicit models of seed dispersal by waterbirds should be expanded to include invertebrate dispersal, and to compare multiple bird species in the same landscape. Network approaches have been applied to plant–waterbird dispersal interactions, and these are needed for invertebrates. Genetic studies support effective LDD of plants and invertebrates along waterbird flyways, but there remains a lack of examples at a local scale. Next Generation Sequencing and genomics should be applied to waterbird-mediated dispersal across the landscape. More studies of biogeography, community ecology, or population genetics should integrate waterbird movements at the design stage. 5. Zoochory research has paid little attention to the dispersal of non-pathogenic microbes (both eukaryotic and prokaryotic). Nevertheless, there is evidence that dispersal via avian guts can be central to the connectivity of aquatic microbial metacommunities. More work on microbial dispersal by waterbirds should explore its implications for biogeochemistry, and the interchange with gut flora of other aquatic organisms. In the Anthropocene, the role of migratory waterbirds in LDD of plants and other organisms is particularly important, for example in compensating for loss of large migratory mammals and fish, allowing native species to adjust their distributions under global warming, and spreading alien species along flyways after their initial introductions by human vectors. Recent technological advances have opened exciting opportunities that should be fully exploited to further our understanding of dispersal by waterbirds.AJG was supported by projects from the Ministerio de Ciencia e Innovación (PID2020-112774GB-I00/AEI/10.13039/501100011033) and Ministerio de Economía y Competitividad (CGL2016-76067-P). ESG received the grant RYC2019-027216-I funded by MCIN/AEI/10.13039/501100011033 and from ESF Investing in your future. GGS received a postdoctoral fellowship from CNPq (grant no. 150887/2022-1) ÁLK was supported by a János Bolyai Research Scholarship of the Hungarian Academy of Sciences, New National Excellence Programme of the Ministry of Innovation and Technology ÚNKP-21-5-DE-457, NKFIH FK-138698 grants

Mindfulness and Behavior Change

Initiating and maintaining behavior change is key to the prevention and treatment of most preventable chronic medical and psychiatric illnesses. The cultivation of mindfulness, involving acceptance and nonjudgment of present-moment experience, often results in transformative health behavior change. Neural systems involved in motivation and learning have an important role to play. A theoretical model of mindfulness that integrates these mechanisms with the cognitive, emotional, and self-related processes commonly described, while applying an integrated model to health behavior change, is needed. This integrative review (1) defines mindfulness and describes the mindfulness-based intervention movement, (2) synthesizes the neuroscience of mindfulness and integrates motivation and learning mechanisms within a mindful self-regulation model for understanding the complex effects of mindfulness on behavior change, and (3) synthesizes current clinical research evaluating the effects of mindfulness-based interventions targeting health behaviors relevant to psychiatric care. The review provides insight into the limitations of current research and proposes potential mechanisms to be tested in future research and targeted in clinical practice to enhance the impact of mindfulness on behavior change

Endozoochory of large bryophyte fragments by waterbirds

Dispersal is a fundamental requirement for all organisms, indeed theoretical arguments show that dispersal is still required even in a uniform and predictable environment, and it is obviously a key mechanism by which plants respond to climate change (Hamilton & May, 1977; Huntley & Webb, 1989). In bryophytes, spores provide an especially important means of dispersal (Glime, 2014; Porley & Hodgetts, 2005), and are often small enough to potentially be moved between continents in the atmosphere (Wilkinson et al, 2012). However, waterbirds are also major vectors for a broad range of plant types (Green et al., 2016), and it is likely that bryophyte spores are dispersed by migratory waterbirds, both by epizoochory (external dispersal on plumage or feet) and endozoochory (internal dispersal after ingestion and survival of transit through the gut). Indeed, Proctor (1961) showed experimentally that spores of the liverwort Riella americana survive gut passage through Mallards (Anas platyrhynchos)

Nogo-Receptors NgR1 and NgR2 Do Not Mediate Regulation of CD4 T Helper Responses and CNS Repair in Experimental Autoimmune Encephalomyelitis

Myelin-associated inhibition of axonal regrowth after injury is considered one important factor that contributes to regeneration failure in the adult central nervous system (CNS). Blocking strategies targeting this pathway have been successfully applied in several nerve injury models, including experimental autoimmune encephalomyelitis (EAE), suggesting myelin-associated inhibitors (MAIs) and functionally related molecules as targets to enhance regeneration in multiple sclerosis. NgR1 and NgR2 were identified as interaction partners for the myelin proteins Nogo-A, MAG and OMgp and are probably mediating their growth-inhibitory effects on axons, although the in vivo relevance of this pathway is currently under debate. Recently, alternative functions of MAIs and NgRs in the regulation of immune cell migration and T cell differentiation have been described. Whether and to what extent NgR1 and NgR2 are contributing to Nogo and MAG-related inhibition of neuroregeneration or immunomodulation during EAE is currently unknown. Here we show that genetic deletion of both receptors does not promote functional recovery during EAE and that NgR1 and NgR2-mediated signals play a minor role in the development of CNS inflammation. Induction of EAE in Ngr1/2-double mutant mice resulted in indifferent disease course and tissue damage when compared to WT controls. Further, the development of encephalitogenic CD4+ Th1 and Th17 responses was unchanged. However, we observed a slightly increased leukocyte infiltration into the CNS in the absence of NgR1 and NgR2, indicating that NgRs might be involved in the regulation of immune cell migration in the CNS. Our study demonstrates the urgent need for a more detailed knowledge on the multifunctional roles of ligands and receptors involved in CNS regeneration failure

Translation and validation of non-English versions of the Ankylosing Spondylitis Quality of Life (ASQOL) questionnaire

BACKGROUND: The Ankylosing Spondylitis Quality of Life (ASQOL) questionnaire is a unidimensional, disease-specific measure developed in the UK and the Netherlands. This study describes its adaptation into other languages. METHODS: The UK English ASQOL was translated into US English; Canadian French and English; French; German; Italian; Spanish; and Swedish (dual-panel methods). Cognitive debriefing interviews were conducted with AS patients. Psychometric/scaling properties were assessed using data from two Phase III studies of adalimumab. Baseline and Week-2 data were used to assess test-retest reliability. Validity was determined by correlation of ASQOL with SF-36 and BASFI and by discriminative ability of ASQOL based on disease severity. Item response theory (Rasch model) was used to test ASQOL's scaling properties. RESULTS: Cognitive debriefing showed the new ASQOL versions to be clear, relevant and comprehensive. Sample sizes varied, but were sufficient for: psychometric/scaling assessment for US English and Canadian English; psychometric but not scaling analyses for German; and preliminary evidence of these properties for the remaining languages. Test-retest reliability and Cronbach's alpha coefficients were high: US English (0.85, 0.85), Canadian English (0.87, 0.86), and German (0.77, 0.79). Correlations of ASQOL with SF-36 and BASFI for US English, Canadian English, and German measures were moderate, but ASQOL discriminated between patients based on perceived disease severities (p < 0.01). Results were comparable for the other languages. US English and Canadian English exhibited fit to the Rasch model (non-significant p-values: 0.54, 0.68), confirming unidimensionality. CONCLUSION: The ASQOL was successfully translated into all eight languages. Psychometric properties were excellent for US English, Canadian English, and German, and extremely promising for the other languages