Abstract. We propose a new method to generate unfolded area preserving representations of the cerebral cortex. The cortical surface is evolved with an application-specific normal m...
Jean-Philippe Pons, Renaud Keriven, Olivier D. Fau...
Abstract—This paper describes an efficient image transformation method based on histogram information and some prior knowledge of tissue expression in different modalities for r...
A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...
Stephanie Forrest, Steven A. Hofmeyr, Anil Somayaj...
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potent...
The ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instan...