Semantic Scholar uses AI to extract papers important to this topic.
Future space exploration demands a Space Network that will be able to connect spacecrafts with one another and in turn with Earth… Expand Global Navigation Satellite Systems (GNSSs) such as GPS, GLONASS, and the future Galileo and BeiDou, have demonstrated to be a… Expand Abstract In the present work we evaluated five enzyme-mixtures (Protex 7L, Alcalase 2.4L, Viscozyme L, Natuzyme, and Kemzyme) for… Expand  The relativistic electron dropout event on 20 November 2003 is studied using data from a number of satellites including… Expand Abstract : Many studies have shown that satellite charging can cause anomalies on spacecraft. The SCATHA (Spacecraft Charging AT… Expand <; => .?@ A B ?> C .DFEG H 8IJEG K .?>LM ?@ ?>N! 8?>EO PGPQBHR! K= S 8?> ?>EG H PGEG UTV=>N W 8?> KSX?Y R R! ZTV=> [?> K\]? KN… Expand Some insight into both the operational and denotational semantics of polymorphic lambda calculus may be gained by considering… Expand From hydrothermal experiments three pressure-temperature-time curves have been refined for the system Al2O3−SiO2−H2O and reversal… Expand On developpe une structure de type des fonctionnelles effectives partielles sur les nombres naturels, basee sur une enumeration… Expand Abstract We define recursive models of Martin-Lof's (type or) set theories. These models are a sort of recursive realizability… Expand