DOCSLIB.ORG

Collaborative Research: Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society NSF Award CNS-0832782 P

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Collaborative Research: Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society NSF Award CNS-0832782 P 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.
Load more

Recommended publications
  • IJCAI-05 Programme
    PROGRAMME IJCAI – 0 5 NINETEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE EDINBURGH, SCOTLAND 30 JULY – 5 AUGUST 2005 www.ijcai-05.org Sponsored by: INTERNATIONAL JOINT CONFERENCES ON ARTIFICIAL INTELLIGENCE (IJCAI) Hosted by: THE BRITISH COMPUTER SOCIETY SPECIALIST GROUP ON ARTIFICIAL INTELLIGENCE In Collaboration with: THE SCHOOL OF INFORMATICS, UNIVERSITY OF EDINBURGH In Partnership with: SCOTTISH ENTERPRISE AND THE BRITISH COMPUTER SOCIETY IJCAI – 0 5 WELCOME TO IJCAI-05 Dear Attendees, We are very pleased to welcome you all to IJCAI-05 and Edinburgh. We have put together an excellent technical program and exciting social events. We hope you will find IJCAI-05 to be a pleasant experience through significant technical and social interactions with your fellow AI researchers and practitioners from around the world. Edinburgh, the capital city of Scotland, is a city filled with historical sights and stories and hosts the world-famous Edinburgh International Festival immediately after IJCAI-05. It will be a very busy but enjoyable week. IJCAI-05, the Nineteenth International Joint Conference on Artificial Intelligence, is sponsored by the International Joint Conferences on Artificial Intelligence (IJCAI) and hosted by The British Computer Society Specialist Group on Artificial Intelligence and the School of Informatics, The University of Edinburgh and in Partnership with the British Computer Society and Scottish Enterprise. IJCAI sponsors biennial conferences on Artificial Intelligence, which are the premier forums for
    [Show full text]
  • Opportunities for Computing Research and Education in a Sustainability Context
    Opportunities for Computing Research and Education in a Sustainability Context Panel on The Present and Future of Sustainability R&D at the First USENIX Workshop on Sustainable Information Technology Douglas H. Fisher Program Director National Science Foundation (NSF) Directorate for Computer & Information Science & Engineering (CISE) Division of Information & Intelligent Systems (IIS) Robust Intelligence Program (RI) [email protected] Douglas H. Fisher (NSF) Questions to ask As educators What should be sustained? What are the “needs” of future generations referenced in the Brundtland report? Why? Are the reasons compelling? As computing professionals Is the low hanging fruit being implemented (e.g., distance meetings)? What are the factors influencing implementation decisions? What are the lifecycle costs? What are aspirations? Lifecycles→∞? As computer scientists What is the (likely) growth rate (of adoption, of resource depletion, of energy demand, of improvement)? (across all societal/technical areas) What is the complexity class (of growth rate, of change to growth rate)? What other communities are prospective partners? Douglas H. Fisher (NSF) Computing and the Environment ICT along for the ride ICT Possible Future Current Human footprint ICT reduces human footprint IT is a bigger (e.g., through percentage dematerialization) without Possible of a smaller matching rebound effects Future total Don’t (too) short shrift direct effects, because the 2% of “today” (2007) is the 30% of tomorrow (growth rates, growth rates, growth rates!) Douglas H. Fisher (NSF) * Context * * http://www.nsf.gov Douglas H. Fisher (NSF) Finding 1: … A comprehensive coordinated Federal strategy is required … Finding 2: … Private and Federal support … R&D is inadequate. Finding 3: … The U.S.
    [Show full text]
  • Computational Sustainability: Computing for a Better World and a Sustainable Future
    Computational Sustainability: Computing for a Better World and a Sustainable Future CARLA GOMES, CORNELL UNIVERSITY; THOMAS DIETTERICH, OREGON STATE UNIVERSITY; BISTRA DILKINA, UNIVERSITY OF SOUTH CALIFORNIA; STEFANO ERMON, STANFORD UNIVERSITY; FEI FANG, CARNEGIE MELLON UNIVERSITY; ANDREW FARNSWORTH, CORNELL UNIVERSITY; ALAN FERN, OREGON STATE UNIVERSITY; XIAOLI FERN, OREGON STATE UNIVERSITY; DANIEL FINK, CORNELL UNIVERSITY; DOUGLAS FISHER, VANDERBILT UNIVERSITY; ALEXANDER FLECKER, CORNELL UNIVERSITY; DANIEL FREUND, MASSACHUSSETS INSTITUTE OF TECHNOLOGY; ANGELA FULLER, UNITED STATES GEOLOGICAL SURVEY; JOHN GREGOIRE, CALTECH INSTITUTE OF TECHNOLOGY; JOHN HOPCROFT, CORNELL UNIVERSITY; ZICO KOLTER, CARNEGIE MELLON UNIVERSITY; WARREN POWELL, PRINCETON UNIVERSITY; NICOLE SANTOV, OHIO STATE UNIVERSITY; JOHN SELKER, OREGON STATE UNIVERSITY; BART SELMAN, CORNELL UNIVERSITY; DANIEL SHELDON, UNIVERSITY OF MASSACHUSSETS AMHERST; DAVID SHMOYS, CORNELL UNIVERSITY; MILIND TAMBE, UNIVERSITY OF SOUTH CALIFORNIA; CHRISTOPHER WOOD, CORNELL UNIVERSITY; WENG-KEEN WONG, OREGON STATE UNIVERSITY; XIAOJIAN WU, MICROSOFT; STEVE KELLING, CORNELL UNIVERSITY; YEXIANG XUE, PURDUE UNIVERSITY; AMULYA YADAV, PENNSYLVANIA STATE UNIVERSITY; AZIZ YAKUBU, HOWARD UNIVERSITY; MARY LOU ZEEMAN, BOWDOIN COLLEGE Computational sustainability aims to develop computational methods to help solve environmental, economic, and societal problems and thereby facilitate a path towards a sustainable future. Sustainability problems are unique in scale, impact, complexity, and richness, offering
    [Show full text]
  • AAAI News AAAI News
    AAAI News AAAI News Spring News from the Association for the Advancement of Artificial Intelligence AAAI Announces The Interactive Museum Tour-Guide Holte, Ariel Felner, Guni Sharon, Robot (Wolfram Burgard, Armin B. Nathan R. Sturtevant) New Senior Member! Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Wal- AAAI-16 Outstanding AAAI congratulates Wheeler Ruml ter Steiner, and Sebastian Thrun) Student Paper Award (University of New Hampshire, USA) Toward a Taxonomy and Computa- Boosting Combinatorial Search on his election to AAAI Senior Member tional Models of Abnormalities in through Randomization (Carla P. status. This honor was announced at Images (Babak Saleh, Ahmed Elgam- Gomes, Bart Selman, and Henry the recent AAAI-16 Conference in mal, Jacob Feldman, Ali Farhadi) Phoenix. Senior Member status is Kautz) designed to recognize AAAI members Burgard and colleagues were honored IAAI-16 Innovative who have achieved significant accom- for significant contributions to proba- Application Awards plishments within the field of artificial bilistic robot navigation and the inte- Each year the AAAI Conference on intelligence. To be eligible for nomina- gration with high-level planning Innovative Applications selects the tion for Senior Member, candidates methods, while Gomes, Selman, and recipients of the IAAI Innovative must be consecutive members of AAAI Kautz were recognized for their signifi- Application Award. These deployed for at least five years and have been cant contributions to the area of auto- application case study papers must active in the professional arena for at mated reasoning and constraint solv- describe deployed applications with least ten years. ing through the introduction of measurable benefits that include some randomization and restarts into com- aspect of AI technology.
    [Show full text]
  • Carla P. Gomes Computing and Information Science Dept
    Carla P. Gomes Computing and Information Science Dept. of Computer Science Dyson School of Applied Economics and Management Cornell University 353 Gates Hall Ithaca, NY 14853 phone: (607) 255 9189 [email protected] www.cs.cornell.edu/gomes Current position Director, Institute for Computational Sustainability, Cornell University Ronald C. and Antonia V. Nielsen Professor of Computing and Information Science, Cornell University Professor, Dept. of Computer Science, Dept. of Information Science, and Dyson School of Ap- plied Economics and Management, Cornell University Cornell Research Field Membership: Computer Science, Information Science, Applied Mathe- matics, Applied Economics and Management, and City and Regional Planning. Education Ph.D. (Computer Science), University of Edinburgh (1993). Area: Artificial Intelligence and Operations Research Advisors: Professors Austin Tate (Artificial Intelligence) and Lyn Thomas (Oper. Re- search) M.Sc. (Applied Mathematics), Technical University of Lisbon (1987). Area: Operations Research Advisor: Professor Teresa Almeida Research Interests: Artificial Intelligence; Computational Sustainability; Scientific Discovery; Combinatorial Reasoning, Decision, and Optimization Problems; Connections with Operations Research, Machine and Statistical Learning, and Dynamical Systems; Multi-agent Systems; Approximations, randomization, and sam- pling techniques to identify structure; Science of Computation (synthesis of formal and experimental research). 1 Professional Recognition Fellow, Association for Computing Machinery (ACM), 2017. Fellow, American Association for the Advancement of Science (AAAS), 2013. Fellow, Association for the Advancement of Artificial Intelligence (AAAI), 2007. Feigenbaum Prize, AAAI, 2021. Lead P.I., NSF Expeditions in Computing Award ($10M). CompSustNet: Expanding the Hori- zons of Computational Sustainability, 2015-2020. Lead P.I., NSF Expeditions in Computing Award ($10M). Computational Sustainability: Com- putational Methods for a Sustainable Environment, Economy, and Society, 2008-2013.
    [Show full text]
  • AAAI-2000 Frontmatter
    From: AAAI-00 Proceedings. Copyright © 2000, AAAI (www.aaai.org). All rights reserved. Contents AAAI Organization / xix Conference Program Committees / xxi Outstanding Paper Award / xxiv Sponsoring Organizations / xxv Preface / xxvi Invited Talks / xxvii AAAI-2000 Technical Papers Agents Inter-Layer Learning Towards Emergent Cooperative Behavior / 3 Shawn Arseneau, Wei Sun, Changpeng Zhao, and Jeremy R. Cooperstock, McGill University Coordination Failure and Congestion in Information Networks / 9 A. M. Bell, NASA Ames Research Center; W. A. Sethares and J. A. Bucklew, University of Wisconsin-Madison Non-Deterministic Social Laws / 15 Michael H. Coen, MIT Artificial Intelligence Lab Solving Combinatorial Auctions Using Stochastic Local Search / 22 Holger H. Hoos, University of British Columbia; Craig Boutilier, University of Toronto A Mechanism for Group Decision Making in Collaborative Activity / 30 Luke Hunsberger, Harvard University; Massimo Zancanaro, ITC-irst Cobot in LambdaMOO: A Social Statistics Agent / 36 Charles Lee Isbell, Jr., Michael Kearns, Dave Kormann, Satinder Singh, and Peter Stone, AT&T Shannon Labs Semantics of Agent Communication Languages for Group Interaction / 42 Sanjeev Kumar, Marcus J. Huber, David R. McGee, and Philip R. Cohen, Oregon Graduate Institute; Hector J. Levesque, University of Toronto Deliberation in Equilibrium: Bargaining in Computationally Complex Problems / 48 Kate Larson and Tuomas Sandholm, Washington University An Algorithm for Multi-Unit Combinatorial Auctions / 56 Kevin Leyton-Brown, Yoav Shoham, and Moshe Tennenholtz, Stanford University Maintainability: A Weaker Stabilizability Like Notion for High Level Control / 62 Mutsumi Nakamura, University of Texas at Arlington; Chitta Baral, Arizona State University; Marcus Bjäreland, Linköping University Agent Capabilities: Extending BDI Theory / 68 Lin Padgham, RMIT University; Patrick Lambrix, Linköpings Universitet v Iterative Combinatorial Auctions: Theory and Practice / 74 David C.
    [Show full text]
  • Carla P. Gomes.P
    CarlaP. Gomes Computing and Information Science Dept. of Computer Science Dyson School of Applied Economics and Management Cornell University 353 Gates Hall Ithaca,NY 14853 phone: (607) 255 9189 [email protected] www.cs.cornell.edu/gomes Current position Director, Institute for Computational Sustainability, Cornell University Professor,Professor, Dept.Dept. of of Computer Computer Science, Science, Dept. Dept. of of Information Information Science, Science, and and Dyson Dyson School School of Applied of Ap- Economicsplied Economics and Management, and Management, Cornell Cornell University University CornellCornell Research Field Field Membershi Membership:p: Computer Computer Science, Science, Information Information Science, Science, Applied Applied Mathe- matics, Applied Economics and Management, and City and Regional Planning. Mathematics, Applied Economics and Management, and City and Regional Planning. Education Ph.D. (Computer Science), University of Edinburgh (1993). Area: Artificial Intelligence and Operations Research Advisors: Professors AustinTate (Artificial Intelligence) andLyn Thomas (Oper. Re- search) M.Sc. (Applied Mathematics),Technical University of Lisbon (1987). Area: Operations Research Advisor: ProfessorTeresa Almeida Research Interests: Computational Sustainability; Sustainability; Scientific Scientific Discovery; Discovery; Combinatorial Combinatorial Decision Decision and Optimization and Optimization Problems; Prob- Connectionslems; Connections with Operations with Operations Research, Research, Machine Machine
    [Show full text]
  • AIPS 1998 Proceedings
    From: AIPS 1998 Proceedings. Copyright © 1998, AAAI (www.aaai.org). All rights reserved. AIPS ’98 Organization & Sponsors Sponsors AIPS ’98 is supported by the US Defense Advanced Research Projects Agency (DARPA) and is held in cooperation with the American Association for Artificial Intelligence AIPS ’98 Committee Conference Chair: James Allen, University of Rochester Program Chairs: Reid Simmons, Carnegie Mellon University Manuela Veloso, Carnegie Mellon University Stephen Smith, Carnegie Mellon University Workshops Chair: Steve Chien, Jet Propulsion Laboratory Planning Competition Rules Committee Chair: Drew McDermott, Yale University Program Committee Members Ralph Bergmann, University of Kaiserslautern Larry Birnbaum, Northwestern University Jim Blythe, USC/Information Sciences Institute Mark Boddy, Honeywell Corporation Daniel Borrajo, Universidad Carlos III de Madrid John Bresina, Recom Technologies, NASA Ames Amedeo Cesta, National Research Council of Italy Steve Chien, Jet Propulsion Laboratory Paul Cohen, University of Massachusetts, Amherst Tom Dean, Brown University Brian Drabble, Computational Intelligence Research Laboratories Jim Firby, Neodesic Corporation Malik Ghallab, LAAS-CNRS Yolanda Gil, USC/Information Sciences Institute Keith Golden, NASA Ames Research Center Richard Goodwin, IBM Watson Peter Haddawy, University of Wisconsin-Milwaukee Steve Hanks, University of Washington From: AIPS 1998 Proceedings. Copyright © 1998, AAAI (www.aaai.org). All rights reserved. James Hendler, University of Maryland Adele Howe, Colorado
    [Show full text]
  • Download Master Class Abstracts
    Computational Sustainability Prof. Carla Gomes Cornell University Computational Sustainability is a new interdisciplinary research field with the overall goal of developing computational models, methods, and tools to help manage the balance between environmental, economic, and societal needs for a sustainable future. In this talk Gomes will provide an overview of Computational Sustainability, highlighting research challenges, with examples ranging from wildlife conservation and poverty mapping to the pattern identification for materials discovery for fuel cell technology and the planning of the smart grid. Short Bio: Carla Gomes is a professor of computer science at Cornell University, with appointments in the computer science, information science, and applied economics and management departments. Her research has covered several themes in artificial intelligence and computer science. Recently, Gomes has become immersed in the establishment of computational sustainability, a new interdisciplinary field that aims to develop computational methods to help balance environmental, economic, and societal needs to support a sustainable future. Gomes obtained a PhD in computer science in the area of artificial intelligence and operations research from the University of Edinburgh. She also holds an MSc in applied mathematics from the Technical University of Lisbon. Gomes is the lead principal investigator on an award from the National Science Foundation's Expeditions in Computing program, the director of the recently established Institute for Computational Sustainability at Cornell, and a fellow of the Association for the Advancement of Artificial Intelligence. Gomes is currently a Fellow at the Radcliffe Advanced Study Institute at Harvard University. Computational Advances in Conservation Planning for Landscape Connectivity Dr. Bistra Dilkina – Cornell University Habitat fragmentation due to the increasing pressure of human development has become a key threat to many species.
    [Show full text]
  • Computational Sustainability
    Articles Editorial Introduction Computational Sustainability Eric Eaton, Carla Gomes, Brian Williams n Computational sustainability prob - ustainable development — development that meets the lems, which exist in dynamic environ - needs of the present without compromising the ability ments with high amounts of uncertain - Sof future generations to meet their needs (United ty, provide a variety of unique chal - Nations Environment Programme, 1987) — is a critical con - lenges to artificial intelligence research cern to current and future generations. The emerging inter - and the opportunity for significant disciplinary field of computational sustainability (Gomes impact upon our collective future. This editorial introduction provides an 2009) draws techniques from computer science, information overview of artificial intelligence for science, mathematics, statistics, operations research, and computational sustainability, and related disciplines to help balance environmental and socioe - introduces the next two special issue conomic needs for sustainable development. Artificial intel - articles that will appear in AI Maga - ligence (AI) techniques play a key role in computational sus - zine . tainability research, enabling the solution of sustainability problems that involve modeling or decision making in dynamic and uncertain environments. In turn, sustainabili - ty problems present unique challenges that further advance the state of the art of AI. Since 2011, the main AAAI conference has included a spe - cial track on computational sustainability, encouraging AI research in this area and broader participation of sustainabil - ity researchers in the AAAI community. The International Joint Conference on Artificial Intelligence (IJCAI) included Copyright © 2014, Association for the Advancement of Artificial Intelligence. All rights reserved. ISSN 0738-4602 SUMMER 2014 3 Articles The Three Pillars of Sustainability Figure 1.
    [Show full text]
  • Henry A. Kautz, Ph.D. [email protected] (585) 520-1200
    Henry A. Kautz, Ph.D. [email protected] (585) 520-1200 Employment Director Division of Information & Intelligent June 2018–Present Systems, National Science Foundation • Direct the division of NSF Computer and Information Science (CISE) that funds research in artificial intelligence, human-computer interaction, and data science. Appointment to NSF through the Intergovernmental Personnel Act while retaining rank as professor at the University of Rochester. • Manage a $230 million budget and 30 scientific and administrative employees. • Lead National AI Research Institutes program, a partnership with other federal agencies that is funding a series of $20 million centers in foundational and applied artificial intelligence. Work included developing funding partnerships with industry and other government agencies. The program has committed $300 million in funding to date. • Led creation of joint program between CISE and the Directorate for Engineering on Foundations of Robotics. • Co-chair Interagency Working Group on Artificial Intelligence at the Networking and Information Technology Research and Development program. Co-wrote and edited The National Artificial Intelligence Research and Development Strategic Plan: 2019 Update and 2016–2019 Progress Report: Advancing Artificial Intelligence R&D. • Give talks and briefings on the state and future directions of AI research to the National Security Commission, US Army Cybercommand, NASA, Federal Trade Commission, Food & Drug Agency, and other agencies. Director Goergen Institute for Data Science, Oct 2014–May 2018 University of Rochester • Established structure of the Institute, including staffing and formation of Faculty Steering Committee and External Advisory Board. • Designed curriculum for MS and BS in Data Science, working with departments across the university that teach data science courses.
    [Show full text]
  • T of C and Messages P
    Computing and Information Science at Cornell 2000-2001 Annual Report Education and Research ○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○ Table of Contents ○○○○○○○ Message from the Dean for Computing and Information Science 4 Message from the Chair of Computer Science 7 COMPUTING AND INFORMATION SCIENCE 10 Highlights Computer Systems Laboratory with Electrical and Computer Engineering 10 Information Assurance Institute 10 Intelligent Information Systems Institute 11 Johnson Graduate School of Management Joint Program 12 Cornell Theory Center 12 New Faculty 13 Faculty and Senior Researcher Biographies 20 COMPUTER SCIENCE DEPARTMENT Highlights 75 Bits On Our Mind (BOOM) 2001 75 Corporate Interactions 76 Corporate Partnerships and Affiliations 76 Industrial Partners 77 Corporate Gifts and Grants 77 Alumni Relations 78 Educational Statistics 79 Undergraduate Courses and Enrollment 79 Graduate Courses and Enrollment 80 Degrees Granted 81 Awards 85 Research 86 Funded Research 86 Submitted Research Proposals 88 Collaborative Funded Research at Cornell 90 Research Interests of Faculty and Senior Researchers 91 CS People at a Glance 92 Editorial Activities of the Faculty 92 Faculty Personnel Changes 93 Faculty, Researchers, and Academic Visitors 94 Administrative and Technical Staff 95 Departmental Computing Facilities 96 Colloquium and Seminar Speakers 98 Publications 99 Technical Reports 99 Student Lectures 100 Student Publications 101 FACULTY OF COMPUTING AND INFORMATION Programs 103 Computational Biology 103 Computational Science and Engineering 103 Digital Arts and Graphics 104 Information Science 104 Message from the Dean his has been a busy and productive year in the short life of the Cornell Tinitiative in Computing and Information Science (CIS). We hired three more faculty with appointments in the Faculty of Computing and Information (FCI), Paul Ginsparg, joint with Physics; Phoebe Sengers, joint with Science & Tech- nology Studies; and Hod Lipson, joint with the Sibley School of Mechanical & Aerospace Engineering.
    [Show full text]