Results 61 to 70 of about 770,485 (338)
Conversion and verification procedure for goal-based control programs [PDF]
, 2007 Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System, developed at the Jet Propulsion Laboratory, takes a goal-based control approach. In
Braman, J. M. B., Murray, R. M.
core +1 more source
Test Case Generation for Object-Oriented Imperative Languages in CLP
, 2010 Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test cases which are applied to a system under test.
Albert +7 more
core +1 more source
FEBS Open Bio, EarlyView.Despite frogs avoiding low temperatures, examination of four salamander species revealed that none avoided cold and all possessed cold tolerance. Functional analysis of TRPM8, a cold sensor, showed that all salamander TRPM8s had lost their cold sensitivity.
Tadahiro Sawao +3 more
wiley +1 more source
FEBS Open Bio, EarlyView.This paper reveals how human lactoferrin–albumin fusion (hLF‐HSA) potently suppresses lung adenocarcinoma cell migration. hLF‐HSA upregulates NHE7, leading to Golgi alkalization, disruption of the Golgi secretome, downregulation of MMP1, and reversal of EMT. These findings suggest a novel Golgi‐targeting strategy to suppress cancer cell migration.
Hana Nopia +3 more
wiley +1 more source
Parallel symbolic state-space exploration is difficult, but what is the alternative?
, 2009 State-space exploration is an essential step in many modeling and analysis problems. Its goal is to find the states reachable from the initial state of a discrete-state model described.
A. Valmari +51 more
core +2 more sources
Use of Symptomatic Drug Treatment for Fatigue in Multiple Sclerosis and Patterns of Work Loss
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To describe the use of central stimulants and amantadine for fatigue in MS and evaluate a potential association with reduced work loss in people with MS. Methods We conducted a nationwide, matched, register‐based cohort study in Sweden (2006 to 2023) using national registers with prospective data collection.
Simon Englund +3 more
wiley +1 more source
Frontiers in Psychology, 2012 Currently, there is a controversial debate on whether there is an abstract representationof number magnitude, multiple different ones or multiple different ones that project onto aunitary representation.
Korbinian eMoeller +3 more
doaj +1 more source
Discovery and Targeted Proteomic Studies Reveal Striatal Markers Validated for Huntington's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Clinical trials for Huntington's disease (HD) enrolling persons before clinical motor diagnosis (CMD) lack validated biomarkers. This study aimed to conduct an unbiased discovery analysis and a targeted examination of proteomic biomarkers scrutinized by clinical validation. Methods Cerebrospinal fluid was obtained from PREDICT‐HD and
Daniel Chelsky +8 more
wiley +1 more source
Towards Modeling Texture In Symbolic Data.
, 2014 [TODO] Add abstract here.
Giraud, Mathieu +4 more
openaire +2 more sources
SDRL: Interpretable and Data-efficient Deep Reinforcement Learning Leveraging Symbolic Planning
, 2019 Deep reinforcement learning (DRL) has gained great success by learning directly from high-dimensional sensory inputs, yet is notorious for the lack of interpretability.
Gustafson, Steven +3 more
core +1 more source