INTEGRAL CLOSURE OF RINGS OF SOLUTIONS OF LINEAR DIFFERENTIAL EQUATIONS
Proofs of integral closure of differential rings in the solution of linear differential equations
DIFFERENTIAL EQUATION↗
SEARCH · Engineering Papers
Results for “Differential”
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Functional differential systems and extension of lyapunov's method
Solutions of ordinary differential systems extended to general functional differential equations and considering stability and boundedness
FUNCTIONAL ANALYSIS↗
Dependency of constraints for differential equations
Dependency of constraints for differential equations - transformation algorithm for solving system of ordinary differential equations and constraints
LINEAR TRANSFORMATION↗
Lyapunov functions from auxiliary exact differential equations
Use of auxiliary differential equations derived from nonlinear differential equations to find Lyapunov function
DIFFERENTIAL EQUATION↗
Genomic approaches to identifying transcriptional regulators of osteoblast differentiation
Recent microarray studies of mouse and human osteoblast differentiation in vitro have identified novel transcription factors that may be important in the establishment and maintenance of differentiation. These findings help unravel the pattern of gene-expression changes that underly the complex process of bone formation.
Non-NASA Center↗
Gravity-regulated differential auxin transport from columella to lateral root cap cells
Gravity-induced root curvature has long been considered to be regulated by differential distribution of the plant hormone auxin. However, the cells establishing these gradients, and the transport mechanisms involved, remain to be identified. Here, we describe a GFP-based auxin biosensor to monitor auxin during Arabidopsis root gravitropism at cellular resolution. We identify elevated auxin levels at the root apex in columella cells, the site of gravity perception, and an asymmetric auxin flux from these cells to the lateral root cap (LRC) and toward the elongation zone after gravistimulation. We differentiate between an efflux-dependent lateral auxin transport from columella to LRC cells, and an efflux- and influx-dependent basipetal transport from the LRC to the elongation zone. We further demonstrate that endogenous gravitropic auxin gradients develop even in the presence of an exogenous source of auxin. Live-cell auxin imaging provides unprecedented insights into gravity-regulated auxin flux at cellular resolution, and strongly suggests that this flux is a prerequisite for root gravitropism.
Non-NASA Center↗
Root graviresponsiveness and cellular differentiation in wild-type and a starchless mutant of Arabidopsis thaliana
Primary roots of a starchless mutant of Arabidopsis thaliana L. are strongly graviresponsive despite lacking amyloplasts in their columella cells. The ultrastructures of calyptrogen and peripheral cells in wild-type as compared to mutant seedlings are not significantly different. The largest difference in cellular differentiation in caps of mutant and wild-type roots is the relative volume of plastids in columella cells. Plastids occupy 12.3% of the volume of columella cells in wild-type seedlings, but only 3.69% of columella cells in mutant seedlings. These results indicate that: (1) amyloplasts and starch are not necessary for root graviresponsiveness; (2) the increase in relative volume of plastids that usually accompanies differentiation of columella cells is not necessary for root graviresponsiveness; and (3) the absence of starch and amyloplasts does not affect the structure of calyptrogen (i.e. meristematic) and secretory (i.e. peripheral) cells in root caps. These results are discussed relative to proposed models for root gravitropism.
NASA Program Space Biology↗
Nuclear size as a cell-kinetic marker for osteoblast differentiation
A nuclear morphometric assay for preosteoblasts is introduced as a cell-kinetic technique, applicable to routine histological preparations of mineralized tissue. Because this method is a morphological marker for osteoblast precursor cell differentiation, it provides a new dimension for determining the mechanism of osteoblast histogenesis. Osteoblast precursors of the periodontal ligament are a mixed population of progenitors, kinetically separable into two distinct groups according to nuclear size. Preosteoblasts, the immediate proliferating precursors of osteoblasts, have large nuclei (greater than 170 micrometers3) and are derived from relatively undifferentiated fibroblastlike cells, which have smaller nuclei (less than 80 micrometers3). Increase in nuclear volume, during G1 phase of the cell cycle, is apparently a morphological manifestation of change in genomic expression. This key event in preosteoblast differentiation is related to mechanical stress/strain and may be an important rate-limiting step in osteoblast histogenesis.
Non-NASA Center↗
Multiple bit differential detection of offset QPSK
Analogous to multiple symbol differential detection of quadrature phase-shift-keying, a multiple bit differential detection scheme is described for offset QPSK that also exhibits continuous improvement in performance with increasing observation interval. Being derived from maximum-likelihood (ML) considerations, the proposed scheme is purported to be the most power efficient scheme for such a modulation and detection method.
Digital communications offset quadriphase modulati↗
Multiple bit differential detection of offset quadrature phase-shift-keying
Analogous to multiple symbol differential detectionof quadrature phase-shift-keying (QPSK), a multiple bit differential detection scheme is described for offset QPSK that also exhibits continuous improvement in performance with increasing observation interval. Being derived from maximum-likelihood (ML) considerations, the proposed scheme is purported to be the most power efficient scheme for such a modulation and detection method. Extension of the results to shaped offset QPSK is also possible.
Digital communications offset quadriphase modulati↗
Real-Time Point Positioning Performance Evaluation of Single-Frequency Receivers Using NASA's Global Differential GPS System
This paper evaluates the performance of a single-frequency receiver using the 1-Hz differential corrections as provided by NASA's global differential GPS system. While the dual-frequency user has the ability to eliminate the ionosphere error by taking a linear combination of observables, the single-frequency user must remove or calibrate this error by other means. To remove the ionosphere error we take advantage of the fact that the magnitude of the group delay in range observable and the carrier phase advance have the same magnitude but are opposite in sign. A way to calibrate this error is to use a real-time database of grid points computed by JPL's RTI (Real-Time Ionosphere) software. In both cases we evaluate the positional accuracy of a kinematic carrier phase based point positioning method on a global extent.
internet-based global differential GPS (IGDG)↗
Error Reduction Methods for Integrated-path Differential-absorption Lidar Measurements
We report new modeling and error reduction methods for differential-absorption optical-depth (DAOD) measurements of atmospheric constituents using direct-detection integrated-path differential-absorption lidars. Errors from laser frequency noise are quantified in terms of the line center fluctuation and spectral line shape of the laser pulses, revealing relationships verified experimentally. A significant DAOD bias is removed by introducing a correction factor. Errors from surface height and reflectance variations can be reduced to tolerable levels by incorporating altimetry knowledge and "log after averaging", or by pointing the laser and receiver to a fixed surface spot during each wavelength cycle to shorten the time of "averaging before log".
averging before log↗
Differential Yields and Uncertainty Assessments for Electric Propulsion Plume Impingement Sputter Redeposition Contamination
Redeposition of sputtered erosion products from electric propulsion plume impingement is a contamination concern for spacecraft. Calculation of expected deposition quantities requires accurate characterization of the angular distribution of differential yields. An evaluation of available expressions is performed as well as a derivation of an alternate form that can better match experimental measurements through more general inclusion of anisotropic effects. The derivation is extended to the dependence of the total yield on incident angle. Considerations of the inherent uncertainty in both total and differential yields and accounting of subsequent margins for end applications are also discussed.
sputtering↗
A Temporal Differential Dynamic Logic Formal Embedding
Differential dynamic logic is a formal framework to specify and reason about hybrid programs (HPs). The core of dL is a proof calculus that contains a collection of axioms and rules for the rigorous verification of properties of HPs. Recently, dL has been embedded within the theorem prover Prototype Verification System (PVS) resulting in the tool Plaidypvs2. The integration of dL into PVS expands its expressive power; user defined functions, such as trigonometric and other transcendental functions, can be used inside the dL framework, and meta-reasoning about HPs can be performed, including reasoning about entire classes of HPs, specified using dependent types in PVS. The differential temporal dynamic logic (dTL2) extends dL with temporal logic operators to reason about all the states reachable during the execution of an HP. This paper presents a work in progress focusing on embedding dTL2 in PVS as an extension of Plaidypvs. Plaidypvs is expanded with the formalization of a trace semantics for HPs, the definition of the LTL temporal operators eventually and globally, and the implementation of the proof calculus for dTL2. This new embedding has the same capabilties as Plaidypvs, which allows user defined functions and meta-reasoning of properties of HPs. To the best of the authors’ knowledge this is the first implementation of dTL2.
differential dynamic logic↗
Decision Aid for Conjunction Risk Mitigation by Differential Drag
The NASA Conjunction Assessment Risk Analysis (CARA) team has conducted are view of the historical record of high-risk conjunctions involving CARA-protected missions and evaluated whether (and how much) differential drag can provide effective mitigation. From this analysis, CARA has identified a rule of thumb: missions with perigees below 560 km capable of tripling their drag area for 72 hours(or a larger scale factor for a lesser amount of time) can reliably use differential drag to remediate high-risk events.
mission design↗
The Role of Titania Surface Coating by Atomic Layer Deposition in Improving Osteogenic Differentiation and Hard Tissue Formation of Dental Pulp Stem Cells
Recent studies have focused on modifying implant surface properties to improve bone regeneration and osseointegration. Herein, the role of titania surface coating in enabling dental pulp stem cells (DPSCs) differentiation and hard tissue formation is studied. Atomic layer deposition is applied at lower temperature to coat a nanolayer of titania onto hard and soft polybutadiene substrates without altering their moduli, to probe the effects of surface chemistry and substrate modulus. In the absence of titania, DPSCs prefer to attach and proliferate on the hard substrate, where particle-like biomineralization is present after 28 days in culture, whereas no biomineralization is observed on the soft substrate. Applying titania surface coating results in the improvement of adhesion and proliferation, regardless of substrate modulus, whereas cell and substrate moduli remain the same as control without titania coating. Furthermore, templated biomineralization is observed given the bone-like tissue composition by Raman analysis, in consistent with real time-polymerase chain reaction (RT-PCR) results showing upregulation of osteopontin (OPN) and bone sialoprotein (BSP), representing osteogenic differentiation. Furthermore, the results indicate that titania surface coating improved the ability to nucleate banded collagen fibers which in turn templated mineral deposits, and further induced the osteogenesis of DPSCs, regardless of its substrate modulus.
36 MATERIALS SCIENCE↗
Measurements of top-quark pair single- and double-differential cross-sections in the all-hadronic channel in pp collisions at $ \sqrt{\mathrm{s}} $ = 13 TeV using the ATLAS detector
Differential cross-sections are measured for top-quark pair production in the all-hadronic decay mode, using proton-proton collision events collected by the ATLAS experiment in which all six decay jets are separately resolved. Absolute and normalised single- and double-differential cross-sections are measured at particle and parton level as a function of various kinematic variables. Emphasis is placed on well-measured observables in fully reconstructed final states, as well as on the study of correlations between the top-quark pair system and additional jet radiation identified in the event. The study is performed using data from proton-proton collisions at s = 13 TeV collected by the ATLAS detector at CERN’s Large Hadron Collider in 2015 and 2016, corresponding to an integrated luminosity of 36.1 fb - 1 . The rapidities of the individual top quarks and of the top-quark pair are well modelled by several independent event generators. Significant mismodelling is observed in the transverse momenta of the leading three jet emissions, while the leading top-quark transverse momentum and top-quark pair transverse momentum are both found to be incompatible with several theoretical predictions.
72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
Differential cross-section measurements of the production of four charged leptons in association with two jets using the ATLAS detector
Differential cross-sections are measured for the production of four charged leptons in association with two jets. These measurements are sensitive to final states in which the jets are produced via the strong interaction as well as to the purely-electroweak vector boson scattering process. The analysis is performed using proton-proton collision data collected by ATLAS at $\sqrt{s}$ = 13 TeV and with an integrated luminosity of 140 fb –1 . The data are corrected for the effects of detector inefficiency and resolution and are compared to state-of-the-art Monte Carlo event generator predictions. The differential cross-sections are used to search for anomalous weak-boson self-interactions that are induced by dimension-six and dimension-eight operators in Standard Model effective field theory.
72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗