Sciweavers

656 search results - page 18 / 132
» Symbolic computing of nonlinear observable and observer form...
Sort
View
AAAI
1990
13 years 8 months ago
Symbolic Probabilistic Inference in Belief Networks
The Symbolic Probabilistic Inference (SPI) Algorithm [D'Ambrosio, 19891 provides an efficient framework for resolving general queries on a belief network. It applies the conc...
Ross D. Shachter, Bruce D'Ambrosio, Brendan Del Fa...
IJNSEC
2006
71views more  IJNSEC 2006»
13 years 7 months ago
Joint Sparse Form of Window Three for Koblitz Curve
The joint sparse form (JSF) for the non-adjacent form (NAF) representation of two large integers a and b, was proposed by Solinas. Then Ciet extended it to the -JSF for the -NAF r...
Yong Ding, Kwok-Wo Wong, Yu-Min Wang
NAR
2011
191views Computer Vision» more  NAR 2011»
12 years 10 months ago
The protein common interface database (ProtCID) - a comprehensive database of interactions of homologous proteins in multiple cr
The protein common interface database (ProtCID) is a database that contains clusters of similar homodimeric and heterodimeric interfaces observed in multiple crystal forms (CFs). ...
Qifang Xu, Roland L. Dunbrack Jr.
HAPTICS
2009
IEEE
14 years 2 months ago
Quantifying perception of nonlinear elastic tissue models using multidimensional scaling
Simplified soft tissue models used in surgical simulations cannot perfectly reproduce all material behaviors. In particular, many tissues exhibit the Poynting effect, which resul...
Sarthak Misra, Philipp Fürnstahl, K. T. Rames...
SP
2006
IEEE
214views Security Privacy» more  SP 2006»
14 years 1 months ago
Automatically Generating Malicious Disks using Symbolic Execution
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar...