Bolivie < Brésil < Bulgarie

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 73.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000296 (2015-10)	David Déharbe [Brésil] ; Stephan Merz [France]	Software Component Design with the B Method — A Formalization in Isabelle/HOL
000422 (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
000436 (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
000561 (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).
000748 (2015)	Ana Karina Rodrigues Abadio [Brésil] ; Erika Seki Kioshima [Brésil] ; Vincent Leroux [France] ; Natalia Florêncio Martins [Brésil] ; Bernard Maigret [France] ; Maria Sueli Soares Felipe [Brésil]	Identification of New Antifungal Compounds Targeting Thioredoxin Reductase of Paracoccidioides Genus.
000878 (2014-11-15)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Laurent Voisin [France] ; Yoann Guyot [France]	Integrating SMT solvers in Rodin
000987 (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
000A11 (2014-08)	Fernanda Brandao Da Silva [Brésil] ; Salvatore Tabbone [France] ; Ricardo Da Silva Torres [Brésil]	BoG: A New Approach for Graph Matching
000B37 (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
000C44 (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
000F86 (2013-10-20)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Daniel Le Berre [France] ; Bertrand Mazure [France]	Computing prime implicant
001033 (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
001038 (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
001079 (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
001104 (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
001123 (2013-07-08)	Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine]	SyMT: finding symmetries in SMT formulas
001506 (2013)	Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France]	Semantic Enrichment of Models to Assist Knowledge Management in a PLM Environment
001B05 (2012-06-18)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Yoann Guyot [France] ; Laurent Voisin [France]	SMT solvers for Rodin
001B62 (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
001C56 (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
001E51 (2012)	Brandon Itzkovitz [Canada] ; Sarn Jiralerspong [Canada] ; Graeme Nimmo [Canada] ; Melissa Loscalzo [États-Unis] ; Dafne D. G. Horovitz [Brésil] ; Ann Snowden [États-Unis] ; Ann Moser [États-Unis] ; Steve Steinberg [États-Unis] ; Nancy Braverman [Canada]	Functional characterization of novel mutations in GNPAT and AGPS, causing rhizomelic chondrodysplasia punctata (RCDP) types 2 and 3

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPays.i -k "Brésil" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |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