Sciweavers

1817 search results - page 355 / 364
» Forcing and Type Theory
Sort
View
CGF
2008
84views more  CGF 2008»
13 years 7 months ago
Visualizing Underwater Ocean Optics
Simulating the in-water ocean light field is a daunting task. Ocean waters are one of the richest participating media, where light interacts not only with water molecules, but wit...
Diego Gutierrez, Francisco J. Serón, Adolfo...
COR
2010
96views more  COR 2010»
13 years 7 months ago
Strong activity rules for iterative combinatorial auctions
Activity rules have emerged in recent years as an important aspect of practical auction design. The role of an activity rule in an iterative auction is to suppress strategic behav...
Pavithra Harsha, Cynthia Barnhart, David C. Parkes...
CORR
2010
Springer
162views Education» more  CORR 2010»
13 years 7 months ago
Power Allocation Games in Wireless Networks of Multi-antenna Terminals
We consider wireless networks that can be modeled by multiple access channels in which all the terminals are equipped with multiple antennas. The propagation model used to account...
Elena Veronica Belmega, Samson Lasaulce, Mé...
BIOINFORMATICS
2006
142views more  BIOINFORMATICS 2006»
13 years 7 months ago
Intervention in a family of Boolean networks
Motivation: Intervention in a gene regulatory network is used to avoid undesirable states, such as those associated with a disease. Several types of intervention have been studied...
Ashish Choudhary, Aniruddha Datta, Michael L. Bitt...
BMCBI
2006
116views more  BMCBI 2006»
13 years 7 months ago
A model-based approach to selection of tag SNPs
Background: Single Nucleotide Polymorphisms (SNPs) are the most common type of polymorphisms found in the human genome. Effective genetic association studies require the identific...
Pierre Nicolas, Fengzhu Sun, Lei M. Li