2002–2004
425 posts
2004 200
December 2004
- Complexity Year in Review
- Copyrights on Conference and Journal Papers
- Computation and the Socio-Economic Sciences
- Tragedy in Asia
- FSTTCS 2004 at Chennai
- Favorite Theorems Recap
- Numb3rs
- Ooscla
- Quality Matters
- Decryption by Clancy
- Favorite Theorems: Derandomizing Space
- Can We Fairly Teach and Grade?
- A Map of Complexity Classes
- The Other Nigerian Scam
- The NSF Gets Some Attention
- When Average Case is the Worst Case
- Bad Timing
- Use Google to Search Your LaTeX Files
November 2004
- Suggestions to Program Committees
- The State of CISE
- Conflicts
- NSF Budget
- Letting Go
- Zig-Zag Connectivity
- Google Scholar
- How about Informaticians?
- The Polar Express
- Does Google Make Us Lazy?
- Undirected Connectivity in Log Space
- How Did We Survive Before the Internet?
- Favorite Theorems: Quantum Lower Bounds
- Public Referee Reports
- Life Goes On
- Vote Complexity
October 2004
- Election Day
- The Co-Author Conundrum
- Solving an 86-Year Old Open Problem
- Nothing Like a Deadline to Ruin Your Day
- What Would the Martians Think?
- Favorite Theorems: Learning Circuits
- Go Sox!
- Conversations with Bill
- More FOCS News
- FOCS News
- Some Dagstuhl Presentations
- Is the Internet Harming Dagstuhl?
- Back in Dagstuhl
- A Celebration of Women in Computing
- NP-Completeness for a 9-Year Old
- Groups versus Departments
- Holy Trefoils, Math Fans!
- Larry Stockmeyer Commemorations
- Are we too nice?
September 2004
- The Specialization of Computer Science
- Computer Science's Newest Genius
- Republicans and Democrats on Science Research
- The Blue State of Science
- NP-Completeness is Illuminated
- The Beauty of the Magic Number
- Quantum in the North; Random in the South
- NSF News
- Email's Curse of Success
- Is the AP Test to Blame for Shifting CS Enrollments?
- Favorite Theorems: List Decoding
- Which Affiliation?
- Just Because I'm a Scientist Doesn't Mean I Know Anything
- The Electoral College
- Is Encryption Doomed?
- Theory in the Coca-Cola Capital of Iowa
August 2004
- Computationally Simple One-Way Functions
- What happened to the future?
- ε and the Olympics
- "Conclusions and Open Problems" (by Adam Klivans)
- Constant Depth Circuits, Fourier Transform, and Learnability (by Adam Klivans)
- Banff Revisited (by Adam Klivans)
- Favorite Theorems: The Harmonic Sieve (by Adam Klivans)
- Favorite Theorems: Parallel Repetition
- Wisdom of Crowds
- Fun with Information Markets
- Micromorts
- When to Announce?
- Small Circuits
- Larry Stockmeyer
- Strangers in the Same Place
July 2004
- Journal Rankings
- NSF Budget
- Favorite Theorems: Superlinear Bounds on Branching Programs
- Carl Smith 1950-2004
- Extracting Randomness
- Some Links and Random Thoughts
- Why are CS Conferences so Important?
- Time and Space Hierarchies
- Bringing Families to Conferences
- Final Notes from Banff
- RESULTAPHOBIA!
- Gems of Additive Number Theory
- Howdy from Banff
- JCSS To Pay Editors, Possibly Referees
- Lessons from Economics
June 2004
- FOCS Accepted Papers
- Don't Make it Too Easy or Too Much
- Note from Vereshchagin
- Complexity Conference Recap
- Rump Session Redux
- Shimon Even (1935-2004)
- Visa Problems Continue
- Riemann Hypothesis and Computational Complexity
- Special Issues
- STOC Business Meeting
- Favorite Theorems: Connections
- Win a Gmail Account
- Professional Societies
- BEATCS Complexity Column
- Survey Papers
- Complexity Registration Deadline
- IEEE Fellowship at the State Department
- Impagliazzo's Five Worlds
May 2004
- Visas and Titles
- What if P = NP?
- Informatics in Indiana
- Comments
- A Part-Time Ph.D.?
- Randomized Blogspace
- Cornell's New President
- Favorite Theorems: Probabilistically Checkable Proofs
- An Auction of Google
- Page Charges
- Games
- New Web Host
- America Losing Its Edge
April 2004
- Karp Symposium
- Conferences versus Journals
- Is Disney World NP-complete?
- Gödel Prize
- Theory Girl
- A Few Short Announcements
- Are There #P Functions Equivalent to SAT?
- Asian Food for Thought?
- Favorite Theorems: Primality
- The Cost of Textbooks
- The View of a Science Writer
- Blum Complexity Measures
- More News from Dagstuhl
March 2004
- A Free Lunch Theorem For Circuit Complexity
- Changes in Introductory Theory
- Opening Day
- Teaching High School Physics
- Evolution
- Is Satisfiability Checkable?
- AT&T Research
- Computer Science Unplugged
- An Unnatural Post
- Favorite Theorems: Derandomization
- March Madness
- Publishing Papers from Iran
- Outsourcing and the Future of Computer Science
- Seeing the Same People in Different Places
- SIGACT News
- Persi Diaconis
- Counting the Rationals Quickly
February 2004
- Marriage and the Donald
- Fermat's Last Tango
- Why the NSF Needs Your Grant Proposals
- My Doom
- Sneakers
- The LaTeX Generation
- Parberry's Guides
- And the Accepted Papers are ....
- Is it Recursive, Computable or Decidable?
- Journal of Algorithms Editorial Board Bolts to New ACM Journal
- Minimal Indices
- The MIT-Berkeley Axis
- Reading the Applications
- Super Theory Day at Columbia on May 14
- Designing for Innovation
- A letter from the editors of the journal Computational Complexity
January 2004
- A Little Theorem
- The Defense, Part II
- Howdy from Amsterdam
- STOC and the NSF
- The Defense, Part I
- John Lewis
- The Da Vinci Code
- I'm Back
- Scaring Away The Scientists Of Tomorrow (last post of guest blogger Scott Aaronson)
- Algorithmic Cooling on Mars II: Mars (by guest blogger Scott Aaronson)
- Algorithmic Cooling on Mars I: Algorithmic Cooling (by guest blogger Scott Aaronson)
- Live From QIP (by guest blogger Scott Aaronson)
- Advice, Not The Quantum Kind (by guest blogger Scott Aaronson)
- Ingredients for Serious Thought (by guest blogger Scott Aaronson)
- Arrr, Even Pirates Be Polynomially-Bounded (by guest blogger Scott Aaronson)
- Complexity Class of the Week: PP (by guest blogger Scott Aaronson)
- How Long Until We Get Along? (by guest blogger Scott Aaronson)
- Guest Blogger
- Balance is a Red-Hot Word
- Survey on Private Information Retrieval
- Pictures from Mars
- What is an Algorithm?
- Freeman on CISE Reorganization
- These are a few of my favorite theorems
2003 149
December 2003
- End of Year Thoughts
- John von Neumann
- That's My State
- Scientific Superstars
- Does NP=UP?
- Does PowerPoint Make You Dumb?
- Ordering Authors
- Seven Naughty Words
- Two Uses of Randomness
- A Regular Problem Solved
- The Elsevier Dilemma
- The NSF and SIGACT News
- Show Us Your Papers
November 2003
- Critical Mass
- Theory and XML
- Rational Functions and Decision-Tree Complexity
- Midwest Theory Day
- Editors Needed
- A Regular Problem
- Opportunities at Chicago (Blatant Plug)
- 25 Years of Science Times
- CISE Reorganization
- The Web and Research
- The PCP Theorem
- What happened at NEC?
October 2003
- Lessons from the IM Experiment
- Changing Strings but not Distributions
- Quantum Leaping to Conclusions
- When Good Theorems Have Bad Proofs
- Talk to Me
- What's happening at the NSF?
- Tti
- The Agony of Defeat
- Tutorials on Machine Learning and Mixing via Markov Chains
- Columbus Day
- Advice for Students Going to a Conference
- Focs
- A New Genius
- Waiting for Nobel
- Happy Fiscal New Year
September 2003
- One-Way Functions
- A Speech and A Weblog
- Proof, The Movie
- Turing, The Novel
- The Buzz
- Creative Commons
- Balanced NP Sets
- Is P versus NP formally independent?
- STOC 2004
- Institute of Advanced Study
- Scheduling Research
August 2003
- Electronic Commerce
- Hello Chicago
- Goodbye New Jersey
- A New-To-Me Pumping Lemma for Regular Languages
- Splitting Sets
- SIGACT News and The Cold War
- My Life in Email
July 2003
- Information Markets for Fighting Terrorism
- The Tour
- The Move
- Juntas
- Citeseer
- Quantum Advice
- A Combinatorial Theorem Proven by Kolmogorov Complexity
- The Rump Session
- Coming Home
- Complexity Abstracts
- For the Love of Math
June 2003
- Expanders from Epsilon-Biased Sets
- Sigact
- Epsilon-Biased Sets
- Whose hands are on the FOCS cover?
- Walter Savitch
- FOCS 2003
- Boosting
- Alonzo Church
- Thoughts on FCRC
- The Business Meeting
- Howdy from San Diego
- Back to Chicago
- Foundations of Complexity Lesson 19: The Immerman-Szelepcsenyi Theorem
May 2003
- Open Questions from Hopcroft and Ullman
- Computing's Lost Allure?
- Celebration for Walter Savitch
- Turing Machines and Godel's Theorems
- Foundations of Complexity Lesson 18: Savitch's Theorem
- The Nerd Shot
- Foundations of Complexity Lesson 17: Space Complexity
- Universal Search
- Fcrc
- History's Loss/Mathematics' Gain
April 2003
- The Power of Random Strings
- More on Kolmogorov Complexity
- Kolmogorov Centennial
- Complexity Classes of the Week: SBP and A0PP
- Paddable NP-Complete Sets are Isomorphic
- The Turing Award
- Awards
- Finding Problems to Work On
- Articles on Quantum and DNA Computers
- Razborov on Unprovability
- Comments
- Computation Beyond Turing Machines?
- Math Riots Prove Fun Incalculable
- Big Ideas
- Counterexample to Fermat's Last Theorem Found!!!
March 2003
- The Berman-Hartmanis Isomorphism Conjecture
- Is P versus NP undecidable?
- Foundations of Complexity Lesson 16: Ladner's Theorem
- On Basketball and Politics
- ICALP Papers Announced
- Information Markets
- It's Not a Tree After All
- War and This Weblog
- March Madness
- Doing homework the hard way
- Complexity Class of the Week: The Permanent
- Theory A and Theory B
- Talk Posted
- Rush Hour
- Cardinality Theorem for Regular Languages?
February 2003
- Howdy from Berlin
- A Zero-One Law for RP
- Complexity Papers Announced
- More on Perfect Graphs
- Complexity Class of the Week: BPPpath
- News for Nerds. Stuff that Matters.
- Traveling Salesman on the Plane
- Foundations of Complexity Lesson 15: More NP-complete Problems
- NEXP not in P/poly?
- JACM is 50
- While I was gone
January 2003
- Vacation
- An Efficient Algorithm for Testing whether a Graph is Perfect
- The Lambda Calculus, Part 1
- Breaking Real-World Locks with Cryptography
- The Why Me? File
- Foundations of Complexity Lesson 14: CNF-SAT is NP-complete
- Supreme Court Rules on Infinity
- Our Friends at the NSA
- A Physics-Free Introduction to the Quantum Computation Model
- Foundations of Complexity Lesson 13: Satisfiability
- What is your Erdös number?
- Circuits over Sets of Natural Numbers
- When will we show P ≠ NP?
- Logic in the 21st Century
- Foundations of Complexity Lesson 12: Turing Machine Redux
- 2003: A Year-Long Celebration of Geniuses
2002 76
December 2002
- Reflections on 2002
- FOCS is going to Europe
- Find the Longest Path
- A Note on Running Times
- Pictures of Manindra
- Rules for a Complex Quantum World
- Foundations of Complexity Lesson 11: NP-Completeness
- Ramsey Theory and Computer Science
- The Great Journal Debate
- Outsider Math
- Learning via Occam's Razor
- Foundations of ComplexityLesson 10: The P versus NP Problem
- FYI: The AIP Bulletin of Science Policy News
- CAPTCHA in the Times
- SIGACT News
- Complexity Class of the Week: MA
- Bad Math Joke
- Foundations of ComplexityLesson 9: Nondeterminism
- You can't judge a proceedings from its cover
- Quantum Information Science and Technology Roadmap
- CAPTCHA
November 2002
- Complexity Deadline
- Identity-Based Encryption
- Ias
- FOCS and Visas
- Coming to America
- Where was Cook's Talk?
- Foundations of ComplexityLesson 8: Efficient Computation
- It all started with a machine...
- Tic Tac Toe Variation
- Kolmogorov Complexity Web Site
- The Union of Complexity Classes
- Foundations of ComplexityLesson 7: The Recursion Theorem
- Stacs
- Complexity Class of the Week: SPP, Part II
- Foundations of ComplexityLesson 6: The Halting Problem
- Conferences
October 2002
- Complexity Class of the Week: SPP, Part I
- Talks by Manindra Agrawal
- Foundations of ComplexityLesson 5: Reductions
- Hard Problems
- Infinity and the Supreme Court
- Quantum Parody of Shakespeare's Hamlet III.i
- Scooping the Loop Snooper
- More from Dagstuhl
- Howdy from Dagstuhl
- Complexity Class of the Week: P
- Foundations of Complexity Lesson 4: Noncomputable Computably Enumerable Languages
- Wigderson Paper on Work of Sudan
- Chaitin's Omega - The Halting Probability
- Foundations of ComplexityLesson 3: Universal Turing Machines and Diagonalization
- SIGACT News
September 2002
- A Reader's Question about Kolmogorov Complexity
- New york times has finally taken
- Quantum algorithms and complexity
- Howdy from canada
- Im off to beautiful banff canada for
- Ketan mulmuley and milind sohoni have
- I saw carl pomerance yesterday give
- Complexity Class of the Week: C=L
- Foundations of ComplexityLesson 2: Computable and Computably Enumerable Languages
- Complexity Class of the Week: Factoring
- Who says you cant make money with
- Science Screenplay Contest
- On september 11 2001 we lost member of
- Foundations of Complexity Lesson 1: What is a computer?
- I heard of nice new result from
- Complexity Class of the Week: PP
- Todays new york times has essay on
- Today is major holiday in us labor day