Sciweavers

2239 search results - page 329 / 448
» Computing with abstract matrix structures
Sort
View
ESWS
2009
Springer
15 years 4 months ago
MoKi: The Enterprise Modelling Wiki
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
Chiara Ghidini, Barbara Kump, Stefanie N. Lindstae...
ICFP
1999
ACM
15 years 2 months ago
Type Inference Builds a Short Cut to Deforestation
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
Olaf Chitil
DIAGRAMS
2006
Springer
15 years 8 hour ago
From Diagrams to Models by Analogical Transfer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
Patrick W. Yaner, Ashok K. Goel
JCC
2008
114views more  JCC 2008»
14 years 10 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,...
116
Voted
SIAMSC
2011
85views more  SIAMSC 2011»
14 years 26 days ago
Refinement and Connectivity Algorithms for Adaptive Discontinuous Galerkin Methods
Abstract. Adaptive multiscale methods are among the many effective techniques for the numerical solution of partial differential equations. Efficient grid management is an import...
Kolja Brix, Ralf Massjung, Alexander Voss