HalJournal.i
Corpus
Hal
Racine
Corpus
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

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

Index « HalJournal.i » - entrée « Lecture Notes in Computer Science »
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.
Lecture Notes in Business Information Processing < Lecture Notes in Computer Science < Lecture Notes in Computer Science, Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 15.
Ident.Authors (with country if any)Title
000155 (2015-08-03) Andrew Reynolds ; Jasmin Christian BlanchetteA Decision Procedure for (Co)datatypes in SMT Solvers
001C63 (2006-09) Nazim FatèsDirected Percolation Phenomena in Asynchronous Elementary Cellular Automata
002214 (2014-09-10) Eric Domenjoud ; Laurent Vuillon ; Xavier ProvençalFacet Connectedness of Discrete Hyperplanes with Zero Intercept: The General Case
002959 (2014-09-06) Thanh Phuong Nguyen ; Antoine Manzanera ; Walter G. KropatschImpact of topology-related attributes from Local Binary Patterns on texture classification
002E55 (2014-09-16) Chan Nguyen Ngoc ; Azim Roussanaly ; Anne BoyerLearning Resource Recommendation: An Orchestration of Content-Based Filtering, Word Semantic Similarity and Page Ranking
002F85 (2014-09-01) Dominique Larchey-Wendling ; Didier GalmicheLooking at Separation Algebras with Boolean BI-eyes
003225 (2015-07-13) Jasmin Christian Blanchette ; Maximilian Haslbeck ; Daniel Matichuk ; Tobias NipkowMining the Archive of Formal Proofs
003A29 (2014-06-30) Gaëtan Hurel ; Rémi Badonnel ; Abdelkader Lahmadi ; Olivier FestorOutsourcing Mobile Security in the Cloud
004190 (2012-09) Michal Kowalczyk ; Bertrand Kerautret ; Benoît Naegel ; Jonathan WeberRevisiting Component Tree Based Segmentation Using Meaningful Photometric Informations
004963 (2014) Claire GardentSyntax and Data-to-Text Generation
004A87 (2015-08-25) Nobutaka Ono ; Zafar Rafii ; Daichi Kitamura ; Nobutaka Ito ; Antoine LiutkusThe 2015 Signal Separation Evaluation Campaign
004F40 (2014-04-12) Cyrine Nasri ; Kamel Smaïli ; Chiraz LatiriTraining phrase-based SMT without explicit word aligment
005389 (2015-04-14) Jasmin Christian Blanchette ; Andrei Popescu ; Dmitriy TraytelWitnessing (Co)datatypes
005390 (2007-12-03) Stéphane Weiss ; Pascal Urso ; Pascal MolliWooki: A P2P Wiki-Based Collaborative Writing Tool
005466 (2015) Gábor Alagi ; Christoph Weidenbach{NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment

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/HalJournal.i -k "Lecture Notes in Computer Science" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalJournal.i  \
                -Sk "Lecture Notes in Computer Science" \
         | 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=    HalJournal.i
   |clé=    Lecture Notes in Computer Science
}}
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