Results 11 to 20 of about 88,987 (251)

Soundness in verification of algebraic specifications with OBJ

The Journal of Logic and Algebraic Programming, 2008
AbstractThe algebraic specification tools of the OBJ family have no notion of open terms or quantifiers. Nonetheless there are methods of proving universally quantified statements about specifications. These methods are examined and found to be unsound.
Wilander, K.O., Wilander, Olov,
exaly   +4 more sources

Fast OBJ file importing and parsing in CUDA [PDF]

Computational Visual Media, 2015
Alias-Wavefront OBJ meshes are a common text file type for transferring 3D mesh data between applications made by different vendors. However, as the mesh complexity gets higher and denser, the files become larger and slower to import. This paper explores the use of GPUs to accelerate the importing and parsing of OBJ files by studying file read-time ...
Possemiers, Aidan L., Lee, Ickjai
exaly   +5 more sources

OBJ for OBJ

Advances in Formal Methods, 2000
An interpreter for OBJ3 implemented in Common LISP has been designed using the language OBJ. This formal design is both an effective support of the programming task and a means of communication between different programmers and designers. In the light of this experiment, we propose some extensions to the language and also give a reflexive version of ...
Claude Kirchner, Hélène Kirchner, Aristide Mégrelis   +2 more
exaly   +4 more sources

Correct and Complete (Positive) Strategy Annotations for OBJ

Electronic Notes in Theoretical Computer Science, 2004
AbstractStrategy annotations are used in several rewriting-based programming languages to introduce replacement restrictions aimed at improving efficiency and/or reducing the risk of nontermination. Unfortunately, rewriting restrictions can have a negative impact on the ability to compute normal forms.
María Alpuente, Santiago Escobar 0001, Salvador Lucas   +2 more
exaly   +4 more sources

OBJ CUT

2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05), 2005
In this paper, we present a principled Bayesian method for detecting and segmenting instances of a particular object category within an image, providing a coherent methodology for combining top down and bottom up cues. The work draws together two powerful formulations: pictorial structures (PS) and Markov random fields (MRFs) both of which have ...
Kumar, MP, Torr, PHS, Zisserman, A
openaire   +4 more sources

OBJ: Programming with equalities, subsorts, overloading and parameterization

The Journal of Logic Programming, 1988
OBJ is a declarative language, with mathematical semantics given by order-sorted equational logic and an efficient operational semantics based on order-sorted term-rewriting. In addition, OBJ has a uniquely powerful generic module mechanism, including non-executable “theories” as well as executable “objects,” plus “module expressions” that describe and
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis   +3 more
core   +4 more sources

Mixed reality-guided intraoperative visual support for combined intracavitary and interstitial brachytherapy for cervical cancer [PDF]

Technical Innovations & Patient Support in Radiation Oncology
Purpose: This study aimed to develop and evaluate a mixed reality-guided intraoperative visual support system for safe and accurate needle applicator insertion for combined intracavitary and interstitial brachytherapy (IC/IS-BT). Materials and Methods: A
Ryuta Hirai, Tomohiro Ohta, Mitsunobu Igari, Yu Kumazaki, Jun Watanabe, Keita Tsukahara, Misaki Iino, Yasuhiro Ryuno, Tomomi Aoshika, Satoshi Saito, Takanori Abe, Shin-ei Noda, Shingo Kato   +12 more
doaj   +2 more sources

Reliability and validity analysis of the Chinese version of the Quick Dementia Rating System (QDRS) [PDF]

BMC Geriatrics
Background Alzheimer’s disease (AD) is one of the most common chronic diseases among the elderly. The Quick Dementia Rating System (QDRS) is a recognized cognitive assessment tool.
Hang Su, Jiehua Zhu, Yifan Wang, Jun Jin, Qihao Guo   +4 more
doaj   +2 more sources

142 Using evaluation methods to improve evaluation processes: Creation and implementation of a new continuous improvement process at Duke Univ. Clinical and Translational Science Institute (CTSI)

Journal of Clinical and Translational Science, 2023
OBJECTIVES/GOALS: (1) Assess challenges with our current continuous improvement processes via stakeholders. (2) Implement a revised continuous improvement process.
Jessica Sperling, Stella Quenstedt, Joe McClernon   +2 more
doaj   +1 more source

Tau levels are higher in objective subtle cognitive decline but not subjective memory complaint

Alzheimer’s Research & Therapy, 2022
Background The 2018 NIA-AA Alzheimer’s Disease (AD) Research Framework states that subtle cognitive decline in cognitively unimpaired individuals can be measured by subjective reports or evidence of objective decline on neuropsychological measures.
Kelsey R. Thomas, Alexandra J. Weigand, Lauren C. Edwards, Emily C. Edmonds, Katherine J. Bangen, Gema Ortiz, Kayla S. Walker, Mark W. Bondi, for the Alzheimer’s Disease Neuroimaging Initiative   +8 more
doaj   +1 more source