| | Learning Theory from First Principles (Francis Bach) [pdf] (ens.fr) |
|
2 points by theophilec 25 days ago | past
|
|
| | Learning Theory from First Principles [pdf] (ens.fr) |
|
2 points by Kydlaw 40 days ago | past
|
|
| | Learning Theory from First Principles [pdf] (ens.fr) |
|
279 points by magnio 11 months ago | past | 63 comments
|
|
| | Abstract Interpretation in a Nutshell (ens.fr) |
|
59 points by Nokinside on Oct 26, 2023 | past | 14 comments
|
|
| | Zélus – A Synchronous Language with Odes (ens.fr) |
|
2 points by i_don_t_know on Oct 18, 2023 | past
|
|
| | The Difference between Clocks and Turing Machines (1994) [pdf] (ens.fr) |
|
2 points by jweissman on Feb 1, 2023 | past
|
|
| | Challenge Data (ens.fr) |
|
1 point by leonry on May 17, 2022 | past
|
|
| | A Galois Connection Calculus for Abstract Interpretation [pdf] (ens.fr) |
|
2 points by jamespwilliams on Jan 18, 2022 | past
|
|
| | Learning Theory from First Principles [pdf] (ens.fr) |
|
4 points by Anon84 on March 26, 2021 | past
|
|
| | Abstract interpretation: a unified lattice model for static analysis of program (ens.fr) |
|
3 points by todsacerdoti on March 12, 2021 | past
|
|
| | Solution of a Problem in Concurrent Programming Control (1965) [pdf] (ens.fr) |
|
1 point by avlewis on Nov 12, 2020 | past
|
|
| | What if Wittgenstein Spoke Japanese? [pdf] (ens.fr) |
|
1 point by keiferski on Oct 27, 2020 | past | 1 comment
|
|
| | On the Share of Inheritance in Aggregate Wealth: Europe and the USA, 1900–2010 [pdf] (ens.fr) |
|
3 points by luu on Oct 25, 2020 | past
|
|
| | A gentle introduction to SNARKs [pdf] (ens.fr) |
|
1 point by altro on Jan 8, 2020 | past
|
|
| | Searchable Encryption, Leakage-Abuse Attacks and Statistical Learning Theory [pdf] (ens.fr) |
|
5 points by yyyk on Oct 29, 2019 | past
|
|
| | Fast and Reliable Dwarf Unwinding, and Beyond (ens.fr) |
|
2 points by colinprince on Sept 27, 2019 | past
|
|
| | Fast and Reliable DWARF Unwinding, and Beyond (ens.fr) |
|
1 point by matt_d on Sept 11, 2019 | past
|
|
| | Jupyter notebook: Gradient flows between sampled measures (ens.fr) |
|
3 points by sgoraya on Jan 10, 2019 | past
|
|
| | Static Analysis and Verification of Aerospace Software by Abstract Interpretation [pdf] (ens.fr) |
|
1 point by Nokinside on Nov 16, 2017 | past
|
|
| | Zélus: A synchronous language with ODEs (ens.fr) |
|
1 point by zaiste on Jan 23, 2017 | past
|
|
| | A Galois connection calculus for abstract interpretation [pdf] (ens.fr) |
|
4 points by _a0vv on Jan 21, 2017 | past
|
|
| | Piketty: The Roman Market Economy (2013) [pdf] (ens.fr) |
|
2 points by simonebrunozzi on March 21, 2016 | past
|
|
| | Popping Balloons: A Case Study of Dynamical Fragmentation [pdf] (ens.fr) |
|
1 point by networked on Feb 13, 2016 | past
|
|
| | Abstract Interpretation in a Nutshell (2008) (ens.fr) |
|
12 points by ziyao_w on Jan 2, 2016 | past
|
|
| | Geometry of the structure of viruses [pdf] (ens.fr) |
|
52 points by washedup on May 30, 2015 | past | 3 comments
|
|
| | Zélus – A synchronous language with ODEs (ens.fr) |
|
24 points by orbifold on Nov 25, 2014 | past
|
|
| | Zélus: A Synchronous Language with ODEs (2013) [pdf] (ens.fr) |
|
25 points by zdw on Nov 22, 2014 | past | 1 comment
|
|
| | The Astrée Static Analyzer, sees all possible C run-time errors (ens.fr) |
|
1 point by espadrine on Sept 26, 2014 | past
|
|
| | Lucid Synchrone: an experimental language for reactive systems implementation (ens.fr) |
|
6 points by luu on Sept 21, 2014 | past
|
|
| | Piketty responds in depth to the FT (ens.fr) |
|
3 points by antr on May 29, 2014 | past | 1 comment
|
|
|
|
More |
