Sciweavers

3134 search results - page 36 / 627
» simulation 2010
Sort
View
MICCAI
2010
Springer
14 years 8 months ago
Atlas-Based Reduced Models of Blood Flows for Fast Patient-Specific Simulations
Kristin McLeod, Alfonso Caiazzo, Miguel A. Fern&aa...
VTC
2010
IEEE
122views Communications» more  VTC 2010»
14 years 7 months ago
Efficient Simulation using Shadowing Fields of Many Wireless Interferers with Correlated Shadowing
As the number of wireless devices sharing a radio band increases, so does the number N of potential co
Sebastian S. Szyszkowicz, F. Alaca, Halim Yanikome...
FORTE
2010
14 years 11 months ago
Logics for Contravariant Simulations
Abstract. Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not al...
Ignacio Fábregas, David de Frutos-Escrig, M...
ENTCS
2002
76views more  ENTCS 2002»
14 years 9 months ago
A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
In [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgebras of the functor F(X) = X +O. In the present paper I will introduce a notion of weak ...
Jan Rothe