Skip to Main content Skip to Navigation

inria-00437237v1  Book sections
Hacène CherfiAmedeo NapoliYannick Toussaint. A Conformity Measure using Background Knowledge for Association Rules: Application to Text Mining
Yanchang Zhao and Chengqi Zhang and Longbing Cao. Post-Mining of Association Rules: Techniques for Effective Knowledge Extraction, IGI Global, 2009, 978-1605664040
inria-00487986v4  Journal articles
Pierre BénardAres LagaePeter VangorpSylvain LefebvreGeorge Drettakis et al.  A Dynamic Noise Primitive for Coherent Stylization
Computer Graphics Forum, Wiley, 2010, Proceedings of the Eurographics Symposium on Rendering 2010, 29 (4), pp.1497-1506. ⟨10.1111/j.1467-8659.2010.01747.x⟩
hal-00642544v1  Conference papers
Frédéric BessonPascal FontaineLaurent Théry. A Flexible Proof Format for SMT: a Proposal
First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland
inria-00088809v2  Reports
Luigi LiquoriFurio HonsellMarina Lenisa. A Framework for Defining Logical Frameworks
[Research Report] RR-5963, INRIA. 2006, pp.56
hal-02549818v1  Conference papers
Enka BlanchardSiargey Kachanovich. A note on the inflating enclosing ball problem
Bordeaux Graph Workshop, Oct 2019, Bordeaux, France
inria-00099509v1  Journal articles
Jean-Daniel BoissonnatSylvain Lazard. A polynomial-time algorithm for computing shortest paths of bounded curvature amidst moderate obstacles
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2003, 13 (3), pp.189-229. ⟨10.1142/S0218195903001128⟩
inria-00103256v1  Conference papers
Frédéric AlexandreNicolas P. RougierThierry Viéville. A regularization process to implement self-organizing neuronal networks
International Conference on Engineering and Mathematics - ENMA 2006, Jul 2006, Bilbao/Spain
inria-00099309v1  Reports
Horatiu CirsteaClaude KirchnerLuigi Liquori. A Rho Cube
[Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
inria-00584253v1  Conference papers
Liliana Cucu-GrosjeanYves Sorel. A schedulability test for real-time dependant periodic task systems with latency constraints
12e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Mar 2011, Saint Etienne, France
hal-01153734v1  Journal articles
Viviana BonoMichele BugliesiMariangiola Dezani-CiancagliniLuigi Liquori. A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364
hal-00920177v1  Journal articles
Ares LagaeSylvain LefebvreRob CookTony DeroseGeorge Drettakis et al.  A Survey of Procedural Noise Functions
Computer Graphics Forum, Wiley, 2010, 29 (8), pp.2579-2600. ⟨10.1111/j.1467-8659.2010.01827.x⟩
hal-01233730v1  Conference papers
Baldwin DumortierEmmanuel VincentMadalina Deaconu. Acoustic control of wind farms
Ewea 2015 - The European Wind Energy Association Conference, Nov 2015, Paris, France
hal-00946971v1  Book sections
Daniel BalouekAlexandra Carpen-AmarieGhislain CharrierFrédéric DesprezEmmanuel Jeannot et al.  Adding Virtualization Capabilities to the Grid'5000 Testbed
Ivanov, IvanI. and Sinderen, Marten and Leymann, Frank and Shan, Tony. Cloud Computing and Services Science, 367, Springer International Publishing, pp.3-20, 2013, Communications in Computer and Information Science, 978-3-319-04518-4. ⟨10.1007/978-3-319-04519-1_1⟩
inria-00099096v1  Journal articles
Eitan AltmanBruno GaujalArie Hordijk. Admission Control in Stochastic Event Graphs
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2000, 45 (5), pp.854-867
hal-02125504v1  Reports
Baptiste CaramiauxFabien LotteJoost GeurtsGiuseppe AmatoMalte Behrmann et al.  AI in the media and creative industries
[Research Report] New European Media (NEM). 2019, pp.1-35
inria-00537545v1  Book sections
Eric BerberichMichael HemmerSylvain LazardLuis PeñarandaMonique Teillaud. Algebraic kernel
CGAL Editorial board. CGAL User and Reference Manual, 3.6 edition, CGAL Editorial board, 2010
inria-00100984v1  Conference papers
Gabriel dos ReisBernard MourrainPhilippe TrebuchetFabrice Rouillier. An environment for Symbolic and Numeric Computation
International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
inria-00432976v1  Conference papers
Liliana Cucu-GrosjeanYves Sorel. An exact schedulability test for real-time dependant periodic task systems with latency constraints
Models and Algorithms for Planning and Scheduling Problems - MAPSP'09, Jun 2009, Abbey Rolduc, Netherlands
inria-00000612v1  Conference papers
Mohamed EssaïdiJens Gustedt. An experimental validation of the PRO model for parallel and distributed computation
14th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2006), Feb 2006, Montbeliard-Sochaux, France. pp.449-456
hal-00591868v1  Journal articles
Marco GaboardiJean-Yves MarionSimona Ronchi Della Rocca. An Implicit Characterization of PSPACE
ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (2), pp.Article 18. ⟨10.1145/2159531.2159540⟩
hal-00920913v1  Conference papers
Robert DavisLuca SantinelliSebastian AltmeyerClaire MaizaLiliana Cucu-Grosjean. Analysis of Probabilistic Cache Related Pre-emption Delays
ECRTS 2013 - 25th Euromicro Conference on Real-Time Systems, Jul 2013, Paris, France. pp.168-179, ⟨10.1109/ECRTS.2013.27⟩
inria-00099624v1  Journal articles
Pierre AlliezDavid Cohen-SteinerOlivier DevillersBruno LévyMathieu Desbrun. Anisotropic Polygonal Remeshing
ACM Transactions on Graphics, Association for Computing Machinery, 2003, 22 (3), pp.485-493. ⟨10.1145/1201775.882296⟩