Sciweavers

193 search results - page 19 / 39
» Definition and analysis of composition structures for discre...
Sort
View
BMCBI
2010
132views more  BMCBI 2010»
13 years 7 months ago
New statistical potential for quality assessment of protein models and a survey of energy functions
Background: Scoring functions, such as molecular mechanic forcefields and statistical potentials are fundamentally important tools in protein structure modeling and quality assess...
Dmitry Rykunov, András Fiser
CIKM
1997
Springer
13 years 12 months ago
An Analysis of Cardinality Constraints in Redundant Relationships
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...
James Dullea, Il-Yeol Song
FORMATS
2007
Springer
13 years 11 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
WSC
2008
13 years 10 months ago
How to build valid and credible simulation models
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
Averill M. Law
WIAMIS
2009
IEEE
14 years 2 months ago
Optimizing strategies for the exploration of social networks and associated data collections
Multimedia data collections immersed into social networks may be explored from the point of view of varying documents and users characteristics. In this paper, we develop a unifi...
Stéphane Marchand-Maillet, Eniko Szekely, E...