Sciweavers

1229 search results - page 90 / 246
» Variational Linear Response
Sort
View
FIMH
2007
Springer
14 years 3 months ago
Constitutive Modeling of Cardiac Tissue Growth
Abstract. Long term responses of the heart to e.g. infarction or surgical intervention are related to response of the tissue to changes in the mechanical environment. The tissue re...
Wilco Kroon, Tammo Delhaas, Theo Arts, Peter Boven...
JAR
2010
123views more  JAR 2010»
13 years 7 months ago
A Framework for Proof Systems
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
Vivek Nigam, Dale Miller
CVPR
2005
IEEE
14 years 11 months ago
A Weighted Nearest Mean Classifier for Sparse Subspaces
In this paper we focus on high dimensional data sets for which the number of dimensions is an order of magnitude higher than the number of objects. From a classifier design standp...
Cor J. Veenman, David M. J. Tax
STOC
2009
ACM
238views Algorithms» more  STOC 2009»
14 years 9 months ago
On the convergence of regret minimization dynamics in concave games
We study a general sub-class of concave games, which we call socially concave games. We show that if each player follows any no-external regret minimization procedure then the dyn...
Eyal Even-Dar, Yishay Mansour, Uri Nadav
DSOM
2000
Springer
14 years 1 months ago
Operational Data Analysis: Improved Predictions Using Multi-computer Pattern Detection
Operational Data Analysis (ODA) automatically 1) monitors the performance of a computer through time, 2) stores such information in a data repository, 3) applies data-mining techn...
Ricardo Vilalta, Chidanand Apté, Sholom M. ...