Results 51 to 60 of about 885,312 (384)
Abstract convex approximations of nonsmooth functions [PDF]
Optimization, 64:7 (2014) 1439-1469, 2018 In this article we utilise abstract convexity theory in order to unify and generalize many different concepts from nonsmooth analysis. We introduce the concepts of abstract codifferentiability, abstract quasidifferentiability and abstract convex (concave) approximations of a nonsmooth function mapping a topological vector space to an order complete ...
arxiv +1 more source
Semi‐supervised classification of fundus images combined with CNN and GCN
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose Diabetic retinopathy (DR) is one of the most serious complications of diabetes, which is a kind of fundus lesion with specific changes. Early diagnosis of DR can effectively reduce the visual damage caused by DR. Due to the variety and different morphology of DR lesions, automatic classification of fundus images in mass screening can ...
Sixu Duan +8 more
wiley +1 more source
Syntactic Abstraction of B Models to Generate Tests [PDF]
, 2010 In a model-based testing approach as well as for the verification of properties, B models provide an interesting solution. However, for industrial applications, the size of their state space often makes them hard to handle. To reduce the amount of states,
Bué, Pierre-Christophe +3 more
core +4 more sources
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models [PDF]
IEEE Transactions on Automatic Control, 2017 In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete-time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that ...
Pierre-Jean Meyer, A. Girard, E. Witrant
semanticscholar +1 more source
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Entry into the field of clinical medical physics is most commonly accomplished through the completion of a Commission on Accreditation of Medical Physics Educational Programs (CAMPEP)‐accredited graduate and residency program. To allow a mechanism to bring valuable expertise from other disciplines into clinical practice in medical physics, an “
Joann I. Prisciandaro +6 more
wiley +1 more source
Attention for Distraction: Modernity, Modernism and Perception
Text Matters, 2017 Particularly in the latter half of the nineteenth century sensorial experiences changed at breakneck speed. Social and technological developments of modernity like the industrial revolution, rapid urban expansion, the advance of capitalism and the ...
Ernst van Alphen
doaj +1 more source
A more abstract bounded exploration postulate [PDF]
arXiv, 2022 In article "Sequential abstract state machines capture sequential algorithms", one of us axiomatized sequential algorithms by means of three postulates: sequential time, abstract state, and bounded exploration postulates. Here we give a more abstract version of the bounded exploration postulate which is closer in spirit to the abstract state postulate.
arxiv
Designing for mathematical abstraction [PDF]
, 2010 Our focus is on the design of systems (pedagogical, technical, social) that encourage mathematical abstraction, a process we refer to as designing for abstraction.
Noss, Richard, Pratt, Dave
core +3 more sources
H-atom addition and abstraction reactions in mixed CO, H2CO and CH3OH ices – an extended view on complex organic molecule formation [PDF]
, 2016 Complex organic molecules (COMs) have been observed not only in the hot cores surrounding low- and high- mass protostars, but also in cold dark clouds.
K. Chuang +4 more
semanticscholar +1 more source
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose A set of treatment planning strategies were designed and retrospectively implemented for locally advanced, non‐small cell lung cancer (NSCLC) patients in order to minimize cardiac dose without compromising target coverage goals. Methods Retrospective analysis was performed for 20 NSCLC patients prescribed to 60–66 Gy that received a ...
Joshua P. Kim +5 more
wiley +1 more source