Skip to Main content Skip to Navigation


hal-03268864v1  Journal articles
Frédérick DouzetStéphane Grumbach. 应对网络空间系统性风险需要全球性策略
网络传播 = New Media, Cyberspace Administration of China, 2021
hal-01904081v1  Journal articles
Nicolas TrotignonLan Anh Pham. χ-bounds, operations, and chords
Journal of Graph Theory, Wiley, 2018, 88 (2), pp.312 - 336. ⟨10.1002/jgt.22214⟩
hal-01433127v1  Conference papers
Flavio Oquendo. π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems
38th International Conference on Communicating Process Architectures (CPA 2016), Aug 2016, Copenhagen, Denmark
hal-01433093v1  Conference papers
Flavio Oquendo. π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, ⟨10.1109/SYSOSE.2016.7542925⟩
hal-01423494v1  Conference papers
Oumayma BahriEl-Ghazali TalbiNahla Benamor. β-Robustness approach for fuzzy multi-objective problems
IPMU‘2016 - 16th Int. Conference On Information Processing and Management on Uncertainty in Knowledge-based Systems, 2016, Eindhoeven, Netherlands. pp.225-237, ⟨10.1007/978-3-319-40581-0_19⟩
hal-01141841v1  Journal articles
Ronan BoitardRémi CozotDominique ThoreauKadi Bouatouch. Zonal brightness coherency for video tone mapping
Signal Processing: Image Communication, Elsevier, 2014, 29 (2), pp.229-246. ⟨10.1016/j.image.2013.10.001⟩
hal-01424094v1  Conference papers
Gerardo Rubino. Zero-variance Approaches in Static Reliability Problems
SIAM Conference on Uncertainty Quantification, EPFL, Suisse, Apr 2016, Lausanne, Switzerland
hal-01110386v1  Journal articles
Dario CatalanoMario Di RaimondoDario FioreMariagrazia Messina. Zero-Knowledge Sets With Short Proofs
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, 57 (4), pp.2488-2502. ⟨10.1109/TIT.2011.2112150⟩
lirmm-00748563v1  Journal articles
Esther PacittiPatrick Valduriez. Zenith: Scientific Data Management on a Large Scale
ERCIM News, ERCIM, 2012, 2012 (89), pp.2
hal-01279011v1  Conference papers
Diana JoumblattFrançois EspinetD. Rossi. Zen and the art of network troubleshooting: a hands on experimental study
Traffic Monitoring and Analysis (TMA'15), Apr 2015, Barcellona, Spain
hal-00814448v1  Journal articles
Laurent BurgyLaurent RéveillèreJulia LawallGilles Muller. Zebu: A Language-Based Approach for Network Protocol Message Processing
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2011, 37 (4), pp.575-591
hal-02425985v1  Conference papers
Shuhang ChenAdithya M. DevrajFan LuAna BušićSean P. Meyn. Zap Q-Learning With Nonlinear Function Approximation
NeurIPS 2020: Thirty-fourth Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada
hal-03094388v1  Conference papers
Shuhang ChenAdithya DevrajAna BušićSean Meyn. Zap Q-Learning for Optimal Stopping
ACC 2020 - American Control Conference, Jul 2020, Denver / Virtual, United States. pp.3920-3925, ⟨10.23919/ACC45564.2020.9147481⟩
inria-00273796v1  Conference papers
Niklas ElmqvistThanh-Nghi DoHoward GoodellNathalie HenryJean-Daniel Fekete. ZAME: Interactive Large-Scale Graph Visualization
IEEE Pacific Visualization Symposium 2008, IEEE, Mar 2008, Kyoto, Japan. pp.215-222, ⟨10.1109/PACIFICVIS.2008.4475479⟩
hal-00308249v1  Conference papers
Martin HachetFabrice DeclePascal Guitton. Z-Goto for Efficient Navigation in 3D Environments from Discrete Inputs
Proceedings of Virtual Reality Software and Technology (VRST 2006), 2006, Cyprus. pp.236--239
hal-00863378v1  Conference papers
Robert KünnemannGraham Steel. YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM
Revised Selected Papers of the 8th Workshop on Security and Trust Management (STM'12), 2012, Pisa, Italy. pp.257-272, ⟨10.1007/978-3-642-38004-4_17⟩
hal-01261209v1  Conference papers
Gerardo RubinoSofiene Jelassi. YouSOS: A victim-centered management solution of rescue operations
2nd International Conference on Information and Communication Technologies for Disaster Management (ICT-DM 2015), Dec 2015, Rennes, France
hal-02985551v1  Conference papers
Sanaz EidizadehakhchelooBizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. Your Age Revealed by Facebook Picture Metadata
BBIGAP 2020 - Second Workshop of BI and Big Data Applications, Aug 2020, Lyon / Virtual, France. pp.259-270, ⟨10.1007/978-3-030-55814-7_22⟩
hal-00688390v1  Conference papers
Hugo BrunelierePhilip Langer. You need to extend your models? EMF Facet vs. EMF Profiles
EclipseCon 2012 - Modeling Symposium, Mar 2012, Reston, VA, United States
inria-00556003v1  Conference papers
Stéphane RiedwegSophie Pinchinat. You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist.
Proc. 2005 American Control Conference., Jun 2005, Portland, Oregon, United States. pp.2287-2292
hal-00748162v1  Conference papers
Abdelberi ChaabaneGergely AcsMohamed Ali Kaafar. You Are What You Like! Information Leakage Through Users' Interests
NDSS Symposium 2012 - 19th Annual Network and Distributed System Security Symposium, Feb 2012, San Diego, United States. pp.1-14
hal-00925672v1  Conference papers
Alban Quadrat. Yoneda product of multimentional systems
8th International Workshop on Multidimensional (nD) Systems (nDS13), Sep 2013, Erlangen, Germany
inria-00615901v1  Conference papers
Hervé DelingetteEric BardinetDavid ReyJ.D. LemarechalJohan Montagnat et al.  YAV++: a Software Platform for Medical Image Processing and Visualization
Workshop on Interactive Medical Image Visualization and Analysis satellite symposia of MICCAI, IMIVA'01, 2001, Utrecht, The Netherlands, Netherlands
inria-00448742v1  Journal articles
Laurent NoéGregory Kucherov. YASS: enhancing the sensitivity of DNA similarity search.
Nucleic Acids Research, Oxford University Press, 2005, 33 (Web Server issue), pp.W540-W543. ⟨10.1093/nar/gki478⟩
inria-00099599v1  Conference papers
Gregory KucherovLaurent Noé. YASS : similarity search in DNA sequences
The Seventh Annual International Conference on Research in Computational Molecular Biology - RECOMB'03, Apr 2003, Berlin, Germany, 1 p
inria-00100004v1  Conference papers
Laurent NoéGregory Kucherov. YASS : Enhancing the sensitivity of DNA similarity search
Proceedings of the 4th International conference on Bioinformatics of Genome Regulation and Structure - BGRS'2004, Institute of Cytology and Genetics, 2004, Novosibirsk, Russia, pp.289-292
inria-00431309v1  Journal articles
Jonathan MaimBarbara YersinJulien PettréDaniel Thalmann. YaQ: An Architecture for Real-Time Navigation and Rendering of Varied Crowds
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2009, 29 (4), pp.44--53. ⟨10.1109/MCG.2009.76⟩
hal-00732901v1  Journal articles
Mathieu BaudetVéronique CortierStéphanie Delaune. YAPA: A generic tool for computing intruder knowledge
ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (1), ⟨10.1145/2422085.2422089⟩
inria-00426624v1  Conference papers
Mathieu BaudetVéronique CortierStéphanie Delaune. YAPA: A generic tool for computing intruder knowledge
20th International Conference on Rewriting Techniques and Applications - RTA'09, Jun 2009, Brasilia, Brazil. pp.148-163, ⟨10.1007/978-3-642-02348-4_11⟩
hal-01125044v1  Reports
Dan VodislavSophie CluetGrégory CoronaImen Sebei. XyView: Universal Relations Revisited
[Research Report] CEDRIC-05-828, CEDRIC Lab/CNAM. 2005
hal-01125101v1  Conference papers
Dan VodislavSophie CluetGrégory CoronaImen Sebei. XyView: Universal Relations Revisited
BDA'05 - 21èmes Journées Bases de Données Avancées, Oct 2005, Saint Malo, France
inria-00434252v1  Conference papers
Gérôme CanalsPascal MolliMaire JulienStéphane LaurièreEsther Pacitti et al.  XWiki concerto: un wiki sur réseau P2P supportant le nomadisme
4èmes journées Francophones Mobilité et Ubiquité - Ubimob'08, May 2008, Saint Malo, France. pp.83-85, ⟨10.1145/1376971.1376990⟩
hal-01271216v1  Conference papers
Christine Morin. XtreemOS: A Grid Operating System Making your Computer Ready for Participating in Virtual Organizations
ISORC '07: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, May 2007, Santorini Island, Greece. pp.393--402, ⟨10.1109/ISORC.2007.62⟩
hal-01271192v1  Conference papers
John Mehnert-SpahnMichael SchoettnerDavid MargeryChristine Morin. XtreemOS Grid Checkpointing Architecture
IEEE International Symposium on Cluster Computing and the Grid (CCGRID 2008), 2008, Lyon, France
hal-01898219v1  Conference papers
Chunlin GuanYi AoDehui DuFrédéric Mallet. xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems
APSEC 2018 - 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan
hal-02388974v1  Conference papers
Maximilian JaritzTuan-Hung VuRaoul de CharetteEmilie WirbelPatrick Pérez. xMUDA: Cross-Modal Unsupervised Domain Adaptation for 3D Semantic Segmentation
Conference on Computer Vision and Pattern Recognition (CVPR), Jun 2020, Virtual, United States
inria-00615989v1  Conference papers
Kawal RhodeS. HegdeMaxime SermesantDerek HillReza Razavi et al.  XMR Guided Cardiac Electrophysiology Study and Radio Frequency Ablation
SPIE Medical Imaging, 2004, no address, United States
inria-00100751v1  Conference papers
Samuel Cruz-LaraJen-Shin Hong. XML-Based Content Management Framework for Digital Museum
3rd Sino Franco Workshop on Multimedia and Web Technologies, Mar 2002, Sophia Antipolis, France, 56 p
inria-00100933v1  Conference papers
Samuel Cruz-LaraJean-Luc HussonAndré Schaaff. XML-based applications for accessing and sharing natural language resources
2nd Sino-Franco Workshop on multimedia and XML, Mar 2001, Puli, Taiwan, 111 p
hal-00324625v1  Conference papers
Francois-Xavier DudouetIoana ManolescuBenjamin NguyenPierre Senellart. XML Warehousing Meets Sociology
IADIS International Conference on WWW/Internet, 2005, Lisbon, Portugal
inria-00525277v1  Conference papers
Nancy IdeLaurent Romary. XML support for Annotated Language Resources
Linguistic Exploration, Workshop on Web-Based Language Documentation and Description, Dec 2000, Philadelphia, United States
inria-00425627v1  Conference papers
Ioana ManolescuSpyros Zoupanos. XML materialized views in P2P networks
Fourth International Workshop on Database Technologies for Handling XML Information on the Web, Mar 2009, Saint Petersburg, Russia
inria-00526950v1  Conference papers
Laurent Romary. XML et ses évolutions
Rencontre Loriatech XML pour le BtoB, Loria, Oct 2003, Nancy, France
inria-00100552v1  Conference papers
Rim Al HulouEmmanuel NauerAmedeo Napoli. XML et les systèmes de représentation de connaissances par objets pour la gestion de données semi-structurées
Journées Francophones d'Extraction et de Gestion des Connaissances - EGC 2001, 2001, Nantes, France, 1 p
hal-00822582v1  Directions of work or proceedings
Jérôme EuzenatAmedeo Napoli. XML et les objets. La voie vers le web sémantique?
Jérôme Euzenat, Amedeo Napoli. 9, Hermès, pp.1-, 2003, RSTI - L'objet, 2-7462-0781-8
inria-00099728v1  Journal articles
Jérôme EuzenatAmedeo NapoliJean-François Baget. XML et les objets (objectif XML)
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2003, 9 (3), pp.11--37
inria-00176680v1  Conference papers
Abdel BelaidIngrid FalkYves Rangoni. XML data representation in Document Image Analysis
9th International Conference on Document Analysis and Recognition - ICDAR'07, IAPR, Sep 2007, Curitiba, Brazil. pp.78-82
inria-00578884v1  Conference papers
Ryma AbassiFlorent JacquemardMichaël RusinowitchSihem Guemara El Fatmi. XML Access Control: from XACML to Annotated Schemas
Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩
inria-00001133v1  Conference papers
Yannick ParmentierJoseph Le RouxBenoît Crabbé. XMG - An expressive formalism for describing tree-based grammars
11th Conference of the European Chapter of the Association for Computational Linguistics - EACL 2006, Apr 2006, Trento, Italy. pp.103-106
hal-00853828v1  Journal articles
Anne-Marie KermarrecPeter Triantafillou. XL Peer-to-Peer Pub/Sub Systems
ACM Computing Surveys, Association for Computing Machinery, 2014, 46 (2)
hal-01856368v1  Conference papers
Thierry GautierJoao LimaNicolas MaillardBruno Raffin. XKaapi: A Runtime System for Data-flow Task Programming on Heterogenenous Architectures
27th IEEE International Parallel & Distributed Processing Symposium (IPDPS), 2013, Unknown, Unknown Region
hal-00796258v1  Conference papers
Thierry GautierFabien Lementec. XKaapi
11-th African Conference on Research in Computer Science and Applied Mathematics, 2012, Algiers, Algeria
hal-01672089v1  Conference papers
Víctor Romero-CanoNicolas VignardChristian Laugier. XDvision: Dense outdoor perception for autonomous vehicles
IEEE Intelligent Vehicle conference 2017 (IV 2017), Jun 2017, Redondo Beach, Los Angeles, United States. ⟨10.1109/IVS.2017.7995807⟩
inria-00001223v1  Journal articles
Vincent CridligHumberto AbdelnurRadu StateOlivier Festor. XBGP-MAN: A XML management architecture for BGP
International Journal of Network Management, Wiley, 2006, 16 (4), pp.295-309. ⟨10.1002/nem.600⟩
hal-01357738v1  Conference papers
Soumia Lilia BerrahouPatrice BucheJuliette Dibie-BarthelemyMathieu Roche. Xart system: discovering and extracting correlated arguments of n-ary relations from text
6th International Conference on Web Intelligence, Mining and Semantics (WIMS), Jun 2016, Nimes, France. pp.8:1-8:12, ⟨10.1145/2912845.2912855⟩
hal-03326658v1  Reports
Christophe CouturierClaudia LutzeMarkus WischyPhilipp ReschlChristian Horn et al.  X2Rail‐3 -- Deliverable 8.3 -- Protection profile for Adaptable Communication System (ACS) components
[Technical Report] RAILENIUM; IMT Atlantique; European Union H2020 Program -- Shit2Rail Joint Undertaking. 2020
inria-00615078v1  Journal articles
L. PicardEric MaurincommeM. SodermanJacques FeldmarRené Anxionnat et al.  X-ray angiography in stereotactic conditions: techniques and interest for interventional neuroradiology
Stereotactic and Functional Neurosurgery, Karger, 1997, 68 (1-4 Pt 1), pp.117-20
hal-00800429v1  Conference papers
Xavier BesseronChristophe LaferriereDaouda TraoreThierry Gautier. X-Kaapi : Une nouvelle implémentation eXtrême du vol de travail
Proceedings des Rencontres Francophones du Parallélisme, RenPar'19, 2009, Toulouse, France, France
inria-00106789v1  Conference papers
Laurent CiarlettaHelia PouyllauArmen AghasaryanStefan Haar. X-domain QoS budget negotiation using Dynamic Programming
Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services - AICT 2006 / ICIW 2006, Feb 2006, Guadeloupe/French Caribbean, France. pp.35
inria-00627507v1  Journal articles
Erika RosasXavier Bonnaire. WTR: a reputation metric for distributed hash tables based on a risk and credibility factor
Journal of Computer Science and Technology, Iberoamerican Science & Technology Education Consortium, 2009, 24 (5), ⟨10.1007/s11390-009-9276-6⟩
inria-00100946v1  Conference papers
Armelle BrunKamel SmaïliJean-Paul Haton. WSIM : une méthode de détection de thème fondée sur la similarité entre mots
Traitement Automatique des Langues Naturelles - TALN'2002, Jun 2002, Nancy, France, 10 p
hal-01353054v1  Conference papers
Karim BenouaretDjamal BenslimaneAllel Hadjali. WS-Sky: An Efficient and Flexible Framework for QoS-Aware Web Service Selection
International Conference on Services Computing (SCC), Jun 2012, Honolulu, Hawaii, United States. pp.146-153, ⟨10.1109/SCC.2012.83⟩
hal-01248678v1  Conference papers
Carson ErinJames W. DemmelLaura GrigoriKnight NickKoanantakool Penporn et al.  Write-Avoiding Algorithms
Proceedings of IEEE International Parallel & Distributed Processing Symposium, IPDPS 2016, 2016, Chicago, United States
inria-00097258v1  Conference papers
Louis-Claude CanonEmmanuel Jeannot. Wrekavoc a Tool for Hemulating Heterogeneity
15th IEEE Heterogeneous Computing Workshop (HCW'06), 2006, Island of Rhodes, Greece, Greece
hal-02407007v1  Conference papers
Slim Ben-AmorLiliana Cucu-GrosjeanDorin Maxim. Worst-case response time analysis for partitioned fixed-priority DAG tasks on identical processors
ETFA 2019 - 24th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2019, Zaragoza, Spain. pp.1423-1426, ⟨10.1109/ETFA.2019.8869147⟩
inria-00100547v1  Conference papers
Vincent LefèvreJean-Michel Muller. Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118
inria-00099572v1  Conference papers
Damien StehléVincent LefèvrePaul Zimmermann. Worst Cases and Lattice Reduction
16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, 2003, Santiago de Compostela, Espagne, pp.142-147
inria-00099517v1  Conference papers
Mohamed Ali AloulouMarie-Claude PortmannMikhail Y. Kovalyov. Worst case performance evaluation of flexible solutions in single machine scheduling
Computing Engineering in Systems Applications - CESA'2003, Jul 2003, Lille, France, 7 p
hal-00399617v1  Conference papers
Guillaume CheliusAntoine FrabouletEric Fleury. WorldSens: system tools for embedded sensor networks
Real-Time Systems Symposium, 2006, Brazil. pp.4, WIP Session
inria-00397062v1  Journal articles
Guillaume Chelius. Worldsens: l'art de la simulation appliquée aux réseaux sans fil
La lettre de l'Aratem, Aratem, 2007, 31 (2007)
inria-00396994v1  Conference papers
Guillaume CheliusAntoine FrabouletEric Fleury. Worldsens: a fast and accurate development framework for sensor network applications
Symposium on Applied Computing (SAC 2007), ACM, Mar 2007, Seoul, South Korea. pp.222-226, ⟨10.1145/1244002.1244059⟩
hal-00399606v1  Journal articles
Antoine FrabouletGuillaume Chelius. Worldsens : outil de simulation pour la conception d'applications de réseaux de capteurs
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.10
inria-00338679v1  Conference papers
Marie-Dominique MorchMalika Smaïl-Tabbone. Workshop PC Chairs' Message. Web Data Integration for Mining in the Life Sciences (WebDIM4LS)
International Workshops on Web Information Systems Engineering – WISE 2007 Workshops, Dec 2007, Nancy, France. pp.3-4, ⟨10.1007/978-3-540-77010-7_1⟩
inria-00099240v1  Conference papers
Didier Galmiche. Workshop on Type-theoretic Languages: Proof-search and Semantics
17th Conference on Automated DEduction - CADE-17, D. Galmiche, 2000, CMU, Pittsburgh/USA, 90 p