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 +3 more sources
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
Effect of Geospatial Uncertainty Borderization on Users' Heuristic Reasoning [PDF]
, 2021 . A set of mental strategies called "heuristics" – logical shortcuts that we use to make decisions under uncertainty – has become the subject of a growing number of studies.
Ekaterina Chuprikova +2 more
core +1 more source
Caught you: threats to confidentiality due to the public release of large-scale genetic data sets [PDF]
, 2010 Background Large-scale genetic data sets are frequently shared with other research groups and even released on the Internet to allow for secondary analysis. Study participants are usually not informed about such data sharing because data sets are assumed
AS Narayanan +18 more
core +3 more sources
Combining Algebraic and Set-Theoretic Specifications (Extended Version) [PDF]
, 1996 Specification frameworks such as B and Z provide power sets and cartesianproducts as built-in type constructors, and employ a rich notation fordefining (among other things) abstract data types using formulae of predicatelogic and lambda-notation.
Hintermeier, Claus +2 more
core +2 more sources
Pengaruh Free Cash Flow, Investment Opportunity Set Dan Profitabilitas Terhadap Kebijakan Dividen Pada Perusahaan Manufaktur Sektor Konsumsi Yang Terdaftar Di Bursa Efek Indonesia Periode 2018 – 2020 [PDF]
, 2022 This study aims to determine and analyze the effect of: Free Cash Flow, Investment Opportunity Set and Profitability on Dividend Policy. The sampling technique used is the purposive sampling technique and 52 samples of data are obtained using 20 data ...
Junaidi, Ahmad +2 more
core +1 more source
Multiwavelength analysis of three SNe associated with GRBs observed by GROND [PDF]
, 2015 After the discovery of the first connection between GRBs and SNe almost two decades ago, tens of SN-like rebrightenings have been discovered and about seven solid associations have been spectroscopically confirmed to date.
Afonso, P. M. J. +16 more
core +2 more sources
Online set packing and competitive scheduling of multi-part tasks [PDF]
, 2010 We consider a scenario where large data frames are broken into a few packets and transmitted over the network. Our focus is on a bottleneck router: the model assumes that in each time step, a set of packets (a burst) arrives, from which only one packet ...
Emek, Yuval +5 more
core +1 more source
Global rank-invariant set normalization (GRSN) to reduce systematic distortions in microarray data [PDF]
, 2008 Background Microarray technology has become very popular for globally evaluating gene expression in biological samples. However, non-linear variation associated with the technology can make data interpretation unreliable.
Bagby, Grover +3 more
core +3 more sources
Dynamic Coalition Formation Under Uncertainty [PDF]
, 2009 Coalition formation algorithms are generally not applicable to real-world robotic collectives since they lack mechanisms to handle uncertainty. Those mechanisms that do address uncertainty either deflect it by soliciting information from others or apply ...
Borghetti, Brett J. +2 more
core +2 more sources