114 citations
- Institut Polytechnique de ParisFR3 papers
- Los Alamos National LaboratoryUS3 papers
- Télécom SudParisFR3 papers
- Intel (United Kingdom)GB2 papers
- Stony Brook UniversityUS2 papers
- The University of Texas at AustinUS2 papers
- Universitat Politècnica de CatalunyaES2 papers
- University of California San DiegoUS2 papers
- University of RochesterUS2 papers
- Washington University in St. LouisUS2 papers
- Armada (Poland)PL1 paper
- ARM (United Kingdom)GB1 paper
6 papers · 1 filter
A Formalization of Finite Group Theory: Part II
David M. Russinoff
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgro…
A Formalization of Finite Group Theory: Part III
David M. Russinoff
This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient…
Robotic Table Tennis: A Case Study into a High Speed Learning System
David B. D'Ambrosio, Jonathan Abelian, Saminda Abeyruwan +32
We present a deep-dive into a real-world robotic learning system that, in previous work, was shown to be capable of hundreds of table tennis rallies with a human and has the abilit…
FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks
Cyrill Krähenbühl, Marc Wyss, David Basin +3
In its current state, the Internet does not provide end users with transparency and control regarding on-path forwarding devices. In particular, the lack of network device informat…
The Newsbridge -Telecom SudParis VoxCeleb Speaker Recognition Challenge 2022 System Description
Yannis Tevissen, Jérôme Boudy, Frédéric Petitpont
We describe the system used by our team for the VoxCeleb Speaker Recognition Challenge 2022 (VoxSRC 2022) in the speaker diarization track. Our solution was designed around a new c…
Async-HFL: Efficient and Robust Asynchronous Federated Learning in Hierarchical IoT Networks
Xiaofan Yu, Ludmila Cherkasova, Harsh Vardhan +5
Federated Learning (FL) has gained increasing interest in recent years as a distributed on-device learning paradigm. However, multiple challenges remain to be addressed for deployi…