To Regulate Tech, Nullify Click-Through Contracts
September 2023 - Vol. 66 No. 9
Features
Finding the Right Mix of Creativity and Technology
A Year Embedded in the Crypto-NFT Space
Historic Algorithms Help Unlock Shortest-Path Problem Breakthrough
Shining a Light on the Dark Web
The Smallness of Large Language Models
Dilemma of the Artificial Intelligence Regulatory Landscape
We Need to Focus on How Our Data Is Used, Not Just How It Is Shared
Can Crowdsourcing Rescue the Social Marketplace of Ideas?
Research for Practice: OS Scheduling
Dynamic Certification for Autonomous Systems
Technical Perspective: Tapping the Link between Algorithmic Model Counting and Streaming
"Model Counting Meets Distinct Elements," by A. Pavan et al., gives a surprising connection between model counting and streaming, providing a generic transformation of data stream algorithms for F0 estimation to algorithms for model counting.
Model Counting Meets Distinct Elements
In this work, we seek to investigate whether bridging the seeming communication gap between two different domains of computer science may pave the way to richer fundamental insights.
How Many Ways Can You Teach a Robot?