We present a mathematical analysis of the asymptotic preserving scheme proposed in [M. Lemou and L. Mieussens, SIAM J. Sci. Comput., 31, pp. 334–368, 2008] for linear transport equations in kinetic and diffusive regimes. We prove that the scheme is uniformly stable and accurate with respect to the mean free path of the particles. This property is satisfied under an explicitly given CFL conditio...

Many problems in interprocedural program analysis can be modeled as the context-free language (CFL) reachability problem on graphs and solved cubic time. Despite years of efforts, there are no known truly sub-cubic algorithms for this problem. We study related certification task: given an instance CFL reachability, small efficiently checkable certificates existence non-existence a path? show th...

Background: There is growing interest in developing non-pharmacological treatments to address the cognitive deficits apparent in Parkinson’s disease dementia and dementia with Lewy bodies. Cognitive rehabilitation is a goal-oriented behavioural intervention which focuses on improving everyday functioning through management of cognitive difficulties; it has been shown to be effective in Alzheime...

BACKGROUND There is growing interest in developing non-pharmacological treatments to address the cognitive deficits apparent in Parkinson's disease dementia and dementia with Lewy bodies. Cognitive rehabilitation is a goal-oriented behavioural intervention which focuses on improving everyday functioning through management of cognitive difficulties; it has been shown to be effective in Alzheimer...

We study color superconductivity in external magnetic field. We discuss the reason why the mixing angles in color-flavor locked (CFL) and two-flavor superconductivity (2SC) phases are different despite the fact that the CFL gap goes to the 2SC gap for ms → ∞. Although flavor symmetry is explicitly broken in external magnetic field, we show that all values of gaps in their coset spaces of possib...

BACKGROUND Despite the numerous in-vitro studies on the mechanical properties and simulated injury mechanisms of the anterior talofibular ligament (ATFL) and calcaneofibular ligament (CFL), the in-vivo biomechanical behavior of these two ligaments has not yet been described. METHODS Apparent length of the ATFL and CFL was measured in four ankles in healthy male subjects between 32 and 45 year...

Landslide tsunamis and impulse waves are hazardous events with severe socioeconomic impacts. A long standing problem simulations of these is the generation stage, where landslides water interact. Depth-averaged models like Saint-Venant or Boussinesq Equations lose their validity for such applications. Therefore, we have to rely on a full treatment hydrodynamics, instance by applying Navier-Stok...

In addition to the most recently reported aerobic anoxygenic phototrophic bacterium Chloroacidobacterium thermophilium [1], five phyla of phototrophic bacteria have been reported, including four phyla anoxygenic phototrophic bacteria (anaerobic and aerobic anoxygenic phototrophic Proteobacteria, filamentous anoxygenic phototrophs (FAPs), green sulfur bacteria and heliobacteria) and oxygenic pho...

Lewy body-related disorders are characterized by the presence of Lewy bodies and Lewy neurites, which have abnormal aggregations of α-synuclein in the nigral and extranigral areas, including in the heart. (123)I-metaiodobenzylguanidine (MIBG) scintigraphy is a well-known tool to evaluate cardiac sympathetic denervation in the Lewy body-related disorders. MIBG scintigraphy showed low uptake of M...