Results 21 to 30 of about 332,400 (128)
Measuring dendrofloristic diversity in urban parks in Novi Sad (Serbia)
Trees, Forests and People, 2022 Urban parks provide many ecosystem services, and conserving biodiversity is one of the most important among them. Keeping track of biodiversity indices and their evolution over time is a useful procedure for preserving biodiversity within urban habitats.
Milena Lakicevic +3 more
doaj
Extending Stan for Deep Probabilistic Programming
, 2020 Stan is a popular declarative probabilistic programming language with a high-level syntax for expressing graphical models and beyond. Stan differs by nature from generative probabilistic programming languages like Church, Anglican, or Pyro.
Baudart, Guillaume +5 more
core +1 more source
Sri Lankan Journal of Infectious Diseases, 2017 Introduction and Objectives: Urinary tract infections (UTIs) are frequent and predominantly caused by coliforms. ESBL producers are increasing in number limiting therapeutic options.
W. R. P. L. I. Wijesooriya +4 more
doaj +1 more source
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) [PDF]
EPTCS 48, 2011, pp. 85-100, 2011 For the lambda-calculus with letrec we develop an optimisation, which is based on the contraction of a certain class of 'future' (also: virtual) redexes. In the implementation of functional programming languages it is common practice to perform beta-reductions at compile time whenever possible in order to produce code that requires fewer reductions ...
arxiv +1 more source
BMC Bioinformatics, 2019 Background When designing an epigenome-wide association study (EWAS) to investigate the relationship between DNA methylation (DNAm) and some exposure(s) or phenotype(s), it is critically important to assess the sample size needed to detect a hypothesized
Stefan Graw +3 more
doaj +1 more source
Fluid conductivity in porous media in terms of beta functions [PDF]
arXiv, 2023 Conductivity of unsaturated porous media to fluids is of theoretical and applied interest to mathematicians, physicists, and chemical, petroleum, civil and agricultural engineers. We explore the expression of unsaturated relative conductivity equations as a regularized incomplete beta function, which implies a beta distribution of the variable of ...
arxiv
The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition [PDF]
, 2013 We present the Glasgow Parallel Reduction Machine (GPRM), a novel, flexible framework for parallel task-composition based many-core programming. We allow the programmer to structure programs into task code, written as C++ classes, and communication code,
Tousimojarad, Ashkan +1 more
core +3 more sources
A Finite Model Property for Intersection Types [PDF]
EPTCS 177, 2015, pp. 1-9, 2015 We show that the relational theory of intersection types known as BCD has the finite model property; that is, BCD is complete for its finite models. Our proof uses rewriting techniques which have as an immediate by-product the polynomial time decidability of the preorder <= (although this also follows from the so called beta soundness of BCD).
arxiv +1 more source
VisKoP: Visual Knowledge oriented Programming for Interactive Knowledge Base Question Answering [PDF]
arXiv, 2023 We present Visual Knowledge oriented Programming platform (VisKoP), a knowledge base question answering (KBQA) system that integrates human into the loop to edit and debug the knowledge base (KB) queries. VisKoP not only provides a neural program induction module, which converts natural language questions into knowledge oriented program language (KoPL),
arxiv
A Theory of Explicit Substitutions with Safe and Full Composition [PDF]
Logical Methods in Computer Science, Volume 5, Issue 3 (July 15,
2009) lmcs:816, 2009 Many different systems with explicit substitutions have been proposed to implement a large class of higher-order languages. Motivations and challenges that guided the development of such calculi in functional frameworks are surveyed in the first part of this paper.
arxiv +1 more source