Sciweavers

8337 search results - page 1202 / 1668
» Reasoning With Characteristic Models
Sort
View
AMC
2010
116views more  AMC 2010»
15 years 7 months ago
On a bilinear optimization problem in parallel magnetic resonance imaging
This work is concerned with the structure of bilinear minimization problems arising in recovering subsampled and modulated images in parallel magnetic resonance imaging. By consid...
Christian Clason, Gregory von Winckel
150
Voted
ANOR
2010
75views more  ANOR 2010»
15 years 7 months ago
A new methodology for studying the equity premium
This paper provides a new framework for the derivation and estimation of consumption and the equity premium functions. The novelty in our approach is that it does not require the ...
Elie Appelbaum, Parantap Basu
BIB
2010
147views more  BIB 2010»
15 years 7 months ago
Toward the dynamic interactome: it's about time
Dynamic molecular interactions play a central role in regulating the functioning of cells and organisms.The availability of experimentally determined large-scale cellular networks...
Teresa M. Przytycka, Mona Singh, Donna K. Slonim
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 7 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 7 months ago
Context Ontology Implementation for Smart Home
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...
Tam Van Nguyen, Wontaek Lim, Huy Anh Nguyen, Deokj...
« Prev « First page 1202 / 1668 Last » Next »