T of C and Messages P
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Variations on the Sensitivity Conjecture
THEORY OF COMPUTING LIBRARY GRADUATE SURVEYS 4 (2011), pp. 1–27 www.theoryofcomputing.org Variations on the Sensitivity Conjecture Pooya Hatami Raghav Kulkarni Denis Pankratov Received: November 2, 2010; published: June 22, 2011. Abstract: The sensitivity of a Boolean function f of n Boolean variables is the maximum over all inputs x of the number of positions i such that flipping the i-th bit of x changes the value of f (x). Permitting to flip disjoint blocks of bits leads to the notion of block sensitivity, known to be polynomially related to a number of other complexity measures of f , including the decision-tree complexity, the polynomial degree, and the certificate complexity. A long-standing open question is whether sensitivity also belongs to this equivalence class. A positive answer to this question is known as the Sensitivity Conjecture. We present a selection of known as well as new variants of the Sensitivity Conjecture and point out some weaker versions that are also open. Among other things, we relate the problem to Communication Complexity via recent results by Sherstov (QIC 2010). We also indicate new connections to Fourier analysis. ACM Classification: F.0, F.1, F.2 AMS Classification: 68-02, 68Q05, 68Q25 Key words and phrases: sensitivity, block sensitivity, complexity measures of Boolean functions 1 The Sensitivity Conjecture For Boolean strings x;y 2 f0;1gn let x ⊕ y 2 f0;1gn denote the coordinate-wise exclusive or of x and y. n th Let ei 2 f0;1g denote an n-bit Boolean string whose i bit is 1 and the rest of the bits are 0: Let f : f0;1gn ! f0;1g be a Boolean function. -
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 -
CS Cornell 40Th Anniversary Booklet
Contents Welcome from the CS Chair .................................................................................3 Symposium program .............................................................................................4 Meet the speakers ..................................................................................................5 The Cornell environment The Cornell CS ambience ..............................................................................6 Faculty of Computing and Information Science ............................................8 Information Science Program ........................................................................9 College of Engineering ................................................................................10 College of Arts & Sciences ..........................................................................11 Selected articles Mission-critical distributed systems ............................................................ 12 Language-based security ............................................................................. 14 A grand challenge in computer networking .................................................16 Data mining, today and tomorrow ...............................................................18 Grid computing and Web services ...............................................................20 The science of networks .............................................................................. 22 Search engines that learn from experience ..................................................24 -
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. -
Job Market Candidate Profiles 2016
SIGecom Job Market Candidate Profiles 2016 Edited by SHADDIN DUGHMI, VASILIS GKATZELIS, and JASON HARTLINE In the sixteen years since the inception of EC as the flagship conference of the SIGecom community, we have learned a lot about the efficiency (or lack thereof) of markets. We have studied markets for school choice, marriage, supply chains, advertising, etc. We understand the loss in welfare from decentralized versus centralized market mechanisms. We understand that information plays an important role in market efficiency and stability. Profiled herein are thirty candidates for the 2016 junior academic job market with research areas that span the interest of the SIGecom community. Though it may not be a complete list, we hope that it will help alleviate some of the informational inefficiencies in the most important market for the community, its junior faculty job market. A table of contents lists the candidates in alphabetical order with keywords they provided. The candidate profiles are listed with brief biographies, research summaries, and three representative papers. Following the candidate profiles is an index of the candidates by keywords. Fig. 1. Generated using the research summaries of the candidates. Contents Nick Arnosti matching, market design, auction theory .................. 4 Markus Brill preference aggregation, tournament solutions, strategyproofness .... 5 Yun Kuen Cheung equilibrium computation, tatonnement, market games .......... 7 Ilan Cohen mechanism design, dynamic posted price schemes ............. 8 ACM SIGecom Exchanges, Vol. 14, No. 1, June 2015, Pages 2{40 3 · S. Dughmi, V. Gkatzelis, and J. Hartline John P. Dickerson stochastic optimization, dynamic matching, kidney exchange ...... 9 Aris Filos-Ratsikas mechanism design, voting, matching, fair division ............ -
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 -
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. -
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. -
A Special Issue on Formal Proof
Notices of the American Mathematical Society ISSN 0002-9920 ABCD springer.com New and Noteworthy from Springer Least-Squares Collected More Math Into LaTeX Finite Element Methods Papers of G. Grätzer, University of Manitoba, of the American Mathematical Society P. B. Bochev, Sandia National Bertram Winnipeg, MB, Canada December 2008 Volume 55, Number 11 Laboratories, Albuquerque, NM, USA; Kostant In this fourth edition, the reader is M. D. Gunzburger, Florida State provided with important updates on University, Tallahassee, FL, USA Volume I articles and books. An important new 1955-1966 This book provides researchers and topic is discussed: transparencies practitioners with a concise guide to the B. Kostant, (computer projections). A new online theory and practice of least-square Massachusetts visual tutorial is also available. Please finite element methods, their strengths Institute of Technology, Cambridge, visit springer.com/978-0-387-32289-6 Formal Proof and weaknesses, established successes, MA, USA for more information, or take a tour of and open problems. Editors: A. Joseph, Weizmann Institute, this unique tutorial. page 1370 Israel; S. Kumar, UNC Chapel Hill, NC, 2007. XXXIV, 619 p. 44 illus. Softcover 2009. Approx. 285 p. (Applied Mathe- USA; M. Vergne, École Polytechnique, ISBN 978-0-387-32289-6 $49.95 matical Sciences, Volume 166) Hardcover Palaiseau Cedex, France Formal Proof—The ISBN 978-0-387-30888-3 approx. $69.95 For more than five decades Bertram Generalized Four-Color Theorem Elementary Number Kostant has been one of the major Measure architects of modern Lie theory. page 1382 Theory: Primes, Virtually all of his papers are pioneering Theory Congruences, and Secrets with deep consequences, many giving Z. -
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. -
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 -
Contents U U U
Contents u u u ACM Awards Reception and Banquet, June 2018 .................................................. 2 Introduction ......................................................................................................................... 3 A.M. Turing Award .............................................................................................................. 4 ACM Prize in Computing ................................................................................................. 5 ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award ............. 6 ACM – AAAI Allen Newell Award .................................................................................. 7 Software System Award ................................................................................................... 8 Grace Murray Hopper Award ......................................................................................... 9 Paris Kanellakis Theory and Practice Award ...........................................................10 Karl V. Karlstrom Outstanding Educator Award .....................................................11 Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics ..........................................................12 Distinguished Service Award .......................................................................................13 ACM Athena Lecturer Award ........................................................................................14 Outstanding Contribution