Sciweavers

8810 search results - page 386 / 1762
» Open. Closed. Open
Sort
View
CORR
2004
Springer
129views Education» more  CORR 2004»
15 years 6 months ago
On Generalized Records and Spatial Conjunction in Role Logic
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
Viktor Kuncak, Martin C. Rinard
CORR
2002
Springer
110views Education» more  CORR 2002»
15 years 6 months ago
Long Proteins with Unique Optimal Foldings in the H-P Model
It is widely accepted that (1) the natural or folded state of proteins is a global energy minimum, and (2) in most cases proteins fold to a unique state determined by their amino ...
Oswin Aichholzer, David Bremner, Erik D. Demaine, ...
NN
2000
Springer
148views Neural Networks» more  NN 2000»
15 years 6 months ago
Anxiety-like behavior in rats: a computational model
This work describes a neural network model of the rat exploratory behavior in the elevated plus-maze, a test used to study anxiety. It involves three parameters: drive to explore;...
Cristiane Salum, Silvio Morato, Antônio C. R...
155
Voted
COMBINATORICS
1998
89views more  COMBINATORICS 1998»
15 years 6 months ago
Venn Diagrams with Few Vertices
An n-Venn diagram is a collection of n finitely-intersecting simple closed curves in the plane, such that each of the 2n sets X1 ∩X2 ∩· · ·∩Xn, where each Xi is the open...
Bette Bultena, Frank Ruskey
TC
1998
15 years 6 months ago
Using System-Level Models to Evaluate I/O Subsystem Designs
—We describe a system-level simulation model and show that it enables accurate predictions of both I/O subsystem and overall system performance. In contrast, the conventional app...
Gregory R. Ganger, Yale N. Patt