Skip to Main content Skip to Navigation

hal-01188891v1  Conference papers
Alain GiboinPierre RobillardIsabelle Mirbel. Informing the Design of a Software-Development Assessment Method with the “Coordinative Artifacts” Framework
Workshop "The Role of Artefacts in Social Coordination" (in conjunction withe COOP-2014 International Conference on the Design of Cooperative Systems), May 2014, Nice, France
hal-00788017v1  Directions of work or proceedings
Corinne TouatiBruno GaujalAlain Jean-MarieEduard JorswieckAlexandre Seuret. Performance Evaluation Methodologies and Tools: 6th International Conference, VALUETOOLS 2012, Cargèse, France, October 9-12, 2012
Touati, Corinne and Gaujal, Bruno and Jean-Marie, Alain and Jorswieck, Eduard and Seuret, Alexandre. France. Springer, pp.N/A, 2012, 9781936968633
hal-00779952v1  Conference papers
Sébastien Ferré. Extension du langage de requêtes LISQL pour la représentation et l'exploration d'expressions mathématiques en RDF
Journées francophones d'ingénierie des connaissances, Jun 2012, Paris, France. pp.285-300
inria-00449775v1  Conference papers
Christophe WolinskiKrzysztof KuchcinskiKevin MartinErwan RaffinFrançois Charot. How Constraints Programming Can Help You in the Generation of Optimized Application Specific Reconfigurable Processor Extensions
International Conference on Engineering of Reconfigurable Systems & Algorithms (ERSA 2009), Jul 2009, Las Vegas, United States
hal-00953906v1  Conference papers
Benoit ScherrerMichel DojatFlorence ForbesCatherine Garbay. Une Approche SMA pour la Segmentation Markovienne des Tissus et Structures Présents dans les IRM Cérébrales
2èmes journées algéro-françaises en imagerie médicale, JETIM 2006, November, 2006, 2006, Alger, Algeria
cea-01119475v2  Conference papers
Yann LeprinceFabrice PouponThierry DelzescauxDominique HasbounCyril Poupon et al.  Combined Laplacian-equivolumic model for studying cortical lamination with ultra high field MRI (7 T)
2015 IEEE 12th International Symposium on Biomedical Imaging (ISBI), IEEE, Apr 2015, New York, United States. pp.580-583, ⟨10.1109/ISBI.2015.7163940⟩
hal-00841579v1  Conference papers
Rémi Ronfard. Captation vidéo et analyse génétique du théâtre : l'informatique au service de la recherche théâtrale.
International Federation for Theatre Research, International Federation for Theatre Research, Jul 2013, Barcelone, Spain
hal-01100263v1  Conference papers
Léo Allemand-GiorgisGeorges-Pierre BonneauStefanie Hahmann. Reconstruction polynomiale par morceaux de fonctions à partir de complexes de Morse-Smale simplifiés
AFIG 2014 - 27es journées de l’Association Française d’Informatique Graphique, Nov 2014, Reims, France
hal-02200576v1  Journal articles
Yuan GaoEtienne PeillardJean-Marie NormandGuillaume MoreauYue Liu et al.  Influence of virtual objects' shadows and lighting coherence on distance perception in optical see‐through augmented reality
Journal of the Society for Information Display, Society for Information Display(AIP), 2020, 28 (2), pp.117-135. ⟨10.1002/jsid.832⟩
hal-01438710v1  Documents associated with scientific events
Brigitte Trousse. «MyGreenservices, un projet en mode « living lab » piloté par Inria Sophia Antipolis relatif à la co-création de services environnementaux basés sur des capteurs (citoyens, Ville de Nice)»
Congrès ACFAS (Association Francophone pour le savoir) Colloque 44 - " L'effet buzz autour des laboratoires vivants : qu'advient-il après?", May 2016, Montréal, Canada
inria-00334356v1  Conference papers
Anne-Marie KermarrecAchour MostefaouiMichel RaynalGilles TrédanAline Carneiro Viana. (BA) From Anarchy to Geometric Structuring: the Power of Virtual Coordinates
Proceedings of ACM Sigact-Sigops Symposium on Principles of Distributed Computing (PODC), Aug 2008, Toronto, Canada
hal-00756837v1  Conference papers
Mireille Ducassé. (C)LP Tracing and Debugging
25th International Conference on Logic Programming, 2009, Pasadena, United States
hal-02176456v2  Conference papers
Vlad RusuDavid Nowak. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
Working Formal Methods Symposium, Sep 2019, Timisoara, Romania. pp. 32-47, ⟨10.4204/EPTCS.303.3⟩
hal-02978080v1  Journal articles
Vlad RusuDavid Nowak. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
Journal of Logical and Algebraic Methods in Programming, Elsevier, In press, ⟨10.1016/j.jlamp.2020.100619⟩
inria-00090488v3  Reports
Frédéric Blanqui. (HO)RPO Revisited
[Research Report] RR-5972, INRIA. 2006, pp.20
hal-01655955v1  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiJirka MaršíkStefan Jokulsson. (In)Coherence of discourse 3
Dec 2015, Nancy, France. 2015
hal-01655957v2  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiMarie-Hélène PierreStefan Jokulsson. (In)Coherence of discourse 4
Mar 2017, Nancy, France. Published by the authors, 2017
hal-02333788v1  Conference papers
Fabrice NeyretEmmanuel Delangre. (keynote) Graphics vs Physics : the light and dark sides of the Force
GraPhyz 2019 - Workshop physique/mécanique/informatique graphique, Oct 2019, Grenoble, France
hal-02333768v1  Conference papers
Fabrice Neyret. (keynote) Managing Ultra-high Complexity in Real-time Graphics: Some Hints and Ingredients
HPG 2019 - High-Performance Graphics, Jul 2019, Strasbourg, France
hal-01337712v1  Journal articles
Beniamino AccattoliUgo Dal Lago. (Leftmost-outermost) beta reduction is invariant, indeed
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, ⟨10.2168/LMCS-12(1:4)2016⟩
ensl-01001673v1  Journal articles
Dong WangJean-Michel MullerNicolas BrisebarreMilos Ercegovac. (M, p, k)-Friendly Points: A Table-based Method to Evaluate Trigonometric Function
IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, Institute of Electrical and Electronics Engineers (IEEE), 2014, 61 (9), pp.711-715. ⟨10.1109/TCSII.2014.2331094⟩
inria-00108118v1  Conference papers
Anis KoubaaYe-Qiong Song. (m,k)-WFQ : Integrating (m,k)-Firm Real-Time Constraints into Guaranteed-Rate Networks
Conference on Real-Time Systems - RTS Embedded Systems 2004, 2004, Paris/France
ensl-00759912v1  Conference papers
Nicolas BrisebarreMilos ErcegovacJean-Michel Muller. (M,p,k)-friendly points: a table-based method for trigonometric function evaluation
2012 IEEE 23rd International Conference on Application-Specific Systems, Architectures and Processors, Jul 2012, Delft, Netherlands. p. 46-52, ISBN: 978-1-4673-2243-0, ⟨10.1109/ASAP.2012.17⟩
hal-01433682v1  Conference papers
Joëlle Despeyroux. (Mathematical) Logic for Systems Biology (Invited Paper)
Computational Methods in Systems Biology, Sep 2016, Cambridge, United Kingdom. pp.3 - 12, ⟨10.1007/978-3-319-45177-0_1⟩
hal-03183858v1  Conference papers
Boris Teabe DjomgwePeterson YuhalaAlain TchanaFabien HermenierDaniel Hagimont et al.  (No)Compromis: Paging Virtualization Is Not a Fatality
VEE 2021 - 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Apr 2021, Détroit, Michigan / Virtual, United States. pp.1-12
inria-00564996v1  Journal articles
Pierre BouletAlain DarteTanguy RissetYves Robert. (Pen)-ultimate tiling?
Integration, the VLSI Journal, Elsevier, 1994, 17, pp.33-51
inria-00564995v1  Conference papers
Pierre BouletAlain DarteTanguy RissetYves Robert. (Pen)-ultimate tiling?
Proceedings of the IEEE Scalable High Performance Computing Conference, 1994, Knoxville, TN, United States. pp.568-576
hal-00748029v1  Conference papers
Johannes StarlingerSarah Cohen-BoulakiaUlf Leser. (Re)Use in Public Scientific Workflow Repositories
Scientific and Statistical Database Management - 24th International Conference, SSDBM 2012, Jun 2012, Chania, Greece. pp.361-378
hal-01064822v2  Reports
Thomas GerbetAmrit KumarCédric Lauradoux. (Un)Safe Browsing
[Research Report] RR-8594, INRIA. 2014
hal-03324500v1  Journal articles
Rachel Bawden. [Book Review] Understanding Dialogue: Language Use and Social Interaction
Computational Linguistics, Massachusetts Institute of Technology Press (MIT Press), In press
inria-00521726v1  Conference papers
Serge AbiteboulPierre BourhisBogdan MarinoiuAlban Galland. [Demo] AXART - Enabling Collaborative Work with AXML Artifacts
VLDB 2010 - 36th International Conference on Very Large Data Bases Endowment, Sep 2010, Singapour, Singapore. pp.1553-1556
inria-00536361v1  Conference papers
Émilien AntoineAlban GallandKristian LyngbaekAmélie MarianNeoklis Polyzotis. [Demo] Social Networking on top of the WebdamExchange System
International Conference on Data Engineering, Apr 2011, Hannover, Germany
hal-00789978v1  Journal articles
Jean-Yves GauvritXavier LeclercJean-Christophe FerréChristian A. TaschnerBéatrice Carsin-Nicol et al.  [Imaging of subarachnoid hemorrhage]
American Journal of Neuroradiology, American Society of Neuroradiology, 2009, 36 (2), pp.65-73. ⟨10.1016/j.neurad.2008.06.005⟩
hal-01238784v1  Journal articles
Béatrice BérardPierre CourtieuLaure MilletMaria Potop-ButucaruLionel Rieg et al.  [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems
International Journal of Informatics Society, Japan Informatics Society, 2015, 7 (3), pp.101-114
hal-03053781v1  Journal articles
Andreas Enge. [Re] Volume computation for polytopes: Vingt ans après
The ReScience journal, GitHub, 2020, 6 (1), pp.#17. ⟨10.5281/zenodo.4242972⟩
hal-01532740v1  Journal articles
Nicolas P. Rougier. [Re] Weighted Voronoi Stippling
The ReScience journal, GitHub, 2017, 3 (1), ⟨10.5281/zenodo.802285⟩
hal-00765413v1  Conference papers
Sonja BoschS. ChoiÉric Villemonte de la ClergerieAlex Chengyu FangGertrud Faass et al.  [tiger2] As a standardized serialisation for ISO 24615 - SynAF
TLT11 - 11th international workshop on Treebanks and Linguistic Theories - 2012, Nov 2012, Lisbon, Portugal. pp.37-60
inria-00504544v1  Conference papers
Jean-Jacques Fuchs. { A robust signal detection scheme}
Proc.of 14th European Signal Processing conference, EUSIPCO, 2006, Florence, Italy
inria-00504571v1  Conference papers
Sébastien MariaJean-Jacques Fuchs. { Detection performance for GMF applied to STAP data}
Proc.of 14th European Signal Processing conference, EUSIPCO, 2006, Florence, Italy
inria-00504540v1  Conference papers
Jean-Jacques Fuchs. { Matched detector and estimator with signature uncertainty}
Asilomar Conf. on Signals, Systems and Computers, 2007, Pacific Grove, United States
inria-00504539v1  Conference papers
Jean-Jacques Fuchs. { Sparse representations: Applications to adaptive array processing}
Adaptive Sensor Array Processing Workshop, 2007, Lexington, United States
inria-00504525v1  Conference papers
François Le ChevalierSébastien Maria. { STAP processing without noise-only reference: requirements and solutions}
Proc.of the CIE International conference on Radar, 2006, Shanghai, China
hal-00545215v1  Journal articles
François Lemaire. {An orderly linear PDE system with analytic initial conditions with a non analytic solution}
Journal of Symbolic Computation, Elsevier, 2003, 35 (5), pp.487-498
inria-00504570v1  Conference papers
Sébastien MariaJean-Jacques Fuchs. {Application of the Global Matched Filter to STAP data: an efficient algorithmic approach}
Proceedings of the IEEE Conference on Acoustic, Speech and Signal Processing, 2006, Toulouse, France
inria-00504243v1  Journal articles
Aline RoumyDavid Declercq. {Characterization and Optimization of LDPC codes for the 2-user Multiple Access Channel}
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2007
inria-00504579v1  Conference papers
Gagan RathChristine Guillemot. {Compressing the Laplacian pyramid}
Proc. IEEE MMSP, 2006, Victoria, Canada
inria-00504582v1  Conference papers
Noura SellamiAline RoumyInbar Fijalkow. {Convergence analysis of the MAP turbo detector: New representation and convergence to the AWGN case}
Proc.of 14th European Signal Processing conference, EUSIPCO, 2006, Florence, Italy
inria-00504555v1  Conference papers
Cédric HerzetVelotiaray Toto-ZarasoaAline Roumy. {Error-resilient non-asymmetric Slepian-Wolf coding}
IEEE Intl. Conf. on Communications, ICC, 2009, Dresden, Germany
inria-00504583v1  Conference papers
Noura SellamiMohamed SialaAline RoumyInès Kammoun. {Generalized MAP: sequence detection for non ideal frequency selective channel knowledge}
Proc.of ICASSP, IEEE Int. Conference on Acoustics, Speech and Signal Processing, 2007, Honolulu, United States
hal-01293789v1  Conference papers
Nicolas PalixJulia L. LawallGaël ThomasGilles Muller. {How Often do Experts Make Mistakes?}
9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Mar 2010, Rennes et Saint Malo, France. pp.9-16
hal-00561442v1  Conference papers
Julien GroslambertJacques JulliandOlga Kouchnarenko. {JML}-based Verification of Liveness Properties on a Class in isolation
SAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.41--48
inria-00504557v1  Conference papers
Imed {hadj Kacem}Noura SellamiInbar FijalkowAline Roumy. {Joint training interval length and power allocation optimization for MIMO flat fading channels}
IEEE International Symposium on Wireless Communication Systems 2009 (ISWCS'09), 2009, Sienna, Italy
inria-00504521v1  Conference papers
Sihem ChaabouniNoura SellamiAline Roumy. {Lower bounds on the performance of the MAP equalizer with a priori over MIMO systems}
Proc.of ISSPA, International Symposium on Signal Processing and its Applications, 2007, Sharjah, United Arab Emirates
inria-00504550v1  Conference papers
Romaric GaudelFrançois BonnetJean-Baka Domelevo-EntfellnerAline Roumy. {Noise variance estimation in DS-CDMA and its effects on the individually optimum receiver}
IEEE International Workshop on Signal Processing Advances for Wireless Communications, SPAWC 2006, 2006, Nice, France
hal-01247991v1  Conference papers
Gábor AlagiChristoph Weidenbach. {NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
Frontiers of Combining Systems, 10th International Symposium (FroCos 2015), 2015, Wroclaw, Poland. pp.69-84, ⟨10.1007/978-3-319-24246-0_5⟩