Sciweavers

3134 search results - page 36 / 627
» simulation 2010
Sort
View
91
Voted
MICCAI
2010
Springer
15 years 2 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»
15 years 1 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...
107
Voted
FORTE
2010
15 years 5 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 3 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