Streaming interactive proofs (SIPs) are well-studied protocols whereby a space-bounded algorithm with one-pass access to a massive stream of data communicates with a powerful but untrusted prover to verify a computation that requires large space.
Computational Complexity
The many genres of narrative visualization (e. g. data comics, data videos) each offer a unique set of affordances and constraints.
Human-Computer Interaction
We design a parallel elastic joint and optimize its parameters with respect to the efficiency in a model-free fashion.
Robotics
In a globally coordinated effort of 80 scholars to shed light on these questions, and to offer a dataset that will equip other researchers to do the same, we have collected all 375 million tweets published within a 24-hour time period starting on September 21, 2022.
Social and Information Networks Computers and Society
In recent years discussions centered around digital inheritance have increased among social media users and across blockchain ecosystems.
Cryptography and Security
We also observe structures that are a hybrid between core-periphery structure and community structure, in which networks have a set of non-overlapping cores that correspond roughly to communities, surrounded by a single undifferentiated periphery.
Social and Information Networks
Social media are utilized by millions of citizens to discuss important political issues.
Social and Information Networks
Specifically, we analyze whether users prefer platforms to remove such content for all users or leave it up to each user to decide if and how much they want to moderate it.
Human-Computer Interaction
Over the last decade, the use of autonomous drone systems for surveying, search and rescue, or last-mile delivery has increased exponentially.
Robotics
Attacks like Spectre abuse speculative execution, one of the key performance optimizations of modern CPUs.
Cryptography and Security