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.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
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
002049 (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
002050 (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
002066 (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
002196 (2011-08-01) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Bruno Woltzenlogel Paleo [France]Quantifier Inference Rules for SMT proofs
002203 (2011-07-31) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Stephan Merz [France] ; Bruno Woltzenlogel Paleo [France]Exploiting Symmetry in SMT Problems
002659 (2011) Adriano Fiorese [Portugal, Brésil] ; Paulo Sim Es [Portugal] ; Fernando Boavida [Portugal]On the Dimensioning of an Aggregation Service for P2P Service Overlay Networks
002814 (2011) Christelle Bidouil [France] ; Eduardo Basilio De Oliveira [Brésil] ; Latifa Chebil [France] ; Elaine-Rose Maia [Brésil] ; Bernard Maigret [France] ; Evelyne Ronat-Heidt [France] ; Mohamed Ghoul [France] ; Jean-Marc Engasser [France] ; Catherine Humeau [France]Combined docking and molecular dynamics simulations to enlighten the capacity of Pseudomonas cepacia and Candida antarctica lipases to catalyze quercetin acetylation
002B77 (2010-07-14) Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]GridTPT: a distributed platform for Theorem Prover Testing
003063 (2010) Daniel Lima Ventura [Brésil] ; Mauricio Ayala-Rinc N [Brésil] ; Fairouz Kamareddine [Royaume-Uni]Intersection Type Systems and Explicit Substitutions Calculi
003462 (2009-07-22) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Anamaria Martins Moreira [Brésil] ; Stephan Merz [France] ; Anderson Santana De OliveiraAutomating model-based software engineering
003508 (2009-07) Hernan Astudillo [Chili] ; Gérôme Canals [France] ; Alicia Diaz [Argentine] ; Amedeo Napoli [France] ; Maria-Graça Pimentel [Brésil]From data to knowledge through collaboration: bridging Wikis and Knowledge Systems
003781 (2009) Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]Combining Decision Procedures by (Model-)Equality Propagation
003867 (2009) 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
003899 (2009) David Déharbe [Brésil] ; Silvio Ranise [Italie, France]Satisfiability solving for software verification
003B90 (2009) Eduardo B. De Oliveira [France] ; Catherine Humeau [France] ; Latifa Chebil [France] ; Elaine R. Maia [Brésil] ; François Dehez [France] ; Bernard Maigret [France] ; Mohamed Ghoul [France] ; Jean-Marc Engasser [France]A molecular modelling study to rationalize the regioselectivity in acylation of flavonoid glycosides catalyzed by Candida antarctica lipase B
003C87 (2009) Hernan Astudillo [Chili] ; Victor Codocedo [Chili] ; Gérôme Canals [France] ; Diego Torres [Argentine] ; Alicia Diaz [Argentine] ; Amedeo Napoli [France] ; Alan Gomes [Brésil] ; Maria-Graça Pimentel [Brésil]Combining knowledge discovery, ontologies, annotations, and semantic wikis
003D41 (2008-12-03) Rodrigo De Toledo [Brésil] ; Bruno Lévy [France]Visualization of Industrial Structures with Implicit GPU Primitives
003E80 (2008-08-26) Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]Combining decision procedures by (model-)equality propagation
004034 (2008-04-21) Rodrigo De Toledo [Brésil] ; Bruno Levy [France] ; Jean-Claude Paul [République populaire de Chine]Reverse engineering for industrial-environment cad models
004178 (2008) Rodrigo De Toledo [Brésil] ; Bin Wang [République populaire de Chine] ; Bruno Lévy [France]Geometry Textures and Applications

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