|
||
---|---|---|
inria-00100219v1
Reports
A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols [Intern report] A04-R-067 || chevalier04b, 2004, 17 p |
||
hal-00724545v1
Journal articles
A looped-functional approach for robust stability analysis of linear impulsive systems Systems and Control Letters, Elsevier, 2012, 61 (10), pp.980-988. ⟨10.1016/j.sysconle.2012.07.008⟩ ![]() |
||
hal-02438461v1
Conference papers
D2-Net: A Trainable CNN for Joint Detection and Description of Local Features CVPR 2019 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2019, Long Beach, United States ![]() |
||
lirmm-00331330v1
Journal articles
PORSCHE: Performance ORiented SCHEma mediation Information Systems, Elsevier, 2008, 33 (7-8), pp.637-657. ⟨10.1016/j.is.2008.01.010⟩ |
||
hal-02100146v1
Journal articles
Je mange moins de viande ! Quels arguments ? La revue française de la recherche en viandes et produits carnés, AB CORP INTERNATIONAL, 2018, pp.VPC-2018-34-4-5 |
||
hal-03200122v1
Journal articles
Quotient-space boundary element methods for scattering at complex screens BIT Numerical Mathematics, Springer Verlag, 2021, ⟨10.1007/s10543-021-00859-y⟩ |
||
hal-02988939v1
Reports
Towards Morse Theory for Point Cloud Data [Research Report] RR-8331, RESEARCH CENTRE SOPHIA ANTIPOLIS – MÉDITERRANÉE. 2013 |
||
hal-02265765v1
Conference papers
Coupling agent-based models and argumentation framework to simulate opinion dynamics: application to vegetarian diet diffusion Social Simulation Conference 2019, Sep 2019, Mainz, Germany |
||
hal-00750950v1
Journal articles
Computing gap-free Pareto front approximations with stochastic search algorithms Evolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), 2010, 18 (1), pp.65-96. ⟨10.1162/evco.2010.18.1.18103⟩ |
||
inria-00108051v1
Journal articles
Thue equations with composite fields Acta Arithmetica, Instytut Matematyczny PAN, 1999, 88 (4), pp.311--326 |
||
hal-00830003v1
Conference papers
Toward Composable Network Traffic Measurement INFOCOM 2013 : 32nd IEEE Conference on Computer Communications, Apr 2013, Turin, Italy |
||
hal-01669203v1
Conference papers
Robust Detection in Leak-Prone Population Protocols DNA 2017 - 23rd International Conference DNA Computing and Molecular Programming, Sep 2017, Austin, TX, United States. pp.155-171, ⟨10.1007/978-3-319-66799-7_11⟩ ![]() |
||
hal-01056600v1
Conference papers
Hierarchical Motion Brushes for Animation Instancing NPAR '14 - Workshop on Non-Photorealistic Animation and Rendering, Aug 2014, Vancouver, Canada. pp.71-79, ⟨10.1145/2630397.2630402⟩ |
||
hal-00516411v3
Journal articles
Animation Wrinkling: Augmenting Coarse Cloth Simulations with Realistic-Looking Wrinkles ACM Transactions on Graphics, Association for Computing Machinery, 2010, 29 (5), pp.157. ⟨10.1145/1882261.1866183⟩ |
||
inria-00182424v1
Conference papers
A Collaborative Writing Mode for Avoiding Blind Modifications 9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States |
||
lirmm-00136407v1
Directions of work or proceedings
Database and XML Technologies, 4th International XML Database Symposium,XSym 2006, Seoul, Korea, September 10-11, 2006, Proceedings Seoul, South Korea. Lecture Notes in Computer Science (4156), Springer, 2006, 3-540-38877-7. ⟨10.1007/11841920⟩ ![]() |
||
inria-00626929v4
Reports
Explicit modeling of human-object interactions in realistic videos [Technical Report] RT-0411, 2011 |
||
hal-03584185v1
Conference papers
Lp Pattern Matching in a Stream 23rd International Conference on Approximation Algorithms for Combinatorial Optimization Problems and 24th International Conference on Randomization and Computation, Aug 2020, Virtual, Switzerland. ⟨10.4230/LIPIcs.APPROX/RANDOM.2020.35⟩ ![]() |
||
hal-03215280v1
Book sections
Coupling Agent-Based Models and Argumentation Framework to Simulate Opinion Dynamics: Application to Vegetarian Diet Diffusion Ahrweiler P.; Neumann M. Advances in Social Simulation : Proceedings of the 15th Social Simulation Conference: 23–27 September 2019, Springer, pp.341-353, 2021, 978-3-030-61502-4. ⟨10.1007/978-3-030-61503-1_33⟩ |
||
hal-01435295v1
Journal articles
ALMA observations of TiO 2 around VY CMa Journal of Physics: Conference Series, IOP Publishing, 2016, 728 (2), pp.id. 022009. ⟨10.1088/1742-6596/728/2/022009⟩ |
||
hal-01251240v1
Preprints, Working Papers, ...
Second-Kind Boundary Integral Equations for Scattering at Composite Partly Impenetrable Objects 2015 |
||
hal-01461724v1
Journal articles
Correlations in Life Cycle Impact Assessment methods (LCIA) and indicators for construction materials: What matters? Ecological Indicators, Elsevier, 2016, 67, pp.174-182. ⟨10.1016/j.ecolind.2016.01.056⟩ |
||
hal-01312239v1
Journal articles
Inference of ranking functions for proving temporal properties by abstract interpretation Computer Languages, Systems and Structures, Elsevier, 2015, ⟨10.1016/j.cl.2015.10.001⟩ |
||
hal-03124472v1
Conference papers
Sensitivity analysis to evaluate a new spatialized process-oriented model of water and pesticide transfers at the catchment scale iEMSs 2020 - 10th Conference on International Environmental Modelling and Software Society, Sep 2020, Brussels, Belgium. pp.1-40 |
||
hal-03454377v1
Conference papers
Revisiting the Role of Euler Numerical Integration on Acceleration and Stability in Convex Optimization AISTATS 2021 - 24th International Conference on Artifi-cial Intelligence and Statistics, Apr 2021, Virtual, Unknown Region |
||
hal-03003721v1
Reports
Inner-Product Functional Encryption with Fine-Grained Access Control [Research Report] Report 2020/577, IACR Cryptology ePrint Archive. 2020 |
||
hal-03130062v1
Journal articles
Bounds on Lyapunov Exponents via Entropy Accumulation IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2021, 67 (1), pp.10-24. ⟨10.1109/TIT.2020.3026959⟩ ![]() |
||
hal-03206221v1
Conference papers
Crowd against the machine: A simulation-based benchmark tool to evaluate and compare robot capabilities to navigate a human crowd ICRA 2021 - IEEE International Conference on Robotics and Automation, May 2021, Xian, China. pp.3879-3885 |
||
hal-02458550v1
Journal articles
The Next 700 Accelerated Layers ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 16 (4), pp.1-26. ⟨10.1145/3355606⟩ ![]() |
||
|
||
|