Pays
Checkpoint
Hal
Racine
Checkpoint
Hal
Exploration
Accueil
Racine
Racine

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

Index « Pays » - entrée « Brésil »
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.
Biélorussie < Brésil < Cameroun  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 40.
[0-20] [0 - 20][0 - 40][20-40]
Ident.Authors (with country if any)Title
000202 (2015-11-16) Ana Rodrigues Adabio [Brésil] ; Erika S. Kioshima [Brésil] ; Vincent Leroux [France] ; Nathalia Martins [Brésil] ; Bernard Maigret [France] ; Maria Soares Felipe [Brésil]Identification of New Antifungal Compounds Targeting Thioredoxin Reductase of Paracoccidioides Genus
000273 (2015-10) David Déharbe [Brésil] ; Stephan Merz [France]Software Component Design with the B Method — A Formalization in Isabelle/HOL
000400 (2015-08) Yongxin Liao [Brésil] ; Mario Lezoche [France] ; Hervé Panetto [France] ; Nacer Boudjlida [France] ; Eduardo Rocha Loures [Brésil]Semantic annotation for knowledge explicitation in a product lifecycle management context: a survey
000413 (2015-07-25) Martín Barrère [Royaume-Uni] ; Gustavo Betarte [Uruguay] ; Victor Codocedo [France] ; Marcelo Rodríguez [Uruguay] ; Hernán Astudillo [Chili] ; Marcelo Aliquintuy [Chili] ; Javier Baliosian [Uruguay] ; Rémi Badonnel [France] ; Olivier Festor [France] ; Carlos Raniery Paula Dos Santos [Brésil] ; Jéferson Campos Nobre [Brésil] ; Lisandro Zambenedetti Granville [Brésil] ; Amedeo Napoli [France]Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery
000541 (2015-05) Rémi Badonnel [France] ; Xiao Jin [États-Unis] ; Ata Shingo [Japon] ; Filip Turck [Belgique] ; Groza Voicu [Canada] ; Carlos Raniery Paula Dos Santos [Brésil]Integrated Management in the Age of Big Data, Proceedings of the 14th IFIP/IEEE Symposium on Integrated Network and Service Management (IM 2015).
000811 (2014-11-15) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Laurent Voisin [France] ; Yoann Guyot [France]Integrating SMT solvers in Rodin
000923 (2014-08-24) Yongxin Liao [Brésil] ; Mario Lezoche [France] ; Hervé Panetto [France] ; Nacer Boudjlida [France] ; Eduardo Rocha Loures [Brésil]Formal semantic annotations for models interoperability in a PLM environment
000950 (2014-08) Fernanda Brandao Da Silva [Brésil] ; Salvatore Tabbone [France] ; Ricardo Da Silva Torres [Brésil]BoG: A New Approach for Graph Matching
000A78 (2014-06) Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Rocha Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France]A semantic annotation framework to assist the knowledge interoperability along a product life cycle
000B79 (2014-03-26) Joost Batenburg ; David Coeurjolly [France] ; Bertrand Kerautret [France] ; Köthe Ullrich ; Jacques-Olivier Lachaud [France] ; Thomas Lewiner [Brésil]Image Processing Online (IPOL) : Special issue on DGCI 2011
000E77 (2013-10-20) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Daniel Le Berre [France] ; Bertrand Mazure [France]Computing prime implicant
000F30 (2013-09-15) Fernanda Brandao Da Silva [Brésil] ; Siome Goldenstein [Brésil] ; Salvatore Tabbone [France] ; Ricardo Da Silva Torres [Brésil]Image classification based on bag of visual graphs
000F34 (2013-09-09) Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Rocha Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France]Semantic enrichment of models to assist knowledge management in a PLM environment
000F77 (2013-08-21) Hugo De Almeida [France] ; Izabela Bastos [Brésil] ; Bergman Ribeiro [France] ; Bernard Maigret [France] ; Jaime Santana [Brésil]New Binding Site Conformations of the Dengue Virus NS3 Protease Accessed by Molecular Dynamics Simulation
001003 (2013-07-21) Ricardo Da Silva Torres [Brésil] ; Makoto Hasegawa [France] ; Salvatore Tabbone [France] ; Jurandy Almeida [Brésil] ; Jefersson A. Dos Santos [Brésil] ; Bruna Alberton [Brésil] ; Patricia C. Morellato [Brésil]Shape-based Time Series Analysis for Remote Phenology Studies
001025 (2013-07-08) Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine]SyMT: finding symmetries in SMT formulas
001694 (2012-06-18) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Yoann Guyot [France] ; Laurent Voisin [France]SMT solvers for Rodin
001752 (2012-05-16) Mehdi Kaytoue [Brésil] ; Arlei Silva [Brésil] ; Loïc Cerf [Brésil] ; Wagner Meira [Brésil] ; Chedy Raïssi [France]Watch me playing, I am a professional: a first study on video game live streaming
001849 (2012-02-27) Diego Aranha [Brésil] ; Jean-Luc Beuchat [Japon] ; Jérémie Detrey [France] ; Nicolas Estibals [France]Optimal Eta pairing on supersingular genus-2 binary hyperelliptic curves
001B00 (2011-10-17) Mehdi Kaytoue [Brésil] ; Sergei O. Kuznetsov [Russie] ; Juraj Macko [République tchèque] ; Wagner Meira [Brésil] ; Amedeo Napoli [France]Mining Biclusters of Similar Values with Triadic Concept Analysis
001B01 (2011-10-17) Zainab Assaghir [France] ; Mehdi Kaytoue [Brésil] ; Wagner Meira [Brésil] ; Jean Villerd [France]Extracting Decision Trees from Interval Pattern Concept Lattices

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/AffPays.i -k "Brésil" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/AffPays.i  \
                -Sk "Brésil" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Brésil
}}
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