ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Other Sources  (91)
  • 2015-2019  (78)
  • 1995-1999  (13)
Collection
Source
Keywords
Publisher
Language
Years
Year
  • 1
    facet.materialart.
    Unknown
    Further seismic properties of a spring-block earthquake model (1999)
    In:  Geophys. J. Int., Luxembourg, EGS-Gauthier-Villars, vol. 139, no. 2, pp. 410-418, pp. L23303
    Details
    Publication Date: 1999
    Keywords: Modelling ; Statistical investigations ; SOC ; Seismicity ; GJI
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    BIBLIOGRAPHY SEISMOLOGY
  • 2
    facet.materialart.
    Unknown
    Insulin attenuates atrophy of unweighted soleus muscle by amplified inhibition of protein degradation (1997)
    In:  Other Sources
    Details
    Publication Date: 2011-08-24
    Description: Unweighting atrophy of immature soleus muscle occurs rapidly over the first several days, followed by slower atrophy coinciding with increased sensitivity to insulin of in vitro protein metabolism. This study determined whether this increased sensitivity might account for the diminution of atrophy after 3 days of tall-cast hindlimb suspension. The physiological significance of the increased response to insulin in unweighted muscle was evaluated by analyzing in vivo protein metabolism for day 3 (48 to 72 hours) and day 4 (72 to 96 hours) of unweighting in diabetic animals either injected with insulin or not treated. Soleus from nontreated diabetic animals showed a similar loss of protein during day 3 (-16.2%) and day 4 (-14.5%) of unweighting, whereas muscle from insulin-treated animals showed rapid atrophy (-14.5%) during day 3 only, declining to just -3.1% the next day. Since fractional protein synthesis was similar for both day 3 (8.6%/d) and day 4 (7.0%/d) of unweighting in insulin-treated animals, the reduction in protein loss must be accounted for by a slowing of protein degradation due to circulating insulin. Intramuscular (IM) injection of insulin (600 nmol/L) stimulated in situ protein synthesis similarly in 4-day unweighted (+56%) and weight-bearing (+90%) soleus, even though unweighted muscle showed a greater in situ response of 2-deoxy-[3H]glucose uptake to IM injection of either insulin (133 nmol/L) or insulin-like growth factor-I (IGF-I) (200 nmol/L) than control muscle. These findings suggest that unweighted muscle is selectively more responsive in vivo to insulin, and that the slower atrophy after 3 days of unweighting was due to an increased effect of insulin on inhibiting protein degradation.
    Keywords: Life Sciences (General)
    Type: Metabolism: clinical and experimental (ISSN 0026-0495); Volume 46; 6; 673-9
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 3
    facet.materialart.
    Unknown
    Degradation of Teflon(tm) FEP Following Charged Particle Radiation and Rapid Thermal Cycling (1998)
    In:  CASI
    Details
    Publication Date: 2004-12-03
    Description: During the Second Servicing Mission (SM2) of the Hubble Space Telescope (HST) severe degradation was observed on the outer layer of the thermal control blankets. Astronaut observations and photographs revealed large cracks in the metallized Teflon(R) FEP (fluorinated ethylene propylene), the outer layer of the multi-layer insulation (MLI), in many locations around the telescope. In an effort to understand what elements of the space environment might cause such damage, pristine Teflon(R) FEP was tested for durability to radiation and thermal cycling. Specimens were subjected to electron and proton fluences comparable to those experienced by HST and were subsequently thermal cycled in a custom-built rapid thermal cycle chamber. Tensile tests of the specimens showed that radiation followed by thermal cycling significantly reduced the ultimate strength and elongation of Teflon(R) FEP.
    Keywords: Nonmetallic Materials
    Type: 20th Space Simulation Conference: The Changing Testing Paradigm; 201-209; NASA/CR-1998-208598-Preprint
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 4
    facet.materialart.
    Unknown
    Correlation Between Bulk Material Defects and Spectroscopic Response in Cadmium Zinc Telluride Detectors (1999)
    In:  CASI
    Details
    Publication Date: 2013-08-29
    Description: One of the critical challenges for large area cadmium zinc telluride (CdZnTe) detector arrays is obtaining material capable of uniform imaging and spectroscopic response. Two complementary nondestructive techniques for characterizing bulk CdZnTe have been developed to identify material with a uniform response. The first technique, infrared transmission imaging, allows for rapid visualization of bulk defects. The second technique, x-ray spectral mapping, provides a map of the material spectroscopic response when it is configured as a planar detector. The two techniques have been used to develop a correlation between bulk defect type and detector performance. The correlation allows for the use of infrared imaging to rapidly develop wafer mining maps. The mining of material free of detrimental defects has the potential to dramatically increase the yield and quality of large area CdZnTe detector arrays.
    Keywords: Solid-State Physics
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 5
    facet.materialart.
    Unknown
    Degradation of Teflon(trademark) FEP Following Charged Particle Radiation and Rapid Thermal Cycling (1999)
    In:  CASI
    Details
    Publication Date: 2016-06-07
    Description: During the Second Servicing Mission (SM2) of the Hubble Space Telescope (HST) severe degradation was observed on the outer layer of the thermal control blankets. Astronaut observations and photographs revealed large cracks in the metallized Teflon(trademark) FEP (fluorinated ethylene propylene), the outer layer of the multi-layer insulation (MLI), in many locations around the telescope. In an effort to understand what elements of the space environment might cause such damage, pristine Teflon(trademark) FEP was tested for durability to radiation and thermal cycling. Specimens were subjected to electron and proton fluences comparable to those experienced by HST and were subsequently thermal cycled in a custom-built rapid thermal cycle chamber. Tensile tests of the specimens showed that radiation followed by thermal cycling significantly reduced the ultimate strength and elongation of Teflon(trademark) FEP.
    Keywords: Nonmetallic Materials
    Type: 20th Space Simulation Conference: The Changing Testing Paradigm; 247-255; NASA/CP-1999-208598
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 6
    facet.materialart.
    Unknown
    A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision (2018)
    In:  CASI
    Details
    Publication Date: 2019-06-22
    Description: This paper presents a formally verified decision procedure for determining the satisfiability of a system of univariate polynomial relations over the real line. The procedure combines a root counting function, based on Sturm's theorem, with an interval subdivision algorithm. Given a system of polynomial relations over the same variable, the decision procedure progressively subdivides the real interval into smaller intervals. The subdivision continues until the satisfiability of the system can be determined on each subinterval using Sturm's theorem on a subset of the system's polynomials. The decision procedure has been formally verified in the Prototype Verification System (PVS). In PVS, the decision procedure is specified as a computable Boolean function on a deep embedding of polynomial relations. This function is used to define a proof producing strategy for automatically proving existential and universal statements on polynomial systems. The soundness of the strategy solely depends on the internal logic of PVS.
    Keywords: Numerical Analysis
    Type: NF1676L-28675 , Journal of Formalized Reasoning (e-ISSN 1972-5787); 11; 1; 19-41
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 7
    facet.materialart.
    Unknown
    A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm (2018)
    In:  CASI
    Details
    Publication Date: 2019-07-20
    Description: The Automatic Dependent Surveillance-Broadcast (ADS-B) system allows aircraft to communicate their current state, including position and velocity information, to other aircraft in their vicinity and to ground stations. The Compact Position Reporting (CPR) algorithm is the ADS-B module responsible for the encoding and decoding of aircraft positions. CPR is highly sensitive to computer arithmetic since it heavily relies on functions that are intrinsically unstable such as floor and modulo. In this paper, a formally-verified double-precision floating-point implementation of the CPR algorithm is presented. The verification proceeds in three steps. First, an alternative version of CPR, which reduces the floating-point rounding error is proposed. Then, the Prototype Verification System (PVS) is used to formally prove that the ideal real-number counterpart of the improved algorithm is mathematically equivalent to the standard CPR definition. Finally, the static analyzer Frama-C is used to verify that the double-precision implementation of the improved algorithm is correct with respect to its operational requirement. The alternative algorithm is currently being considered for inclusion in the revised version of the ADS-B standards document as the reference implementation of the CPR algorithm.
    Keywords: Documentation and Information Science
    Type: NF1676L-29231 , International Symposium on Formal Methods; Jul 18, 2018 - Jul 17, 2018; Oxford; United Kingdom
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 8
    facet.materialart.
    Unknown
    Degradation of Teflon(tm) FEP Following Charged Particle Radiation and Rapid Thermal Cycling (1998)
    In:  CASI
    Details
    Publication Date: 2019-07-13
    Description: During the Second Servicing Mission (SM2) of the Hubble Space Telescope (HST) severe degradation was observed on the outer layer of the thermal control blankets. Astronaut observations and photographs revealed large cracks in the metallized Teflon FEP (fluorinated ethylene propylene), the outer layer of the multi-layer insulation (MLI), in many locations around the telescope. In an effort to understand what elements of the space environment might cause such damage, pristine Teflon' FEP was tested for durability to radiation and thermal cycling. Specimens were subjected to electron and proton fluences comparable to those experienced by HST and were subsequently thermal cycled in a custom-built rapid thermal cycle chamber. Tensile tests of the specimens showed that radiation followed by thermal cycling significantly reduced the ultimate strength and elongation of Teflon FEP.
    Keywords: Nonmetallic Materials
    Type: Space Simulations; Oct 26, 1998 - Oct 29, 1998; Unknown
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 9
    facet.materialart.
    Unknown
    Post-launch data analysis for the cosmic ray isotope experiment ONR-604 in the Combined Release and Radiation Effects Satellite (CRRES) (1995)
    In:  CASI
    Details
    Publication Date: 2019-07-13
    Description: Research was continued on the origins, acceleration mechanisms, and the propagation modes of the hierarchy of energetic charged particles found in a wide range of astrophysical settings, extending from the cosmic rays arriving from the depth of the galaxy to the energetic particles in the heliosphere and in the near earth environment. In particular this grant has been a vital support in the investigation of the particle radiations in the earth's magnetosphere. The ONR-604 instrument was launched in July 1990 aboard the CRRES spacecraft. The CRRES mission has been a joint program of NASA and the U.S. Air Force Space Test Program which has provided launch support and telemetry coverage. The spacecraft was placed into a low-inclination eccentric orbit with a period of approximately 10 hours, and thus measured charged particle fluxes in both interplanetary space and in the earth's trapped radiation. ONR-604 performed extremely well, both in interplanetary space and in the intense radiation belt environment. We were able to make detailed measurements of interplanetary fluxes and composition into L=4, or for more than 50% of the orbital period. Thus the experiment produced two valuable datasets, one set outside of L=4 for interplanetary studies, and one set inside of L=4 for radiation belt studies. The data returned by the University of Chicago ONR-604 instrument has been the base for 10 papers on magnetospheric and galactic energetic-particle research.
    Keywords: SPACE RADIATION
    Type: NASA-CR-199450 , NAS 1.26:199450
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 10
    facet.materialart.
    Unknown
    Coordination Logic for Repulsive Resolution Maneuvers (2016)
    In:  CASI
    Details
    Publication Date: 2019-07-13
    Description: This paper presents an algorithm for determining the direction an aircraft should maneuver in the event of a potential conflict with another aircraft. The algorithm is implicitly coordinated, meaning that with perfectly reliable computations and information, it will in- dependently provide directional information that is guaranteed to be coordinated without any additional information exchange or direct communication. The logic is inspired by the logic of TCAS II, the airborne system designed to reduce the risk of mid-air collisions between aircraft. TCAS II provides pilots with only vertical resolution advice, while the proposed algorithm, using a similar logic, provides implicitly coordinated vertical and horizontal directional advice.
    Keywords: Air Transportation and Safety
    Type: NF1676L-22876 , AIAA Aviation 2016; Jun 13, 2016 - Jun 17, 2016; Washington, DC; United States
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...