Results 31 to 40 of about 639,433 (345)
JMIR Formative Research, 2023 BackgroundEffective negotiation in relationships is critical for successful long-duration space missions; inadequate conflict resolution has shown serious consequences.
Jennifer Fleischer +7 more
doaj +1 more source
Vision-based navigation and guidance for small Mars UAVs
Nihon Kikai Gakkai ronbunshu, 2014 Mars airplane is one of the candidate payloads of JAXA's next Mars exploration program. Airborne observation of Mars is expected to fill the “gap” between rovers, which provides a detailed observation but a limited area of coverage, and orbiters ...
Kentaro ARAI +3 more
doaj +1 more source
LPR: Large Language Models-Aided Program Reduction [PDF]
, 2023 Program reduction is a prevalent technique to facilitate compilers' debugging by automatically minimizing bug-triggering programs. Existing program reduction techniques are either generic across languages (e.g., Perses and Vulcan) or specifically customized for one certain language by employing language-specific features, like C-Reduce.
arxiv +1 more source
Gamma-ray Full Spectrum Analysis for Environmental Radioactivity by HPGe Detector [PDF]
Journal of Astronomy and Space Sciences, 2014 Odyssey, one of the NASA’s Mars exploration program and SELENE (Kaguya), a Japanese lunar orbiting spacecraft have a payload of Gamma-Ray Spectrometer (GRS) for analyzing radioactive chemical elements of the atmosphere and the surface.
Meeyoung Jeong +4 more
doaj +1 more source
Priorities and contradictions of George Herbert Walker Bush space policy
Американська історія і політика, 2017 The article analyzes the basic principles of US space policy which developed at the end of the 1980’s. The main focus is made on the detection and investigation of the priority of space component in the general political course of the republican ...
Liudmila Zhuravlova
doaj +1 more source
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software [PDF]
EPTCS 356, 2022, 2022 The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) is dedicated to work in this area.
arxiv +1 more source
Convo: What does conversational programming need? An exploration of machine learning interface design [PDF]
, 2020 Vast improvements in natural language understanding and speech recognition have paved the way for conversational interaction with computers. While conversational agents have often been used for short goal-oriented dialog, we know little about agents for developing computer programs.
arxiv +1 more source
Improved Tree Search for Automatic Program Synthesis [PDF]
arXiv, 2023 In the task of automatic program synthesis, one obtains pairs of matching inputs and outputs and generates a computer program, in a particular domain-specific language (DSL), which given each sample input returns the matching output. A key element is being able to perform an efficient search in the space of valid programs. Here, we suggest a variant of
arxiv
CrossBeam: Learning to Search in Bottom-Up Program Synthesis [PDF]
arXiv, 2022 Many approaches to program synthesis perform a search within an enormous space of programs to find one that satisfies a given specification. Prior works have used neural models to guide combinatorial search algorithms, but such approaches still explore a huge portion of the search space and quickly become intractable as the size of the desired program ...
arxiv
Multiple sclerosis clinical decision support system based on projection to reference datasets
Annals of Clinical and Translational Neurology, Volume 9, Issue 12, Page 1863-1873, December 2022., 2022 Abstract Objective Multiple sclerosis (MS) is a multifactorial disease with increasingly complicated management. Our objective is to use on‐demand computational power to address the challenges of dynamically managing MS. Methods A phase 3 clinical trial data (NCT00906399) were used to contextualize the medication efficacy of peg‐interferon beta‐1a vs ...
Chadia Ed‐driouch +13 more
wiley +1 more source