683 search results - page 93 / 137 » Vulnerability Analysis of High Dimensional Complex Systems |
121
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
A bioinformatics analysis pipeline is often highly elaborate, due to the inherent complexity of biological systems and the variety and size of laboratory publications would be high...
135
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
165
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
158
Voted
SC
2009
ACM
15 years 10 months ago
2009
ACM
The UNIC code is being developed as part of the DOE’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. UNIC is an unstructured, deterministic neutron transport c...
138
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
With the sheer growth of online user data, it becomes challenging to develop preference learning algorithms that are sufficiently flexible in modeling but also affordable in com...