Sciweavers

8582 search results - page 51 / 1717
» Here or There
Sort
View
SCSC
2007
13 years 11 months ago
Virtual prototyping as a mechanism for simulation-based design
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
Roger Dougal, Blake Langland, Antonello Monti
AIML
2006
13 years 11 months ago
Bisimulation Quantified Modal Logics: Decidability
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfort...
Tim French
BIOCOMP
2006
13 years 11 months ago
A New Algorithm to Predict the Active Sites Using Amino Acid Vectors and Biochemical features of Surface Patches
: It is a very active research field to predict protein functions and active sites by protein surface patches. It is especially challengeable to predict the active sites by structu...
Sunshin Kim, Chung Rhee, Jungdo Choi, Yong Je Chun...
CCCG
2006
13 years 11 months ago
Another Paradigm for Geometric Constraints Solving
Geometric constraints solving often relies on graphbased methods to decompose systems of geometric constraints. These methods have intrinsic and unavoidable limitations which are ...
Dominique Michelucci, Sebti Foufou, Loïc Lama...
CSC
2006
13 years 11 months ago
Hypervelocity impact protection by a nominal two-plate aluminum spacecraft shield against milli- and centimeter-sized space debr
Hypervelocity collisions with space debris (SD, natural meteoroids and man-made artifacts) can significantly affect the performance of spacecraft. Here, I use an adaptivemesh Eule...
Jack Horner