80755 résultats  enregistrer la recherche

hal-01497603v1  Communication dans un congrès
Yan RucarJean-Gabriel GanasciaUne ontologie pour archiver et donner accès aux oeuvres numériques littéraires
Digital Humanities 2017, Aug 2017, Montréal, Canada
hal-01511022v1  Chapitre d'ouvrage
Philippe CodognetDanny MuneraDaniel DiazSalvador AbreuParallel Local Search
Springer. Handbook of Parallel Constraint Reasoning, 2017
hal-01508179v1  Communication dans un congrès
Louis MandelMarc PouzetCédric PasteurReactiveML, ten years later
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), Jul 2017, Siena, Italy. Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), pp.6 - 17, 2015, <http://costa.ls.fi.upm.es/ppdp15/>. <10.1145/2790449.2790509>
hal-01486530v1  Communication dans un congrès
Nathalie CarrascoDavid DuboisAudrey ChatainLudovic VettierGuy CernogoraMolecules, Radicals and Ions produced in an N2-H2 CCP RF plasma
ICPIG 2017, International Conference on Phenomena in Ionized Gases, Jul 2017, Lisbon, Portugal
hal-01505482v1  Communication dans un congrès
Andrey PolyakovJean-Michel CoronLionel RosierOn Boundary Finite-Time Feedback Control for Heat Equation
20th IFAC World Congress, Jul 2017, Toulouse, France
hal-01493275v1  Communication dans un congrès
Zidong SuBruno BaynatThomas BeginA new model for DPDK-based virtual switches
IEEE Conference on Network Softwarization (IEEE NetSoft 2017), Jul 2017, Bologna, Italy
hal-01496518v1  Communication dans un congrès
Thi-Minh NguyenSerge FdidaTuan Minh PhamA Comprehensive Resource Management and Placement for Network Function Virtualization
The 3rd IEEE Conference on Network Softwarization (IEEE NetSoft 2017), Jul 2017, Bologna, Italy
hal-01472646v1  Communication dans un congrès
Florent JacquemardAdrien YcartInteractive Music Transcription based on Rhythm Tree Languages
16th Rhythm Production and Perception Workshop, Jul 2017, Birmingham, United Kingdom. <http://dmtlab.bcu.ac.uk/rppw2017/>
hal-01503870v1  Communication dans un congrès
Jean-Guillaume DumasVincent ZuccaProver efficient public verification of dense or sparse/structured matrix-vector multiplication
ACISP 2017, 22nd Australasian Conference on Information Security and Privacy, Jul 2017, Auckland, New Zealand. 2017, Lecture Notes in Computer Science. <http://acisp.massey.ac.nz/>
hal-01481990v1  Article dans une revue
Dmitriy MordvintsevEric BarrierMarie-Françoise BrunetChristian BlanpiedIrina SidorovaStructure and evolution of the Bukhara-Khiva region during the Mesozoic: the northern margin of the Amu-Darya Basin (southern Uzbekistan)
The Geological Society, London, Special Publications, Geological Society of London, 2017, Geological Evolution of Central Asian Basins and the western Tien-Shan Range, 427, <www.geolsoc.org.uk/>
hal-01492419v1  Communication dans un congrès
Lom Messan HillahFabrice KordonPetri Nets Repository: a tool to benchmark and debug Petri Net tools
38th International Conference, PETRI NETS 2017, Jun 2017, Zaragoza, Spain. Springer, 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, 10258, 2017, Lecture Notes in Computer Science
hal-01502883v1  Communication dans un congrès
Grégory SmitsMarie-Jeanne LesotOlivier PivertVocabulary Elicitation for Informative Descriptions of Classes
joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems (IFSA-SCSI'17), Jun 2017, Otsu, Japan
hal-01481074v2  Communication dans un congrès
Loïc DevilliersXavier PennecStéphanie AllassonnièreInconsistency of Template Estimation with the Fréchet mean in Quotient Space
Information Processing in Medical Imaging 2017, Jun 2017, Boone, United States
hal-01502148v1  Communication dans un congrès
Olga MelekhovaJacques MalenfantA Token-Based Scheme for Coordinating Decisions in Large-Scale Autonomic Systems
IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2017), Jun 2017, Poznan, Poland. IEEE Computer Society, 2017, <http://wetice.ue.poznan.pl>
hal-01490566v1  Communication dans un congrès
Kévin BergerGuillaume EscamezLoic QuevalAbelin KameniLotfi Alloui et al.  Benchmark on the 3D Numerical Modeling of a Superconducting Bulk
21st International Conference on the Computation of Electromagnetic Fields (Compumag 2017), Jun 2017, Daejeon, South Korea. pp.(ID 297), 2017
hal-01503723v1  Communication dans un congrès
Mathieu VermeulenJannik LavalXavier SerpaggiRémy PinotSoyez agiles dans les A.L.P.E.S. ! Une pédagogie en mode agile.
9ème Colloque Questions de Pédagogie dans l'Enseignement Supérieur (QPES 2017), Jun 2017, Grenoble, France. QPES 2017, <http://www.colloque-pedagogie.org/>
hal-01503763v1  Communication dans un congrès
Gaëlle GuigonJérémie HumeauMathieu VermeulenEscape Classroom : un escape game pour l’enseignement
9ème Colloque Questions de Pédagogie dans l'Enseignement Supérieur (QPES 2017), Jun 2017, Grenoble, France. QPES 2017, <http://www.colloque-pedagogie.org/>
hal-01497229v1  Communication dans un congrès
Tarek MenouerSouheib BaarirParallel Learning Portfolio-based solvers
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Jun 2017, Zürich, Switzerland. Elsevier Procedia Computer Science, 2017
hal-01494235v1  Communication dans un congrès
Wen SunVéronique SimonSebastien MonnetPhilippe RobertPierre SensAnalysis of a Stochastic Model of Replication in Large Distributed Storage Systems: A Mean-Field Approach
ACM Sigmetrics 2017- International Conference on Measurement and Modeling of Computer Systems, Jun 2017, Urbana-Champaign, United States. 2017, <http://www.sigmetrics.org/sigmetrics2017/>
hal-01480640v1  Communication dans un congrès
Abdullah SaedSiu-Wai HoJean-Marie GorceChung Shue ChenMinimal Noise Variance Decoder for Uncoordinated Multiple Access in VLC
IEEE Vehicular Technology Conference (VTC-Spring), Jun 2017, Sydney, Australia
hal-01456307v2  Communication dans un congrès
Roman IakymchukEnrique Quintana-OrtíErwin LaureStef GraillatTowards Reproducible Blocked LU Factorization
IPDPS 2017 - 31st IEEE International Parallel & Distributed Processing Symposium, May 2017, Orlando, United States
hal-01511559v1  Communication dans un congrès
Denis JeanneauThibault RieutordLuciana ArantesPierre SensDétecteur de fautes pour le k-accord dans les systèmes inconnus et dynamiques
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France. <http://algotel2017.ensai.fr/>
hal-01403982v1  Communication dans un congrès
Florent JacquemardAdrien YcartMasahiko SakaiGenerating equivalent rhythmic notations based on rhythm tree languages
Third International Conference on Technologies for Music Notation and Representation (TENOR), May 2017, Coroña, Spain. 2017, <http://www.udc.es/grupos/ln/tenor2017>