AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « tools »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
toolkits < tools < toolset  Facettes :

List of bibliographic references indexed by tools

Number of relevant bibliographic references: 1101.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000036 (2016-04-25) Anthéa Mayzaud [France] ; Anuj Sehgal [Allemagne] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne]Using the RPL Protocol for Supporting Passive Monitoring in the Internet of Things
000047 (2016-04-03) Benjamin Camus [France] ; Virginie Galtier [France] ; Mathieu Caujolle [France] ; Vincent Chevrier [France] ; Julien Vaubourg [France] ; Laurent Ciarletta [France] ; Christine Bourjot [France]Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
000085 (2016-01-15) Benjamin Camus [France] ; Virginie Galtier [France] ; Mathieu Caujolle [France] ; Vincent Chevrier [France] ; Julien Vaubourg [France] ; Laurent Ciarletta [France] ; Christine Bourjot [France]Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
000092 (2016-01-06) Tomasz Buchert [France]Managing large-scale, distributed systems research experiments with control-flows
000093 (2016-01-05) Thomas Paris [France] ; Tan Alexandre [France] ; Vincent Chevrier [France] ; Laurent Ciarletta [France]Study about decomposition and integration of continuous systems in discrete environment
000098 (2016) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Validation of Formal Specifications through Transformation and Animation
000109 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
000114 (2016) Benoît Blaysat [France] ; Michel Grediac [France] ; Frédéric Sur [France]On the propagation of camera sensor noise to displacement maps obtained by DIC - an experimental study
000121 (2016) Samuel Cruz-Lara [France] ; Alexandre Denis [France] ; Nadia Bellalem [France] ; Lotfi Bellalem [France]Handbook on 3D3C Platforms: Applications and Tools for Three Dimensional Systems for Community, Creation and Commerce
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000153 (2016) Franck P. Vidal [Royaume-Uni] ; Pierre-Frédéric Villard [France]Development and validation of real-time simulation of X-ray imaging with respiratory motion.
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000214 (2015-11-27) Benjamin Camus [France]Multi-agent Environment for Multi-Modeling and Simulation of Complex Systems
000236 (2015-11-12) Sahbi Sidhom [France] ; Malek Ghenima [Tunisie] ; Karim Baïna [Maroc] ; Abdelkrim Meziane [Algérie]Knowledge Organization in the perspective of Digital Humanities: Researches and Applications (ISKO-Maghreb'2015)
000242 (2015-11-05) Gregory Hitz [Suisse] ; François Pomerleau [Suisse] ; Francis Colas [France] ; Roland Siegwart [Suisse]Relaxing the planar assumption: 3D state estimation for an autonomous surface vessel
000253 (2015-11) Jonàs Martínez [France] ; Jérémie Dumas [France] ; Sylvain Lefebvre [France] ; Li-Yi Wei [Hong Kong]Structure and appearance optimization for controllable shape design
000285 (2015-10-12) Guillaume Bonfante [France] ; Jose Fernandez [Canada] ; Jean-Yves Marion [France] ; Benjamin Rouxel [France] ; Fabrice Sabatier [France] ; Aurélien Thierry [France]CoDisasm: Medium Scale Concatic Disassembly of Self-Modifying Binaries with Overlapping Instructions
000287 (2015-10-09) Savita Seetaraman [France]Benchmarking of Network Virtualization Functions
000363 (2015-08-31) Maxime Amblard [France] ; Karën Fort [France] ; Caroline Demily [France] ; Nicolas Franck [France] ; Michel Musiol [France]Analyse lexicale outillée de la parole transcrite de patients schizophrènes
000390 (2015-08-23) Elisa H. Barney Smith [États-Unis] ; Bart Lamiroy [France]Effects of Clustering Algorithms on Typographic Reconstruction
000418 (2015-08-02) Dominique Méry [France] ; Neeraj Kumar Singh [France]Analyzing Requirements Using Environment Modelling

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "tools" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "tools" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    tools
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022