Collaborative Research: Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society NSF Award CNS-0832782 P. Rusmevichientong, Z.J.M. Shen, D.B. Shmoys. "A PTAS for capacitated sum-of-ratios optimization," Operations Research Letters, v.37, 2009, p. 230. doi:10.1016/j.orl.2009.03.009 Kelling, S; Hochachka, WM; Fink, D; Riedewald, M; Caruana, R; Ballard, G; Hooker, G. "Data-intensive Science: A New Paradigm for Biodiversity Studies," BIOSCIENCE, v.59, 2009, p. 613. View record at Web of Science doi:10.1525/bio.2009.59.7.1 Arbesman, S; Kleinberg, JM; Strogatz, SH. "Superlinear scaling for innovation in cities," PHYSICAL REVIEW E, v.79, 2009. View record at Web of Science doi:10.1103/PhysRevE.79.01611 Tien, JH; Guckenheimer, J. "Parameter estimation for bursting neural models," JOURNAL OF COMPUTATIONAL NEUROSCIENCE, v.24, 2008, p. 358. View record at Web of Science doi:10.1007/s10827-007-0060- Guckenheimer, J. "Return maps of folded nodes and folded saddle-nodes," CHAOS, v.18, 2008. View record at Web of Science doi:10.1063/1.279037 Guckenheimer, J; Kuehn, C. "Computing Slow Manifolds of Saddle Type," SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, v.8, 2009, p. 854. View record at Web of Science doi:10.1137/08074199 Carver, SG; Cowan, NJ; Guckenheimer, JM. "Lateral stability of the spring-mass hopper suggests a two- step control strategy for running," CHAOS, v.19, 2009. View record at Web of Science doi:10.1063/1.312757 J. Guckenheimer and C. Keuhn. "Homoclinic orbits of the FizHugh-Nagumo Equation: the singular limit," DCDS-D, v.2, 2009, p. 851. J. Guckenheimer and C. Kuehn. "Homoclinic Orbits of the FitzHughNagumo Equation: Bifurcations in the Full System," SIAM Journal on Applied Dynamical Systems, v.9, 2010, p. 138. X. Cao, J. Guckenheimer and L. Saloff-Coste. "The backward behavior of the Ricci and cross-curvature flows on SL(2,R)," Communications in Analysis and Geometry, v.17, 2010, p. 1. Amundsen, Ole. W. Allen and K. Messer. "The Next Big Step in Strategic Land Conservation: Conservation Optimization," Eastern Lands and Resource Council White Paper, v.Decembe, 2009. P. Rusmevichientong, M. Shen, and D.B. Shmoys. "Sum-of-ratios optimization with a capacity constraint," Operations Research Letters, v.37, 2009, p. 230. R. Levi, J. Geunes, E. Romeijn, and D.B. Shmoys. "Approximation algorithms for supply chain planning and logistics problems with market choice," Mathematical Programming, v.online, 2009. doi: 10.1007/s10107-009-0310-9 Sullivan, BL; Wood, CL; Iliff, MJ; Bonney, RE; Fink, D; Kelling, S. "eBird: A citizen-based bird observation network in the biological sciences," BIOLOGICAL CONSERVATION, v.142, 2009, p. 2282. View record at Web of Science doi:10.1016/j.biocon.2009.05.00 Carvalho, A; Crato, N; Gomes, C. "A generative power-law search tree model," COMPUTERS & OPERATIONS RESEARCH, v.36, 2009, p. 2376. View record at Web of Science doi:10.1016/j.cor.2008.08.01 Carla Gomes. "Computational Sustainability," The Bridge, National Academy of Engineering, v.39, 2009, p. 5. Rees, M; Ellner, SP. "Integral projection models for populations in temporally varying environments," ECOLOGICAL MONOGRAPHS, v.79, 2009, p. 575. View record at Web of Science J. Mao-Jones K.B. Ritchie, L.E. Jones and S.P. Ellner. "How Microbial Community Composition Regulates Coral Disease Development," PLoS Biology, v.8, 2010, p. 1. doi:10.1371/journal.pbio.1000345 R. Levi, D.B. Shmoys, and C. Swamy. "LP-based approximation algorithms for capacitated facility location," Mathematical Programming, v.3064/20, 2009, p. 21. doi:10.1007/978-3-540-25960- 2_16 P. Rusmevichientong, Z.J.M. Shen, and D.B. Shmoys. "An adaptive algorithm for dynamic assortment optimization," Operations Research, v.58, 2010, p. 1666. doi: 10.1287/opre.1100.0866 Sullivan, B. L., C. L. Wood, M. I. Iliff, R. E. Bonney, D. Fink, and S. Kelling. "eBird: A Citizen-based Bird Observation Network in the Biological Sciences," Biological Conservation, v.142, 2009, p. 2282. doi:10.1016/j.biocon.2009.05.006 Bonney, R., C. Cooper, J. Dickenson, S. Kelling, T. Phillips, K. V. Rosenberg, and J. Shirk. "Citizen Science: A New Paradigm for Increasing Science Knowledge and Scientific Literacy," BioScience, v.59, 2009, p. 977. doi: 10.1525/bio.2009.59.11.9 Carmel Domshlak, Joerg Hoffmann, Ashish Sabharwal. "Friends or Foes? An AI Planning Perspective on Abstraction and Search," JAIR: Journal of Artificial Intelligence Research, v.36, 2009, p. 415. S. Kloster, N. Mahowald, J. Randerson, P. Thornton, S. Levis, P. Lawrence, J. Feddema, K. Oleson, D. Lawrence. "Fire Dynamics during the 20th century simulated by the Community Land Model," Biogeosciences, v.7, 2010, p. 1877. doi: 10.5194/bg-7-1877-2010 Ioannis Psorakis, Theodoros Damoulas, Mark A. Girolami. "Multiclass Relevance Vector Machines: Sparsity and Accuracy," IEEE Transactions on Neural Networks, v.21, 2010, p. 1588. Tamara Polajnar, Theodoros Damoulas, Mark A. Girolami. "Protein Interaction Sentence Detection using Multiple Semantic Kernels," Journal of Biomedical Semantics, v.2, 2011. doi: 10.1186/2041- 1480-2-1 A Yakubu. "Introduction to Discrete-Time Epidemic Models," DIMACS Series In Discrete Mathematics and Theoretical Computer Science, v.75, 2010, p. 83. L. Ristroph, A. Bergou, G. Ristroph, K. Coumes, G. Berman, J. Guckenheimer, Z. Wang, I. Cohen. "Discovering the flight auto-stabilizer of fruit flies by inducing aerial stumbles," Proceedings of the National Academy of Sciences, v.107, 2010, p. 4820. doi:10.1073/pnas.1000615107 W. Sherwood and J. Guckenheimer. "Dissecting the phase response of a model bursting neuron," SIAM Journal on Applied Dynamical Systems, v.9, 2010, p. 659. Esther Washburn and Jon Conrad. "Real Options in Resource Economics," Annual Review of Resource Economics, v.2, 2010, p. 33. doi: 10.1146/annurev-resource-040709-135122 N. M. Mahowald1, S. Kloster1, S. Engelstaedter1, J. K. Moore2, S. Mukhopadhyay3, J. R. McConnell4,S. Albani1, S. C. Doney5, A. Bhattacharya3, M. A. J. Curran6, M. G. Flanner7, F. M. Hoffman8, D. M. Lawrence9, K. Lindsay9, P. A. Mayewski 10, J. Neff11, D. "Observed 20th Century Desert Dust Variability: Impact on Climate and Biogeochemistry," Atmospheric Chemistry and Physics, v.10, 2010, p. 12585. doi: 10.5194/acpd-10-12585-2010 N. Mahowald, K. Lindsay, Daniel Rothenberg, Peter Thornton, Scott Doney, Keith Moore, James Randerson. "Aerosols in the CCSM3.1 coupled-carbon climate model," Biogeosciences, v.8, 2011, p. 387. doi:doi:10.5194/bg-8-387-2011 R. Levi, D.B. Shmoys and C. Swamy. "LP-based approximation algorithms for capacitated facility location," Mathematical Programming, v.Ser.A, 2010. doi: DOI 10.1007/s10107-010-0380-8 Fink, D., Hochachka, W. M., Zuckerberg, B., Winkler, D. W., Shaby, B., Munson, M. Arthur, Hooker, G. J., Riedewald, M., Sheldon, D., Kelling, S.. "Spatiotemporal Exploratory models for Broad-scale Survey Data," Ecological Applications, v.20, 2010, p. 2131. doi:10.1890/09-1340.1 Munson, M.A., Caruana, R. Fink, D., Hochachka, W.M. Iliff, M., Rosenberg, K., Sheldon, D., Sullivan, B., Wood, C., Kelling, S.. "A Method for Measuring the Relative Information Content of Data from Different Monitoring Protocols," Methods in Ecology and Evolution, v.1, 2010, p. 263. doi:10.1111/j.2041-210X.2010.00035.x Lukas Kroc, Ashish Sabharwal, and Bart Selman. "Leveraging Belief Propagation, Bactrack Search, and Statistics for Model Counting," Annals of Operations Research, v.184, 2011, p. 209. Cortez, MH; Ellner, SP. "Understanding Rapid Evolution in Predator-Prey Interactions Using the Theory of Fast-Slow Dynamical Systems," AMERICAN NATURALIST, v.176, 2010, p. E109. View record at Web of Science doi:10.1086/65648 Becks, L; Ellner, SP; Jones, LE; Hairston, NG. "Reduction of adaptive genetic diversity radically alters eco-evolutionary community dynamics," ECOLOGY LETTERS, v.13, 2010, p. 989. View record at Web of Science doi:10.1111/j.1461-0248.2010.01490. Adler, PB; Ellner, SP; Levine, JM. "Coexistence of perennial plants: an embarrassment of niches," ECOLOGY LETTERS, v.13, 2010, p. 1019. View record at Web of Science doi:10.1111/j.1461- 0248.2010.01496. Bruno, J. F., S. P. Ellner, I. Vu, K. Kim, and C. D. Harvell.. "Impacts of aspergillosis on sea fan coral demography: modeling a moving target," Ecological Monographs, v.81, 2011, p. 123. Jongejans, E., K. Shea, O. Skarpaas, D. Kelly, and S. P. Ellner. "Importance of individual and environmental variation for invasive species spread: a spatial integral projection model," Ecology, v.92, 2011, p. 86. Pasour, VB; Ellner, SP. "Computational and Analytic Perspectives on the Drift Paradox," SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, v.9, 2010, p. 333. View record at Web of Science doi:10.1137/09075500 Bento, AM; Franco, SF; Kaffine, D. "Is there a double-dividend from anti-sprawl policies?," JOURNAL OF ENVIRONMENTAL ECONOMICS AND MANAGEMENT, v.61, 2011, p. 135. View record at Web of Science doi:10.1016/j.jeem.2010.09.00 Auffhammer, M; Bento, AM; Lowe, SE. "The City-Level Effects of the 1990 Clean Air Act Amendments," LAND ECONOMICS, v.87, 2011, p. 1. View record at Web of Science Fink, D; Hochachka, WM; Zuckerberg, B; Winkler, DW; Shaby, B; Munson, MA; Hooker, G; Riedewald, M; Sheldon, D; Kelling, S. "Spatiotemporal exploratory models for broad-scale survey data," ECOLOGICAL APPLICATIONS, v.20, 2010, p. 2131. View record at Web of Science Antonio M. Bento, Sofia F. Francob, Daniel T. Kaffined. "Effectiveness of housing revitalization subsidies in the presence of zoning," Regional Science and Urban Economics, v.41, 2011, p. 196. doi:10.1016/j.regsciurbeco.2011.01.003 Mezey, EW; Conrad, JM. "Real Options in Resource Economics," ANNUAL REVIEW OF RESOURCE ECONOMICS, VOL 2, 2010, v.2, 2010, p. 33. View record at Web of Science doi:10.1146/annurev-resource-040709-13512 Zuckerberg, B; Bonter, DN; Hochachka, WM; Koenig, WD; DeGaetano, AT; Dickinson, JL. "Climatic constraints on wintering bird distributions are modified by urbanization and weather," JOURNAL OF ANIMAL ECOLOGY, v.80, 2011, p. 403. View record at Web of Science doi:10.1111/j.1365-2656.2010.01780. Mahowald, N; Lindsay, K; Rothenberg, D; Doney, SC; Moore, JK; Thornton, P; Randerson, JT; Jones, CD. "Desert dust and anthropogenic aerosol interactions in the Community Climate System Model coupled-carbon-climate model," BIOGEOSCIENCES, v.8, 2011, p. 387. View record at Web of Science doi:10.5194/bg-8-387-201 Mahowald, NM; Kloster, S; Engelstaedter, S; Moore, JK; Mukhopadhyay, S; McConnell, JR; Albani, S; Doney, SC; Bhattacharya, A; Curran, MAJ; Flanner, MG; Hoffman, FM; Lawrence, DM; Lindsay, K; Mayewski, PA; Neff, J; Rothenberg, D; Thomas, E; Thornton, PE; Z. "Observed 20th century desert dust variability: impact on climate and biogeochemistry," ATMOSPHERIC CHEMISTRY AND PHYSICS, v.10, 2010, p. 10875. View record at Web of Science doi:10.5194/acp-10-10875-201 Corman, JR; McIntyre, PB; Kuboja, B; Mbemba, W; Fink, D; Wheeler, CW; Gans, C; Michel, E; Flecker, AS. "Upwelling couples chemical and biological dynamics across the littoral and pelagic zones of Lake Tanganyika, East Africa," LIMNOLOGY AND OCEANOGRAPHY, v.55, 2010, p. 214. View record at Web of Science 2010 , , Munson, M. A., Caruana, R., Fink, D., Hochachka, W. M., Iliff, M., Rosenberg, K. V., Sheldon, D., Sullivan, B. L., Wood, C. and Kelling, S.. "A Method for Measuring the Relative Information Content of Data from Different Monitoring Protocols," Methods in Ecology and Evolution, v.1, 2010, p. 263. doi:10.1111/j.2041-210X.2010.00035.x Kim, EDH; Sabharwal, A; Vetta, AR; Blanchette, M. "Predicting direct protein interactions from affinity purification mass spectrometry data," ALGORITHMS FOR MOLECULAR BIOLOGY, v.5, 2010. View record at Web of Science doi:10.1186/1748-7188-5-3 Arbesman, S; Strogatz, SH; Vitevitch, MS. "THE STRUCTURE OF PHONOLOGICAL NETWORKS ACROSS MULTIPLE LANGUAGES," INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, v.20, 2010, p. 679. View record at Web of Science doi:10.1142/S021812741002596 Ratti, C; Sobolevsky, S; Calabrese, F; Andris, C; Reades, J; Martino, M; Claxton, R; Strogatz, SH. "Redrawing the Map of Great Britain from a Network of Human Interactions," PLOS ONE, v.5, 2010. View record at Web of Science doi:10.1371/journal.pone.001424 S.A. Marvel, J. Kleinberg, R.D. Kleinberg and S.H. Strogatz. "Continuous-time model of structural balance," Proceedings of the National Academy of Sciences, v.108, 2011, p. 1771. M. Desroches, J. Guckenheimer, CB. Krauskopf, C. Kuehn, H. Osinga, M. Wechselberger. "Mixed mode oscillations with multiple time scales," SIAM Review, v.54(2), 2012, p. 211. doi: 10.1137/100791233 Erin Wolcott and Jon Conrad. "Agroecology of an Island Economy," Land Economics, v.87(3), 2011, p. 403. Hope C. Michelson, Erin C. Lentz, Richard Mulwa, Mitchell Morey, Laura Cramer, Megan McGlinchy, and Christopher B. Barrett. "Cash, Food or Vouchers in Urban and Rural Kenya? An Application of the Market Information and Food Insecurity Response Analysis Framework in Urban and Rural Kenya," Food Security, 2012, p. 1. doi:10.1007/s12571-012-0177-0 Abdul-Aziz Yakubu, Nianpeng Li, Jon Conrad, Mary Lou Zeeman. "Constant Proportion Harvest Policies: Dynamic Implications in the Pacific Halibut and Atlantic Cod Fisheries," Mathematical Biosciences, v.232(1), 2011, p. 66. doi:10.1016/j.mbs.2011.04.004 John E. Franke, Abdul-Aziz Yakubu. "Periodically forced discrete-time SIS epidemic model with disease- induced mortality," Mathematical Biosciences and Engineering, v.8(2), 2011, p. 385. doi:10.3934/mbe.2011.8.385 Z. Feng, R. Liu, Z. Qiu, J. Rivera, and A.-A. Yakubu. "Coexistence of competitors in deterministic and stochastic patchy environments," Biological Dynamics, v.5(5), 2011, p. 454. doi:10.1080/17513758.2010.535126 Abdul-Aziz Yakubu and Najat Ziyadi. "Discrete-time exploited fish epidemic models," Afrika Mathematika, v.22(2), 2011, p. 177. doi:10.1007/s13370-011-0016-z Antonio M. Bento, Shanjun Li, and Kevin Roth. "Is there an energy paradox from fuel Economy," Economics Letters, v.115(1), 2012, p. 44. doi:10.1016/j.econlet.2011.09.034 Jon Conrad, Carla P. Gomes, Willem-Jan van Hoeve, Ashish Sabharwal, Jordan F. Suter. "Wildlife Corridors as a Connected Subgraph Problem," Journal of Environmental Economics and Management, v.63(1), 2012, p. 1. doi:10.1016/j.jeem.2011.08.001 Adler, P. B., Dalgleish, H. J., & Ellner, S. P.. "Forecasting plant community impacts of climate variability and change: when do competitive interactions matter?," Journal of Ecology, v.100(2), 2012, p. 478. doi:10.1111/j.1365-2745.2011.01930.x Auffhammer, M., Bento, A. M., & Lowe, S. E.. "The City Level Effects of the 1990 Clean Air Act Amendments," Land Economics, v.87(1), 2011, p. 1. Bento, A. M., Franco, S. F., & Kaffine, D.. "Is there a double-dividend from anti-sprawl policies?," Journal of Environmental Economics and Management, v.61(2), 2011, p. 135. doi:10.1016/j.jeem.2010.09.002 Bento, A. M., Franco, S. F., & Kaffine, D.. "Welfare Effects of Anti-Sprawl Policies in the Presence of Urban Decline.," Agricultural and Resource Economics Review, v.40(3), 2011. Bento, A. M., Franco, S. F., & Kaffine, D. T.. "Effectiveness of housing revitalization subsidies in the presence of zoning.," Regional Science and Urban Economics, v.41(3), 2011, p. 196. doi:10.1016/j.regsciurbeco.2011.01.003 CONRAD, J. M., & SMITH, M. D.. "NONSPATIAL AND SPATIAL MODELS IN BIOECONOMICS.," Natural Resource Modeling, v.25(1), 2012, p. 52. doi:10.1111/j.1939- 7445.2011.00102.x Childs, L. M., Paskow, M., Morris, S. M., Hesse, M., & Strogatz, S.. "From inflammation to wound healing: using a simple model to understand the functional versatility of murine macrophages.," Bulletin of mathematical biology, v.73(11), 2011, p. 2575. doi:10.1007/s11538-011-9637-5 Ferreira, N., Lins, L., Fink, D., Kelling, S., Wood, C., Freire, J., & Silva, C.. "BirdVis: visualizing and understanding bird populations," IEEE transactions on visualization and computer graphics,, v.17(12), 2011, p. 2374. doi:10.1109/TVCG.2011.176 Hochachka, W. M., Fink, D., Hutchinson, R. A., Sheldon, D., Wong, W.-K., & Kelling, S.. "Data- intensive science applied to broad-scale citizen science.," Trends in ecology & evolution, v.27(2), 2012, p. 130. doi:10.1016/j.tree.2011.11.006 Hong, H., & Strogatz, S.. "Conformists and contrarians in a Kuramoto model with identical natural frequencies," Physical Review E,, v.84(4), 2011. doi:10.1103/PhysRevE.84.046202 Mahowald, N.. "Aerosol indirect effect on biogeochemical cycles and climate.," Science, v.334(605, 2011, p. 794. doi:10.1126/science.1207374 Michener, W. K., Allard, S., Budden, A., Cook, R. B., Douglass, K., Frame, M., Kelling, S., et al.. "Participatory design of DataONEâ??Enabling cyberinfrastructure for the biological and environmental sciences.," Ecological Informatics, 2011. doi:10.1016/j.ecoinf.2011.08.007 Novikoff, T. P., Kleinberg, J. M., & Strogatz, S. H.. "Education of a model student.," Proceedings of the National Academy of Sciences of the United States of America, v.109(6), 2012, p. 1868. doi:10.1073/pnas.1109863109 Piorkowski, M. D., Farnsworth, A. J., Fry, M., Rohrbaugh, R. W., Fitzpatrick, J. W., & Rosenberg, K. V.. "Research priorities for wind energy and migratory wildlife.," The Journal of Wildlife Management, v.76(3), 2012, p. 451. doi:10.1002/jwmg.327 Schmit, T. M., J., L., & Conrad, J. M.. "Estimating the influence of U.S. ethanol policy on plant investment decisions: A real options analysis with two stochastic variables.," Energy Economics, v.33(6), 2011, p. 1194. doi:10.1016/j.eneco.2011.07.013 Wood, C., Sullivan, B., Iliff, M., Fink, D., & Kelling, S.. "eBird: engaging birders in science and conservation," PLoS biology, v.9(12), 2011. doi:10.1371/journal.pbio.1001220 Conrad, Jon M.; Gomes, Carla P.; van Hoeve, Willem-Jan; Sabharwal, Ashish; Suter, Jordan F.. "Wildlife corridors as a connected subgraph problem," JOURNAL OF ENVIRONMENTAL ECONOMICS AND MANAGEMENT, v.63, 2012, p. 1-18. Levi, Retsef; Shmoys, David B.; Swamy, Chaitanya. "LP-based approximation algorithms for capacitated facility location," MATHEMATICAL PROGRAMMING, v.131, 2012, p. 365-379. Hochachka, Wesley M.; Fink, Daniel; Hutchinson, Rebecca A.; Sheldon, Daniel; Wong, Weng-Keen; Kelling, Steve. "Data-intensive science applied to broad-scale citizen science," TRENDS IN ECOLOGY & EVOLUTION, v.27, 2012, p. 130-137. Piorkowski, Martin D.; Farnsworth, Andrew J.; Fry, Michael; Rohrbaugh, Ronald W.; Fitzpatrick, John W.; Rosenberg, Kenneth V.. "Research priorities for wind energy and migratory wildlife," JOURNAL OF WILDLIFE MANAGEMENT, v.76, 2012, p. 451-456. Desroches, Mathieu; Guckenheimer, John; Krauskopf, Bernd; Kuehn, Christian; Osinga, Hinke M.; Wechselberger, Martin. "Mixed-Mode Oscillations with Multiple Time Scales," SIAM REVIEW, v.54, 2012, p. 211-288. Bento, Antonio M.; Li, Shanjun; Roth, Kevin. "Is there an energy paradox in fuel economy? A note on the role of consumer heterogeneity and sorting bias," ECONOMICS LETTERS, v.115, 2012, p. 44- 48. Michelson, Hope; Lentz, Erin C.; Mulwa, Richard; Morey, Mitchell; Cramer, Laura; McGlinchy, Megan; Barrett, Christopher B.. "Cash, food, or vouchers? An application of the Market Information and Food Insecurity Response Analysis Framework in urban and rural Kenya," FOOD SECURITY, v.4, 2012, p. 455-469. Lang, Corey; Barrett, Christopher B.; Naschold, Felix. "Targeting Maps: An Asset-Based Approach to Geographic Targeting," WORLD DEVELOPMENT, v.41, 2013, p. 232-244. Sung, Jaeyong; Ponce, Colin; Selman, Bart; Saxena, Ashutosh; IEEE. "Unstructured Human Activity Detection from RGBD Images," 2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), v.NA, 2012, p. 842-849. Cambazard, Hadrien; O'Mahony, Eoin; O'Sullivan, Barry. "A shortest path-based approach to the multileaf collimator sequencing problem," DISCRETE APPLIED MATHEMATICS, v.160, 2012, p. 81-99. Dembele, Bassidy; Yakubu, Abdul-Aziz. "OPTIMAL TREATED MOSQUITO BED NETS AND INSECTICIDES FOR ERADICATION OF MALARIA IN MISSIRA," DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, v.17, 2012, p. 1831-1840. Friedman, Avner; Yakubu, Abdul-Aziz. "HOST DEMOGRAPHIC ALLEE EFFECT, FATAL DISEASE, AND MIGRATION: PERSISTENCE OR EXTINCTION," SIAM JOURNAL ON APPLIED MATHEMATICS, v.72, 2012, p. 1644-1666. Friedman, Avner; Yakubu, Abdul-Aziz. "Anthrax epizootic and migration: Persistence or extinction," MATHEMATICAL BIOSCIENCES, v.241, 2013, p. 137-144. Hong, Hyunsuk; Strogatz, Steven H.. "Mean-field behavior in coupled oscillators with attractive and repulsive interactions," PHYSICAL REVIEW E, v.85, 2012, p. 056210-5. Marvel, Seth A.; Hong, Hyunsuk; Papush, Anna; Strogatz, Steven H.. "Encouraging Moderation: Clues from a Simple Model of Ideological Conflict," PHYSICAL REVIEW LETTERS, v.109, 2012, p. 118702-5. Hochachka, W.M.; and Fink, D.. "Broad-scale citizen science data from checklists: prospects and challenges for macroecology," Frontiers of Biogeography, v.4, 2012, p. 150-154. Swamy, Chaitanya; Shmoys, David B.. "SAMPLING-BASED APPROXIMATION ALGORITHMS FOR MULTISTAGE STOCHASTIC OPTIMIZATION," SIAM JOURNAL ON COMPUTING, v.41, 2012, p. 975-1004. Holden, Matthew H.; Ellner, Stephen P.; Lee, Doo-Hyung; Nyrop, Jan P.; Sanderson, John P.. "Designing an effective trap cropping strategy: the effects of attraction, retention and plant spatial distribution," JOURNAL OF APPLIED ECOLOGY, v.49, 2012, p. 715-722. Tien, Rebecca J.; Ellner, Stephen P.. "Variable cost of prey defense and coevolution in predator-prey systems," ECOLOGICAL MONOGRAPHS, v.82, 2012, p. 491-504. Williams, Jennifer L.; Miller, Tom E. X.; Ellner, Stephen P.. "Avoiding unintentional eviction from integral projection models," ECOLOGY, v.93, 2012, p. 2008-2014. Adler, P. B.; Dalgleish, H. J.; Ellner, S. P.. "Forecasting plant community impacts of climate variability and change: when do competitive interactions matter? (vol 100, pg 478, 2012)," JOURNAL OF ECOLOGY, v.100, 2012, p. 1064-1064. Becks, Lutz; Ellner, Stephen P.; Jones, Laura E.; Hairston, Nelson G., Jr.. "The functional genomics of an eco-evolutionary feedback loop: linking gene expression, trait evolution, and community dynamics," ECOLOGY LETTERS, v.15, 2012, p. 492-501. Ellner, Stephen P.; Schreiber, Sebastian J.. "Temporally variable dispersal and demography can accelerate the spread of invading species," THEORETICAL POPULATION BIOLOGY, v.82, 2012, p. 283- 298. Conrad, Jon; and Smith, Martin D.. "Nonspatial and Spatial Models in Bioeconomics," Natural Resource Modeling, v.25, 2012, p. 52-92. Pearson, R.G.; Phillips, S.J.; Loranty, M.M.; Beck, P.S.A.; Damoulas, T.; Knight, S.J.; and Goetz, S.J.. "Shifts in Arctic vegetation and associated feedbacks under climate change," Nature Climate Change, v.NA, 2013, p. 1-5. doi:10.1038/nclimate1858 Kelling, Steve; Lagoze, Carl; Wong,Weng-Keen; Yu, J.; Damoulas, Theodoros; Gerbracht, Jeff; Fink, Daniel; and Gomes, Carla P.. "eBird: A Human/Computer Learning Network to Improve Biodiversity Conservation and Research," Artificial Intelligence Magazine, v.34, 2013, p. 10. doi:10.1609/aimag.v34i1.2431 LaSorte, F.A.; Fink, D.; Hochachka, W.M.; DeLong, J.P.; and Kelling, S.. "Population-level scaling of avian migration speed with body size and migration distance for powered fliers," Ecology, v.94, 2013, p. 1839. doi:10.1890/12-1768.1 Rusmevichientong, Paat; Shmoys, David; Tong, Chaoxu; and Topaloglu, Huseyin. "Assortment Optimization under the Multinomial Logit Model with Random Choice Parameters," Production and Operations Management, v.23, 2013, p. 2023. doi:10.1111/poms.12191 Ermon, Stefano; Gomes, Carla P.; Sabharwal, Ashish; and Selman, Bart. "Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization," JMLR W&CP, v.28, 2013, p. 334. Yexiang Xue, Bistra Dilkina, Theodoros Damoulas, Daniel Fink, Carla P. Gomes and Steve Kelling. "Improving Your Chances: Boosting Citizen Science Discovery," First AAAI Conference on Human Computation and CrowdSourcing (HComp), 2013, p. 198. Yexiang Xue, Stefano Ermon, Carla Gomes, Bart Selman. "Uncovering Hidden Structure through Parallel Problem Decomposition," Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI), 2014, p. 3144. Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes and Bart Selman. "A Human Computation Framework for Boosting Combinatorial Solvers," 2nd AAAI Conference on Human Computation and Crowdsourcing (HCOMP'14), 2014. Ronan Le Bras, Carla P. Gomes, and Bart Selman. "On the Erdos Discrepancy Problem," 20th International Conference on Principles and Practice of Constraint Programming (CP'14), 2014. Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman and Robert B. van Dover. "A Computational Challenge Problem in Materials Discovery: Synthetic Problem Generator and Real-World Datasets," 28th International Conference on Artificial Intelligence (AAAI'14), 2014. Ronan Le Bras, Bistra Dilkina, Yexiang Xue, Carla P. Gomes, Kevin S. McKelvey, Claire Montgomery and Michael K. Schwartz. "Robust Network Design for Multispecies Conservation," 27th International Conference on Artificial Intelligence (AAAI'13), 2013. Bistra Dilkina, Katherine Lai, Ronan Le Bras, Yexiang Xue, Carla Gomes, Ashish Sabharwal, Jordan Suter, Kevin McKelvey, Michael Schwartz, Claire Montgomery. "Large Landscape Conservation ? Synthetic and Real-World Datasets," Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI'13), 2013. Shady S. Atallah, Miguel I. Gómez, Jon M. Conrad and Jan P. Nyrop. "A Plant-Level,Spatial, Bioeconomic Model of Plant Disease, Diffusion, and Control: Grapevine Leafroll Disease," American Journal of Agricultural Economics, v.97, 2015, p. 199. doi:10.1093/ajae/aau032 Ryan M. Finseth, Jon M. Conrad. "Cost-effective Recovery of an Endangered Species: The Red-cockaded Woodpecker," Land Economics, v.90, 2014, p. 649. Adrian A. Lopes. "Civil unrest and the poaching of rhinos in the Kaziranga National Park, India," Ecological Economics, v.103, 2014, p. 20. doi:10.1016/j.ecolecon.2014.04.006 Eric Eaton, Carla P. Gomes, Brian Williams. "Computational Sustainability (Editorial)," AI Magazine, v.35, 2014, p. 3. Eric Eaton, Carla Gomes, Brian C. Williams. "Computational Sustainability: Editorial Introduction to the Summer and Fall Issues," AI Magazine, v.35, 2014, p. 3. Daniel Fink, Theodoros Damoulas, Nicholas E. Bruns, Frank A. La Sorte , Wesley M. Hochachka , Carla P. Gomes, Steve Kelling. "Crowdsourcing Meets Ecology: Hemisphere-Wide Spatiotemporal Species Distribution Models," AI Magazine, v.35, 2014. Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal. "Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search," Annals of Mathematics and Artificial Intelligence, v.70, 2014, p. 399. doi:10.1007/s10472-014-9407-9 Damoulas, Theodoros ; He, Jin ; Bernstein, Rich ; Gomes, Carla P. ; Arora, Anish. "String kernels for complex time-series: Counting targets from sensed movement," International Conference on Pattern Recognition (ICPR), 2014, p. 4429. doi:10.1109/ICPR.2014.758 Stefano Ermon, Carla Gomes, Ashish Sabharwal, Bart Selman. "Low-density Parity Constraints for Hashing-Based Discrete Integration," Proceedings of The 31st International Conference on Machine Learning (ICML), 2014, p. 271. Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman. "Embed and Project: Discrete Sampling with Universal Hashing," Advances in Neural Information Processing Systems 26 (NIPS 2013), 2013. Stefano Ermon, Yexiang Xue, Carla Gomes, Bart Selman. "Learning policies for battery usage optimization in electric vehicles," Machine Learning, v.92, 2013, p. 177. doi:10.1007/s10994- 013-5378-z Stefano Ermon, Ronan Le Bras, Santosh Suram, John M. Gregoire, Carla Gomes, Bart Selman, and Robert B. van Dover. "Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery," AAAI, 2015, p. 636. Stefano Ermon, Yexiang Xue, Russell Toth, Bistra Dilkina, Richard Bernstein, Theodoros Damoulas, Patrick Clark, Steve DeGloria, Andrew Mude, Christopher Barrett, and Carla Gomes. "Learning Large Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa," AAAI, 2015, p. 644. Adrian Lopes. "Organized Crimes Against Nature: Elephants in Southern Africa," Natural Resource Modeling, v.28, 2015, p. 86. doi:10.1111/nrm.12058 Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman. "Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery," IJCAI, 2015, p. 146. Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes and Bart Selman. "Variable Elimination in the Fourier Domain," ICML, 2016, p. 285. Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes. "Behavior Identification in Two-stage Games for Incentivizing Citizen Science Exploration," CP, v.9892, 2016, p. 701. doi:10.1007/978-3-319-44953-1_44 Dilkina, B., Houtman, R., Gomes, C. P., Montgomery, C. A., McKelvey, K. S., Kendall, K., Graves, T. A., Bernstein, R. and Schwartz, M. K.. "Trade-offs and efficiencies in optimal budget-constrained multispecies corridor networks," Conservation Biology, 2016. doi:10.1111/cobi.12814 Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes. "Avicaching: A Two Stage Game for Bias Reduction in Citizen Science," AAMAS, 2016, p. 776. Guo, YS; Gomes, C. "Learning Optimal Subsets with Implicit User Preferences," in 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09)., 2009, p. 1052-1057. View record at Web of Science Guo, YS; Gomes, C. "Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search," in 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09)., 2009, p. 1058-1064. View record at Web of Science Panda, B; Riedewald, M; Fink, D. "The Model-Summary Problem and a Solution for Trees," in 26th IEEE International Conference on Data Engineering (ICDE 2010)., 2010, p. 449-460. View record at Web of Science Kroc, L; Sabharwal, A; Gomes, CP; Selman, B. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT," in 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09)., 2009, p. 544-551. View record at Web of Science Kroc, L; Sabharwal, A; Selman, B. "Leveraging belief propagation, backtrack search, and statistics for model counting," in 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems., v.184, 2011, p. 209-231. View record at Web of Science Soundarajan, S; Hoperoft, JE. "Recovering Social Networks from Contagion Information," in 7th International Conference on Theory and Application of Models of Computation., v.6108, 2010, p. 419-430. View record at Web of Science Wang, LR; Hopcroft, J. "Community Structure in Large Complex Networks," in 7th International Conference on Theory and Application of Models of Computation., v.6108, 2010, p. 455-466. View record at Web of Science Dilkina, B; Gomes, CP. "Solving Connected Subgraph Problems in Wildlife Conservation," in 7th International Conference Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems., v.6140, 2010, p. 102-116. View record at Web of Science Gomes, CP. "Challenges for CPAIOR in Computational Sustainability," in 7th International Conference Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems., v.6140, 2010, p. 3-4. View record at Web of Science Kroc, L; Sabharwal, A; Selman, B. "An Empirical Study of Optimal Noise and Runtime Distributions in Local Search," in 13th International Conference on Theory and Applications of Satisfiability Testing., v.6175, 2010, p. 346-351. View record at Web of Science An, HC; Kleinberg, RD; Shmoys, DB. "Approximation Algorithms for the Bottleneck Asymmetric Traveling Salesman Problem," in 13th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2010)/14th International Workshop on Randomization and Computation (RANDOM 2010)., v.6302, 2010, p. 1-11. View record at Web of Science Gorodezky, I; Kleinberg, RD; Shmoys, DB; Spencer, G. "Improved Lower Bounds for the Universal and a priori TSP," in 13th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2010)/14th International Workshop on Randomization and Computation (RANDOM 2010)., v.6302, 2010, p. 178-191. View record at Web of Science Ermon, S; Gomes, CP; Selman, B. "Computing the Density of States of Boolean Formulas," in 16th Annual International Conference on the Principles and Practice of Constraint Programming., v.6308, 2010, p. 38-52. View record at Web of Science Ahmadizadeh, K; Dilkina, B; Gomes, CP; Sabharwal, A. "An Empirical Study of Optimization for Maximizing Diffusion in Networks," in 16th Annual International Conference on the Principles and Practice of Constraint Programming., v.6308, 2010, p. 514-521. View record at Web of Science Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT", 08/15/2008-07/31/2009, 2009, "Proceedings of IJCAI-09: 21st International Joint Conference on Artificial Intelligence, Pasadena, CA, pp 544- 551". Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal. "Backdoors in the Context of Learning", 08/15/2008- 07/31/2009, 2009, "Proceedings of SAT-09, 12th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 5584, pp 73-79, Swansea, Wales, U.K.". Lukas Kroc, Ashish Sabharwal, Bart Selman. "Relaxed DPLL Search for MaxSAT", 08/15/2008- 07/31/2009, 2009, "Proceedings of SAT-09: 12th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 5584, pp 447-452, Swansea, Wales, U.K.". Bistra Dilkina, Carla P. Gomes, Yuri Malitski, Ashish Sabharwal, Meinolf Sellmann. "Backdoors to Combinatorial Optimization: Feasibility and Optimality", 08/15/2008-07/31/2009, 2009, "Proc. CPAIOR-09, 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 5547, pp 56-70". Fink, D., W. M. Hochachka, D. Winkler, B. Shaby, G. Hooker, B. Zuckerberg, M. A. Munson, D. Sheldon, M. Riedewald, and S. Kelling. "Spatiotemporal Exploratory Models for Large-scale Survey Data", 08/15/2008-07/31/2009, 2009, "forthcoming". R. Paes Leme and D. B. Shmoys. "Precedence-constrained scheduling via LP: simpler proofs and simpler algorithms", 08/15/2008-07/31/2009, 2009, "ACM-SIAM Symposium on Discrete Algorithms". Yunsong Guo and Carla Gomes. "Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search", 08/15/2008-07/31/2009, 2009, "Proceedings of IJCAI-09: 21st International Joint Conference on Artificial Intelligence, Pasadena, CA, pp 1058-1064". Yunsong Guo and Carla Gomes. "Learning Optimal Subsets with Implicit User Preferences", 08/15/2008- 07/31/2009, 2009, "Proceedings of IJCAI-09: 21st International Joint Conference on Artificial Intelligence, Pasadena, CA, pp 1052-1057". Daniel Sheldon, M.A. Saleh Elmohamed, and Dexter Kozen . "Collective Inference on Markov Models for Modeling Bird Migration", 08/15/2008-07/31/2009, , J.C. Platt and D. Koller and Y. Singer and S. Roweis"Advances of Neural Information Processing Systems", 2008, "MIT Press, Cambridge, MA.". Daniel Sheldon. "Graphical Multi-Task Learning", 08/15/2008-07/31/2009, "NIPS Workshop on Structured Input - Structured Output, 2009", 2009, "Vancouver, British Columbia, Canada". John Hopcroft and Daniel Sheldon. "Network Reputation Games", 08/15/2008-07/31/2009, "Tech Report", 2009, "Cornell University online publication: http://hdl.handle.net/1813/11579". Munson, M. A., K. Webb, D. Sheldon, D. Fink, W. M. Hochachka, M. I. Iliff, M. Riedewald, D. Sorokina, B. L. Sullivan, C. L. Wood, and S. Kelling. "The eBird Reference Dataset", 08/15/2008-07/31/2009, 2009, "Cornell Lab of Ornithology and National Audubon Society, Ithaca NY (http://www.avianknowledge.net).". Antonio Bento. "Biofuels: Economic and Public Policy Considerations", 08/15/2008-07/31/2009, , R.W. Howarth and S. Bringezu"Proceedings of the Scientific Committee on Problems of the Environment (SCOPE) International Biofuels Project Rapid Assessment, 22-25 September 2008, Gummersbach, Germany", 2009, "April 2009". A. Bento, S. Porder, A. Leip, L.A. Martinelli, J. Samseth, T.W. Simpson. "Quantifying the Environmental Impacts of Biofuel Production: Knowns and Unknowns", 08/15/2008-07/31/2009, , R.W. Howarth and S. Bringezu"Proceedings of the Scientific Committee on Problems of the Environment (SCOPE) International Biofuels Project Rapid Assessment, 22-25 September 2008, Gummersbach, Germany", 2008, "Gummersbach, Germany". S. Strogatz. "The Calculus of Friendship: What a Teacher and a Student Learned About Life While Corresponding About Math", 08/15/2008-07/31/2009, 2009, "Princeton University Press, Princeton, New Jersey.". Henry Kautz, Ashish Sabharwal, Bart Selman. "Incomplete Algorithms (for Satisfiability)", 08/15/2008- 07/31/2009, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 6, pp 185-203, 2009. IOS Press.". Carla P. Gomes, Ashish Sabharwal, Bart Selman. "Model Counting", 08/15/2008-07/31/2009, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 20, pp 633-654, 2009. IOS Press.". Carla P. Gomes, Ashish Sabharwal. "Exploiting Runtime Variation in Complete Solvers (for Satisfiability)", 08/15/2008-07/31/2009, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 9, pp 271-288, 2009. IOS Press.". E. Kim, A. Sabharwal, A. Vetta, M. Blanchette. "Predicting Direct Protein Interactions from Affnity Purication Mass Spectrometry Data", 08/15/2008-07/31/2009, "Proceedings of the 6th Annual RECOMB Satellite on Regulatory Genomics and the 5th Annual RECOMB Satellite on Systems Biology", 2009, "December". Carla Gomes. "Challenges for Constraint Reasoning and Optimization in Computational Sustainability", 08/15/2008-07/31/2009, , Ian P. Gent"Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings", 2009, "forthcoming". Carla Gomes. "Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society", 08/15/2008-07/31/2009, "Proceedings of the National Academy of Engineering's (NAE) 15th Annual U.S. Frontiers of Engineering Symposium", 2009, "forthcoming". Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT", 08/01/2009-07/31/2010, 2009, "Proceedings of IJCAI-09: 21st International Joint Conference on Artificial Intelligence, Pasadena, CA, pp 544- 551". Fink, D., W. M. Hochachka, D. Winkler, B. Shaby, G. Hooker, B. Zuckerberg, M. A. Munson, D. Sheldon, M. Riedewald, and S. Kelling. "Spatiotemporal Exploratory Models for Large-scale Survey Data", 08/01/2009-07/31/2010, 2009, "forthcoming". R. Paes Leme and D. B. Shmoys. "Precedence-constrained scheduling via LP: simpler proofs and simpler algorithms", 08/01/2009-07/31/2010, 2009, "ACM-SIAM Symposium on Discrete Algorithms". Yunsong Guo and Carla Gomes. "Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search", 08/01/2009-07/31/2010, 2009, "Proceedings of IJCAI-09: 21st International Joint Conference on Artificial Intelligence, Pasadena, CA, pp 1058-1064". Yunsong Guo and Carla Gomes. "Learning Optimal Subsets with Implicit User Preferences", 08/01/2009- 07/31/2010, 2009, "Proceedings of IJCAI-09: 21st International Joint Conference on Artificial Intelligence, Pasadena, CA, pp 1052-1057". Daniel Sheldon, M.A. Saleh Elmohamed, and Dexter Kozen . "Collective Inference on Markov Models for Modeling Bird Migration", 08/01/2009-07/31/2010, , J.C. Platt and D. Koller and Y. Singer and S. Roweis"Advances of Neural Information Processing Systems", 2008, "MIT Press, Cambridge, MA.". Daniel Sheldon. "Graphical Multi-Task Learning", 08/01/2009-07/31/2010, "NIPS Workshop on Structured Input - Structured Output, 2009", 2009, "Vancouver, British Columbia, Canada". John Hopcroft and Daniel Sheldon. "Network Reputation Games", 08/01/2009-07/31/2010, "Tech Report", 2009, "Cornell University online publication: http://hdl.handle.net/1813/11579". Munson, M. A., K. Webb, D. Sheldon, D. Fink, W. M. Hochachka, M. I. Iliff, M. Riedewald, D. Sorokina, B. L. Sullivan, C. L. Wood, and S. Kelling. "The eBird Reference Dataset", 08/01/2009-07/31/2010, 2009, "Cornell Lab of Ornithology and National Audubon Society, Ithaca NY (http://www.avianknowledge.net).". Antonio Bento. "Biofuels: Economic and Public Policy Considerations", 08/01/2009-07/31/2010, , R.W. Howarth and S. Bringezu"Proceedings of the Scientific Committee on Problems of the Environment (SCOPE) International Biofuels Project Rapid Assessment, 22-25 September 2008, Gummersbach, Germany", 2009, "April 2009". A. Bento, S. Porder, A. Leip, L.A. Martinelli, J. Samseth, T.W. Simpson. "Quantifying the Environmental Impacts of Biofuel Production: Knowns and Unknowns", 08/01/2009-07/31/2010, , R.W. Howarth and S. Bringezu"Proceedings of the Scientific Committee on Problems of the Environment (SCOPE) International Biofuels Project Rapid Assessment, 22-25 September 2008, Gummersbach, Germany", 2008, "Gummersbach, Germany". S. Strogatz. "The Calculus of Friendship: What a Teacher and a Student Learned About Life While Corresponding About Math", 08/01/2009-07/31/2010, 2009, "Princeton University Press, Princeton, New Jersey.". Henry Kautz, Ashish Sabharwal, Bart Selman. "Incomplete Algorithms (for Satisfiability)", 08/01/2009- 07/31/2010, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 6, pp 185-203, 2009. IOS Press.". Carla P. Gomes, Ashish Sabharwal, Bart Selman. "Model Counting", 08/01/2009-07/31/2010, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 20, pp 633-654, 2009. IOS Press.". Carla P. Gomes, Ashish Sabharwal. "Exploiting Runtime Variation in Complete Solvers (for Satisfiability)", 08/01/2009-07/31/2010, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 9, pp 271-288, 2009. IOS Press.". E. Kim, A. Sabharwal, A. Vetta, M. Blanchette. "Predicting Direct Protein Interactions from Affnity Purication Mass Spectrometry Data", 08/01/2009-07/31/2010, "Proceedings of the 6th Annual RECOMB Satellite on Regulatory Genomics and the 5th Annual RECOMB Satellite on Systems Biology", 2009, "December". Carla Gomes. "Challenges for Constraint Reasoning and Optimization in Computational Sustainability", 08/01/2009-07/31/2010, , Ian P. Gent"Lecture Notes in Computer Science Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings", 2009, "pp 2-4, Springer Berlin / Heidelberg.". Carla Gomes. "Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society", 08/01/2009-07/31/2010, "Proceedings of the National Academy of Engineering's (NAE) 15th Annual U.S. Frontiers of Engineering Symposium", 2009, "forthcoming". Jon Conrad. "Resource Economics, 2nd Edition", 08/01/2009-07/31/2010, 2010, "Cambridge University Press". D.P. Williamson and D.B. Shmoys. "Approximation algorithm design", 08/01/2009-07/31/2010, 2010, "Cambridge University Press". D. Sheldon, B. Dilkina, A. Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, C. P. Gomes, D. Shmoys, W. Allen, O. Amundsen, and B. Vaughan. "Optimal Network Design for the Spread of Cascades", 08/01/2009-07/31/2010, "The Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI-2010)", 2010, "The Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI-2010)". Panda, B. Riedewald, M., Fink D.. "The Model Summary Problem and a Solution for Trees", 08/01/2009- 07/31/2010, "26th IEEE International Conference on Data Engineering, March 1-6, 2010", 2010, "March 1-6, 2010, Long Beach, California". Marshall Iliff, Leo Salas, Ernesto Ruelas Inzunza, Grant Ballard, Denis Lepage, and Steve Kelling. "The Avian Knowledge Network: A Partnership to Organize, Analyze, and Visualize Bird Observation Data for Education, Conservation, Research, and Land Management", 08/01/2009-07/31/2010, "Proceedings of the Fourth International Partners in Flight Conference: Tundra to Tropics.", 2009, "pp. 365-373". Brian L. Sullivan, Steven T. Kelling, Christopher L. Wood, Marshall J. Iliff, Daniel Fink, Mark Herzog, Doug Moody, and Grant Ballard. "Data Exploration through Visualization Tools", 08/01/2009- 07/31/2010, "Proceedings of the Fourth International Partners in Flight Conference: Tundra to Tropics", 2009, "pp. 415-418". James F. Saracco, David F. DeSante, M. Philip Nott, Wesley M. Hochachka, Steve Kelling, and Daniel Fink. "Integrated Bird Monitoring and the Avian Knowledge Network: Using Multiple Data Resources to Understand Spatio-temporal Variation in Demographic Processes and Abundance", 08/01/2009-07/31/2010, "Proceedings of the Fourth International Partners in Flight Conference: Tundra to Tropics", 2009, "pp. 659-661". Fink, D.. "Modeling species distribution dynamics with STEM: Inter-annual Bird migrations", 08/01/2009-07/31/2010, "USGS National Institute for Invasive Species Science", 2010, "Fort Collins, CO, January 2010". Kelling, S., Fink, D, Vannan, S.S, Webb, K, Cook, R., et al.. "Patterns in Bird Migration Phenology Explored through Data Intensive Analysis and Visualization, Data-Intensive Research Conference, National eScience institute and Science Center, Edinburgh, Scotland. March 15, 2010", 08/01/2009-07/31/2010, "Data-Intensive Research Conference, National eScience Institute and Science Center", 2010, "Edinburgh, Scotland. March 15, 2010.". Fink, D.. "Modeling species distribution dynamics with STEM", 08/01/2009-07/31/2010, "DataONE EVA workgroup, University of Utah", 2010, "March 18, 2010". Kelling, S. , Fink, D, Vannan, S.S, Webb, K, Cook, R., et al.. "Patterns in Bird Migration Phenology Explored through Data Intensive Analysis and Visualization", 08/01/2009-07/31/2010, "NASA Terrestrial Ecology Meetings", 2010, "San Diego, CA, March 2010". Hochachka, WM. and Fink, D.. "Species Distribution Modeling and Validation", 08/01/2009-07/31/2010, "18th International Conference of the European Bird Census Council, "Monitoring, indicators and targets"", 2010, "Caceres, Spain, March 22-26, 2010". Allen, P., Kelling, S. Fink, D.. "AKN and species distribution modeling for conservation", 08/01/2009- 07/31/2010, "NatureServe Conference: Biodiversity without Boundaries", 2010, "Austin, TX, April 2010.". Kelling, S.. "Case Studies in Sustainability: The eBird Model for Sustaining Digital Resources", 08/01/2009-07/31/2010, "Case Studies in Sustainability, Ithaka Foundation, NY, USA.", 2009, "Ithaka Foundation, NY, USA, May 3-5, 2009". Kelling, S., Fink, D., Wood, C., Sullivan, S. Iliff, M.. "eBird: The Long Tail of Community Engagement in the Scientific Process", 08/01/2009-07/31/2010, "Studying Society in a Digital World", 2009, "Princeton University, NJ, USA, April 23-25, 2009.". Kelling, S.. "Sustaining Digital resources: eBird, An On-the-Ground View", 08/01/2009-07/31/2010, "Sustainable Scholarship Conference 2009", 2009, "Baruch College, NY, USA, September 23, 2009.". Henry Kautz, Ashish Sabharwal, and Bart Selman. "Satisfiability Solvers", 08/01/2009-07/31/2010, 2010, "Morgan & Claypool Publishers". Henry Kautz, Ashish Sabharwal, and Bart Selman. "Incomplete Algorithms for Satisfiability", 08/01/2009-07/31/2010, 2009, "Handbook of Satisfiability, IOS Press". Carla Gomes, Ashish Sabharwal, and Bart Selman. "Model Counting", 08/01/2009-07/31/2010, 2009, "Handbook of Satisfiability, IOS Press". Stefano Ermon, Carla Gomes, Bart Selman. "Collaborative Multiagent Gaussian Inference in a Dynamic Environment Using Belief Propagation", 08/01/2009-07/31/2010, "9th Intl. Conf. on Autonomous Multiagent Systems (AMAAS-10) ", 2010, "Toronto, Ont. ". Raghuram Ramanujan, Ashish Sabharwal, and Bart Selman. "On Adversarial Search Spaces and Sampling-Based Planning", 08/01/2009-07/31/2010, "20th Intl. Conf. on Automated Planning and Scheduling (ICAPS-10)", 2010, "Toronto, Ont.". Lukas Kroc, Ashish Sabharwal, and Bart Selman. "An Empirical Study of Optimal Noise and Runtime Distributions in Local Search", 08/01/2009-07/31/2010, , 13th Intl. Conf. on the Theory and Applications of Satisfiability Testing (SAT-10) 2010, "Edinburgh, Scotland, UK". Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, and Bart Selman. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT", 08/01/2009-07/31/2010, "Proceedings of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI-09), Pasadena, CA.", 2009, "pp 544-551. Pasadena, CA.". Lukas Kroc, Ashish Sabharwal, and Bart Selman. "Relaxed DPLL Search for MaxSAT", 08/01/2009- 07/31/2010, "THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS", 2009, "12th International Conference on Theory and Applications of Statisfiability Testing, JUN 30-JUL 3, 2009". Lukas Kroc, Ashish Sabharwal, and Bart Selman. "Message-Passing and Local Heuristics as Decimation Strategies for Satisfiability", 08/01/2009-07/31/2010, "24th Annual ACM Symposium on Applied Computing (SAC-09)", 2009, "Honolulu, HI". Bistra Dilkina, Carla P. Gomes. "Solving Connected Subgraph Problems in Wildlife Conservation", 08/01/2009-07/31/2010, "International Conference on the Integration of AI and OR techniques in Constraint programming (CPAIOR10)", 2010, "Bologna, Italy.". Carla P. Gomes. "Challenges for CPAIOR in Computational Sustainability ", 08/01/2009-07/31/2010, "International Conference on the Integration of AI and OR techniques in Constraint programming (CPAIOR10)", 2010, "St. Andrews, UK.". Carla P. Gomes. "Challenges for Constraint Reasoning and Optimization in Computational Sustainability", 08/01/2009-07/31/2010, "Lecture Notes in Computer Science", 2009, "15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings. ". Yunsong Guo and Carla Gomes . "Learning Optimal Subsets with Implicit User Preferences", 08/01/2009-07/31/2010, "Proceedings of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI-09), Pasadena, CA.", 2009, "pp 1052-1057, Pasadena, CA.". Carla P. Gomes. "Challenges for CPAIOR in Computational Sustainability", 08/01/2009-07/31/2010, "Proceedings of the International Conference on the Integration of AI and OR techniques in Constraint programming (CPAIOR10)", 2010, "Bologna, Italy.". Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla Gomes, R. Bruce van Dover. "Bridging Constraint Reasoning and Learning for Unsupervised Labeling and Decomposition", 08/01/2009-07/31/2010, 2010, "CP-2010: 16th International Conference on Principles and Practice of Constraint Programming, St. Andrews, Scotland, Sep 2010.". Kiyan Ahmadizadeh, Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal. "An Empirical Study of Optimization for Maximizing Diffusion in Networks", 08/01/2009-07/31/2010, 2010, "CP-2010: 16th International Conference on Principles and Practice of Constraint Programming, St. Andrews, Scotland, September 2010.". Carla P. Gomes, Ashish Sabharwal. "ptimizing Fish Passage Barrier Removal Using Mixed Integer Linear Programming", 08/01/2009-07/31/2010, 2009, "CROCS-09. First International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CP-09 Conference), Lisbon, Portugal, September". Daniel Sheldon, Bistra Dilkina, Adam Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla Gomes, David Shmoys, Will Allen, Ole Amundsen, Buck Vaughan. "Optimal Network Design for the Spread of Cascades", 08/01/2009-07/31/2010, 2010, "Technical report, Cornell University, April 2010, http://hdl.handle.net/1813/14917.". Raghuram Ramanujan, Ashish Sabharwal, Bart Selman. "Understanding Sampling Style Adversarial Search Methods", 08/01/2009-07/31/2010, "UAI-2010: 26th Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, July 2010.". Raghuram Ramanujan, Ashish Sabharwal, Bart Selman. "On Adversarial Search Spaces and Sampling- Based Planning", 08/01/2009-07/31/2010, 2010, "ICAPS-2010: 20th International Conference on Automated Planning and Scheduling, Toronto, Canada, May 2010.". Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal. "Backdoors in the Context of Learning", 08/01/2009- 07/31/2010, 2009, "CORS-INFORMS-09. CORS-INFORMS International Meeting, Toronto, ON, Canada, June 2009.". Lukas Kroc, Ashish Sabharwal (presenter), Carla P. Gomes, Bart Selman. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT", 08/01/2009-07/31/2010, 2009, "CORS- INFORMS-09. CORS-INFORMS International Meeting, Toronto, ON, Canada, June 2009.". Ronan LeBras, Theodoros Damoulas, John Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover. "Computational Thinking for Material Discovery: Bridging Constraint Reasoning and Learning", 08/01/2009-07/31/2010, 2010, "CROCS Workshop at CPAIOR-10: 2nd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CPAIOR-10 Conference), Bologn". Dilkina, B; Gomes, CP; Malitsky, Y; Sabharwal, A; Sellmann, M. "Backdoors to Combinatorial Optimization: Feasibility and Optimality", 08/01/2009-07/31/2010, "INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, PROCEEDINGS", 2009, "6th International Conference Integration of AI OR Techniques in Constraint Programming for Combinatial Optimization Problems, MAY 27-31, 2009.". Dilkina, B; Gomes, CP; Sabharwal, A. "Backdoors in the Context of Learning", 08/01/2009-07/31/2010, "THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS", 2009, "12th International Conference on Theory and Applications of Statisfiability Testing, JUN 30-JUL 3, 2009.". Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT", 08/01/2010-07/31/2011, 2009, "Proceedings of IJCAI-09: 21st International Joint Conference on Artificial Intelligence, Pasadena, CA, pp 544- 551". Fink, D., W. M. Hochachka, D. Winkler, B. Shaby, G. Hooker, B. Zuckerberg, M. A. Munson, D. Sheldon, M. Riedewald, and S. Kelling. "Spatiotemporal Exploratory Models for Large-scale Survey Data", 08/01/2010-07/31/2011, 2009, "forthcoming". R. Paes Leme and D. B. Shmoys. "Precedence-constrained scheduling via LP: simpler proofs and simpler algorithms", 08/01/2010-07/31/2011, 2009, "ACM-SIAM Symposium on Discrete Algorithms". Daniel Sheldon, M.A. Saleh Elmohamed, and Dexter Kozen . "Collective Inference on Markov Models for Modeling Bird Migration", 08/01/2010-07/31/2011, , J.C. Platt and D. Koller and Y. Singer and S. Roweis"Advances of Neural Information Processing Systems", 2008, "MIT Press, Cambridge, MA.". Daniel Sheldon. "Graphical Multi-Task Learning", 08/01/2010-07/31/2011, "NIPS Workshop on Structured Input - Structured Output, 2009", 2009, "Vancouver, British Columbia, Canada". John Hopcroft and Daniel Sheldon. "Network Reputation Games", 08/01/2010-07/31/2011, "Tech Report", 2009, "Cornell University online publication: http://hdl.handle.net/1813/11579". Munson, M. A., K. Webb, D. Sheldon, D. Fink, W. M. Hochachka, M. I. Iliff, M. Riedewald, D. Sorokina, B. L. Sullivan, C. L. Wood, and S. Kelling. "The eBird Reference Dataset", 08/01/2010-07/31/2011, 2009, "Cornell Lab of Ornithology and National Audubon Society, Ithaca NY (http://www.avianknowledge.net).". Antonio Bento. "Biofuels: Economic and Public Policy Considerations", 08/01/2010-07/31/2011, , R.W. Howarth and S. Bringezu"Proceedings of the Scientific Committee on Problems of the Environment (SCOPE) International Biofuels Project Rapid Assessment, 22-25 September 2008, Gummersbach, Germany", 2009, "April 2009". A. Bento, S. Porder, A. Leip, L.A. Martinelli, J. Samseth, T.W. Simpson. "Quantifying the Environmental Impacts of Biofuel Production: Knowns and Unknowns", 08/01/2010-07/31/2011, , R.W. Howarth and S. Bringezu"Proceedings of the Scientific Committee on Problems of the Environment (SCOPE) International Biofuels Project Rapid Assessment, 22-25 September 2008, Gummersbach, Germany", 2008, "Gummersbach, Germany". S. Strogatz. "The Calculus of Friendship: What a Teacher and a Student Learned About Life While Corresponding About Math", 08/01/2010-07/31/2011, 2009, "Princeton University Press, Princeton, New Jersey.". Henry Kautz, Ashish Sabharwal, Bart Selman. "Incomplete Algorithms (for Satisfiability)", 08/01/2010- 07/31/2011, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 6, pp 185-203, 2009. IOS Press.". Carla P. Gomes, Ashish Sabharwal, Bart Selman. "Model Counting", 08/01/2010-07/31/2011, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 20, pp 633-654, 2009. IOS Press.". Carla P. Gomes, Ashish Sabharwal. "Exploiting Runtime Variation in Complete Solvers (for Satisfiability)", 08/01/2010-07/31/2011, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 9, pp 271-288, 2009. IOS Press.". E. Kim, A. Sabharwal, A. Vetta, M. Blanchette. "Predicting Direct Protein Interactions from Affnity Purication Mass Spectrometry Data", 08/01/2010-07/31/2011, "Proceedings of the 6th Annual RECOMB Satellite on Regulatory Genomics and the 5th Annual RECOMB Satellite on Systems Biology", 2009, "December". Carla Gomes. "Challenges for Constraint Reasoning and Optimization in Computational Sustainability", 08/01/2010-07/31/2011, , Ian P. Gent"Lecture Notes in Computer Science Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings", 2009, "pp 2-4, Springer Berlin / Heidelberg.". Carla Gomes. "Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society", 08/01/2010-07/31/2011, "The Bridge, Proceedings of the National Academy of Engineering's (NAE) 15th Annual U.S. Frontiers of Engineering Symposium", 2009, "Vol. 39, no. 4, Winter 2009.". Jon Conrad. "Resource Economics, 2nd Edition", 08/01/2010-07/31/2011, 2010, "Cambridge University Press, June 2010.". D.P. Williamson and D.B. Shmoys. "The Design of Approximation Algorithms", 08/01/2010-07/31/2011, 2011, "Cambridge University Press". D. Sheldon, B. Dilkina, A. Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, C. P. Gomes, D. Shmoys, W. Allen, O. Amundsen, and B. Vaughan. "Maximizing the Spread of Cascades Using Network Design", 08/01/2010-07/31/2011, , P. Grunwald and P. Spirtes"Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI-2010)", 2010, "AUAI Press.". Panda, B. Riedewald, M., Fink D.. "The Model Summary Problem and a Solution for Trees", 08/01/2010- 07/31/2011, "26th IEEE International Conference on Data Engineering, March 1-6, 2010", 2010, "March 1-6, 2010, Long Beach, California". Marshall Iliff, Leo Salas, Ernesto Ruelas Inzunza, Grant Ballard, Denis Lepage, and Steve Kelling. "The Avian Knowledge Network: A Partnership to Organize, Analyze, and Visualize Bird Observation Data for Education, Conservation, Research, and Land Management", 08/01/2010-07/31/2011, "Proceedings of the Fourth International Partners in Flight Conference: Tundra to Tropics.", 2009, "pp. 365-373". Brian L. Sullivan, Steven T. Kelling, Christopher L. Wood, Marshall J. Iliff, Daniel Fink, Mark Herzog, Doug Moody, and Grant Ballard. "Data Exploration through Visualization Tools", 08/01/2010- 07/31/2011, "Proceedings of the Fourth International Partners in Flight Conference: Tundra to Tropics", 2009, "pp. 415-418". James F. Saracco, David F. DeSante, M. Philip Nott, Wesley M. Hochachka, Steve Kelling, and Daniel Fink. "Integrated Bird Monitoring and the Avian Knowledge Network: Using Multiple Data Resources to Understand Spatio-temporal Variation in Demographic Processes and Abundance", 08/01/2010-07/31/2011, "Proceedings of the Fourth International Partners in Flight Conference: Tundra to Tropics", 2009, "pp. 659-661". Fink, D.. "Modeling species distribution dynamics with STEM: Inter-annual Bird migrations", 08/01/2010-07/31/2011, "USGS National Institute for Invasive Species Science", 2010, "Fort Collins, CO, January 2010". Kelling, S., Fink, D, Vannan, S.S, Webb, K, Cook, R., et al.. "Patterns in Bird Migration Phenology Explored through Data Intensive Analysis and Visualization, Data-Intensive Research Conference, National eScience institute and Science Center, Edinburgh, Scotland. March 15, 2010", 08/01/2010-07/31/2011, "Data-Intensive Research Conference, National eScience Institute and Science Center", 2010, "Edinburgh, Scotland. March 15, 2010.". Fink, D.. "Modeling species distribution dynamics with STEM", 08/01/2010-07/31/2011, "DataONE EVA workgroup, University of Utah", 2010, "March 18, 2010". Kelling, S. , Fink, D, Vannan, S.S, Webb, K, Cook, R., et al.. "Patterns in Bird Migration Phenology Explored through Data Intensive Analysis and Visualization", 08/01/2010-07/31/2011, "NASA Terrestrial Ecology Meetings", 2010, "San Diego, CA, March 2010". Hochachka, WM. and Fink, D.. "Species Distribution Modeling and Validation", 08/01/2010-07/31/2011, "18th International Conference of the European Bird Census Council, "Monitoring, indicators and targets," Caceres, Spain, March 22-26, 2010.", 2010, "Ardeola, vol. 57 special issue and Bird Census News, vol. 23.". Allen, P., Kelling, S. Fink, D.. "AKN and species distribution modeling for conservation", 08/01/2010- 07/31/2011, "NatureServe Conference: Biodiversity without Boundaries", 2010, "Austin, TX, April 2010.". Kelling, S.. "Case Studies in Sustainability: The eBird Model for Sustaining Digital Resources", 08/01/2010-07/31/2011, "Case Studies in Sustainability, Ithaka Foundation, NY, USA.", 2009, "Ithaka Foundation, NY, USA, May 3-5, 2009". Kelling, S., Fink, D., Wood, C., Sullivan, S. Iliff, M.. "eBird: The Long Tail of Community Engagement in the Scientific Process", 08/01/2010-07/31/2011, "Studying Society in a Digital World", 2009, "Princeton University, NJ, USA, April 23-25, 2009.". Kelling, S.. "Sustaining Digital resources: eBird, An On-the-Ground View", 08/01/2010-07/31/2011, "Sustainable Scholarship Conference 2009", 2009, "Baruch College, NY, USA, September 23, 2009.". Henry Kautz, Ashish Sabharwal, and Bart Selman. "Satisfiability Solvers", 08/01/2010-07/31/2011, 2010, "Morgan & Claypool Publishers". Henry Kautz, Ashish Sabharwal, and Bart Selman. "Incomplete Algorithms for Satisfiability", 08/01/2010-07/31/2011, 2009, "Handbook of Satisfiability, IOS Press". Carla Gomes, Ashish Sabharwal, and Bart Selman. "Model Counting", 08/01/2010-07/31/2011, 2009, "Handbook of Satisfiability, IOS Press". Stefano Ermon, Carla Gomes, Bart Selman. "Collaborative Multiagent Gaussian Inference in a Dynamic Environment Using Belief Propagation", 08/01/2010-07/31/2011, "Proceedings of the 9th International Conference on Autonomous Multiagent Systems (AMAAS-10)", 2010, "Toronto, Ontario. Vol. 1.". Raghuram Ramanujan, Ashish Sabharwal, and Bart Selman. "On Adversarial Search Spaces and Sampling-Based Planning", 08/01/2010-07/31/2011, "20th Intl. Conf. on Automated Planning and Scheduling (ICAPS-10)", 2010, "Toronto, Ont.". Lukas Kroc, Ashish Sabharwal, and Bart Selman. "Relaxed DPLL Search for MaxSAT", 08/01/2010- 07/31/2011, "THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS", 2009, "12th International Conference on Theory and Applications of Statisfiability Testing, JUN 30-JUL 3, 2009". Lukas Kroc, Ashish Sabharwal, and Bart Selman. "Message-Passing and Local Heuristics as Decimation Strategies for Satisfiability", 08/01/2010-07/31/2011, "24th Annual ACM Symposium on Applied Computing (SAC-09)", 2009, "Honolulu, HI". Carla P. Gomes. "Challenges for CPAIOR in Computational Sustainability ", 08/01/2010-07/31/2011, "International Conference on the Integration of AI and OR techniques in Constraint programming (CPAIOR10)", 2010, "St. Andrews, UK.". Carla P. Gomes. "Challenges for Constraint Reasoning and Optimization in Computational Sustainability", 08/01/2010-07/31/2011, "Lecture Notes in Computer Science", 2009, "15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings. ". Yunsong Guo and Carla Gomes . "Learning Optimal Subsets with Implicit User Preferences", 08/01/2010-07/31/2011, "Proceedings of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI-09), Pasadena, CA.", 2009, "pp 1052-1057, Pasadena, CA.". Carla P. Gomes. "Challenges for CPAIOR in Computational Sustainability", 08/01/2010-07/31/2011, "Proceedings of the International Conference on the Integration of AI and OR techniques in Constraint programming (CPAIOR10)", 2010, "Bologna, Italy.". Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla Gomes, R. Bruce van Dover. "Bridging Constraint Reasoning and Learning for Unsupervised Labeling and Decomposition", 08/01/2010-07/31/2011, 2010, "CP-2010: 16th International Conference on Principles and Practice of Constraint Programming, St. Andrews, Scotland, Sep 2010.". Carla P. Gomes, Ashish Sabharwal. "Optimizing Fish Passage Barrier Removal Using Mixed Integer Linear Programming", 08/01/2010-07/31/2011, 2009, "CROCS-09. First International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CP-09 Conference), Lisbon, Portugal, September". Daniel Sheldon, Bistra Dilkina, Adam Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla Gomes, David Shmoys, Will Allen, Ole Amundsen, Buck Vaughan. "Optimal Network Design for the Spread of Cascades", 08/01/2010-07/31/2011, 2010, "Technical report, Cornell University, April 2010, http://hdl.handle.net/1813/14917.". Raghuram Ramanujan, Ashish Sabharwal, Bart Selman. "Understanding Sampling Style Adversarial Search Methods", 08/01/2010-07/31/2011, "UAI-2010: 26th Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, July 2010.". Raghuram Ramanujan, Ashish Sabharwal, Bart Selman. "On Adversarial Search Spaces and Sampling- Based Planning", 08/01/2010-07/31/2011, 2010, "ICAPS-2010: 20th International Conference on Automated Planning and Scheduling, Toronto, Canada, May 2010.". Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal. "Backdoors in the Context of Learning", 08/01/2010- 07/31/2011, 2009, "CORS-INFORMS-09. CORS-INFORMS International Meeting, Toronto, ON, Canada, June 2009.". Lukas Kroc, Ashish Sabharwal (presenter), Carla P. Gomes, Bart Selman. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT", 08/01/2010-07/31/2011, 2009, "CORS- INFORMS-09. CORS-INFORMS International Meeting, Toronto, ON, Canada, June 2009.". Ronan LeBras, Theodoros Damoulas, John Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover. "Computational Thinking for Material Discovery: Bridging Constraint Reasoning and Learning", 08/01/2010-07/31/2011, 2010, "CROCS Workshop at CPAIOR-10: 2nd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CPAIOR-10 Conference), Bologn". Dilkina, B; Gomes, CP; Malitsky, Y; Sabharwal, A; Sellmann, M. "Backdoors to Combinatorial Optimization: Feasibility and Optimality", 08/01/2010-07/31/2011, "INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, PROCEEDINGS", 2009, "6th International Conference Integration of AI OR Techniques in Constraint Programming for Combinatial Optimization Problems, MAY 27-31, 2009.". Dilkina, B; Gomes, CP; Sabharwal, A. "Backdoors in the Context of Learning", 08/01/2010-07/31/2011, "THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS", 2009, "12th International Conference on Theory and Applications of Statisfiability Testing, JUN 30-JUL 3, 2009.". Sheldon, Dan; Dilkina, Bistra; Elmachtoub, Adam; Finseth, Ryan; Sabharwal, Ashish; Conrad, Jon; Gomes, Carla; Shmoys, David; Allen, Will; Amundsen, Ole; Vaughan, William. "Maximizing Spread of Cascades Using Network Design", 08/01/2010-07/31/2011, "Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence: UAI 2010", 2010, "UAI-10: 26th Conference in Uncertainty in Artificial Intelligence, Catalina Island, CA, July 2010". Dilkina, Bistra; Lai, Katherine; Gomes, Carla P.. "Upgrading Shortest Paths in Networks", 08/01/2010- 07/31/2011, 2011, "CPAIOR-11: 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Berlin, Germany, May 2011.". Ole Amundsen. "Strategic Conservation Planning Guide", 08/01/2010-07/31/2011, 2011, "Land Trust Alliance". teve Kelling, Robert Cook, Theodoros Damoulas, Daniel Fink, Juliana Freire, Wesley Hochachka, , William Michener, Ken Rosenberg, Claudio Silva. "Estimating species distributions, across space through time and with features of the environment.", 08/01/2010-07/31/2011, , Atkinson, M. and Brezany, P. 2011, "Data Intensive Science, ADMIRE". Hochachka, W.M., Fink, D. and Zuckerberg, B.. "Use of citizen science monitoring for pattern discovery and biological inference", 08/01/2010-07/31/2011, , Gitzen, R.A., Millspaugh, J.J., Cooper, A.B., and Licht, D.S."Design and Analysis of Long-term Ecological Monitoring Studies", 2011, "Cambridge University Press". Fink, D. and Hochachka, W. M.. "Mining information from citizen science data: The use of new analytical techniques for exploratory analysis of broad-scale observational data", 08/01/2010- 07/31/2011, , Dickinson, J. and Bonney, R."CITIZEN SCIENCE: PUBLIC COLLABORATION IN ENVIRONMENTAL RESEARCH", 2011, "Cornell University Press". Kelling, S., editor.. "Using Bioinformatics In Citizen Science", 08/01/2010-07/31/2011, , Dickinson, J. and Bonney, R."CITIZEN SCIENCE: PUBLIC COLLABORATION IN ENVIRONMENTAL RESEARCH", 2011, "Cornell University Press". Conrad, Jon M.. "Resource Economics, Second Edition", 08/01/2010-07/31/2011, 2010, "Cambridge University Press, New York.". Emma Marris with contributions from Steve Kelling. "Birds flock online, Supercomputer time will help ornithologists make ecological sense of millions of records of bird sightings.", 08/01/2010- 07/31/2011, "Nature News (online)", 2010, "Published online August 10, 2010, http://www.nature.com/news/2010/100810/full/news.2010.395.html.". Emma Marris with contributions from Steve Kelling. "Bird-watchers add more than 48 million observations to "eBird" database: Supercomputer time will help ornithologists make ecological sense of millions of records of bird sightings.", 08/01/2010-07/31/2011, "Scientific American (online edition)", 2010, "Published online August 10, 2010, http://www.scientificamerican.com/article.cfm?id=birds-ebird-online". Espinet, A., C.A. Shoemaker, C. Doughty. "CO2 Plume Estimation with Automatic Calibration of TOUGH Model for Carbon Sequestration in Geological Formations.", 08/01/2010-07/31/2011, 2009, "American Geophysical Union 2009 Fall Meeting, student paper award winner.". Ashish Sabharwal, Bart Selman. "Book Review: S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition", 08/01/2010-07/31/2011, "AIJ-2011, Artificial Intelligence, Special Review Issue", 2011, "Elsevier, volume 175, number 5-6, pp 935-937, Apr 2011.". Raghuram Ramanujan, Ashish Sabharwal, Bart Selman. "On the Behavior of UCT in Synthetic Search Spaces", 08/01/2010-07/31/2011, 2011, "UAI-2011, 27th Conference on Uncertainty in Artificial Intelligence, Barcelona, Spain, July 2011". Raghuram Ramanujan, Ashish Sabharwal, Bart Selman. "Understanding Sampling Style Adversarial Search Methods", 08/01/2010-07/31/2011, "UAI-2010", 2010, "26th Conference on Uncertainty in Artificial Intelligence, Avalon, Catalina Island, CA, pp 474-483, July 2010.". Theodoros Damoulas, Samuel Henry, Andrew Farnsworth, Michael Lanzone, Carla Gomes. "Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel", 08/01/2010- 07/31/2011, "ICMLA Best Paper Award", 2010, "The Ninth International Conference on Machine Learning and Applications (ICMLA 2010), Washington DC, December 2010.". Ermon, Stefano; Conrad, Jon; Gomes, Carla; and Selman, Bart. "Playing Games Against Nature: Optimal Policies for Renewable Resource Allocation", 08/01/2010-07/31/2011, 2010, "Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI-10), 2010.". Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT", 08/01/2011-07/31/2012, 2009, "Proceedings of IJCAI-09: 21st International Joint Conference on Artificial Intelligence, Pasadena, CA, pp 544- 551". Daniel Sheldon, M.A. Saleh Elmohamed, and Dexter Kozen . "Collective Inference on Markov Models for Modeling Bird Migration", 08/01/2011-07/31/2012, , J.C. Platt and D. Koller and Y. Singer and S. Roweis"Advances of Neural Information Processing Systems", 2008, "MIT Press, Cambridge, MA.". Daniel Sheldon. "Graphical Multi-Task Learning", 08/01/2011-07/31/2012, "NIPS Workshop on Structured Input - Structured Output, 2008", 2008, "Vancouver, British Columbia, Canada". John Hopcroft and Daniel Sheldon. "Network Reputation Games", 08/01/2011-07/31/2012, "Tech Report", 2009, "Cornell University online publication: http://hdl.handle.net/1813/11579". Munson, M. A., K. Webb, D. Sheldon, D. Fink, W. M. Hochachka, M. I. Iliff, M. Riedewald, D. Sorokina, B. L. Sullivan, C. L. Wood, and S. Kelling. "The eBird Reference Dataset", 08/01/2011-07/31/2012, 2009, "Cornell Lab of Ornithology and National Audubon Society, Ithaca NY (http://www.avianknowledge.net).". Antonio Bento. "Biofuels: Economic and Public Policy Considerations", 08/01/2011-07/31/2012, , R.W. Howarth and S. Bringezu"Proceedings of the Scientific Committee on Problems of the Environment (SCOPE) International Biofuels Project Rapid Assessment, 22-25 September 2008, Gummersbach, Germany", 2009, "April 2009". A. Bento, S. Porder, A. Leip, L.A. Martinelli, J. Samseth, T.W. Simpson. "Quantifying the Environmental Impacts of Biofuel Production: Knowns and Unknowns", 08/01/2011-07/31/2012, , R.W. Howarth and S. Bringezu"Proceedings of the Scientific Committee on Problems of the Environment (SCOPE) International Biofuels Project Rapid Assessment, 22-25 September 2008, Gummersbach, Germany", 2008, "Gummersbach, Germany". S. Strogatz. "The Calculus of Friendship: What a Teacher and a Student Learned About Life While Corresponding About Math", 08/01/2011-07/31/2012, 2009, "Princeton University Press, Princeton, New Jersey.". Henry Kautz, Ashish Sabharwal, Bart Selman. "Incomplete Algorithms (for Satisfiability)", 08/01/2011- 07/31/2012, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 6, pp 185-203, 2009. IOS Press.". Carla P. Gomes, Ashish Sabharwal, Bart Selman. "Model Counting", 08/01/2011-07/31/2012, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 20, pp 633-654, 2009. IOS Press.". Carla P. Gomes, Ashish Sabharwal. "Exploiting Runtime Variation in Complete Solvers (for Satisfiability)", 08/01/2011-07/31/2012, , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh"Handbook of Satisfiability", 2009, "chapter 9, pp 271-288, 2009. IOS Press.". Carla Gomes. "Challenges for Constraint Reasoning and Optimization in Computational Sustainability", 08/01/2011-07/31/2012, , Ian P. Gent"Lecture Notes in Computer Science Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings", 2009, "pp 2-4, Springer Berlin / Heidelberg.". Carla Gomes. "Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society", 08/01/2011-07/31/2012, "The Bridge, Proceedings of the National Academy of Engineering's (NAE) 15th Annual U.S. Frontiers of Engineering Symposium", 2009, "Vol. 39, no. 4, Winter 2009.". Jon Conrad. "Resource Economics, 2nd Edition", 08/01/2011-07/31/2012, 2010, "Cambridge University Press, June 2010.". D.P. Williamson and D.B. Shmoys. "The Design of Approximation Algorithms", 08/01/2011-07/31/2012, 2011, "Cambridge University Press". D. Sheldon, B. Dilkina, A. Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, C. P. Gomes, D. Shmoys, W. Allen, O. Amundsen, and B. Vaughan. "Maximizing the Spread of Cascades Using Network Design", 08/01/2011-07/31/2012, , P. Grunwald and P. Spirtes"Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI-2010)", 2010, "AUAI Press.". Panda, B. Riedewald, M., Fink D.. "The Model Summary Problem and a Solution for Trees", 08/01/2011- 07/31/2012, "26th IEEE International Conference on Data Engineering, March 1-6, 2010", 2010, "March 1-6, 2010, Long Beach, California". Marshall Iliff, Leo Salas, Ernesto Ruelas Inzunza, Grant Ballard, Denis Lepage, and Steve Kelling. "The Avian Knowledge Network: A Partnership to Organize, Analyze, and Visualize Bird Observation Data for Education, Conservation, Research, and Land Management", 08/01/2011-07/31/2012, "Proceedings of the Fourth International Partners in Flight Conference: Tundra to Tropics.", 2009, "pp. 365-373". Brian L. Sullivan, Steven T. Kelling, Christopher L. Wood, Marshall J. Iliff, Daniel Fink, Mark Herzog, Doug Moody, and Grant Ballard. "Data Exploration through Visualization Tools", 08/01/2011- 07/31/2012, "Proceedings of the Fourth International Partners in Flight Conference: Tundra to Tropics", 2009, "pp. 415-418". James F. Saracco, David F. DeSante, M. Philip Nott, Wesley M. Hochachka, Steve Kelling, and Daniel Fink. "Integrated Bird Monitoring and the Avian Knowledge Network: Using Multiple Data Resources to Understand Spatio-temporal Variation in Demographic Processes and Abundance", 08/01/2011-07/31/2012, "Proceedings of the Fourth International Partners in Flight Conference: Tundra to Tropics", 2009, "pp. 659-661". Fink, D.. "Modeling species distribution dynamics with STEM: Inter-annual Bird migrations", 08/01/2011-07/31/2012, "USGS National Institute for Invasive Species Science", 2010, "Fort Collins, CO, January 2010". Kelling, S., Fink, D, Vannan, S.S, Webb, K, Cook, R., et al.. "Patterns in Bird Migration Phenology Explored through Data Intensive Analysis and Visualization, Data-Intensive Research Conference, National eScience institute and Science Center, Edinburgh, Scotland. March 15, 2010", 08/01/2011-07/31/2012, "Data-Intensive Research Conference, National eScience Institute and Science Center", 2010, "Edinburgh, Scotland. March 15, 2010.". Fink, D.. "Modeling species distribution dynamics with STEM", 08/01/2011-07/31/2012, "DataONE EVA workgroup, University of Utah", 2010, "March 18, 2010". Kelling, S. , Fink, D, Vannan, S.S, Webb, K, Cook, R., et al.. "Patterns in Bird Migration Phenology Explored through Data Intensive Analysis and Visualization", 08/01/2011-07/31/2012, "NASA Terrestrial Ecology Meetings", 2010, "San Diego, CA, March 2010". Hochachka, WM. and Fink, D.. "Species Distribution Modeling and Validation", 08/01/2011-07/31/2012, "18th International Conference of the European Bird Census Council, "Monitoring, indicators and targets," Caceres, Spain, March 22-26, 2010.", 2010, "Ardeola, vol. 57 special issue and Bird Census News, vol. 23.". Allen, P., Kelling, S. Fink, D.. "AKN and species distribution modeling for conservation", 08/01/2011- 07/31/2012, "NatureServe Conference: Biodiversity without Boundaries", 2010, "Austin, TX, April 2010.". Kelling, S.. "Case Studies in Sustainability: The eBird Model for Sustaining Digital Resources", 08/01/2011-07/31/2012, "Case Studies in Sustainability, Ithaka Foundation, NY, USA.", 2009, "Ithaka Foundation, NY, USA, May 3-5, 2009". Kelling, S., Fink, D., Wood, C., Sullivan, S. Iliff, M.. "eBird: The Long Tail of Community Engagement in the Scientific Process", 08/01/2011-07/31/2012, "Studying Society in a Digital World", 2009, "Princeton University, NJ, USA, April 23-25, 2009.". Kelling, S.. "Sustaining Digital resources: eBird, An On-the-Ground View", 08/01/2011-07/31/2012, "Sustainable Scholarship Conference 2009", 2009, "Baruch College, NY, USA, September 23, 2009.". Henry Kautz, Ashish Sabharwal, and Bart Selman. "Satisfiability Solvers", 08/01/2011-07/31/2012, 2010, "Morgan & Claypool Publishers". Henry Kautz, Ashish Sabharwal, and Bart Selman. "Incomplete Algorithms for Satisfiability", 08/01/2011-07/31/2012, 2009, "Handbook of Satisfiability, IOS Press". Carla Gomes, Ashish Sabharwal, and Bart Selman. "Model Counting", 08/01/2011-07/31/2012, 2009, "Handbook of Satisfiability, IOS Press". Stefano Ermon, Carla Gomes, Bart Selman. "Collaborative Multiagent Gaussian Inference in a Dynamic Environment Using Belief Propagation", 08/01/2011-07/31/2012, "Proceedings of the 9th International Conference on Autonomous Multiagent Systems (AMAAS-10)", 2010, "Toronto, Ontario. Vol. 1.". Raghuram Ramanujan, Ashish Sabharwal, and Bart Selman. "On Adversarial Search Spaces and Sampling-Based Planning", 08/01/2011-07/31/2012, "20th Intl. Conf. on Automated Planning and Scheduling (ICAPS-10)", 2010, "Toronto, Ont.". Lukas Kroc, Ashish Sabharwal, and Bart Selman. "Relaxed DPLL Search for MaxSAT", 08/01/2011- 07/31/2012, "THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS", 2009, "12th International Conference on Theory and Applications of Statisfiability Testing, JUN 30-JUL 3, 2009". Lukas Kroc, Ashish Sabharwal, and Bart Selman. "Message-Passing and Local Heuristics as Decimation Strategies for Satisfiability", 08/01/2011-07/31/2012, "24th Annual ACM Symposium on Applied Computing (SAC-09)", 2009, "Honolulu, HI". Carla P. Gomes. "Challenges for Constraint Reasoning and Optimization in Computational Sustainability", 08/01/2011-07/31/2012, "Lecture Notes in Computer Science", 2009, "15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings. ". Yunsong Guo and Carla Gomes . "Learning Optimal Subsets with Implicit User Preferences", 08/01/2011-07/31/2012, "Proceedings of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI-09), Pasadena, CA.", 2009, "pp 1052-1057, Pasadena, CA.". Carla P. Gomes, Ashish Sabharwal. "Optimizing Fish Passage Barrier Removal Using Mixed Integer Linear Programming", 08/01/2011-07/31/2012, 2009, "CROCS-09. First International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CP-09 Conference), Lisbon, Portugal, September". Daniel Sheldon, Bistra Dilkina, Adam Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla Gomes, David Shmoys, Will Allen, Ole Amundsen, Buck Vaughan. "Optimal Network Design for the Spread of Cascades", 08/01/2011-07/31/2012, 2010, "Technical report, Cornell University, April 2010, http://hdl.handle.net/1813/14917.". Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal. "Backdoors in the Context of Learning", 08/01/2011- 07/31/2012, 2009, "CORS-INFORMS-09. CORS-INFORMS International Meeting, Toronto, ON, Canada, June 2009.". Lukas Kroc, Ashish Sabharwal (presenter), Carla P. Gomes, Bart Selman. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT", 08/01/2011-07/31/2012, 2009, "CORS- INFORMS-09. CORS-INFORMS International Meeting, Toronto, ON, Canada, June 2009.". Ronan LeBras, Theodoros Damoulas, John Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover. "Computational Thinking for Material Discovery: Bridging Constraint Reasoning and Learning", 08/01/2011-07/31/2012, 2010, "CROCS Workshop at CPAIOR-10: 2nd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CPAIOR-10 Conference), Bologn". Dilkina, B; Gomes, CP; Malitsky, Y; Sabharwal, A; Sellmann, M. "Backdoors to Combinatorial Optimization: Feasibility and Optimality", 08/01/2011-07/31/2012, "INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, PROCEEDINGS", 2009, "6th International Conference Integration of AI OR Techniques in Constraint Programming for Combinatial Optimization Problems, MAY 27-31, 2009.". Dilkina, B; Gomes, CP; Sabharwal, A. "Backdoors in the Context of Learning", 08/01/2011-07/31/2012, "THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS", 2009, "12th International Conference on Theory and Applications of Statisfiability Testing, JUN 30-JUL 3, 2009.". Sheldon, Dan; Dilkina, Bistra; Elmachtoub, Adam; Finseth, Ryan; Sabharwal, Ashish; Conrad, Jon; Gomes, Carla; Shmoys, David; Allen, Will; Amundsen, Ole; Vaughan, William. "Maximizing Spread of Cascades Using Network Design", 08/01/2011-07/31/2012, "Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence: UAI 2010", 2010, "UAI-10: 26th Conference in Uncertainty in Artificial Intelligence, Catalina Island, CA, July 2010". Dilkina, Bistra; Lai, Katherine; Gomes, Carla P.. "Upgrading Shortest Paths in Networks", 08/01/2011- 07/31/2012, 2011, "CPAIOR-11: 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Berlin, Germany, May 2011.". Ole Amundsen. "Strategic Conservation Planning Guide", 08/01/2011-07/31/2012, 2011, "Land Trust Alliance". Steve Kelling, Robert Cook, Theodoros Damoulas, Daniel Fink, Juliana Freire, Wesley Hochachka, , William Michener, Ken Rosenberg, Claudio Silva. "Estimating species distributions, across space through time and with features of the environment", 08/01/2011-07/31/2012, , Atkinson, M. and Brezany, P."Data Intensive Science", 2012, "ADMIRE". Hochachka, W.M., Fink, D. and Zuckerberg, B.. "Use of citizen science monitoring for pattern discovery and biological inference", 08/01/2011-07/31/2012, , Gitzen, R.A., Millspaugh, J.J., Cooper, A.B., and Licht, D.S."Design and Analysis of Long-term Ecological Monitoring Studies", 2011, "Cambridge University Press". Fink, D. and Hochachka, W. M.. "Using Data Mining to Discover Biological Patterns in Citizen Science Observations", 08/01/2011-07/31/2012, , Dickinson, J. and Bonney, R."CITIZEN SCIENCE: PUBLIC PARTICIPATION IN ENVIRONMENTAL RESEARCH", 2012, "Cornell University Press". Kelling, S.. "Using Bioinformatics In Citizen Science", 08/01/2011-07/31/2012, , Dickinson, J. and Bonney, R."CITIZEN SCIENCE: PUBLIC PARTICIPATION IN ENVIRONMENTAL RESEARCH", 2012, "Cornell University Press". Conrad, Jon M.. "Resource Economics, Second Edition", 08/01/2011-07/31/2012, 2010, "Cambridge University Press, New York.". Emma Marris with contributions from Steve Kelling. "Birds flock online, Supercomputer time will help ornithologists make ecological sense of millions of records of bird sightings.", 08/01/2011- 07/31/2012, "Nature News (online)", 2010, "Published online August 10, 2010, http://www.nature.com/news/2010/100810/full/news.2010.395.html.". Emma Marris with contributions from Steve Kelling. "Bird-watchers add more than 48 million observations to "eBird" database: Supercomputer time will help ornithologists make ecological sense of millions of records of bird sightings.", 08/01/2011-07/31/2012, "Scientific American (online edition)", 2010, "Published online August 10, 2010, http://www.scientificamerican.com/article.cfm?id=birds-ebird-online". Espinet, A., C.A. Shoemaker, C. Doughty. "CO2 Plume Estimation with Automatic Calibration of TOUGH Model for Carbon Sequestration in Geological Formations.", 08/01/2011-07/31/2012, 2009, "American Geophysical Union 2009 Fall Meeting, student paper award winner.". Ashish Sabharwal, Bart Selman. "Book Review: S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition", 08/01/2011-07/31/2012, "AIJ-2011, Artificial Intelligence, Special Review Issue", 2011, "Elsevier, volume 175, number 5-6, pp 935-937, Apr 2011.". Raghuram Ramanujan, Ashish Sabharwal, Bart Selman. "Understanding Sampling Style Adversarial Search Methods", 08/01/2011-07/31/2012, "UAI-2010", 2010, "26th Conference on Uncertainty in Artificial Intelligence, Avalon, Catalina Island, CA, pp 474-483, July 2010.". Theodoros Damoulas, Samuel Henry, Andrew Farnsworth, Michael Lanzone, Carla Gomes. "Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel", 08/01/2011- 07/31/2012, "ICMLA Best Paper Award", 2010, "The Ninth International Conference on Machine Learning and Applications (ICMLA 2010), Washington DC, December 2010.". Ermon, Stefano; Conrad, Jon; Gomes, Carla; and Selman, Bart. "Playing Games Against Nature: Optimal Policies for Renewable Resource Allocation", 08/01/2011-07/31/2012, 2010, "Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI-10), 2010.". An, H.-C., Kleinberg, R., & Shmoys, D. B.. "Improving christofides? algorithm for the s-t path TSP", 08/01/2011-07/31/2012, "Proceedings of the 44th symposium on Theory of Computing - STOC ?12", 2012, "p. 875. doi:10.1145/2213977.2214055". Cheung, M., & Shmoys, D. B.. "A primal-dual approximation algorithm for min-sum single-machine scheduling problems", 08/01/2011-07/31/2012, "Proceeding of APPROX-RANDOM", 2011, "pp. 135-146. doi:10.1007/978-3-642-22935-0_12". Ermon, S., Gomes, C. P., Sabharwal, A., & Selman, B.. "Accelerated Adaptive Markov Chain for Partition Function Computation", 08/01/2011-07/31/2012, , J. Shawe-Taylor, R. S. Zemel, P. Bartlett, F. C. N. Pereira, & K. Q. Weinberger"Advances in Neural Information Processing Systems 24", 2011, "pp. 2744-2752". Previti, A., Ramanujan, R., Schaerf, M., & Selman, B.. "Applying UCT to Boolean Satisfiability", 08/01/2011-07/31/2012, , K. A. Sakallah & L. Simon"SAT", 2011, "Vol. 6695, pp. 373-374". Ramanujan, R., & Selman, B.. "Trade-Offs in Sampling-Based Adversarial Planning", 08/01/2011- 07/31/2012, , F. Bacchus, C. Domshlak, S. Edelkamp, & M. Helmert"ICAPS", 2011, "AAAI". Shmoys, D. B., & Spencer, G.. "Approximation algorithms for fragmenting a graph against a stochastically-located threat", 08/01/2011-07/31/2012, "WAOA?11 Proceedings of the 9th international conference on Approximation and Online Algorithms", 2011, "pp. 123-136. doi:10.1007/978-3-642-29116-6_11". Teose, M., Ahmadizadeh, K., O?Mahony, E., Smith, R. L., Lu, Z., Ellner, S. P., Gomes, C., et al.. "Embedding system dynamics in agent based models for complex adaptive systems", 08/01/2011- 07/31/2012, "Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Three", 2011, "pp. 2531-2538. doi:10.5591/978-1-57735-516-8/IJCAI11- 421". Mahowald, N.. "Atmospheric Biogeochemistry", 08/01/2011-07/31/2012, , R. A. Meyers"Encyclopedia of Sustainable Science and Technology", 2012, "Springer-Verlag". North American Bird Conservation Initiative US Committee. "The State of the Birds 2011 Report on Public Lands and Waters", 08/01/2011-07/31/2012, 2011, "Washington, DC". Bento, A. M.. "Land Use and Air Quality", 08/01/2011-07/31/2012, , J. Duke & J. Wu"The Oxford Handbook of Land Economics", 2012, "Oxford University Press". Bento, A. M.. "Regional and Local Air Pollution from Stationary Sources", 08/01/2011-07/31/2012, , J. Shogren"Encyclopedia of Energy, Natural Resource and Environmental Economics", "Elsevier Publishers". LeBras, R., Gomes, C. P., & Selman, B.. "From Streamlined Combinatorial Search to Efficient Constructive Procedures", 08/01/2011-07/31/2012, "Proceedings of the 15th international conference on Artificial Intelligence", 2012, "Toronto, Canada". Ermon, S., Gomes, C., Selman, B., & Vladimirsky, A.. "Probabilistic Planning with Non-Linear Utility Functions and Worst-Case Guarantees", 08/01/2011-07/31/2012, "11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)", 2012, "Session 1F ? Planning, 1F_1". Ermon, S., Le Bras, R., Gomes, C. P., Selman, B., & van Dover, R. B.. "SMT-Aided Combinatorial Materials Discovery", 08/01/2011-07/31/2012, "Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT)", 2012, "pp 172-185". Ramanujan, R., Sabharwal, A., & Selman, B.. "Minimax vs. UCT: A Comparative Study Using Synthetic Games", 08/01/2011-07/31/2012, "NIPS", 2012, "Neural Information Processing Systems Conference". Spencer, G. "Robust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological Control", 08/01/2011-07/31/2012, "Proceedings of the 15th international conference on Artificial Intelligence", 2012, "Special Track on Computational Sustainability and Artificial Intelligence".