1888 search results - page 274 / 378 » Proof theory and computational analysis |
110
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Metabolic Flux Analysis (MFA) based on isotope labeling experiments (ILEs) is a widely established tool for determining fluxes in metabolic pathways. Isotope labeling ...
133
click to vote
SMA
2003
ACM
15 years 7 months ago
2003
ACM
Dimensional reduction is a simplification technique that eliminates one or more dimensions from a boundary value problem. It results in significant computational savings with mini...
120
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficien...
100
click to vote
CHI
2005
ACM
16 years 2 months ago
2005
ACM
This study examines the acceptance and usability of an animated conversational agent designed to establish longterm relationships with older, mostly minority adult users living in...
112
click to vote
COMPGEOM
2009
ACM
15 years 8 months ago
2009
ACM
We describe the first algorithms to compute minimum cuts in surface-embedded graphs in near-linear time. Given an undirected graph embedded on an orientable surface of genus g, w...