|
||
---|---|---|
|
||
hal-00911590v1
Directions of work or proceedings
Domain Decomposition Methods in Science and Engineering XXI Jocelyne Erhel and Martin Gander and Laurence Halpern and Géraldine Pichot and Taoufik Sassi and Olof Widlund. Springer, pp.800, 2014 |
||
hal-03647973v1
Preprints, Working Papers, ...
Assembly Planning from Observations under Physical Constraints 2022 |
||
hal-02120033v1
Journal articles
CurviSlicer: Slightly curved slicing for 3-axis printers ACM Transactions on Graphics, Association for Computing Machinery, 2019, 38 (4), pp.1-11. ⟨10.1145/3306346.3323022⟩ |
||
hal-01649724v1
Journal articles
A Preconditioned Conjugated Gradient Method for Computing Ground States of Rotating Dipolar Bose-Einstein Condensates via Kernel Truncation Method for Dipole-Dipole Interaction Evaluation Communications in Computational Physics, Global Science Press, 2018, 24 (4), pp.966-988. ⟨10.4208/cicp.2018.hh80.11⟩ |
||
hal-02942173v1
Journal articles
Properties and pitfalls of weighting as an alternative to multilevel multiple imputation in cluster randomized trials with missing binary outcomes under covariate-dependent missingness Statistical Methods in Medical Research, SAGE Publications, 2020, 29 (5), pp.1338-1353. ⟨10.1177/0962280219859915⟩ |
||
|
||
hal-01381145v1
Conference papers
A brief Review of the ChaLearn AutoML Challenge: Any-time Any-dataset Learning without Human Intervention International Conference in Machine Learning (ICML 2016) Workshops, 2016, New-York, United States. pp.1-8 |
||
hal-00804550v1
Conference papers
State of the Art in Quad Meshing Eurographics - 33rd Annual Conference of the European Association for Computer Graphics - 2012, May 2012, Cagliari, Italy |
||
lirmm-01886794v1
Journal articles
ParCorr: efficient parallel methods to identify similar time series pairs across sliding windows Data Mining and Knowledge Discovery, Springer, 2018, 32 (5), pp.1481-1507. ⟨10.1007/s10618-018-0580-z⟩ |
||
inserm-00360790v2
Journal articles
Evaluation of 14 nonlinear deformation algorithms applied to human brain MRI registration. NeuroImage, Elsevier, 2009, 46 (3), pp.786-802. ⟨10.1016/j.neuroimage.2008.12.037⟩ |
||
hal-01354787v1
Journal articles
Survey on Simulation for Mobile Ad-Hoc Communication for Disaster Scenarios Journal of Computer Science and Technology, Springer Verlag, 2016, 31 (2), ⟨10.1007/s11390-016-1630-x⟩ |
||
hal-01248678v1
Conference papers
Write-Avoiding Algorithms Proceedings of IEEE International Parallel & Distributed Processing Symposium, IPDPS 2016, 2016, Chicago, United States |
||
hal-01150288v1
Conference papers
RepFD - Using reputation systems to detect failures in large dynamic networks 44th International Conference on Parallel Processing (ICPP-2015), Sep 2015, Beijing, China |
||
hal-01399026v1
Conference papers
Probabilistic Byzantine Tolerance Scheduling in Hybrid Cloud Environments 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Jan 2017, Hyderabad, India. ⟨10.1145/1235⟩ |
||
hal-01388949v1
Conference papers
GeoTrie: A Scalable Architecture for Location-Temporal Range Queries over Massive GeoTagged Data Sets The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), 2016, Cambridge, MA, United States |
||
hal-00531563v1
Conference papers
An Abstract Domain to Discover Interval Linear Equalities 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. pp.112-128 |
||
inria-00528611v1
Conference papers
Static Analysis and Verification of Aerospace Software by Abstract Interpretation American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States |
||
hal-00930070v1
Conference papers
Automatic Inference of Necessary Preconditions VMCAI 2013 - 14th Conference on Verification, Model Checking and Abstract Interpretation, Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni, Jan 2013, Rome, Italy. pp.128-148, ⟨10.1007/978-3-642-35873-9_10⟩ ![]() |
||
hal-01378199v1
Journal articles
Leakage-Resilient Cryptography from Minimal Assumptions Journal of Cryptology, Springer Verlag, 2016, 29 (3), pp.514-551. ⟨10.1007/s00145-015-9200-x⟩ ![]() |
||
hal-01676732v4
Conference papers
Coordinate-Free Carlsson-Weinshall Duality and Relative Multi-View Geometry CVPR 2019 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2019, Long Beach, United States |
||
inria-00528632v1
Conference papers
Static Analysis by Abstract Interpretation of Embedded Critical Software the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China |
||
hal-00864431v1
Conference papers
Security Analysis of Pseudo-Random Number Generators with Input: /dev/random is not Robust ACM CCS 2013 - 20th ACM Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. ⟨10.1145/2508859.2516653⟩ |
||
hal-00930103v1
Conference papers
A galois connection calculus for abstract interpretation POPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Suresh Jagannathan and Peter Sewell, Jan 2014, San Diego, United States. pp.3-4, ⟨10.1145/2535838.2537850⟩ |
||
hal-00648039v1
Conference papers
Linear Absolute Value Relation Analysis ESOP 2011 : 20th European Symposium on Programming, Mar 2011, Saarbrücken, Germany. pp.156-175, ⟨10.1007/978-3-642-19718-5⟩ |
||
|
||
hal-00646816v1
Conference papers
Ask the locals: multi-way local pooling for image recognition ICCV'11 - The 13th International Conference on Computer Vision, Nov 2011, Barcelone, Spain |
||
hal-00531564v1
Conference papers
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships 16th International Static Analysis Symposium (SAS'09), Aug 2009, United States. pp.309-325 |
||
hal-00921792v1
Journal articles
On Ideal Lattices and Learning with Errors over Rings Journal of the ACM (JACM), Association for Computing Machinery, 2013, 60 (6), ⟨10.1145/2535925⟩ |
||
inria-00561481v1
Journal articles
DTI registration in atlas based fiber analysis of infantile Krabbe disease. NeuroImage, Elsevier, 2011, epub ahead of print. ⟨10.1016/j.neuroimage.2011.01.038⟩ ![]() |
||
|