Sciweavers

42 search results - page 7 / 9
» An analysis of the equilibrium of migration models for bioge...
Sort
View
SIGECOM
2000
ACM
155views ECommerce» more  SIGECOM 2000»
13 years 11 months ago
Competitive bundling of categorized information goods
We introduce an information bundling model that addresses two important but relatively unstudied issues in real markets for information goods: automated customization of content b...
Jeffrey O. Kephart, Scott A. Fay
OOPSLA
2007
Springer
14 years 1 months ago
Ilea: inter-language analysis across java and c
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
Gang Tan, Greg Morrisett
AB
2007
Springer
14 years 1 months ago
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
Venkatesh Mysore, Bud Mishra
BMCBI
2008
153views more  BMCBI 2008»
13 years 7 months ago
AWclust: point-and-click software for non-parametric population structure analysis
Background: Population structure analysis is important to genetic association studies and evolutionary investigations. Parametric approaches, e.g. STRUCTURE and L-POP, usually ass...
Xiaoyi Gao, Joshua D. Starmer
ISCI
2010
111views more  ISCI 2010»
13 years 5 months ago
Effective vaccination policies
We present a framework for modeling the spread of pathogens throughout a population and generating policies that minimize the impact of those pathogens on the population. This fra...
L. Shaw, W. Spears, L. Billings, P. Maxim