Results 61 to 70 of about 24,416 (155)

Inductive Reachability Witnesses

, 2020
In this work, we consider the fundamental problem of reachability analysis over imperative programs with real variables. The reachability property requires that a program can reach certain target states during its execution.
Chatterjee, Krishnendu, Mahdavi, Mohammad, Goharshady, Amir Kafshdar, Asadi, Ali, Fu, Hongfei   +4 more
core  

Embedded Reachability for Autonomous Racecar [PDF]

Reachability analysis enables the safety assurance of control systems despite uncertain initial conditions and control inputs, and can be an important component to run on-board an autonomous system.
Jewell, Nathaniel C.
core   +1 more source

Grid Graph Reachability Problems

, 2005
We study the complexity of restricted versions of st-connectivity, which is the standard complete problem for NL. Grid graphs are a useful tool in this regard, since • reachability on grid graphs is logspace-equivalent to reachability in general planar ...
Sambuddha Roy, David A. Mix Barrington, Tanmoy Chakraborty, Eric Allender, Samir Datta   +4 more
core  

Glycan reachability analysis: A bottleneck-aware framework for inferring tissue-specific glycan biosynthetic potential from transcriptomics. [PDF]

PLoS Comput Biol
Matsui Y.
europepmc   +1 more source

Pre-Deployment Audit of Actionability and Equity in Severe Tooth Loss Prediction Using Constrained Algorithmic Recourse and Temporal Validation. [PDF]

Bioengineering (Basel)
Lam QT, Fan FY, Peng TY, Feng SW, Huang CC, Chow TH, Le MHN, Vu G, Wang YL, Le NQK, Lee IT.   +10 more
europepmc   +1 more source

Leveraging particle dynamics in force-fields for network packet routing. [PDF]

PLoS One
Biswas S, Yang Y, Bhuyan AK, Dutta H, Datta S.   +4 more
europepmc   +1 more source

Pushing the boundaries of robotic computed tomography: automated twin-robot CT scan with maximum reachability. [PDF]

Sci Rep
Schnitzer J, Sathyanarayana Raju VR, Erdebil NE, Herl G, Maier A.   +4 more
europepmc   +1 more source

From "physical repair" to "mental resonance": spatial perception and behavioral reshaping pathways in the renewal of lost under-bridge spaces. [PDF]

Front Psychol
Xu Y, Zhang Y, Zhan X.
europepmc   +1 more source

On Higher-Order Reachability Games vs May Reachability

We consider the reachability problem for higher-order functional programs and study the relationship between reachability games (i.e., the reachability problem for programs with angelic and demonic nondeterminism) and may-reachability (i.e., the ...
Katsura, Hiroyuki, Kobayashi, Naoki, Asada, Kazuyuki   +2 more
core  

Peripersonal space and interpersonal distance as windows onto multisensory body representation in adolescents with overgrowth syndromes. [PDF]

Front Hum Neurosci
Butti N, Montirosso R, Cartaud A, Oldrati V, Coello Y, Urgesi C.   +5 more
europepmc   +1 more source