Biélorussie < Brésil < Cameroun

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

Number of relevant bibliographic references: 40.
[20-40] [0 - 20][0 - 40][40-39][40-60]

Ident.	Authors (with country if any)	Title
002935 (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
002937 (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
002B42 (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).
002B54 (2014-11-15)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Laurent Voisin [France] ; Yoann Guyot [France]	Integrating SMT solvers in Rodin
003033 (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
003199 (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
003556 (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
003952 (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
004488 (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
004492 (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
004545 (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
004614 (2015-10)	David Déharbe [Brésil] ; Stephan Merz [France]	Software Component Design with the B Method — A Formalization in Isabelle/HOL
004E41 (2011-10-11)	Olivier Beaumont [France] ; Laurent Bobelin [France] ; Henri Casanova [États-Unis] ; Pierre-Nicolas Clauss [France] ; Bruno Donassolo [Brésil] ; Lionel Eyraud-Dubois [France] ; Stéphane Genaud [France] ; Sascha Hunold [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Cristian Rosa [France] ; Lucas Schnorr [France] ; Mark Stillwell [France] ; Frédéric Suter [France] ; Christophe Thiery [France] ; Pedro Velho [France] ; Jean-Marc Vincent [France] ; Young Won [France]	Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems
005301 (2008-12-03)	Rodrigo De Toledo [Brésil] ; Bruno Lévy [France]	Visualization of Industrial Structures with Implicit GPU Primitives
005334 (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
005453 (2006-09)	David Déharbe [Brésil] ; Pascal Fontaine [France]	haRVey: combining reasoners
005464 (2009-08-02)	Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]	veriT: an open, trustable and efficient SMT-solver
005848 (2003)	Bruno Lévy [France] ; F. Mouillac [France] ; D. Quilichini [France] ; J. Schmitz [Brésil] ; Jean Gaudart [France] ; F. Gouin [France]	Comparaison de l'application locale de corticoïdes et de lidocaïne dans la prévention des douleurs pharyngolaryngées post-intubation Topical methylprednisolone vs lidocaïne for the prevention of postoperative sore throat
006395 (2011-08-01)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Bruno Woltzenlogel Paleo [France]	Quantifier Inference Rules for SMT proofs
006A85 (2013-10-20)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Daniel Le Berre [France] ; Bertrand Mazure [France]	Computing prime implicant

---

Pour manipuler ce document sous Unix (Dilib)

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

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Brésil
}}

---

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