Sciweavers

21430 search results - page 435 / 4286
» Abstract Effective Models
Sort
View
FUIN
2008
74views more  FUIN 2008»
15 years 6 months ago
Security in a Model for Long-running Transactions
Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long
Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo ...
JCC
2006
59views more  JCC 2006»
15 years 6 months ago
Comparison of implicit solvent models for the simulation of protein-surface interactions
Abstract: Empirical force field-based molecular simulations can provide valuable atomistic-level insights into protein
Yu Sun, Robert A. Latour
TNN
2008
86views more  TNN 2008»
15 years 6 months ago
Trend Time-Series Modeling and Forecasting With Neural Networks
Abstract--Despite its great importance, there has been no general consensus on how to model the trends in time
Min Qi, G. Peter Zhang
INFORMATICALT
2002
61views more  INFORMATICALT 2002»
15 years 6 months ago
A Tool for Modeling Optical Beam Propagation
Abstract. A tool for modeling the propagation of optical beams is proposed and investigated. Truncated Laguerre
Raimondas Ciegis, Galina Silko, Aleksandr Dement'e...
MLQ
2007
73views more  MLQ 2007»
15 years 6 months ago
Existence of EF-equivalent non-isomorphic models
Abstract. We prove the existence of pairs of models of the same cardinality λ which are very equivalent according to EF games, but not isomorphic. We continue the paper [4], but w...
Chanoch Havlin, Saharon Shelah