Sciweavers

564 search results - page 40 / 113
» Some Results on the Expressive Power and Complexity of LSCs
Sort
View
CIE
2009
Springer
15 years 1 months ago
Functions Definable by Arithmetic Circuits
An arithmetic circuit is a labelled, directed, acyclic graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this pap...
Ian Pratt-Hartmann, Ivo Düntsch
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 2 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
SAC
2002
ACM
14 years 9 months ago
An agreement centric access control mechanism for business to business e-commerce
We argue that matrix-based models are inadequate for regulating business to business (or B2B, for short) e-commerce due to the diversity, complexity and potential large number of ...
Victoria Ungureanu
BMCBI
2006
154views more  BMCBI 2006»
14 years 10 months ago
Analysis with respect to instrumental variables for the exploration of microarray data structures
Background: Evaluating the importance of the different sources of variations is essential in microarray data experiments. Complex experimental designs generally include various fa...
Florent Baty, Michaël Facompré, Jan Wi...
BMCBI
2011
14 years 4 months ago
Errors in CGAP xProfiler and cDNA DGED: the importance of library parsing and gene selection algorithms
Background: The Cancer Genome Anatomy Project (CGAP) xProfiler and cDNA Digital Gene Expression Displayer (DGED) have been made available to the scientific community over a decade...
Andrew T. Milnthorpe, Mikhail Soloviev