yusuke1997/dblp-id-title huggingface dataset:
Formation of the ACM SIGAI bay area chapter
Welcome to AI Matters 10(4)
Announcing the SIGAI early career researchers network and conference
AI education matters: teaching hidden Markov models
Considerations for AI fairness for people with disabilities
Welcome to AI Matters Issue 2
Unplugged assignments for K-12 AI education
AI buzzwords explained: multi-agent path finding (MAPF)
AI Policy Matters
AI education matters: data science and machine learning with magic: the gathering
ACM SIGAI activities fund 2020: call for proposals
Experiential AI
The protégé project: a look back and a look forward
AI education matters: FairKalah model AI assignment
AI amusements
Ensemble stream model for data-cleaning in sensor networks
Autonomous trading in modern electricity markets
AI profiles: an interview with Peter Stone
SIGAI annual report: July 1 2019 - June 30 2020
AI profiles: an interview with Peter Norvig
Welcome to AI matters 8(4)
2025 EAAI Mentored Undergraduate Research Challenge: Playing Word Association Games
Bayesian aggregation of evidence for detection and characterization of patterns in multiple noisy observations
Automatic extraction of future references from news using morphosemantic patterns with application to future trend prediction
Welcome to AI matters 4(2)
Pitfalls of Publishing in the Age of LLMs
AI is multidisciplinary
Populating a linked data entity name system
Welcome to AI matters 8(3)
An interview with Ayanna Howard
Who is watching you eat?: a noir preferences thriller
Multi-objective decision-theoretic planning: abstract
Welcome to AI Matters 9(3)
AI education matters: text denoising autoencoder for news headlines
Help communities solve real-world problems with AI: become a technovation mentor!
Learning peripersonal space representation in a humanoid robot with artificial skin
Visualizing information networks: the 2011 Fukushima earthquake
AI education matters: building a fake news detector
Evolutionary online learning in multirobot systems
Looking back and looking to the future: 2016 SIGAI elections
AI education matters: teaching with deep learning frameworks in introductory machine learning courses
How do we ensure that we remain in control of our autonomous weapons?
2018 ACM SIGAI student essay contest on artificial intelligence technologies
Intelligent workflows for visual stylometry
Learning the state of the world: object-based world modeling for mobile manipulation robots
The partnership on AI
Welcome to AI matters 4(1)
Epochs of an AI cosmology
Is there an AI cosmology?
Who speaks for AI?
Cryptocurrencies, smart contracts, and artificial intelligence
Unemployment in the AI age
Filtering and planning for resource-constrained mobile robots
AI policy: organizations, resources, and recent symposia
Artificial intelligence in 2027
AI buzzwords explained: scientific workflows
Welcome to AI Matters 9(1)
AI education: machine learning resources
AI amusements: the tragic tale of Tay the chatbot
Mentored Undergraduate Research Challenge
Welcome to AI matters
Call for proposals: artificial intelligence activities fund
What metrics should we use to measure commercial AI?
The laws of thought and thinking machines
AI profiles: an interview with Thomas Dietterich
Enlichenment: insights towards AI impact in education through a mycelial partnership between research, policy, and practice
Welcome to AI matters 5(1)
Open student travel scholarships scheme
Virtual humans for interpersonal processes and skills training
Causal Effect Estimation under Interference on Hypergraphs
AI education matters: a modular approach to AI ethics education
Context-conscious fairness in using machine learning to make decisions
SIGAI Annual Report: July 1 2021 - June 30 2022
The necessary roadblock to artificial general intelligence: corrigibility
Decoding AI: summary of an ACM SIGAI sponsored event
Incremental and Developmental Perspectives for General-Purpose Learning Systems
Automation moderation: finding symbiosis with anti-human technology
Report on the 2015 career network conference (CNC)
Artificial intelligence and jobs of the future: adaptability is key for human evolution
On the importance of monitoring and directing progress in AI
Non-intervention policy for autonomous cars in a trolley dilemma scenario
Evolving ambiguous images
WikiKreator: automatic authoring of Wikipedia content
You, me, or us: balancing individuals' and societies' moral needs and desires in autonomous systems
AI profiles: an interview with Leslie Kaelbling
Student travel award recipients for the 2014 AAAI/SIGAI doctoral consortium
Welcome to AI matters 5(4)
Generalizing causal knowledge: theory and algorithms
Welcome to AI matters 4(3)
Detecting people in Cubist art
Enhancing Player Retention in Mobile Gaming through Predictive Customer Lifetime Value Modeling using BG/NBD
EAAI-24 Blue Sky Ideas in Artificial Intelligence Education from the AAAI/ACM SIGAI New and Future AI Educator Program
Towards AI ingredients
AI buzzwords explained: distributed constraint optimization problems
Applied AI matters: AI4Code: applying artificial intelligence to source code
The intersection of ethics and AI
Using agent-based modeling and cultural algorithms to predict the location of submerged ancient occupational sites
AI education matters: 2022 EAAI mentored undergraduate research challenge: AI-assisted game design
Letter from Chairs
Welcome to AI Matters issue 3
Ten simple rules for starting a research group
The scales of (algorithmic) justice: tradeoffs and remedies
Welcome to AI Matters issue 4
Beyond transparency: a proposed framework for accountability in decision-making AI systems
Multimodal concepts for social robots
Welcome to AI Matters 9(2)
ACM IUI 2016 conference highlights
Artificial intelligence: no longer just for you and me
The ethics of automated behavioral microtargeting
Reinforcement learning and planning for preference balancing tasks
Welcome to AI Matters, volume 2, issue 2
AAAI/ACM SIGAI job fair 2018: a retrospective
On the projection problem in active knowledge bases with incomplete information
SIGAI annual report: July 1 2020 - June 30 2021
The NY AI summit: a meeting of AI discipline leaders
Network organization paradigm
Drop-in games at RoboCup
Sexbots: the ethical ramifications of social robotics' dark side
The challenges of outreaching
Welcome to AI Matters 7(1)
Review of the pi-calculus: a theory of mobile processes
The book review column
Open Problems in Computational Topology
The solution of a general equation for the public key system
SIGACT news complexity theory column 77
Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography
Modulo intervals: a proposed notation
Review of: Modern Graph Theory by Béla Bollobás
Review of dynamic fuzzy logic and its applications by Fanzhang
Joint review of "Introduction To Natural Computation by Dana H. Ballard"; MIT Press, 1997, ISBN 0-262-52258-6 and "Mathematical Methods in Artificial Intelligence by Edward A. Bender", IEEE Press, 1996 ISBN 0-8186-7200-5
Review of games, puzzles, & computation by Robert A. Hearn and Erik D. Demaine
Reprints from Computing Reviews
Review of selected papers on discrete mathematics by Donald E. Knuth
Distributed Computing Column 85 Elastic Consistency: A Consistency Criterion for Distributed Optimization
Proof and other dilemmas: mathematics and philosophy, edited by Bonnie Gold & Roger A. Simons, Spectrum Series, MAA, 2008 346 pages, hardcover
Joint Review of The Magic of Math by Arthur Benjamin and How to Bake by Eugenia Cheng
SIGACT News Complexity Theory Column 101
Review of Visions of Infinity: The Great Mathematical Problems by Ian Stewart
Computational geometry column 40
Book review department
SIGACT News Complexity Theory Column 96
Technical Report Column
SIGACT news complexity theory column 53
An artificial intelligence technique to generate self-optimizing experimental designs
Technical report column
A Brief Summary of PODC 2022
Distributed Computing Column 63: A Note on Fault-tolerant Consensus in Directed Networks
Review of: The Cult of Pythagoras: Math and Myths by Alberto A. Martinez
Automata theory motivated by problem solving
Riot at the calc exam and other mathematically bent stories by Colin Adams, published by the AMS, 2009 271 pages, softcover and The great debate which is the best number? by Colin Adams VS Thomas Garrity, moderated by Edward Burger, published by the MAA, 2006 and The United States of mathematics presidential debate by Colin Adams VS Thomas Garrity, moderated by Edward Burger, published by the MAA, 2009
Review of "Data Privacy and Security by David Salomon"; Spring-Verlag, 2003, $51.48, Hardcover
The Book Review Column
Database theory column: report on PODS 2008
SIGACT news complexity theory column 61
Distributed Computing Column 71: Recent Algorithmic Advances in Population Protocols
Pancakes, puzzles, and polynomials: cracking the Cracker Barrel
Competitiveness via primal-dual
Using Round Elimination to Understand Locality
Review of boolean function complexity: advances and frontiers by Stasys Jukna
Review of Analysis of Algorithms: An Active Learning Approach: author of book Jeffrey J. McConnell
Review of an introduction to mathematical cryptography by Jeffrey Hoffstein, Jill Pipher, and Joseph Silverman Springer-Verlag, 2008
Corrections for "On the lengths of proofs in the propositional calculus preliminary version"
On a class of independent problems related to Rice theorem
On quantum versions of record-breaking algorithms for SAT
Review of modern computer arithmetic, by Richard Brent and Paul Zimmermann
Joint review of "An Introduction to Quantum Computing Algorithms by Arthur O. Pittenger, " Birkhäuser, ISBN: 0817641270; Quantum Computing by Mika Hirvensalo, " Springer, ISBN: 3540667830; and "Classical and Quantum Computation by A. Yu. Kitaev, A. Shen, and M. N. Vyalyi, " American Mathematical Society, ISBN: 082182161X
What can coding theory do for storage systems?
SIGACT News Complexity Theory Column 97
The p-shovelers problem: (computing with time-varying data)
Mutual exclusion with linear waiting using binary shared variables
Distributed Computing Column 78: 60 Years of Mastering Concurrent Computing through Sequential Thinking
Review of companion to the papers of Donald Knuth by Donald E. Knuth
Review of solving polynomial equation systems II: Macaulay's paradigm and Gröbner technology by Teo Mora (Cambridge University Press 2005)
A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence"
Complexity of input-driven pushdown automata
On non-erasing oracle tapes in space bounded reducibility
Algorithms Unplugged by B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, and D. Wagner: The Power of Algorithms by Giorgio Ausiello and Rossella Petreschi
Review of: Mathematics Everywhere by Martin Aigner and Ehrhard Behrends (Eds.)
Review of theory of computation by Dexter C. Kozen
Review of: Structure and Randomness: Pages from Year One of a Mathematical Blog by Terence Tao
Logics of truth and disposition
Review of Game Theory, Alive
Open Problems Column
Open Problems: 11
Cryptology Column: The Book I've Always Wanted To Write (Almost)
Review of "Linear Optimization and Extensions -- Problems and Solutions by Dimitris Alevas and Manfred Padberg", Springer-Verlag, 450 pages, $54.95
ACM SIGACT news distributed computing column 7
A stoc/focs bibliography: the last progress report
Dagstuhl seminar review: consistency in distributed systems
Barbara Liskov's turing award
SIGACT News Complexity Theory Column 76: an atypical survey of typical-case heuristic algorithms
SIGACT News Complexity Theory Column 109
Review 17 of theoretical and experimental DNA computation by M. Amos Published in 2005 by Springer-Verlag Berlin Heidelberg
Education Forum
A second course in formal languages and automata theory by Jeffrey Shallit, publisher: Cambridge University Press, 2008
SIGACT news complexity theory column 73
SIGACT news complexity theory comun 37
A note on the constructors of the computable universe
Addendum to Etude on theme of Dijkstra
Computational geometry column 48
A prime decomposition result for parallel systems
Education Forum: Computer Science, Engineering, or Home Economics?
Number of universal quantifiers and computational complexity: preliminary report
Review of the algorithm design manual, second edition by Steven S. Skiena
Review of "TORIX: a programming system for operations on vectors and matrices over arbitrary fields and of variable size, vol 1" by S. G. Van Der Meulen and M. Veldhorst. Mathematisch Centrum 1978
Some further comments about nothing
Teaching concurrency
Review of: Infinitesimal How a dangerous mathematical theory shaped the modern world by Amir Alexander
Recent technical reports
Review of graph theory and interconnection networks, by Lih-Hsing Hsu and Cheng-Kuan Lin
SIGACT News Complexity Theory Column 110
The Church-Turing thesis and its look-alikes
Review of Isomorphisms of Types: : from lambda-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995)
Education Forum: Making Theory Come Alive
Review of "The CodeBreakers: the story of secrete writing" by David Kahn. Scribner
Book review: Approximation Algorithms for NP-hard Problems. Edited by Dorit S. Hochbaum (PWS, 1997)
An optimally secure relativized cryptosystem
Review of "Genomic Perl From Bioinformatics Basics to Working Code by Rex A. Dwyer", Cambridge University Press 2003, 0-521-80177-X
Review of Tales of Impossibility: The 2000-Year Quest to Solve the Mathematical Problems of Antiquity Author: David Richeson
SPAA 2018 Review
Review of the Hydra Conference on Concurrent and Distributed Computing Hydra 2020
On a theory of computing symposia
Finding the ith largest of n for small i, n
DISC 2013 review
Reconfiguring a state machine
The political mapping of cyberspace by Jeremy W. Crampton Publisher: The University of Chicago Press, 2003
Toward a cloud computing research agenda
Kinder, gentler average-case analysis for convex hulls and maximal vectors
Complexity Theory Column 89: The Polynomial Hierarchy, Random Oracles, and Boolean Circuits
Multiagent systems: algorithmic, game-theoretic, and logical foundations by Y. Shoham and K. Leyton-Brown Cambridge University Press, 2008
Subtractive encryptors: alternatives to the DES
Distributing trusted third parties
Research Notices: The injectivity of the global function of a cellular automaton in the hyperbolic plane is undecidable
Notes on "A note on the transitive closure of a boolean matrix"
Review of unauthorized access: the crisis in online privacy and security by Robert H. Sloan and Richard Warner
Review of Computer arithmetic algorithms by Israel Koren. A.K. Peters
Two-way one-counter automata accepting bounded languages
Distributed computing column 37: reconfiguring state machines ... and the history of common knowledge
Byzantine Agreement with Less Communication: Recent Advances
Computer science and the mathematics genealogy project
Distributed computing column 55 WTTM 2013 review, and lower bounds for distributed quantum computing
2005: an offline persepctive
Book review: Selected Papers on Computer Science by Donald E. Knuth
Book Review: The Limits of Mathematics by G.J. Chaitin (Springer Verlag 1998)
Review of identity-based encryption by Sanjit Chattarjee and Palash Sarkar
On the general graph embedding problem with applications to circuit layout
Two results on polynomial-time reducibilities
Distributed computing column 52: annual review 2013
Computation of the Knuth-Morris-Pratt skip tables
Invitation to data reduction and problem kernelization
Teaching Computational Complexity: Resources to Treasure
Review of "Algorithmic Learning in a Random World by Vovk, Gammerman and Shafer", Springer, 2005, ISBN: 0-387-00152-2
Online aggregation problems
Review of how to fold it by J. O'Rourke
Review of "Types and Programming Languages by Benjamin C. Pierce"; The MIT Press, 2002
Transactional memory, linking theory and practice
Mathematical treks: from surreal numbers to magic circles by Ivars Peterson published by the maa, 2002 170 pages
Towards a theory of networked computation
Review of Modern cryptography, probabilistic proofs and pseudorandomness algorithms and combinatorics, vol 17 by Oded Goldreich. Springer Verlag, 1999
Guest Column: The Muffin Problem
SIGACT News Complexity Theory Column 126 Locally Decodable Codes for Insertions and Deletions
On the complexity of permutation network design
Review of "Basic proof theory: second edition" by A. S. Troelstra and H. Schwichtenberg. Cambridge University Press
A short note on Shor's factoring algorithm
Sliding Scale Conjectures in PCP
Principles of distributed computing: an exciting challenge
Review of: The Nature of Computation by Cristopher Moore and Stephan Mertens
SIGACT news complexity theory column 63
Journal Backlog Report
Review of Dynamic Logic (Foundations of Computing): authors of book: D. Harel, D. Kozen and J. Tiuryn
Review of those fascinating numbers by Jean-Marie De Konick
Continuations, functions and jumps
A form for referees in theoretical computer science
Review of bioinspired computation in combinatorial optimization by Frank Neumann and Carsten Witt
A note on "A note on 'Some simplified NP-complete graph problems'"
A bibliography on minimax trees
NSF Report: Theory of Computing Program
Review of Algorithmic combinatorics on partial words by Francine Blanchet-Sadri
The space and motion of communicating agents author: Robin Milner publisher: cambridge university press, 2009 isbn 978-0-521-73833-0
The modern algebra of information retrieval by Author Sandor Dominich Publisher: Springer-Verlag Berlin Heidelberg
SIGACT news complexity theory column 78
Algorithms column: the vertex cover problem
Pessimal algorithms and simplexity analysis
NSF news
A four-gadget
Comparison of two approaches to dynamic programming
The generalized towers of Hanoi
Theory of computing: a scientific perspective (extended abstract)
On our duties as scientists
Guest column: A panorama of counting problems the decision version of which is in P 3
SIGACT News Complexity Theory Column 120
Review of how to think about algorithms by Je Edmonds (Cambridge University Press, 2008)
Reducing edge connectivity to vertex connectivity
Review of combinatorial games: tic-tac-toe theory, by Jozsef Beck
Algorithmic information theory may explain the pathogenic number of DNA repeats in myotonic dystrophy type 1 (and in similar diseases)
Review of quantum computing: a gentle introduction by Eleanor Rieffel and Wolfgang Polak
Combinatorial algorithms: generation, enumeration, and search
Report on the third annual international computing and combinatorics conference (COCOON'97): Shanghai, China, August 20-23, 1997
Review of "Cryptological Mathematics by Robert Lewand"; MAA, 2000, $33.95, Softcover
Review of logical foundation of proof complexity by Stephen Cook and Phuong Nguyen
Review of Communicating and mobile systems: the pi-calculus by Robin Silner
Review of Bijective Combinatorics by Nicholas Loehr
Making wireless algorithm theory more useful: five ideas from the 2013 workshop on realistic models for algorithms in wireless networks
Algorithms column
How to do experiments (extended advertisement)
Reprint from computing reviews
Some thoughts on running a conference
Joint review of Professor Stewart's cabinet of mathematical curiosities by Ian Stewart and Five minute mathematics by Ehrhard Behrends and Aha gotcha!-aha insight! by Martin Gardner and Origami, eleusis, and the soma cube by Martin Gardner and Hexaexagons, probability paradoxes, and the tower of Hanoi by Martin Gardner and Group theory in the bedroom and other mathematical diversions by Brian Hayes
Mathematics on the Web: part II
Worlds to die for
On intellectual and instrumental values in science
Consensus Dynamics: An Overview
How convincing is your protocol?
SIGACT news complexity theory column 48
Review of Elements of Parallel Computing
Review of An introduction to difference equations: third edition by Saber Elaydi
Computability of julia sets by Mark Braverman and Michael Yampolsky, Publisher: Springer, 2009
Computational Geometry Column 65
Guest column: parallel repetition theorems for interactive arguments
Open problems column
Recent Advances in Multi-Pass Graph Streaming Lower Bounds
Report on the Second Workshop on Parallel Algorithms (WOPA)
Midwest theory of computation symposium: on a generalization of edge-coloring in graphs
Review of Modern Data Science
Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997)
A note on turing machine computability of rule driven systems
Review of Network Science by Albert-Làaszlò Barabàasi
Computational Geometry Column 70: Processing Persistence Diagrams as Purely Geometric Objects
Distributed quantum computing: a new frontier in distributed systems or science fiction?
Review of R for Data Science: Import, Tidy, Transform, Visualize, and Model Data by Hadley Wickham and Garrett Grolemund
Review of boosting: foundations and algorithms by Robert E. Schapire and Yoav Freund
A characterization of log-space computable functions
Evaluating a polynomial and its reverse
SIGACT news complexity theory column 36
Guest Column: On Cryptography and Meta-Complexity
Figures of merit
A review of PODC 2008
Book Review: Basic Simple Type Theory by J. Roger Hindley (Cambridge University Press 1997)
Context-free languages
Guest column: additive combinatorics and theoretical computer science
Review of Algorithms sequential & parallel: a unified approach by R. Miller & L. Boxer. Prentice Hall 2000
Review of Codes, Cryptology and Curves with Computer Algebra
Yet another reachability algorithm for Petri nets
Review of combinatorial optimization by B. Korte and J. Vygen
Review of "Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by Harold Simmons, " Cambridge University Press, 2000
Death of a monster
Review of: Distributed Systems: An Algorithmic Approach (2nd Edition) by Sukumar Ghosh
DISC 2014 Review
A taxonomy of proof systems (part 1)
Report on POPL 1999
EDUCATION FORUM: An Introductory Computer Science Curriculum Incorporating Theory
SIGACT News complexity theory column 41
Review of Calculated Bets
Reminiscences of Juris
Review of "Boolean Functions and Computation Models by Peter Clote and Evangelos Kranakis", Springer-Verlag, 2002
Review of Feasible Computations and Provable Complexity Properties by Juris Hartmanis
Computational geometry column 51
An improved bound on the number of multiplications and divisions necessary to evaluate a polynomial and all its derivatives
Combinatorial designs: constructions and analysis
Transactional memory: models and algorithms
Review of erdös on graphs: his legacy of unsolved problems by Fan Chung and Ron Graham
Logic circuits in the plane: minimal crossovers
Book review: Theory of Computing: A Gentle Introduction by Kinber and Smith (Prentice-Hall, 2001)
STOC Criteria
Review of "Information Theory, Inference, and Learning Algorithms by David J. C. MacKay", Cambridge University Press, 2003
Errata to "Fundamentals of Computing"
On lazy natural numbers with applications to computability theory and functional programming
How to have your abstract rejected
Partial information classes
Big Omicron and big Omega and big Theta
Distributed Computing Column 67: Review of 2016 BIRS CMO Workshop on Complexity and Analysis of Distributed Algorithms
NSF report - computer and computation research
Logical concepts in cryptography
Database Theory Column Report on PODS 2018
SIGACT news online algorithms column 22
Guest column: an introduction to quantum information and quantum circuits 1
Review of insider threats in cyber security by Probst, Hunker, Gollman, Bishop
Quantum search algorithms
Review of "Primality Testing in Polynomial Time by Martin Dietzfelbinger", Springer-Verlag, 2004
Holographic algorithms: guest column
SIGACT News Complexity Theory Column 104
Deconstructing paxos
Beyond Number of Bit Erasures: New Complexity Questions Raised by Recently Discovered Thermodynamic Costs of Computation
Partial orders for planarity and drawings (abstract)
The genealogy of theoretical computer science: a preliminary report