Results 211 to 220 of about 135,201 (265)

DIAG: A Framework for Evaluating Whole-Genome Amplification Quality in Single-Cell SNV Analysis. [PDF]

open access: yesBiology (Basel)
Zhang D   +9 more
europepmc   +1 more source

Uniform Distributed Synthesis

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2006
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a temporal specification. The architecture is given as a directed graph, where the nodes represent processes (including the environment as a special process) that communicate ...
Bernd Finkbeiner, Sven Schewe
openaire   +1 more source

Exponential–Uniform Distribution

Iranian Journal of Science and Technology, Transactions A: Science, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Habibi, M., Asgharzadeh, A.
openaire   +2 more sources

Home - About - Disclaimer - Privacy