|
|
Translating canonical SQL to imperative code in Coq
Véronique Benzaken
,
Évelyne Contejean
,
Mohammed Houssem Hachmaoui
,
Chantal Keller
,
Louis Mandel
,
et al.
Proceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA1), pp.1-27. ⟨10.1145/3527327⟩
Journal articles
hal-03876233v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Extrapolating curvature lines in rough concept sketches using mixed-integer nonlinear optimization
Claudia D’ambrosio
,
Jon R. Lee
,
Leo Liberti
,
Maks Ovsjanikov
Journal articles
hal-02350272v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Progressive Data Science: Potential and Challenges
Cagatay Turkay
,
Nicola Pezzotti
,
Carsten Binnig
,
Hendrik Strobelt
,
Barbara Hammer
,
et al.
2019
Preprints, Working Papers, ...
hal-01961871v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
MULTI-SCALE MODELLING OF BIOSYSTEMS: FROM MOLECULAR TO MESOCALE - Session Introduction.
Julie Bernauer
,
Samuel Flores
,
Xuhui Huang
,
Seokmin Shin
,
Ruhong Zhou
Journal articles
inria-00542791v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
MULTI-RESOLUTION MODELING OF BIOLOGICAL MACROMOLECULES - Session Introduction.
Samuel Flores
,
Julie Bernauer
,
Xuhui Huang
,
Ruhong Zhou
,
Seokmin Shin
Journal articles
inria-00536410v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Loop Transformations: Convexity, Pruning and Optimization
Louis-Noël Pouchet
,
Uday Bondhugula
,
Cédric Bastoul
,
Albert Cohen
,
Jagannathan Ramanujam
,
et al.
38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'11), Jan 2011, Austin, TX, United States
Conference papers
inria-00551077v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Hybrid Iterative and Model-Driven Optimization in the Polyhedral Model
Louis-Noel Pouchet
,
Uday Bondhugula
,
Cédric Bastoul
,
Albert Cohen
,
R. Ramanujam
,
et al.
[Research Report] RR-6962, INRIA. 2009
Reports
inria-00419974v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Globally Optimal Symbolic Regression
Vernon Austel
,
Sanjeeb Dash
,
Oktay Gunluk
,
Lior Horesh
,
Leo Liberti
,
et al.
Interpretable ML, satellite workshop of NIPS 2017, 2017, Long Beach, United States
Conference papers
hal-02105286v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Combined Iterative and Model-driven Optimization in an Automatic Parallelization Framework
Louis-Noël Pouchet
,
Uday Bondhugula
,
Cédric Bastoul
,
Albert Cohen
,
Jagannathan Ramanujam
,
et al.
Conference on Supercomputing (SC'10), Nov 2010, New Orleans, LA, United States
Conference papers
inria-00551067v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Multiscale modeling of macromolecular biosystems.
Samuel C Flores
,
Julie Bernauer
,
Seokmin Shin
,
Ruhong Zhou
,
Xuhui Huang
Journal articles
hal-00684530v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|