Results 71 to 80 of about 934,012 (382)
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 unpredictably eruptive dynamics of spruce budworm populations in eastern Canada
Population Ecology, EarlyView.We examine historical population data for spruce budworm from several locations through the period 1930–1997, and use density‐dependent recruitment curves to test whether the pattern of population growth over time is more consistent with Royama's (1984; Ecological Monographs 54:429–462) linear R(t) model of harmonic oscillation at Green River New ...
Barry J. Cooke, Jacques Régnière
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
An Abstraction Technique for Verifying Shared-Memory Concurrency
Applied Sciences, 2020 Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability.
Wytse Oortwijn +2 more
doaj +1 more source
Junior High School Students’ Abstraction In Learning Geometry [PDF]
, 2011 ion is a fundamental process in learning mathematics. Although it is a fundamental process but it is still an unfamiliar issue in mathematics education. On the other side, geometry, one of the fields in mathematics, consists of abstracts ideas having big
Farida, Nurhasanah
core
Network topology drives population temporal variability in experimental habitat networks
Population Ecology, EarlyView.Habitat patches connected by dispersal pathways form habitat networks. We explored how network topology affects population outcomes in laboratory experiments using a model species (Daphnia carinata). Central habitat nodes in complex lattice networks exhibited lower temporal variability in population sizes, suggesting they support more stable ...
Yiwen Xu +3 more
wiley +1 more source
Geographic variation in walking activity in the red flour beetle Tribolium castaneum
Population Ecology, EarlyView.This study examined whether there is geographic variation in field populations, focusing on the moving activity in the red flour beetle Tribolium castaneum. Results showed significant differences in moving activity among field populations but no correlation with latitude or meteorological factors.
Kentarou Matsumura
wiley +1 more source
, 1990 The use of abstraction has been largely informal. As a consequence, it has often been difficult to see how or why a particular abstraction works. This paper attempts to help correct this trend by presenting a formal theory of abstraction.
Bundy, Alan, Giunchiglia, F., Walsh, T.
core +1 more source
Sparsity-Sensitive Finite Abstraction
, 2017 ion of a continuous-space model into a finite state and input dynamical model is a key step in formal controller synthesis tools. To date, these software tools have been limited to systems of modest size (typically $\leq$ 6 dimensions) because the ...
Arcak, Murat +2 more
core +1 more source