Sciweavers

1278 search results - page 73 / 256
» The Complexity of Weighted Boolean
Sort
View
CEC
2003
IEEE
14 years 1 months ago
Dynamics of gene expression in an artificial genome
Abstract- Complex systems techniques provide a powerful tool to study the emergent properties of networks of interacting genes. In this study we extract models of genetic regulator...
Kai Willadsen, Janet Wiles
DAM
2007
67views more  DAM 2007»
13 years 10 months ago
The state of SAT
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...
Henry A. Kautz, Bart Selman
CIAC
2010
Springer
376views Algorithms» more  CIAC 2010»
14 years 7 months ago
Kernelization for Maximum Leaf Spanning Tree with Positive Vertex Weights
In this paper we consider a natural generalization of the well-known Max Leaf Spanning Tree problem. In the generalized Weighted Max Leaf problem we get as input an undirected co...
Bart Jansen
FSKD
2007
Springer
140views Fuzzy Logic» more  FSKD 2007»
14 years 4 months ago
QoS-Aware Web Service Selection by a Synthetic Weight
The selection of web services according to different quality of service (QoS) is one of the most important decision issues for which complex considerations are involved. In many c...
PengCheng Xiong, Yushun Fan
EM
2010
154views Management» more  EM 2010»
13 years 5 months ago
Higher-Weight Heegner Points
In this paper we formulate a conjecture which partially generalizes the Gross-Kohnen-Zagier theorem to higher weight modular forms. For f S2k(N) satisfying certain conditions, we c...
Kimberly Hopkins