Results 141 to 150 of about 934,012 (382)
Weak morphisms of higher dimensional automata [PDF]
arXiv, 2013 We introduce weak morphisms of higher dimensional automata and use them to define preorder relations for HDAs, among which homeomorphic abstraction and trace equivalent abstraction. It is shown that homeomorphic abstraction is essentially always stronger than trace equivalent abstraction. We also define the trace language of an HDA and show that, for a
arxiv
Predicate Abstraction with Indexed Predicates [PDF]
, 2004 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core
REACTIONS OF ALKOXY RADICALS: I. HYDROGEN ATOM ABSTRACTION FROM SUBSTITUTED TOLUENES [PDF]
, 1966 Bianca Kennedy, K. U. Ingold
openalex +1 more source
Semi‐automated hippocampal avoidance whole‐brain radiotherapy planning
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Background Hippocampal avoidance whole‐brain radiotherapy (HA‐WBRT) is designed to spare cognitive function by reducing radiation dose to the hippocampus during the treatment of brain metastases. Current manual planning methods can be time‐consuming and may vary in quality, necessitating the development of automated approaches to streamline ...
Dong Joo Rhee +9 more
wiley +1 more source
A Critical Look at the Abstraction Based on Macro-Operators [PDF]
, 2004 ion can be an effective technique for dealing with the complexity of planning tasks. This paper is aimed at assessing and identifying in which cases abstraction can actually speed-up the overall search.
ARMANO G, CHERCHI G, VARGIU E
core
Abstraction of hydrogen from hydrogen sulfide by methyl radicals [PDF]
, 1969 Peter Gray, Alan A. Herod, L. J. Leyshon
openalex +1 more source
Risk analysis of the Unity 1.5T MR‐Linac adapt‐to‐shape workflow
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Background and Purpose The adapt‐to‐shape (ATS) workflow on the Unity MR‐Linac (Elekta AB, Stockholm, Sweden) allows for full replanning including recontouring and reoptimization5. Additional complexity to this workflow is added when the adaptation involves the use of MIM Maestro (MIM Software, Cleveland, OH) software in conjunction with ...
Jiayi Liang +13 more
wiley +1 more source
Miranda: Revue Pluridisciplinaire du Monde Anglophone, 2015 The issue of space offers a fertile starting point for exploring and deepening a power of film so far neglected by classical theory. Following the books of Gilles Deleuze (L’image-mouvement et L’image-temps), it seems that one of the major current tasks ...
Antoine Gaudin
doaj +1 more source
Contrastive Abstraction for Reinforcement Learning [PDF]
arXivLearning agents with reinforcement learning is difficult when dealing with long trajectories that involve a large number of states. To address these learning problems effectively, the number of states can be reduced by abstract representations that cluster states.
arxiv
Constructing (Bi)Similar Finite State Abstractions using Asynchronous $l$-Complete Approximations
, 2014 This paper constructs a finite state abstraction of a possibly continuous-time and infinite state model in two steps. First, a finite external signal space is added, generating a so called $\Phi$-dynamical system. Secondly, the strongest asynchronous $l$-
Raisch, Jörg, Schmuck, Anne-Kathrin
core +1 more source