Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « HalTutelle.i » - entrée « Centre National de la Recherche Scientifique »
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.
Centre National de Recherche en Soudage et Contrôle < Centre National de la Recherche Scientifique < Centre National pour la recherche scientifique et Technique  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 10778.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000000 (2009) Horacio Rostro ; Bruno Cessac ; Juan Carlos Vasquez ; Thierry ViévilleBack- engineering of spiking neural networks parameters
000001 (2010-12-12) Jérôme François ; Radu State ; Thomas Engel ; Olivier FestorDigital Forensics in VoIP networks
000002 (2002-12) Jens Gustedt ; Emmanuel Jeannot ; Jean-Louis Pazat ; Stéphane VialleGRID 2002
000003 (2001-12) Nachum Dershowitz ; Claude KirchnerInversion Strategies
000004 (2007-06) Emilie Balland ; Pierre-Etienne Moreau ; Antoine ReillesRewriting Strategies in Java
000005 (2012-08-27) Denis Cousineau ; Damien Doligez ; Leslie Lamport ; Stephan Merz ; Daniel Ricketts ; Hernán VanzettoTLA+ Proofs
000006 (2012-07) Denis Cousineau ; Damien Doligez ; Leslie Lamport ; Stephan Merz ; Daniel Ricketts ; Hernán VanzettoTLA+ Proofs
000007 (2012) Jean-Yves MarionViruses in Turing's Garden
000008 (2000) Olivier Festor ; Nizar Ben YoussefWBEM
000009 (1995) Paul ZimmermannWester's test suite in MuPAD 1.2.2
000010 (1996) Paul ZimmermannWester's test suite in MuPAD 1.3
000011 (2005) Laurent Andrey ; Abdelkader Lahmadi ; Julien DeloveA JMX benchmark
000012 (2010) Denis RoegelJednoduché makro suanpan na kreslení čínského a japonského abaku
000013 (2010) Denis RoegelKulové plochy, hlavní kružnice a rovnoběžky
000014 (2010) Denis RoegelSudoku s vepsanými kandži: integrace čínských glyfů s grafikou na úrovni METAPOSTu
000015 (2007-08-23) Julien Thomas ; Cédric Rose ; François CharpilletA Support System for ECG Segmentation Based on Hidden Markov Models
000016 (2010) Eric Berberich ; Michael Hemmer ; Sylvain Lazard ; Luis Pe Aranda ; Monique TeillaudAlgebraic kernel
000017 (2008) Claire Gardent ; Kristina StriegnitzGenerating Bridging Definite Descriptions
000018 (2012-05-30) Claire Gardent ; German KruszewskiGeneration for Grammar Engineering
000019 (2011-11-10) Atif Mashkoor ; Jean-Pierre JacquotGuidelines for Formal Domain Modeling in Event-B
000020 (2002) Laurent Jeanpierre ; François CharpilletHidden Markov Models for Medical Diagnosis

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "Centre National de la Recherche Scientifique" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "Centre National de la Recherche Scientifique" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    Centre National de la Recherche Scientifique
}}

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