1,739 research outputs found
Alien Registration- Boutin, Leo Dudace E. (Lewiston, Androscoggin County)
https://digitalmaine.com/alien_docs/30643/thumbnail.jp
Coupling techniques for nonlinear hyperbolic equations. III. The well-balanced approximation of thick interfaces
We continue our analysis of the coupling between nonlinear hyperbolic
problems across possibly resonant interfaces. In the first two parts of this
series, we introduced a new framework for coupling problems which is based on
the so-called thin interface model and uses an augmented formulation and an
additional unknown for the interface location; this framework has the advantage
of avoiding any explicit modeling of the interface structure. In the present
paper, we pursue our investigation of the augmented formulation and we
introduce a new coupling framework which is now based on the so-called thick
interface model. For scalar nonlinear hyperbolic equations in one space
variable, we observe that the Cauchy problem is well-posed. Then, our main
achievement in the present paper is the design of a new well-balanced finite
volume scheme which is adapted to the thick interface model, together with a
proof of its convergence toward the unique entropy solution (for a broad class
of nonlinear hyperbolic equations). Due to the presence of a possibly resonant
interface, the standard technique based on a total variation estimate does not
apply, and DiPerna's uniqueness theorem must be used. Following a method
proposed by Coquel and LeFloch, our proof relies on discrete entropy
inequalities for the coupling problem and an estimate of the discrete entropy
dissipation in the proposed scheme.Comment: 21 page
Development of space stable thermal control coatings for use on large space vehicles
The evaluation and environmental testing of zinc orthotitanate pigments for use as space stable thermal control coatings on large space vehicles are discussed. Electron paramagnetic resonance spectra of the pigments and their precursor compounds are examined. A continuing study of the spectral intensity of mercury-argon and mercury-xenon sources in reported. Results of long term environmental testing of commercially available, strippable, protective coatings are discussed
Targeted electroporation of defined lateral ventricular walls: a novel and rapid method to study fate specification during postnatal forebrain neurogenesis
<p>Abstract</p> <p>Background</p> <p>Postnatal olfactory bulb (OB) neurogenesis involves the generation of granule and periglomerular cells by neural stem cells (NSCs) located in the walls of the lateral ventricle (LV). Recent studies show that NSCs located in different regions of the LV give rise to different types of OB neurons. However, the molecular mechanisms governing neuronal specification remain largely unknown and new methods to approach these questions are needed.</p> <p>Results</p> <p>In this study, we refine electroporation of the postnatal forebrain as a technique to perform precise and accurate delivery of transgenes to NSCs located in distinct walls of the LV in the mouse. Using this method, we confirm and expand previous studies showing that NSCs in distinct walls of the LV produce neurons that invade different layers of the OB. Fate mapping of the progeny of radial glial cells located in these distinct LV walls reveals their specification into defined subtypes of granule and periglomerular neurons.</p> <p>Conclusions</p> <p>Our results provide a baseline with which future studies aiming at investigating the role of factors in postnatal forebrain neuronal specification can be compared. Targeted electroporation of defined LV NSC populations will prove valuable to study the genetic factors involved in forebrain neuronal specification.</p
The Impact of Dielectric Constant Model and Surface Reference on Differences Between SMOS and Aquarius Sea Surface Salinity
Two ongoing space missions share the scientific objective of mapping the global Sea Surface Salinity (SSS), yet their observations show significant discrepancies. ESA's Soil Moisture and Ocean Salinity (SMOS) and NASA's Aquarius use L-band (1.4 GHz) radiometers to measure emission from the sea surface and retrieve SSS. Significant differences in SSS retrieved by both sensors are observed, with SMOS SSS being generally lower than Aquarius SSS, except for very cold waters where SMOS SSS is the highest overall. Figure 1 is an example of the difference between the SSS retrieved by SMOS and Aquarius averaged over one month and 1 degree in longitude and latitude. Differences are mostly between -1 psu and +1 psu (psu, practical salinity unit), with a significant regional and latitudinal dependence. We investigate the impact of the vicarious calibration and retrieval algorithm used by both mission on these differences
Tactics for Reasoning modulo AC in Coq
We present a set of tools for rewriting modulo associativity and
commutativity (AC) in Coq, solving a long-standing practical problem. We use
two building blocks: first, an extensible reflexive decision procedure for
equality modulo AC; second, an OCaml plug-in for pattern matching modulo AC. We
handle associative only operations, neutral elements, uninterpreted function
symbols, and user-defined equivalence relations. By relying on type-classes for
the reification phase, we can infer these properties automatically, so that
end-users do not need to specify which operation is A or AC, or which constant
is a neutral element.Comment: 16
- …