yusuke1997/dblp-id-title huggingface dataset:
A simpler analysis of algorithm 65 (find)
In memoriam Eugene L. Lawler
Review of "Computational Techniques for the Summation of Series by Anthony Sofo", Kluwer Academic Publishers, 2003
An extension to on-line multiplication lower bound results
Database querying and constraint programming
Beautiful structures: an appreciation of the contributions of Alan Selman
Review of DSN'08
A lower bound on the size of universal sets for planar graphs
Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages)
A note concerning intermittent assertions
Special issue on semantics and program schemas SIAM journal on computing
Review of "Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneider", Springer-Verlag Berlin Heidelberg, 2004
Review of Introduction to cryptography by Johannes A. Buchmann. Springer Verlag, 2001
Semi-membership algorithms: some recent advances
Review of 18 coding for data and computer communications by David Salomon Springer, 2005
SIGACT News Complexity Theory Column 118
Probabilistic databases
Time-memory-processor tradeoffs
Review of Algorithmic Randomness and Complexity by Downey and Hirschfeldt
Review of "Excellence Without a Soul: How a Great University Forgot Education by Harry Lewis, " Public Affairs, 290 pages
A quantifier characterization for nondeterministic log space
Computational geometry column 35
A note on the worst case of heapsort
Review of coding for data and computer communications by David Salomon Springer, 2005
Review of additive combinatorics by Terence Tao and Van H. Vu
How to compute fast a function and all its derivatives: a variation on the theorem of Baur-strassen
Review of probability: theory and examples, 4th edition by Rick Durrett
Hilbert's formalistic method and its development in computer science
ACM SIGACT news distributed computing column 19
Joint Review of The Power of Networks: Six Principles that Connect our Lives
Algebraic acceptance mechanisms for polynomial time machines
ACM SIGACT news distributed computing column 8
A necessary and sufficient pumping lemma for regular languages
Linear pattern matching of repeated substrings
Computational Geometry Column 67
Review of the art of computer programming: volume 4a by Donald E. Knuth
SIGACT news complexity theory column 72
Curve and surface reconstruction: algorithms with mathematical analysis by Tamal K. Dey Cambridge University Press
Distributed Computing Column 62: Decidability in Parameterized Verification
Open problems: 15
Gödel and computations: a 100th anniversary retrospective
Review of The Dots and Boxes Game: Sophisticated Child's Play by Elwyn Berlekamp
Distributed Computing Column 86: A Summary of PODC 2022
Distributed Computing Column 58: Maurice Herlihy's 60th Birthday Celebration
Review of primality testing and integer factorization in public key cryptography by Song Y. Yan
Gems in decision tree complexity revisited
Quantum public key distribution reinvented
Guest Column: Lower Bounds Against Constant-Depth Algebraic Circuits
The infinite version of an open communication complexity problem is independent of the axioms of set theory
Partially Wrong Completions
Review of "Automata theory and its applications" by Bakhadyr Khoussainov and Anil Nerode. Birkhäuser Boston, Inc. 2001.: and "Automata, logics, and infinite games" by E.Grädel, W. Thomas, and T. Wilke. Springer-Verlag
Distributed computing column 51: large-scale transaction replication
EDUCATION FORUM: Project Impact: : NSF-Funded Science Education Projects
Review of Mathematical tools for data mining: set theory, partial orders, combinatorics by Dan A. Simovici and Chabane Djeraba
SIGACT news complexity theory column 114
Some notions on notations
Education forum: retrospective
On merging N ordered elements with three elements
Review of Classic Papers in Combinatorics Edited by Ira Gessel and Gian-Carlo Rota
Review of Spectral Graph Theory : by Fan R. K. Chung
DISC 2016 Review
A language over a one symbol alphabet requiring only O (log log n) space
Renato Capocelli
Review of "Handbook of Elliptic and Hyperelliptic Curve Cryptography by H. Cohen and G. Frey", Chapman & Hall/CRC, 2006, 1-58488-518-1
A simple proof of the polylog counting ability of first-order logic: guest column
Computational geometry column 53
SIGACT news complexity theory column 70
Book review: of Bounded Queries in Recursion Theory by William A. Gasarch and Georgia A. Martin (Birkhauser. Boston, Basel, Berlin, 1999)
EDUCATION FORUM: New Courses on the Horizon
Review of Mathematics and Computation by Avi Wigderson
Review of Programming for the Puzzled: Learn to Program While Solving Puzzles Srini Devadas
Database theory column
Report on the annual summer meeting of the New Zealand mathematics research institute
Introduction to the SIGACT news online algorithms column
SIGACT news complexity theory column 74
Eudcation forum: Taking the Pulse: Assessing Student Perception of Learning
Book Review: Theories of Computability by Nicholas Pippenger (Cambridge University Press 1997)
Report on PODS 2000
SIGACT News Complexity Theory Column 111
The finite and the infinite in temporal logic
25 years of quantum cryptography
Review of SIROCCO 2011
Sharing memories, robustly
Review of the tower of Hanoi: myths and maths by Andreas M. Hinz, Sandi Klavžar, Urož Milutinović and Ciril Petr
Confinement properties for programming languages
Some comments on a recent note by Ravikumar
The unified theory of pseudorandomness: guest column
Review of SPAA'08
Review of enumerative combinatorics, volume 1, second edition by Richard P. Stanley
SIGACT News Online Algorithms Column 28: Online Matching on the Line, Part 2
An overview of semistructured data
SIGACT News Online Algorithms Column 29
Review of blown to bits: your life, liberty, and happiness after the digital explosion by Hal Abelson, Ken Ledeen, and Harry Lewis (Addison Wesley, 2008)
Review of Alogrithms and Theory of Computation Handbook : edited by Mikhail Atallah
Review of introduction to scheduling, by Yves Robert and Frederic Vivien
Linear logic
Formal correctness of security protocols by Giampaolo Bella, Springer-Verlag
Distributed Computing Column 69 Proving PACELC and Concurrent Computing Summer School
Review of "The Square Root of 2: A Dialogue Concerning a Number and a Sequence by David Flannery", Copernicus Books, 2006
Theory of computation: how to start
On the importance of refereeing
SIGACT news complexity theory column 51
SIGACT News Complexity Theory Column 121
Database Theory Column Report on PODS 2017
Reprint from Computing Reviews
ACM SIGACT 1999-2000 annual report
NSF Report: Theory o f Computing Program
Review of history of mathematics: highways and byways by Amy Dahan-Dalmedico and Jeanne Peiffer
Randomized algorithms in "primitive" cultures or what is the oracle complexity of a dead chicken?
Commutative regular languages
Larry Stockmeyer: 1948-2004
A review of PODC 2009
Sense of direction, topological awareness and communication complexity
Approximation algorithms for 2-stage stochastic optimization problems
Theory of computing: achievements, challenges, and opportunities
Why are fewer females obtaining bachelor's degrees in computer science?
Book Review: A Proof Theory for General Unification. By Wayne Snyder. (Birkhauser, 1991. vi+175 pages. ISBN 0-8176-3593-9. $28.00)
Review of A=B 5 by Marko Petkovsek, Herbert S. Wilf, and Doron Zeilberger
Education Forum: Animation Activities at SRC
SIGACT News Complexity Theory Column 105
Review of "Theory of semi-feasible algorithms" by Lane Hemaspaandra and Leen Torenvliet. Springer
Programming languages capturing complexity classes
Open Problems Column Monochromatic Unit Squares: Exposition and Open Problems
Open problems: 16
Disjoint NP-Pairs and Propositional Proof Systems
What it's like to be a POPL referee
Microprogrammed random access stored program machines
Review of algorithmic adventures: from knowledge to magic, by Juraj Hromković
Algorithms column: An overview of the recent progress on matrix multiplication by Virginia Vassilevska Williams
A Brief on Short Descriptions
An automatic layout facility (abstract)
Review of "The Random Projection Method by Santosh Vempala"
Report on WOBCATS meeting
Review of "Introducing Game Theory and Its Applications by Elliott Mendelson", CRC press, and Review of "Game Theory and Strategy by Philip D. Straffin" MAA press
Joint review of "Three Blogs by theorists: Computational Complexity (weblog.fortnow.com) by Lance Fortnow, Shtetl-Optimized (www.scottaaronson.com/blog/) by Scott Aaronson, In theory (in-theory.blogspot.com) by Luca Trevisan, "
Graduate Information for Women in CS&E
Joint review of how to solve it: a new aspect of mathematical method by George Polya and Street-fighting mathematics by Sanjoy Mahajan
A rendezvous of logic, complexity, and algebra
Review of A Short Course in Computational Geometry and Topology by Herbert Edelsbrunner
Review of biscuits of number theory by Arthur T. Benjamin and Ezra Brown
Who is interested in algorithms and why?: lessons from the Stony Brook algorithms repository
Circle packing representation in the plane and other surfaces
Logic activities in Europe
Distributed Computing Column 87 Recent Advances in Multi-Pass Graph Streaming Lower Bounds
Decidability in Parameterized Verification
Review of DNA Based Computers II edited by Laura F. Landweber and Eric K. Baum
Distributed Computing Column 82 Distributed Computability : A Few Results Masters Students Should Know
Report on PODS 2005
Review of "Computational Line Geometry, by H. Pottmann and J. Wallner", Springer Verlag, 2001
The halting problem for Turning machines
Review of algorithms and data structures: the basic toolbox by Kurt Mehlhorn and Peter Sanders
Database Theory Column Report on PODS 2025
Review of The Universal Computer. The Road from Leibniz to Turing by Martin Davis
What's up with downward collapse: using the easy-hard technique to link Boolean and polynomial hierarchy collapses
Distributed computing research issues in grid computing
Distributed computing column 36 distributed computing: 2009 edition
Review of: Love and Math: The Heart of Hidden Reality by Edward Frenkel
Review of Factor Man by Matt Ginsberg
Guest column: from randomness extraction to rotating needles
Review of Spyware and Adware by John Aycock
Review of The Theory of Quantum Information John Watrous
Review of: Genome-Scale Algorithm Design (Biological sequence analysis in the era of high-throughput sequencing) by Veli Mäkinen, Djamal Belazzougui, Fabio Cunial and Alexandru I. Tomescu
Time complexity of the Towers of Hanoi problem
Review of "Complexity and Cryptography: An Introduction by John Talbot and Dominic Welsh", Cambridge University Press, 2006, 292 pages
Review of Probabilistic Combinatorics and Its Applications: editor: Béla Bollobás
Review of "Graphs, Networks, and Algorithms (second edition) by Dieter Jungnickel", Springer-Verlag 2005
Review of "Introduction to languages, machines and logic: computable languages, abstract machines and formal logic" by Alan P. Parkes. Springer-Verlag 2002
Review of Petri Net Algebra
Review of concurrent zero-knowledge by Alon Rosen Springer-Verlag, 2006
BFTW 3 : why? when? where? workshop on the theory and practice of byzantine fault tolerance
Review of "Introduction to automata theory, languages and computation" by John E. Hopcroft and Jeffrey D. Ullman. Addison-Wesley 1979
Graph isomorphism and self-complementary graphs
ACM SIGACT news distributed computing column 34: distributed computing in the clouds
A review of PODC 2011
Review of Dude, can you count?: stories, challenges, and adventures in mathematics by Christian Constanda
Review of the P = NP question and Godel's lost letter by Richard J. Lipton Springer, 2010
Review of efficient secure two-party protocols: techniques and constructions by Carmit Hazay and Yehuda Lindell
Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur
Review of Algorithmics for hard problems: introduction to combinatorial optimization, randomization, approximation, and heuristics by Juraj Hromkovic. Springer 2001
Guest Column: New ways of studying the BPP = P conjecture
Distributed computing in SOSP and OSDI
Analytic combinatorics by Philippe Flajolet and Robert Sedgewick, published by Cambridge Press, 2009 824 pages, hardcover
Review of "Cryptography in C and C++ by Michael Welschenbach", Apress, 2005
Review of BDA Workshop 2014
Computational complexity: a conceptual perspective
Review of chromatic graph theory by Gary Chartrand and Ping Zhang
Review of "Concurrent and real-time systems: the CSP approach" by Steve Schneider. Wiley 1999
Selected challenges in computational lower bounds
Review of Handbook of Graph Theory, Combinatorial Optimization, and Algorithms
Inferring memory map instructions
Review of: The King of Infinite Space: Euclid and his Elements by David Berlinski
Review of: Math Bytes5 of Math Bytes by Tim Chartier
SIROCCO 2018 Review
Review of DNA Based Computers III edited by Harvey Rubin and David Harlan Wood
Course outline: course announcement (Spring 1989) CSE/OR 691 I: Surviving Intractability
The circuit value problem is log space complete for P
How reductions to sparse sets collapse the polynomial-time hierarchy: a primer; part I: polynomial-time Turing reductions
Review of resources for teaching discrete mathematics: classroom projects, history modules, and articles edited by Brian Hopkins
Automated model repair for distributed programs
Killing two birds with one stone
Review of Mathematical Treks of Mathematical Treks by Ivars Peterson
Review of "Programs, machines, and computation: an introduction to the theory of computing" by K. L. Clark and D. F. Cowell
Computational geometry column 39
Review of Six Sources of Collapse by Charles R. Hadlock
Computational geometry column 47
On some direct encodings of nondeterministic Turing machines operating in polynomial time into p-complete problems
SIGACT News Online Algorithms Column 33
Review of a guide to elementary number theory by Underwood Dudley
Review of: The Golden Ratio and Fibonacci Numbers by Richard A. Dunlap
Survey of Reconfigurable Data Center Networks: Enablers, Algorithms, Complexity
Abstracts and available technical reports
SIGACT News Complexity Theory Column 107
Distributed Computing Column 66 Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271
Guest Column: Parting Thoughts and Parting Shots (Read On for Details on How to Win Valuable Prizes!
On struggle and competition in scientic fields
Review of theoretical computer science: introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography by Juraj Hromkovic
The halting problem on finite and infinite computers
A review of DISC 2011
Guest Column: Proofs, Circuits, and Communication
Review of Boolean Models and Methods in Mathematics, Computer Science, and Engineering by Yves Crama and Peter L. Hammer
Branching programs and binary decision diagrams: theory and applications by Ingo Wegener society for industrial and applied mathematics, 2000 408 pages
Guest column: on testing affine-invariant properties over finite fields
On the feasibility of computing discrete logarithms using Adleman's subexponential algorithm
What theory for transactional memory?
Extracting Poetry from Technical Paper s
Book Review: Vicious Circles by Jon Barwise and Lawrence Moss (Cambridge University Press 1996)
A simpler approach to the busy beaver problem
Review of perspectives on projective geometry by Jürgen Richter-Gebert
The four Russians' algorithm for boolean matrix multiplication is optimal in its class
Rewriting techniques and applications, RTA'91
Distributed Computing Column 75 The Splendors and Miseries of Rounds
Take-home complexity
Review of elements of automata theory, by Jacques Sakarovitch, Translator (from French) Reuben Thomas
SIGACT News Complexity Theory Column 108
SIGACT News Complexity Theory Column 67
Review of Ideas that Created the Future: Classic Papers of Computer Science Edited by Harry Lewis
A review of PODC 2010
A clique problem equivalent to graph isomorphism
Review of "A Century of Scientific Publishing: A collection of essays edited by Fredriksson, " IOS press
Algorithms on Stings, Trees, and Sequences: Computer Science and Computational Biology
Microprogramming: an opportunity for SIGACT
Review of understanding cryptography: a textbook for students and practitioners by Christof Paar and Jan Pelzl
SIGACT news complexity theory column 49
Review of Complexity Dichotomies for Counting Problems Volume 1: Boolean Domain by Jin-Yi Cai and Xi Chen
SIGACT news online algorithms column 23
A compendium of parameterized complexity results
Computational Learning Theory
Another comment on the null word definition problem
A guide for new referees in theoretical computer science
The computation of market equilibria
Half century of automata theory
Mihai Pǎtraşcu: obituary and open problems
Small depth quantum circuits
Computer science laboratories
Interregional Value-Added Tax in the Era of E-Commerce: Tax Policy Design Based on Big Data from Online Retailing
How We Will Discover Sentience in AI
Pandemic Bonds Issued by the Chinese Government Supported Post-Disaster Recovery from COVID-19 Pandemic
Multi-Agent Based Stochastic Dynamical Model to Measure Community Resilience
The Ethico-Political Universe of ChatGPT
Tightness-Looseness and Government Innovation Emphasis: Effects on Regional Innovation Outcomes in China
Readiness Assessment Framework and Integrated Participatory Development Approach for Blockchain-Based Traceability Systems: Case Study in Kintamani Coffee Agroindustry Supply Chain
Leveraging Human-AI Collaboration in Crowd-Powered Source Search: A Preliminary Study
Learning Universal Network Representation via Link Prediction by Graph Convolutional Neural Network
Message from Editors-in-Chief
Segmented Summarization and Refinement: A Pipeline for Long-Document Analysis on Social Media
Applying Gregory Johnson's Concepts of Scalar Stress to Scale and Information Thresholds in Holocene Social Evolution
Turning Trash into Treasure: Developing an Intelligent Bin for Plastic Bottle Recycling
Literary Destination Familiarity and Inbound Tourism: Evidence from Mainland China
Predictive Modelling of Protest Event Signatures: Analyzing Temporal Dynamics and Digital Activism Discourse Across Global Movements
Data Science as Political Action: Grounding Data Science in a Politics of Justice
Negative Sentiment Shift on a Chinese Movie-Rating Website
The Contestation of Tech Ethics: A Sociotechnical Approach to Technology Ethics in Practice
From Ethics Washing to Ethics Bashing: A Moral Philosophy View on Tech Ethics
Principal Component Regression to Study the Impact of Economic Factors on Disadvantaged Communities
Predicting Credit Bond Default with Deep Learning: Evidence from China
Through a Scanner Darkly: Machine Sentience and the Language Virus
Enhancing Next-Item Recommendation Through Adaptive User Group Modeling
Mapping Computational Communication Research: A Methodological Breakthrough and Thematic Exploration
Diversity of Idea Flows and Economic Growth
Hybrid Predictive Ensembles: Synergies Between Human and Computational Forecasts
Influence of Narrative Strategies on Fundraising Outcome: An Exploratory Study of Online Medical Crowdfunding
Network Evolution Analysis of Vehicle Road-Driving Behavior Strategies and Design of Information Guidance Algorithm
Video Games Localization into Arabic: Gamers' Reactions to Localizing PUBG and Free Fire
Automatic Real-Time Detection of Infant Drowning Using YOLOv5 and Faster R-CNN Models Based on Video Surveillance
SPPNet: Single-Person Human Parsing and Pose Estimation in RGB Videos
Intelligent Innovation Dataset on Scientific Research Outcomes and Patents
Measuring Social Solidarity During Crisis: The Role of Design Choices
Misalignment Between Skills Discovered, Disseminated, and Deployed in the Knowledge Economy
Media Power Measuring via Emotional Contagion
Manager Mobility and Private Equity Syndications from the Perspective of Coupling Networks: Evidence from China's Private Equity Industry
Pandemic Policymaking
Estimating Effective Reproduction Number for SIR Compartmental Model: A Stochastic Evolutionary Approach
A Pattern Recognition Framework for Detecting Changes in Chinese Internet Management System
Collective Computation, Information Flow, and the Emergence of Hunter-Gatherer Small-Worlds
Recent Advances of Blockchain and Its Applications
Transactional Network Analysis and Money Laundering Behavior Identification of Central Bank Digital Currency of China
Effect of Artificial Intelligence on Social Trust in American Institutions
Unlearning Descartes: Sentient AI is a Political Problem
Hypothesis and Thought Experiment: Can We Program AI Forms with the Foundations of Sentience to Protect Humanity?
Developing an Integrated IoT Cloud Based Predictive Conservation Model for Asset Management in Industry 4.0
A Novel Hybrid Model for Gasoline Prices Forecasting Based on Lasso and CNN
What Contributes to a Crowdfunding Campaign's Success? Evidence and Analyses from GoFundMe Data
An Operator-Based Approach for Modeling Influence Diffusion in Complex Social Networks
Darks and Stripes: Effects of Clothing on Weight Perception
Fiduciary Responsibility: Facilitating Public Trust in Automated Decision Making
Unravelling the Complex Networks of Social Physics: Exploring Human Behavior, Big Data, and Distributed Systems
Uncovering the Online Social Structure Surrounding COVID-19
Credit Risk Prediction Based on Improved ADASYN Sampling and Optimized LightGBM
Who Are the Elites in the Venture Capital Industry? - Investigation of Elite-Club Boundary in a Co-Investment Network
How Facial Expressions of Recipients Influence Online Prosocial Behaviors? - Evidence from Big Data Analysis on Tencent Gongyi Platform
Impact of Large Language Models on Scholarly Publication Titles and Abstracts: A Comparative Analysis
Real Estate Politik: Democracy and the Financialization of Social Networks
A Novel Active Learning Approach for Improving Classification of Unlabeled Video Based on Deep Learning Techniques
From Symbols to Embeddings: A Tale of Two Representations in Computational Social Science
Manipify: An Automated Framework for Detecting Manipulators in Twitter Trends
Apologos: A Lightweight Design Method for Sociotechnical Inquiry
Social Computing Unhinged
How to Better Identify Venture Capital Network Communities: Exploration of A Semi-Supervised Community Detection Method
Understanding Technology Acceptance and Use in Social Media Platforms: A Systematic Literature Review and the Development of Research Framework
Improving Link Prediction Accuracy of Network Embedding Algorithms via Rich Node Attribute Information
Counterfactual Reasoning Over Community Detection: A Case Study of the Public Science Day Community
Tech Ethics: Speaking Ethics to Power, or Power Speaking Ethics?
Measuring Community Resilience During the COVID-19 Based on Community Wellbeing and Resource Distribution
AI Sentience and Socioculture
Gathering for Free: Embedding Economic Incentives in Social Networks Shape the Diffusion of NFTs
Data-Driven Analysis: Examining the Impact of COVID-19 from the Perspective of Residential and Non-Residential Electricity Consumption
Modeling the External, Internal, and Multi-Center Transmission of Infectious Diseases: The COVID-19 Case
DeepPredict: A Zone Preference Prediction System for Online Lodging Platforms
Framing and Language of Ethics: Technology, Persuasion, and Cultural Context
Online Learning Behavior Analysis and Prediction Based on Spiking Neural Networks
Prediction of Academic Performance of Students in Online Live Classroom Interactions - An Analysis Using Natural Language Processing and Deep Learning Methods
The Promise and Limits of Lawfulness: Inequality, Law, and the Techlash
Estimating Multiple Socioeconomic Attributes via Home Location - A Case Study in China
Scale, Information-Processing, and Complementarities in Old-World Axial Age Societies
The Hidden Sexual Minorities: Machine Learning Approaches to Estimate the Sexual Minority Orientation Among Beijing College Students
Hypothesis and Thought Experiment: Comparing Cognitive Competition of Neandertals and Early Humans, to Our Coming Contest with AIs