Results 41 to 50 of about 6,218,205 (370)

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions [PDF]

arXiv, 2021
While object detection modules are essential functionalities for any autonomous vehicle, the performance of such modules that are implemented using deep neural networks can be, in many cases, unreliable. In this paper, we develop abstraction-based monitoring as a logical framework for filtering potentially erroneous detection results.
arxiv  

Levinson type inequalities for higher order convex functions via Abel–Gontscharoff interpolation

Advances in Difference Equations, 2019
In this paper, Levinson type inequalities are studied for the class of higher order convex functions by using Abel–Gontscharoff interpolation. Cebyšev, Grüss, and Ostrowski-type new bounds are also found for the functionals involving data points of two ...
Muhammad Adeel, Khuram Ali Khan, Ðilda Pečarić, Josip Pečarić   +3 more
doaj   +1 more source

An abstract data type for real numbers [PDF]

Theoretical Computer Science, 1997
AbstractWe present a calculus having real numbers as a basic data type. The calculus is defined by its denotational semantics. We prove the universality of the calculus. We show how the definition of an operational semantics is problematic. We discuss this problem and present a possible solution.
openaire   +2 more sources

Class-Diagrams for Abstract Data Types [PDF]

, 2017
We propose to extend iUML-B class-diagrams to elaborate Abstract Data Types (ADTs) specified using Event-B theories. Classes are linked to data types, while attributes and associations correspond to operators of the data types. Axioms about the data types and operators are specified as constraints on the class.
Hoang, Thai Son, Snook, Colin, Dghaym, Dana, Butler, Michael   +3 more
openaire   +2 more sources

Relationship between Type D personality and adverse health outcomes in people with type 2 diabetes: The parallel mediating roles of diabetes distress and social isolation

Nursing Open, 2023
Aim To investigate the relationship between Type D personality and adverse health outcomes [glycated haemoglobin (HbA1c) and health‐related quality of life (HRQOL)] directly, and indirectly via diabetes distress and social isolation in people with type 2
Eun‐Hyun Lee, Young Whee Lee, Duckhee Chae, Eun Hee Kang, Hyun‐Jung Kang   +4 more
doaj   +1 more source

Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy [PDF]

arXiv, 2023
This article is concerned with a data-driven divide-and-conquer strategy to construct symbolic abstractions for interconnected control networks with unknown mathematical models. We employ a notion of alternating bisimulation functions (ABF) to quantify the closeness between state trajectories of an interconnected network and its symbolic abstraction ...
arxiv  

A Framework for Extended Persistent Identification of Scientific Assets

Data Science Journal, 2013
Several scientific communities relying on e-science infrastructures are in need of persistent identifiers for data and contextual information. In this article, we present a framework for persistent identification that fundamentally supports context ...
Tobias Weigel, Michael Lautenschlager, Frank Toussaint, Stephan Kindermann   +3 more
doaj   +1 more source

Asteroseismic fundamental properties of solar-type stars observed by the NASA Kepler Mission [PDF]

, 2013
We use asteroseismic data obtained by the NASA Kepler Mission to estimate the fundamental properties of more than 500 main-sequence and sub-giant stars.
Aguirre, V. Silva, Appourchaux, T., Ball, W. H., Basu, S., Bonanno, A., Campante, T. L., Casagrande, L., Chaplin, W. J., Christensen-Dalsgaard, J., Corsaro, E., Creevey, O. L., Elsworth, Y., Garcia, R. A., Gaulme, P., Gizon, L., Handberg, R., Hekker, S., Houdek, G., Huber, D., Karoff, C., Kjeldsen, H., Lutz, R., Marques, J. P., Mathur, S., Metcalfe, T. S., Miglio, A., Molenda-Zakowicz, J., Monteiro, M. J. P. F. G., Mosser, B., Pricopi, D., Regulo, C., Salabert, D., Serenelli, A, Stello, D., Suran, M. D.   +34 more
core   +4 more sources

Using the SkelCL Library for High-Level GPU Programming of 2D Applications [PDF]

, 2012
Application programming for GPUs (Graphics Processing Units) is complex and error-prone, because the popular approaches — CUDA and OpenCL — are intrinsically low-level and offer no special support for systems consisting of multiple ...
Breuer, Stefan, Buß, Matthias, Gorlatch, Sergei, Steuwer, Michel   +3 more
core   +1 more source

Well-posedness and stability for semilinear wave-type equations with time delay [PDF]

arXiv, 2021
In this paper we analyze a semilinear abstract damped wave-type equation with time delay. We assume that the delay feedback coefficient is variable in time and belonging to $L^1_{loc}([0, +\infty)).$ Under suitable assumptions, we show well-posedness and exponential stability for small initial data.
arxiv