Results 51 to 60 of about 6,218,205 (370)
On implementations of loose abstract data type specifications and their vertical composition [PDF]
, 1986 In an approach for the implementation of loose abstract data type specifications that completely distinguishes between the syntactical level of specifications and the semantical level of models, vertical implementation composition is defined compatibly ...
Beierle, Christoph, Voß, Angelika
core +1 more source
Population Ecology, EarlyView.In the process of captive breeding and reintroduction of endangered animal species, it is crucial to minimize familial bias in reproductive success during the reintroduction phase to preserve genetic diversity. In this study, we attempted to identify the familial lineage of individuals of the endangered bagrid fish Tachysurus ichikawai born at the ...
Hinano Mizuno +5 more
wiley +1 more source
Are we survivors of the sudden past singularity?
European Physical Journal C: Particles and Fields, 2023 In this paper, we investigate the viability of cosmological models featuring a type II singularity that occurs during the past evolution of the Universe.
Adam Balcerzak +2 more
doaj +1 more source
Data Flow Refinement Type Inference [PDF]
arXiv, 2020 Refinement types enable lightweight verification of functional programs. Algorithms for statically inferring refinement types typically work by reduction to solving systems of constrained Horn clauses extracted from typing derivations. An example is Liquid type inference, which solves the extracted constraints using predicate abstraction.
arxiv
Parametric Compositional Data Types [PDF]
EPTCS 76, 2012, pp. 3-24, 2012 In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs). Based on Swierstra's data types \'a la carte, CDTs are implemented as a Haskell library that enables the definition of recursive data types and functions on them in a ...
arxiv +1 more source
SkelCL - A Portable Skeleton Library for High-Level GPU Programming [PDF]
, 2011 While CUDA and OpenCL made general-purpose programming for Graphics Processing Units (GPU) popular, using these programming approaches remains complex and error-prone because they lack high-level abstractions.
Gorlatch, Sergei +2 more
core +1 more source
Population Ecology, EarlyView.In this article, we tested optimal SNP filtering strategies for accurate parentage assignment and pedigree reconstruction for a wild population of red‐spotted masu salmon, Oncorhynchus masou ishikawae. We found that mid‐point filtering in terms of call rate and minor allele frequency performs well for pedigree reconstruction.
Shohei Noda +6 more
wiley +1 more source
Genome Biology, 2022 Here, we propose DeCAF (DEconvoluted cell type Allele specific Function), a new method to identify cell-fraction (cf) QTLs in tumors by leveraging both allelic and total expression information.
Cynthia A. Kalita, Alexander Gusev
doaj +1 more source
Neural Shape Compiler: A Unified Framework for Transforming between Text, Point Cloud, and Program [PDF]
arXiv, 2022 3D shapes have complementary abstractions from low-level geometry to part-based hierarchies to languages, which convey different levels of information. This paper presents a unified framework to translate between pairs of shape abstractions: $\textit{Text}$ $\Longleftrightarrow$ $\textit{Point Cloud}$ $\Longleftrightarrow$ $\textit{Program}$.
arxiv
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation [PDF]
, 2006 The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type systems.
A. Igarashi +20 more
core +4 more sources