Results 121 to 130 of about 1,166 (187)

Formation of double‐ring circular grabens due to volumetric compaction over buried impact craters: Implications for thickness and nature of cover material in Utopia Planitia, Mars [PDF]

, 2004
D. L. Buczkowski, Michele L. Cooke
openalex   +1 more source

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis [PDF]

arXiv
Satisfiability Modulo Theories (SMT) solvers are integral to program analysis techniques like concolic and symbolic execution, where they help assess the satisfiability of logical formulae to explore execution paths of the program under test. However, frequent solver invocations are still the main performance bottleneck of these techniques.
arxiv  

Geology of the Southern Utopia Planitia Highland-Lowland Boundary Plain: First Year Results and Second Year Plan [PDF]

The southern Utopia highland-lowland boundary (HLB) extends >1500 km westward from northern Nepenthes Mensae to the topographic saddle that separates Isidis and Utopia Planitiae.
Hare, T. M., Skinner, J. A., Jr., Tanaka, K. L.   +2 more
core   +1 more source

A preliminary approach towards a logic for warrant [PDF]

, 2014
We extend Defeasible Logic Programming for it to be able to warrant complex logical formulas. We show how negation, conjunction, disjunction and implication of ground literals can be tested for warrant.
Gómez, Sergio Alejandro, Simari, Guillermo Ricardo   +1 more
core  

Morphological and morphometrical differentiation of processes on crater walls in Eastern Utopia Planitia, Mars [PDF]

This study identifies a variety of processes associated with erosional and depositional structures within impact craters in eastern Utopia Planitia, Mars.
Capitan, Radu-Dan, Osinski, Gordon R., Van De Wiel, Marco J.   +2 more
core   +2 more sources

Electric Mars: A large trans‐terminator electric potential drop on closed magnetic field lines above Utopia Planitia [PDF]

, 2016
G. Collinson, D. L. Mitchell, Shaosui Xu, A. Glocer, J. M. Grebowsky, Takuya Hara, R. J. Lillis, J. R. Espley, C. Mazelle, J. A. Sauvaud, A. Fedorov, M. W. Liemohn, L. Andersson, B. M. Jakosky   +13 more
openalex   +1 more source

Grid Mapping the Northern Plains of Mars: Using Morphotype and Distribution of Ice‐Related Landforms to Understand Multiple Ice‐Rich Deposits in Utopia Planitia [PDF]

, 2018
Antoine Séjourné, F. Costard, Zuzanna Swirad, A. Łosiak, Sylvain Bouley, I. B. Smith, M. R. Balme, Csilla Orgel, Jason Ramsdale, Ernst Hauber, Susan J. Conway, S. van Gasselt, D. Reiss, Andreas Johnsson, Colman Gallagher, J. A. Skinner, Ákos Keresztúri, T. Platz   +17 more
openalex   +1 more source

The origin of channels and associated deposits in the Elysium region of Mars [PDF]

Photogeological studies of the Elysium volcanic province of Mars show that its sinuous channels are part of a large deposit which probably was emplaced as a series of huge volcanic debris flows or lahars.
Christiansen, Eric H., Hoppin, Richard A.   +1 more
core   +1 more source

Viking Lander 1 and 2 revisited: The characterisation and detection of Martian dust devils [PDF]

, 2003
Dust devil data from Mars is limited by a lack of data relating to diurnal dust devil behaviour.
Ringrose, Tim, Towner, Martin, Zarnecki, John   +2 more
core  

Martian Gully Formation and Evolution: Studies From the Local to Global Scale [PDF]

, 2016
Gullies in the mid- and high-latitudes of Mars were first observed in Mars Global Surveyor (MGS) Mars Orbiter Camera (MOC) images in 1997. Appearing to be geologically young, they quickly became a feature of interest due to the implication of liquid ...
Harrison, Tanya Nicole
core   +1 more source