Search - Université Paris-Saclay Access content directly

Filter your results

10 Results
Structure: Internal structure identifier : 74406
Image document

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
Image document

Extrapolating curvature lines in rough concept sketches using mixed-integer nonlinear optimization

Claudia D’ambrosio , Jon R. Lee , Leo Liberti , Maks Ovsjanikov
Optimization and Engineering, 2019, 20 (2), pp.337-347. ⟨10.1007/s11081-018-9405-6⟩
Journal articles hal-02350272v1
Image document

Progressive Data Science: Potential and Challenges

Cagatay Turkay , Nicola Pezzotti , Carsten Binnig , Hendrik Strobelt , Barbara Hammer , et al.
2019
Preprints, Working Papers, ... hal-01961871v1

MULTI-SCALE MODELLING OF BIOSYSTEMS: FROM MOLECULAR TO MESOCALE - Session Introduction.

Julie Bernauer , Samuel Flores , Xuhui Huang , Seokmin Shin , Ruhong Zhou
Pacific Symposium on Biocomputing, 2011, pp.177-80. ⟨10.1142/9789814335058_0019⟩
Journal articles inria-00542791v1

MULTI-RESOLUTION MODELING OF BIOLOGICAL MACROMOLECULES - Session Introduction.

Samuel Flores , Julie Bernauer , Xuhui Huang , Ruhong Zhou , Seokmin Shin
Pacific Symposium on Biocomputing, 2010, 15, pp.201-204. ⟨10.1142/9789814295291_0022⟩
Journal articles inria-00536410v1
Image document

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
Image document

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
Image document

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
Image document

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

Multiscale modeling of macromolecular biosystems.

Samuel C Flores , Julie Bernauer , Seokmin Shin , Ruhong Zhou , Xuhui Huang
Briefings in Bioinformatics, 2012, 13 (4), pp.395-405. ⟨10.1093/bib/bbr077⟩
Journal articles hal-00684530v1