315 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of CambridgeGB22 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Bielefeld UniversityDE2 papers
- Bridge UniversitySS2 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR2 papers
- Institut de Recherche Mathématique AvancéeFR2 papers
- Institut de Recherche sur les Lois Fondamentales de l'UniversFR2 papers
- Université Toulouse III - Paul SabatierFR2 papers
- Uppsala UniversitySE2 papers
- Amherst CollegeUS1 paper
- Analyse, Géométrie et ModélisationFR1 paper
- Antonine UniversityLB1 paper
3 papers · 1 filter
A Practical Mode System for Recursive Definitions
Alban Reynaud, Gabriel Scherer, Jeremy Yallop
In call-by-value languages, some mutually-recursive value definitions can be safely evaluated to build recursive functions or cyclic data structures, but some definitions (let rec…
Improving "Fast Iterative Shrinkage-Thresholding Algorithm": Faster, Smarter and Greedier
Jingwei Liang, Tao Luo, Carola-Bibiane Schönlieb
The "fast iterative shrinkage-thresholding algorithm", a.k.a. FISTA, is one of the most well-known first-order optimisation scheme in the literature, as it achieves the worst-case…
Scientific Methodology: A View from Early String Theory
Elena Castellani
This paper addresses the question as to whether the methodology followed in building and assessing string theory can be considered scientific in the same sense, say, that the metho…