Sciweavers

3134 search results - page 36 / 627
» simulation 2010
Sort
View
MICCAI
2010
Springer
15 years 12 days 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 11 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
15 years 3 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»
15 years 1 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