Results 61 to 70 of about 634,474 (205)

Executive Agreements Database, Statement Regarding the Agreement Between The United States and Japan Extending The Agreement Of June 29, 1998, Concerning Cooperation On The Mars Exploration Planet B Program. Effected By Exchange Of Notes Act Washington June 27, 2003

, 2020
Oona A. Hathaway, Curtis A. Bradley, Jack L. Goldsmith   +2 more
openalex   +2 more sources

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search [PDF]

arXiv
Programmatic reinforcement learning (PRL) has been explored for representing policies through programs as a means to achieve interpretability and generalization. Despite promising outcomes, current state-of-the-art PRL methods are hindered by sample inefficiency, necessitating tens of millions of program-environment interactions.
arxiv  

Can LLMs Formally Reason as Abstract Interpreters for Program Analysis? [PDF]

arXiv
LLMs have demonstrated impressive capabilities in code generation and comprehension, but their potential in being able to perform program analysis in a formal, automatic manner remains under-explored. To that end, we systematically investigate whether LLMs can reason about programs using a program analysis framework called abstract interpretation.
arxiv  

Enhancing Programming Education with ChatGPT: A Case Study on Student Perceptions and Interactions in a Python Course [PDF]

arXiv
The integration of ChatGPT as a supportive tool in education, notably in programming courses, addresses the unique challenges of programming education by providing assistance with debugging, code generation, and explanations. Despite existing research validating ChatGPT's effectiveness, its application in university-level programming education and a ...
arxiv  

Mission Programming for the Mars Moon eXplorer Mission

, 2019
This thesis presents a way to maximise the photographic coverage of Phobos, one of the two Martian moons, as part of the space mission Mars Moon eXplorer. This coverage is performed by the French hyperspectral imager MacrOmega, and two criteria are selected: the area covered and the resolution of the pictures.
openaire   +1 more source

The scientific value of Mars Sample Return. [PDF]

Proc Natl Acad Sci U S A
McSween HY, Thiemens MH.
europepmc   +1 more source

Ancient ocean coastal deposits imaged on Mars. [PDF]

Proc Natl Acad Sci U S A
Li J, Liu H, Meng X, Duan D, Lu H, Zhang J, Zhang F, Elsworth D, Cardenas BT, Manga M, Zhou B, Fang G.   +11 more
europepmc   +1 more source

Finding water on the Moon and Mars: Humanity's extraterrestrial future. [PDF]

Proc Natl Acad Sci U S A
Thiemens MH, Pack A, Sharp Z.
europepmc   +1 more source

Utilizing Martian samples for future planetary exploration-Characterizing hazards and resources. [PDF]

Proc Natl Acad Sci U S A
Whetsel C, Levine JS, Hoffman SJ, Luckey CM, Watts KD, Antonsen EL.   +5 more
europepmc   +1 more source

Wave ripples formed in ancient, ice-free lakes in Gale crater, Mars. [PDF]

Sci Adv
Mondro CA, Fedo CM, Grotzinger JP, Lamb MP, Gupta S, Dietrich WE, Banham S, Weitz CM, Gasda P, Edgar LA, Rubin D, Bryk AB, Kite ES, Caravaca G, Schieber J, Vasavada AR.   +15 more
europepmc   +1 more source