Results 81 to 90 of about 885,312 (384)
Model checking and abstraction
ACM-SIGACT Symposium on Principles of Programming Languages, 1992 We describe a method for using abstraction to reduce the complexity of temporal logic model checking. The basis of this method is a way of constructing an abstract model of a program without ever examining the corresponding unabstracted model.
E. Clarke, O. Grumberg, D. E. Long
semanticscholar +1 more source
Evaluating the origin and spread of spotted lanternfly (Lycorma delicatula) in Japan
Population Ecology, EarlyView.The invasive spotted lanternfly (Lycorma delicatula) is native to China and is a serious economic pest in the Republic of Korea and the United States, though it is not considered a pest in Japan. We established a distribution map of L. delicatula in Japan through a comprehensive review of published literature and citizen science reports and analyzed ...
Matthew T. Kamiyama +5 more
wiley +1 more source
Image quality improvement in low‐dose chest CT with deep learning image reconstruction
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Objectives To investigate the clinical utility of deep learning image reconstruction (DLIR) for improving image quality in low‐dose chest CT in comparison with 40% adaptive statistical iterative reconstruction‐Veo (ASiR‐V40%) algorithm. Methods This retrospective study included 86 patients who underwent low‐dose CT for lung cancer screening ...
Qian Tian +7 more
wiley +1 more source
Typesafe Abstractions for Tensor Operations [PDF]
Tongfei Chen (2017): Typesafe Abstractions for Tensor Operations
(Short Paper). In Proceedings of the 8th ACM SIGPLAN International Symposium
on Scala. pp. 45-50, 2017 We propose a typesafe abstraction to tensors (i.e. multidimensional arrays) exploiting the type-level programming capabilities of Scala through heterogeneous lists (HList), and showcase typesafe abstractions of common tensor operations and various neural layers such as convolution or recurrent neural networks.
arxiv +1 more source
The Role of Representations in Executive Function: Investigating a Developmental Link between Flexibility and Abstraction. [PDF]
, 2011 Young children often perseverate, engaging in previously correct, but no longer appropriate behaviors. One account posits that such perseveration results from the use of stimulus-specific representations of a situation, which are distinct from abstract ...
Kharitonova, Maria, Munakata, Yuko
core +3 more sources
Wonderland: A Novel Abstraction-Based Out-Of-Core Graph Processing System
International Conference on Architectural Support for Programming Languages and Operating Systems, 2018 Many important graph applications are iterative algorithms that repeatedly process the input graph until convergence. For such algorithms, graph abstraction is an important technique: although much smaller than the original graph, it can bootstrap an ...
Mingxing Zhang +5 more
semanticscholar +1 more source
Population Ecology, EarlyView.In this study, we compared three methods for kinship identification using different algorithms in samples of wild Pacific bluefin tuna and generated genotyping data. The three methods resulted in different numbers of inferred kinship pairs for both generated and actual data. Particularly for the half‐sibling pairs, considerable number of false‐positive
Yohei Tsukahara +5 more
wiley +1 more source
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose To assess whether the joint application of hybrid iterative reconstruction (HIR) and an adaptive filter (AF) could reduce streak artifacts and improve image quality of neck‐and‐shoulder computed tomography (CT). Methods This study included 96 patients with suspicious neck lesions who underwent a routine nonenhanced scan on a 64‐slice ...
Wenfeng Jin +6 more
wiley +1 more source
‘‘Thus we forever see the ages as they appear mirrored in our spirits”: Willhelm Worringer’s Abstraction and Empathy as longseller, or the birth of artistic modernism from the spirit of the imagined 0ther [PDF]
Journal of Art Historiography, 2015 As welcome as Worringer’s plea for a global broadening of art-historical research may seem from the present perspective, his theoretical approach, which is tied to a fictive other and determined by primitivist ideas remains problematic.
Ursula Helg
doaj
UAREI: A model for formal description and visual representation /software gamification
Dyna, 2017 The paper presents the UAREI (User-Action-Rule-Entities-Interface) model for formal specification of software gamification, and the UAREI visual modelling language for graphical representation of game mechanics.
Darius Aseriskis +2 more
doaj +1 more source