Sciweavers

8228 search results - page 1270 / 1646
» Structural Logical Relations
Sort
View
CGF
2010
204views more  CGF 2010»
15 years 5 months ago
Automatic Animation for Time-Varying Data Visualization
This paper presents a digital storytelling approach that generates automatic animations for time-varying data visualization. Our approach simulates the composition and transition ...
Li Yu, Aidong Lu, William Ribarsky, Wei Chen
BMCBI
2007
216views more  BMCBI 2007»
15 years 5 months ago
A replica exchange Monte Carlo algorithm for protein folding in the HP model
Background: The ab initio protein folding problem consists of predicting protein tertiary structure from a given amino acid sequence by minimizing an energy function; it is one of...
Chris Thachuk, Alena Shmygelska, Holger H. Hoos
IJFCS
2006
106views more  IJFCS 2006»
15 years 5 months ago
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teru...
JCC
2008
114views more  JCC 2008»
15 years 5 months ago
Molecular simulation of multistate peptide dynamics: A comparison between microsecond timescale sampling and multiple shorter tr
Abstract: Molecular dynamics simulations of the RN24 peptide, which includes a diverse set of structurally heterogeneous states, are carried out in explicit solvent. Two approaches...
Luca Monticelli, Eric J. Sorin, D. Peter Tieleman,...
MP
2008
99views more  MP 2008»
15 years 5 months ago
Efficient robust optimization for robust control with constraints
This paper proposes an efficient computational technique for the optimal control of linear discrete-time systems subject to bounded disturbances with mixed polytopic constraints o...
Paul J. Goulart, Eric C. Kerrigan, Daniel Ralph
« Prev « First page 1270 / 1646 Last » Next »