Expertini Research Research

Browse Research Papers

7+ open-access research outputs.

✕ Clear
🔍 nathaniel lasry 📂 Computer Science
Showing 7 results for "nathaniel lasry" in Computer Science
Computer Science Preprint PDF DOI

Last Iterate Convergence in Monotone Mean Field Games

Noboru Isobe, Kenshi Abe, Kaito Ariu · 2024

In the Lasry--Lions framework, Mean-Field Games (MFGs) model interactions among an infinite number of agents. However, existing algorithms either require strict monotonicity or only guarantee the conv…

Read Paper →
Computer Science Preprint PDF DOI

Learning Regularized Monotone Graphon Mean-Field Games

Fengzhuo Zhang, Vincent Y. F. Tan, Zhaoran Wang, Zhuoran Yang · 2023

This paper studies two fundamental problems in regularized Graphon Mean-Field Games (GMFGs). First, we establish the existence of a Nash Equilibrium (NE) of any $\lambda$-regularized GMFG (for $\lambd…

Read Paper →
Computer Science Preprint PDF DOI

If it's Provably Secure, It Probably Isn't: Why Learning from Proof Failure is Hard

Ross Anderson, Nicholas Boucher · 2023

In this paper we're going to explore the ways in which security proofs can fail, and their broader lessons for security engineering. To mention just one example, Larry Paulson proved the security of S…

Read Paper →
Computer Science Preprint PDF DOI

Cardinality Estimation in DBMS: A Comprehensive Benchmark Evaluation

Yuxing Han, Ziniu Wu, Peizhi Wu, Rong Zhu, Jingyi Yang, Liang Wei Tan, Kai Zeng, Gao Cong, Yanzhao Qin, Andreas Pfadler, Zhengping Qian, Jingren Zhou, Jiangneng Li, Bin Cui · 2021

Cardinality estimation (CardEst) plays a significant role in generating high-quality query plans for a query optimizer in DBMS. In the last decade, an increasing number of advanced CardEst methods (es…

Read Paper →
Computer Science Preprint PDF DOI

"TenisRank": A new ranking of tennis players based on PageRank

Alex Aronson · 2017

In the light of the need to achieve a ranking which is understood by all tennis supporters, the ATP ranking is exposed to constant complaints from players and at the same time exposes new players to b…

Read Paper →
Computer Science Preprint PDF DOI

An Isabelle formalization of protocol-independent secrecy with an application to e-commerce

Frederic Blanqui (INRIA Futurs) · 2006

A protocol-independent secrecy theorem is established and applied to several non-trivial protocols. In particular, it is applied to protocols proposed for protecting the computation results of free-ro…

Read Paper →
Computer Science Preprint PDF DOI

Knowledge Theoretic Properties of Topological Spaces

Konstantinos Georgatos · 2000

We study the topological models of a logic of knowledge for topological reasoning, introduced by Larry Moss and Rohit Parikh. Among our results is a solution of a conjecture by the formentioned author…

Read Paper →