Sciweavers

6431 search results - page 686 / 1287
» Model Building by Resolution
Sort
View
180
Voted
IJBRA
2006
59views more  IJBRA 2006»
15 years 7 months ago
Predicting altered pathways using extendable scaffolds
: Many diseases, especially solid tumors, involve the disruption or deregulation of cellular processes. Most current work using gene expression and other high-throughput data, simp...
B. M. Broom, T. J. McDonnell, D. Subramanian
JFP
2006
113views more  JFP 2006»
15 years 7 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
SIGCSE
2008
ACM
120views Education» more  SIGCSE 2008»
15 years 7 months ago
A system for developing tablet pc applications for education
We describe a new system for building Tablet PC-based classroom software. The system, called SLICE, is built for extensibility, using a unique "explicit state" model. Ap...
Sam Kamin, Michael Hines, Chad Peiper, Boris Capit...
196
Voted
IJISEC
2007
88views more  IJISEC 2007»
15 years 7 months ago
Secure group key establishment revisited
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties addressing malicious protocol p...
Jens-Matthias Bohli, Maria Isabel Gonzalez Vasco, ...
CAGD
2005
130views more  CAGD 2005»
15 years 7 months ago
Truly selective polygonal mesh hierarchies with error control
In this work a new multi-resolution model is proposed for polygonal meshes. It is based on the dual edge collapse, which performs face clustering instead of vertex clustering. The...
Stefan Gumhold