Results 81 to 90 of about 1,140,236 (298)
Flight control system design factors for applying automated testing techniques [PDF]
Automated validation of flight-critical embedded systems is being done at ARC Dryden Flight Research Facility. The automated testing techniques are being used to perform closed-loop validation of man-rated flight control systems.
Sitz, Joel R., Vernon, Todd H.
core +1 more source
Testing and Debugging Techniques for Answer Set Solver Development
, 2010 This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e ...
Brummayer, Robert, Järvisalo, Matti
core +2 more sources
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
Artificial Intelligence for the Foreign Language Classes at Higher Education Institution
Вестник Московского Университета. Серия 20: Педагогическое образованиеBackground. The article considers the possibility of artificial intelligence technologies application to the foreign language course in higher education.
Julia E. Valkova
doaj +1 more source
FEBS Open Bio, EarlyView.Activation of the mitochondrial protein OXR1 increases pSyn129 αSynuclein aggregation by lowering ATP levels and altering mitochondrial membrane potential, particularly in response to MSA‐derived fibrils. In contrast, ablation of the ER protein EMC4 enhances autophagic flux and lysosomal clearance, broadly reducing α‐synuclein aggregates.
Sandesh Neupane +11 more
wiley +1 more source
Automated Functional Testing based on the Navigation of Web Applications
, 2011 Web applications are becoming more and more complex. Testing such applications is an intricate hard and time-consuming activity. Therefore, testing is often poorly performed or skipped by practitioners.
Dueñas, Juan Carlos, García, Boni
core +2 more sources
Derivation and characterization of retinal pigment epithelium from urine‐derived iPSCs
FEBS Open Bio, EarlyView.Age‐related macular degeneration causes vision loss via RPE dysfunction and loss. Traditional iPSC therapies rely on invasive biopsies, limiting scalability. Here, we utilize urine‐derived stem cells as an accessible source to generate u‐iPSCs, successfully differentiated into pigmented RPE. This “Urine‐to‐Retina” platform provides a promising path for
Daniella Beiner +7 more
wiley +1 more source
Reproducible and fully automated testing of nocifensive behavior in mice. [PDF]
Cell Rep Methods, 2023 Dedek C, Azadgoleh MA, Prescott SA.
europepmc +1 more source
Automated Real-Time Testing (ARTT) for Embedded Control Systems (ECS) [PDF]
, 2001 Developing real-time automated test systems for embedded control systems has been a real problem. Some engineers and scientists have used customized software and hardware as a solution, which can be very expensive and time consuming to develop.
Hawkins, Jon +2 more
core +1 more source
FEBS Open Bio, EarlyView.Pharmacological inhibition of PERK in a DEN‐induced mouse model of liver cancer does not reduce tumor burden but alters cellular stress signaling. Despite blocking PERK activity, downstream stress responses, including CHOP expression, remain active, suggesting compensatory mechanisms within the unfolded protein response that may influence tumor ...
Ada Lerma‐Clavero +5 more
wiley +1 more source