Results 41 to 50 of about 139,621 (311)
Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL)
Aerospace, 2018 Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states.
Bharvi Chhaya, Shafagh Jafer, Umut Durak
doaj +1 more source
Molecular Oncology, EarlyView.EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain +10 more
wiley +1 more source
Development of real-time flight control system for low-cost vehicle [PDF]
, 2011 In recent years, more and more light aircraft enter our daily life, from Agricultural applications, emergency rescue, flight experiment and training to Barriers to entry, light aircraft always have their own advantages. Thus, they have become more and
Du, Yongliang
core
Steps Towards Scalable and Modularized Flight Software for Unmanned Aircraft Systems
, 2014 Unmanned aircraft (UA) applications impose a variety of computing tasks on the on-board computer system. From a research perspective, it is often more convenient to evaluate algorithms on bigger aircraft as they are capable of lifting heavier loads and ...
Goormann, Lukas +5 more
core +1 more source
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source
Algorithm for Calculating the Flight Time of an Unmanned Aerial Vehicle for Aerial Photography
Сельскохозяйственные машины и технологии, 2023 The paper shows the possibility of using unmanned aerial vehicles with additional outboard equipment for aerial photography. It is noted that some parameters of the drone and additional suspension equipment are not taken into account by the software when
R. K. Kurbanov
doaj +1 more source
FEBS Open Bio, EarlyView.Time‐restricted feeding (TRF) in mice increased liver fatty acid oxidation and decreased fatty acid biosynthesis. These alterations persisted when TRF was discontinued and the host was infected with Mycobacterium tuberculosis. Pre‐exposure to TRF did not alter tissue (lung and spleen) mycobacterial burden but significantly reduced CD3+ T cells in lungs
Ashish Gupta +7 more
wiley +1 more source
ON FUNDAMENTAL EVALUATION USING UAV IMAGERY AND 3D MODELING SOFTWARE [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2016 Unmanned aerial vehicles (UAVs), which have been widely used in recent years, can acquire high-resolution images with resolutions in millimeters; such images cannot be acquired with manned aircrafts.
K. Nakano +4 more
doaj +1 more source
Experience Report: Model-based test automation of a concurrent flight software bus
, 2022 S.445-454Many systems make use of concurrent tasks, however it is often difficult to test concurrent design. Therefore, many test cases are simplified and do not fully test all concurrency aspects of the system. We encountered this problem when analyzing
Moleski, W. +5 more
core +1 more source
New Onset of Fibromyalgia After Exposure to a Combat Environment: A Longitudinal Cohort Study
Arthritis Care &Research, EarlyView.Objective Traumatic life events are hypothesized to be triggers for the onset of fibromyalgia. Posttraumatic stress disorder (PTSD) is a common comorbidity of fibromyalgia. However, limited prospective data are available on the development of fibromyalgia after exposure to high‐magnitude stress.
Jay B. Higgs +15 more
wiley +1 more source