Spring 2008 [Pdf]
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. -
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 -
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 ............ -
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. -
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 -
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. -
Annual Report of the ACM Awards Committee for the Period July 1, 2009 - June 30, 2010
Annual Report of the ACM Awards Committee for the Period July 1, 2009 - June 30, 2010 1. BASIC INFORMATION 1.1 List of Award Subcommittee Members and Terms of Office Calvin C. Gotlieb, Awards Ctte.Co-Chair 4/1/98-6/30/10 James Jay Horning, Awards Ctte. Co-Chair 7/02-6/30/10 Martín Abadi 12/4/07-12/31/11 Hal Abelson 12/03-12/31/09 Frances E. Allen 11/18/08-12/31/14 Rajeev Alur 12/20/06-12/31/09 P. Anandan 11/11/08-12/31/12 Hagit Attiya 9/25/09-12/31/12 Jean-Loup Baer 3/31/08-12/31/10 Melanie Baljko 12/4/09-12/31/13 Reinaldo Bergamaschi 4/27/06-12/31/09 Brian Bershad 12/4/07-12/31/11 Nina Bhatti Allan Borodin 4/14/10-12/31/04 Stephen R. Bourne 3/6/06-12/31/10 Eric Brewer 3/05- Cynthia Brown 7/11/07-12/31/09 Vinton Cerf 11/2/06-12/31/11 Jennifer Chayes 6/26/07-12/31/12 Lori Clarke 8/19/08-12/31/11 Anne Condon 5/26/10-12/31/15 Robb Cutler 4/14/10-12/31/13 James W. Demmel 3/9/06-12/31/09 Thom Dunning 5/12/10-12/31/15 Stuart I. Feldman 9/12/08-12/31/13 Eugene Fiume 4/14/10-12/31/13 Christian Freksa 7/05- Adele Goldberg 4/25/06-12/31/09-Distinguished Member 5/12/10-12/31/15-Turing Georg Gottlob 5/12/10-12/31/14 Susan L. -
Mathematics People
Mathematics People John B. Friedlander, John McKay, Edwin Perkins, Donald A. Borodin Receives 2008 CRM- Dawson, David Boyd, Nicole Tomczak-Jaegermann, and Fields-PIMS Prize Joel S. Feldman. Allan Borodin of the University of Toronto has been —From a Fields Institute announcement awarded the 2008 CRM-Fields-PIMS Prize. The prize, awarded annually by the Centre de Recherches Mathé- matiques (CRM), the Fields Institute, and the Pacific In- stitute for the Mathematical Sciences (PIMS), recognizes Devlin Awarded Sagan Prize exceptional contributions by a mathematician working in Keith Devlin of Stanford University has been awarded Canada. The prize carries a cash award of CA$10,000 (ap- the Carl Sagan Prize for Science Popularization. The proximately US$9,800) and an invitation to give a lecture prize is awarded by the Board of Trustees of Wonderfest at each institute. to honor researchers in the San Francisco Bay Area who According to the prize citation, Borodin “is a world make science accessible. The award carries a cash prize leader in the mathematical foundations of computer of US$5,000. science. His influence on theoretical computer science Devlin is a senior researcher at and executive director has been enormous, and its scope is very broad.” He has of the Center for the Study of Language and Information made fundamental contributions to many areas, includ- (CSLI) at Stanford and a cofounder of the Stanford Media X ing algebraic computations, resource trade-offs, routing research network and of the university’s H-STAR institute. in interconnection networks, parallel algorithms, online His current research focuses on applying mathematical algorithms, and adversarial queuing theory. -
Bespeak Dissertation Fast
bespeak Dissertation fast The following is an academic genealogy of computer scientists and is constructed by following the pedigree of thesis advisors. == Europe == === Denmark === Peter Naur (Olivier Danvy) === Finland === Arto Salomaa === France === Many French computer scientists worked at the National Institute for Research in Computer Science and Control (INRIA). Marcel-Paul Schützenberger Maurice Nivat Philippe Flajolet Gérard Huet Francois Fages Thierry Coquand Hugo Herbelin Xavier Leroy Christine Paulin-Mohring Didier Rémy François Pottier Bruno Courcelle Louis Nolin Bernard Robinet Emmanuel Saint-James Olivier Danvy (Secondary advisor: Emmanuel Saint-James) Jean-François Perrot Jacques Sakarovitch Jean-Eric Pin Pascal Weil Gérard Berry Gilles Kahn Patrick Cousot Alain Colmerauer === Germany === Karl Steinbuch Franz Baader Carl Adam Petri Martin Odersky === Italy === Corrado Böhm Ugo Montanari Paolo Ciancarini Roberto Gorrieri Nadia Busi Davide Sangiorgi === Netherlands === ==== Van Wijngaarden / Dijkstra ==== Adriaan van Wijngaarden was director of the computer science department at the Centrum Wiskunde & Informatica. It was influential in the development of ALGOL 68. Cornelis Benjamin Biezeno (1933: honoris causa. Universiteit van Amsterdam) Adriaan van Wijngaarden (1945: Enige toepassingen van Fourierintegralen op elastische problemen. Technische Universiteit Delft) Willem van der Poel (1956: The Logical Principles of Some Simple Computers. Universiteit van Amsterdam) Gerard Holzmann (1979: Coordination Problems in Multiprocessing -
Curriculum Vitae Kim Skak Larsen November 18, 2020
Curriculum Vitae Kim Skak Larsen November 18, 2020 Department of Mathematics and Computer Science University of Southern Denmark, Odense Campusvej 55 e-mail: [email protected] DK-5230 Odense M URL: https://imada.sdu.dk/∼kslarsen/ Denmark phone: +45 6550 2328 Degrees • Ph.D., Computer Science, University of Aarhus, 1993 (March 8). Advisor: Erik Meineche Schmidt. Area: Algorithmics/Databases. Thesis: High Level Efficiency in Database Languages. • M.S. (cand. scient.), Computer Science, University of Aarhus, 1988 (August 31). Advisor: Mogens Nielsen. Area: Concurrency (Semantics). Thesis: A Fully Abstract Model for a Process Algebra with Refinement. • B.S. (bifag), Mathematics and Computer Science, University of Aarhus, 1985. Honors • Knight of the Order of Dannebrog (Ridder af Dannebrog), appointed by Her Majesty Queen Margrethe II of Denmark, October 30, 2015. • Best Newcomer, Awarded by the Program Committee of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Primary Research Interests Online Algorithms, Data Structures, Database Systems, Algorithmics. Full-Time Work Experience • Professor (Full Professor), Department of Mathematics and Computer Science, Uni- versity of Southern Denmark, Odense, 2004 to present. • Institutleder (Head of Department), Department of Mathematics and Computer Sci- ence, University of Southern Denmark, Odense, 2003–2006. • Lektor (Associate Professor), Department of Mathematics and Computer Science, University of Southern Denmark, Odense, 1997–2004. • Adjunkt (Assistant Professor), Department of Mathematics and Computer Science, Odense University, 1995–1997. • Forskningsadjunkt (Post Doc), Department of Mathematics and Computer Science, Odense University, 1993–1994. Additional Paid Work during Academic Career • Various expert/consultant tasks for industry. • A large number of external examiner tasks (see later).