Sciweavers

3116 search results - page 158 / 624
» Positively dependent types
Sort
View
WCE
2007
15 years 5 months ago
Numerical Simulation of Cardiovascular Response with VAD Support
—This paper studies the cardiovascular response under heart failure condition supported by two types of ventricular assist devices (VADs): the positive displacement pump and the ...
Theodosios Korakianitis, Yubing Shi
JUCS
2008
98views more  JUCS 2008»
15 years 4 months ago
Spatial Queries in Road Networks Based on PINE
: Over the last decade, due to the rapid developments in information technology (IT), a new breed of information systems has appeared such as geographic information systems that in...
Maytham Safar
MST
2006
81views more  MST 2006»
15 years 4 months ago
Local Limit Properties for Pattern Statistics and Rational Models
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
Alberto Bertoni, Christian Choffrut, Massimiliano ...
JCT
2007
85views more  JCT 2007»
15 years 4 months ago
Avoider-Enforcer games
In numerous positional games the identity of the winner is easily determined. In this case one of the more interesting questions is not who wins but rather how fast can one win. T...
Dan Hefetz, Michael Krivelevich, Tibor Szabó...
JSW
2007
165views more  JSW 2007»
15 years 4 months ago
In and out of Reality: Janus-Faced Location Awareness in Ubiquitous Games
— Many future ubiquitous devices will be able to determine their precise physical position using different types of localization techniques (e.g. GPS antennas for outdoor-, RFID ...
Alexander Höhfeld