Pays
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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.
Bolivie < Brésil < Bulgarie  Facettes :

List of bibliographic references indexed by Brésil

Number of relevant bibliographic references: 69.
[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).
000759 (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.
000877 (2014-11-15) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Laurent Voisin [France] ; Yoann Guyot [France]Integrating SMT solvers in Rodin
000985 (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
000A09 (2014-08) Fernanda Brandao Da Silva [Brésil] ; Salvatore Tabbone [France] ; Ricardo Da Silva Torres [Brésil]BoG: A New Approach for Graph Matching
000B34 (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
000C38 (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
000F75 (2013-10-20) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Daniel Le Berre [France] ; Bertrand Mazure [France]Computing prime implicant
001022 (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
001027 (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
001068 (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
001093 (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
001112 (2013-07-08) Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine]SyMT: finding symmetries in SMT formulas
001494 (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
001A76 (2012-06-18) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Yoann Guyot [France] ; Laurent Voisin [France]SMT solvers for Rodin
001B32 (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
001C26 (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
001E32 (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

List of associated Author.i

Nombre de
documents		Descripteur
17David Déharbe
13Pascal Fontaine
5Hervé Panetto
5Mario Lezoche
5Nacer Boudjlida
5Yongxin Liao
4Amedeo Napoli
4Bernard Maigret
4Diego Caminha B. De Oliveira
4Eduardo Rocha Loures
3Anamaria Martins Moreira
3Bruno Lévy
3Christophe Ringeissen
3Mehdi Kaytoue
3Ricardo Da Silva Torres
3Rodrigo De Toledo
3Salvatore Tabbone
3Silvio Ranise
3Stephan Merz
3Wagner Meira
2Alicia Diaz
2Bruce Reed
2Bruno Woltzenlogel Paleo
2Carlos Raniery Paula Dos Santos
2Catherine Humeau
2Celina M. H. De Figueiredo
2Fernanda Brandao Da Silva
2Gérôme Canals
2Hazel Everett
2Heribert Schlebbe
2Hernan Astudillo
2Jean-Claude Paul
2Jean-Marc Engasser
2Latifa Chebil
2Laurent Voisin
2Maria-Graça Pimentel
2Mohamed Ghoul
2Rodrigo Quites Reis
2Rémi Badonnel
2Sulamita Klein
2Thomas Bouton
2Victor Codocedo
2Yoann Guyot
1A. C. Chinellato
1A. Chauvel
1A. L. Furtado
1A. Voisard
1Abdessamad Imine
1Adriano Albuquerque
1Adriano Fiorese
1Alan Gomes
1Alassane Cissé
1Alberto B. Raposo
1Alceu De S. Jr Britto
1Ana Karina Rodrigues Abadio
1Ana Regina Rocha
1Anderson Santana
1Anderson Santana De Oliveira
1Ann Moser
1Ann Snowden
1Antonio Figueira
1Arlei Silva
1Arnaud Legrand
1Ata Shingo
1Augusto Neto Tulmann
1B. Stein
1B. Volkoff
1Benito Diaz Paret
1Bergman Ribeiro
1Bertrand Kerautret
1Bertrand Mazure
1Bin Wang
1Brandon Itzkovitz
1Bruna Alberton
1Bruno Donassolo
1Bruno Levy
1C. Bauzer Medeiros
1C. C. Cerri
1Carla A. Lima Reis
1Carla Alessandra Lima Reis
1Carlos Areces
1Chedy Raïssi
1Ching Y. Suen
1Christelle Bidouil
1Christophe Thiery
1Claudete Klumb
1Cristian Rosa
1Cássio Henrique Mendonça
1D. Quilichini
1Dafne D. G. Horovitz
1Daltro J. Nunes
1Daltro José Nunes
1Daniel Le Berre
1Daniel Lima Ventura
1Daniel R. Gross
1David Coeurjolly
1Dennis W. Werner
1Diego Aranha
1Diego Torres
1Eduardo B. De Oliveira

Pour manipuler ce document sous Unix (Dilib)

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

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

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

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

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