Sciweavers

5244 search results - page 585 / 1049
» Structural Complexity of AvgBPP
Sort
View
ESWA
2006
103views more  ESWA 2006»
15 years 7 months ago
Model gene network by semi-fixed Bayesian network
Gene networks describe functional pathways in a given cell or tissue, representing processes such as metabolism, gene expression regulation, and protein or RNA transport. Thus, le...
Tie-Fei Liu, Wing-Kin Sung, Ankush Mittal
FMSD
2006
140views more  FMSD 2006»
15 years 7 months ago
Dealing with practical limitations of distributed timed model checking for timed automata
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
Víctor A. Braberman, Alfredo Olivero, Ferna...
CCE
2007
15 years 7 months ago
A systematic approach to plant-wide control based on thermodynamics
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
Luis T. Antelo, Irene Otero-Muras, Julio R. Banga,...
IJNSEC
2008
106views more  IJNSEC 2008»
15 years 7 months ago
Parallel Hardware Architectures for the Cryptographic Tate Pairing
Identity-based cryptography uses pairing functions,which are sophisticated bilinear maps defined on elliptic curves.Computing pairings efficiently in software is presently a relev...
Guido Marco Bertoni, Luca Breveglieri, Pasqualina ...
CGF
2007
121views more  CGF 2007»
15 years 7 months ago
Real-Time Simulation of Thin Shells
This paper proposes a real-time simulation technique for thin shells undergoing large deformation. Shells are thin objects such as leaves and papers that can be abstracted as 2D s...
Min Gyu Choi, Seung Yong Woo, Hyeong-Seok Ko