63 résultats  enregistrer la recherche


hal-00925345v1  Communication dans un congrès
Jonathan HaymanTobias HeindelPattern Graphs and Rule-Based Models: The Semantics of Kappa
Frank Pfenning. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. Springer, 7794, pp.1--16, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-37075-5>
...
inria-00074573v1  Rapport
Remi AbgrallFrédéric C. LafonEno schemes on unstructured meshes
[Research Report] RR-2099, INRIA. 1993
inria-00099581v1  Communication dans un congrès
Caroline BrunMarc DymetmanEric FanchonStanislas LhommeSylvain PogodallaSemantically-based text authoring and the concurrent documentation of experimental protocols
Cécile Roisin and Ethan V. Munson and Christine Vanoirbeek. ACM Symposium on Document Engineering - DocEng 2003, Nov 2003, Grenoble, France. ACM New York, NY, USA, pp.193-202, 2003, DocEng '03 Proceedings of the 2003 ACM symposium on Document engineering. <http://doi.acm.org/10.1145/958220.958256>. <10.1145/958220.958256>
inria-00099180v1  Communication dans un congrès
Yann GuermeurDominique ZelusCombining Protein Secondary Structure Prediction Methods with a new Multi-Category SVM
Intelligent Systems for Molecular Biology - ISMB'2000, 2000, San-Diego, Californie, USA, 1 p, 2000
...
tel-01430151v1  Thèse
Nadir GuetmiModèles de conception pour des applications collaboratives dans le cloud
Autre [cs.OH]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2016. Français. < NNT : 2016ESMA0016 >
...
tel-01430177v1  Thèse
Géraud Fokou PelapConception d'un famework pour la relaxation des requêtes SPARQL
Autre [cs.OH]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2016. Français. < NNT : 2016ESMA0014 >
hal-01445026v1  Communication dans un congrès
M. BernardG. MontémontS. StanchinaStéphane ManciniEnabling real-time reconstruction for high intrinsic resolution SPECT systems
IEEE-NPSS Real Time Conference (RT'16), Jun 2016, Padova, Italy. IEEE, Proceedings
...
hal-00688776v1  Communication dans un congrès
Alexander HeußnerTristan Le GallGrégoire SutreMcScM: A General Framework for the Verification of Communicating Machines
Cormac Flanagan and Barbara König. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Apr 2012, Tallinn, Estonia. Springer Verlag, 7214, pp.487-484, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-28756-5>
lirmm-00419914v1  Communication dans un congrès
Olivier BrousseJérémie GuillotGilles SassatelliThierry GilMichel Robert et al.  A Bio-Inspired Agent Framework for Hardware Accelerated Distributed Pervasive Applications
IEEE Computer Society. AHS'09: NASA/ESA Conference on Adaptive Hardware and Systems, Jul 2009, San Fransisco, United States. CPS, pp.415-422, 2009, <http://www.see.ed.ac.uk/~ahs2009/>. <10.1109/AHS.2009.54>
...
hal-00257711v1  Communication dans un congrès
C. DurandF. CassetP. AnceyF. JudongA. Talbot et al.  SILICON ON NOTHING MEMS ELECTROMECHANICAL RESONATOR
DTIP 2007, Apr 2007, Stresa, lago Maggiore, Italy. TIMA Editions, RF & optical, 2007
...
hal-00257687v1  Communication dans un congrès
S. SoulimaneF. CassetF. ChapuisP.-L. CharvetM. AïdTuneable Capacitor based on dual picks profile of the sacrificial layer
DTIP 2007, Apr 2007, Stresa, lago Maggiore, Italy. TIMA Editions, pp.195-198, 2007
...
hal-00257696v1  Communication dans un congrès
Henri CamonChristian GanibalN. RapahozM. TrzmielC. Pisella et al.  Solving functional reliability issue for an optical electrostatic switch
DTIP 2007, Apr 2007, Stresa, lago Maggiore, Italy. TIMA Editions, pp.246-250, 2007
...
hal-00257706v1  Communication dans un congrès
C. Jean-MistralS. BasrourJ.J. ChailloutA. BonvilainA complete study of electroactive polymers for energy scavenging: modelling and experiments
DTIP 2007, Apr 2007, Stresa, lago Maggiore, Italy. TIMA Editions, pp.301-305, 2007
...
hal-00257657v1  Communication dans un congrès
N. AbeléD. GroggC. HibertF. CassetP. Ancey et al.  0-level Vacuum Packaging RT Process for MEMS Resonators
DTIP 2007, Apr 2007, Stresa, lago Maggiore, Italy. TIMA Editions, pp.33-36, 2007
hal-01311381v1  Communication dans un congrès
Benjamin DuplexMarc DanielGilles GesquièrePerdu FabienDéformations géométriques et prise en compte des incertitudes pour les dispositifs expérimentaux du futur Réacteur Jules Horowitz
Journées du Groupe de Travail Modélisation Géométrique (GTMG 2009), 2009, Unknown, Région indéterminée. pp.13--22, 2009
hal-01311378v1  Communication dans un congrès
Marc DanielGilles GesquièreFabien PerduBenjamin DuplexDéformation de maillages et codes de calcul
Journées du Groupe de Travail Modélisation Géométrique (GTMG 2010), 2010, Unknown, Région indéterminée. pp.57--66, 2010
hal-01311379v1  Communication dans un congrès
Benjamin DuplexGilles GesquièreMarc DanielFabien PerduEchange de déformations entre des codes de calcul utilisant des géométries différentes
23e journées de l'Association Française d'Informatique Graphique, 2010, Unknown, Région indéterminée. pp.117--126, 2010
hal-01311442v1  Communication dans un congrès
Benjamin DuplexGilles GesquièreMarc DanielFabien PerduDeformation Exchange between Adjacent Physical Code Geometries
The 19-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision'2011 (WSCG'2011), 2011, Plzen, Czech Republic. pp.21--24, 2011
hal-01311445v1  Communication dans un congrès
Benjamin DuplexGilles GesquièreMarc DanielFabien PerduDeformation exchange between large meshes
The IADIS Computer Graphics, Visualization, Computer Vision and Image Processing (CGVCVIP'2011), 2011, Rome, Italy. 2011
hal-01311447v1  Communication dans un congrès
Benjamin DuplexMarc DanielGilles GesquièreFabien PerduTransfer of mesh deformations between physical codes
Curves and Surfaces, 2010, Unknown, Unknown or Invalid Region. 2010