Computational Theory, Algorithms and Mathematics
Available Speakers on this Topic
Dan Alistarh – Klosterneuburg, Austria
Data Structures of the Future: Concurrent, Optimistic, and Relaxed
This talk is about a relatively new family of "relaxed" ordered data structures, in the vein of stacks, queues, and priority queues, but which provide weaker semantics than their...
Nelly Bencomo – Durham, United Kingdom
Decision-Making under Uncertainty: Human-Machine Teaming
There is growing uncertainty about the environment of software systems. Therefore, how the system should behave under different contexts cannot be fully predicted at design time. It is...
Yuejie Chi – Pittsburgh, PA, United States
A Tale of Preconditioning and Overparameterization in Ill-conditioned Low-rank Estimation
Many problems encountered in science and engineering can be formulated as estimating a low-rank object from incomplete, and possibly corrupted, linear measurements. Through the lens of matrix and...
From Single-agent to Federated Reinforcement Learning
Reinforcement learning (RL) is garnering significant interest in recent years due to its success in a wide variety of modern applications. Q-learning, which seeks to learn the optimal Q-function...
Provable Learning from Data with Priors: from Low-rank to Diffusion Models
Generative priors are effective tools to combat the curse of dimensionality, and enable efficient learning that otherwise will be ill-posed, in data science. This talk starts with the classical...
Statistical Foundations of Reinforcement Learning Through a Non-asymptotic Lens
Reinforcement learning (RL) is garnering significant interest in recent years due to its success in a wide variety of modern applications. However, theoretical understandings on the...
Kalyanmoy Deb – MI, United States
Machine Learning Assisted Improvements to Multi-Criterion Optimization Algorithms
Multi-criterion optimization problems give rise to a set of Pareto-optimal solutions, which first must be found before a single preferred solution is chosen for implementation. To find a...
- Problem Solving with Multiple Criteria ? A New and Innovative Tool in ComputingMost practical search and optimization related problem-solving tasks involve multiple conflicting criteria, which all must be considered simultaneously during an optimization algorithm. A...
- Recent Advancements in Evolutionary Multi-Criterion Optimization and Decision-making
Evolutionary multi-criterion optimization (EMO) research is now more than three decades old. Efficient algorithms and demonstrative applications have encouraged researchers...
User Experience Design for Internet of Things
Internet of Things is recently mentioned as one of the disruptive technologies to change our daily life. For the economical development in regional areas, how IoTs can be...
Dan Garcia – Millbrae, CA, United States
The Beauty and Joy of Binary Numbers
(This is meant for the general public, especially young children)In this interactive demonstration, we explain binary numbers, the foundation of electrical engineering and...
Minming Li – Hong Kong, Hong Kong
Defending with Shared Resources on a Network
In this talk we consider a defending problem on a network. In the model, the defender holds a total defending resource of R, which can be distributed to the nodes of the network. The defending...
Facility Location Games, from Origin to Recent Development
Mechanism Design, as one of the important areas in algorithmic game theory, can be classified into two categories: with money and without money. Facility location game is one of the mostly studied...
Gonzalo Navarro – Santiago, Chile
Compact Data Structures
The sharp growth in the amount of data applications are handling, plus the increasing gap in the memory hierarchy, gives rise to several approaches to efficiently handling large...
- Compact Data Structures meet Databases
We describe two success stories on the application of compact data structures (cds) to solve the problem of the excessively redundant space requirements posed by...
- On the Compressibility of Highly Repetitive Sequences
Compressed indexes for highly repetitive text collections can reduce the data size by orders of magnitude while still supporting efficient searches. Compression of this...
M. Sohel Rahman – Dhaka, Bangladesh
String Inference and (non)Lexicographic Ordering
In this lecture we will discuss two interesting but possibly less studied topics from string combinatorics. We will divide the talk into two parts. In the first part, we will briefly present...
Salvador Elias Venegas-Andraca – Mexico City, Mexico
Quantum computing: from the lab to the market
The goal of this lecture is to provide a concise introduction to several scientific, technological, and commercial aspects of quantum computing. This talk can be tailored to suit the...
Network Science Meets Data Science: Opportunities and Challenges
There is an emerging trend of the convergence of network science and data science, though neither of them is new. During the past decade, we have witnessed the exponential growth of data in almost...
- Network Science Meets Data Science: Opportunities and Challenges
- Compact Data Structures meet Databases
- Defending with Shared Resources on a Network
- Problem Solving with Multiple Criteria ? A New and Innovative Tool in Computing
- Machine Learning Assisted Improvements to Multi-Criterion Optimization Algorithms
- A Tale of Preconditioning and Overparameterization in Ill-conditioned Low-rank Estimation
- Decision-Making under Uncertainty: Human-Machine Teaming