Sciweavers

1919 search results - page 149 / 384
» Recent Extensions to Traviando
Sort
View
BIB
2007
139views more  BIB 2007»
15 years 4 months ago
Petri net modelling of biological networks
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
Claudine Chaouiya
CORR
2010
Springer
52views Education» more  CORR 2010»
15 years 4 months ago
Weighted Logics for Nested Words and Algebraic Formal Power Series
Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study neste...
Christian Mathissen
CORR
2010
Springer
62views Education» more  CORR 2010»
15 years 4 months ago
Information embedding meets distributed control
We consider the problem of information embedding where the encoder modifies a white Gaussian host signal in a power-constrained manner to encode the message, and the decoder recov...
Pulkit Grover, Aaron B. Wagner, Anant Sahai
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 4 months ago
On the Implementation of the Probabilistic Logic Programming Language ProbLog
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
Angelika Kimmig, Bart Demoen, Luc De Raedt, V&iacu...
CORR
2008
Springer
57views Education» more  CORR 2008»
15 years 4 months ago
Square Complex Orthogonal Designs with Low PAPR and Signaling Complexity
Abstract--Space-Time Block Codes from square complex orthogonal designs (SCOD) have been extensively studied and most of the existing SCODs contain large number of zero. The zeros ...
Smarajit Das, B. Sundar Rajan