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 « Argentine »
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.
Arabie saoudite < Argentine < Australie  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 43.
[0-20] [0 - 20][0 - 43][20-40]
Ident.Authors (with country if any)Title
000610 (2015-02-23) Pablo Torres [Argentine] ; Mario Valencia-Pabon [France]Stable Kneser Graphs are almost all not weakly Hom-Idempotent
000699 (2015) Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France]Modal Satisfiability via SMT Solving
000725 (2015) Flavia Bonomo [Argentine] ; Guillermo Duran [Argentine] ; Mario Valencia-Pabon [France]Complexity of the cluster deletion problem on some subclasses of chordal graphs
000744 (2015) Flavia Bonomo [Argentine] ; Guillermo Duran [Argentine] ; Amedeo Napoli [France] ; Mario Valencia-Pabon [France]A one-to-one correspondence between potential solutions of the cluster deletion problem and the minimum sum coloring problem, and its application to P4 -sparse graphs
000775 (2014-12-09) Ali Assaf [France] ; Alejandro Díaz-Caro [Argentine] ; Simon Perdrix [France] ; Christine Tasson [France] ; Benoît Valiron [France]Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
000806 (2014-11-22) Flavia Bonomo [Argentine] ; Ivo Koch [Argentine] ; Pablo Torres [Argentine] ; Mario Valencia-Pabon [France]k-tuple chromatic number of the cartesian product of graphs
000968 (2014-07-19) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Gentle Non-Disjoint Combination of Satisfiability Procedures
000969 (2014-07-18) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
000B77 (2014-04) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version)
000C74 (2014) Flavia Bonomo [Argentine] ; Oliver Schaudt [France] ; Maya Stein [Chili] ; Mario Valencia-Pabon [France]b-coloring is NP-hard on co-bipartite graphs and polytime solvable on tree-cographs
000D22 (2014) Carlos Areces [Argentine] ; Hans Van Ditmarsch [France] ; Raul Fervari [France] ; François Schwarzentruber [France]Logics with Copy and Remove
000E47 (2013-11-05) Pablo Torres [Argentine] ; Mario Valencia-Pabon [France]On the packing chromatic number of hypercubes
000E60 (2013-10-30) Flavia Bonomo [Argentine] ; Oliver Schaudt [France] ; Maya Stein [Chili] ; Mario Valencia-Pabon [France]b-coloring is NP-hard on co-bipartite graphs and polytime solvable on tree-cographs
001020 (2013-07-09) Maximiliano Geier [Argentine] ; Lucas Nussbaum [France] ; Martin Quinson [France]On the Convergence of Experimental Methodologies for Distributed Systems: Where do we stand?
001025 (2013-07-08) Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine]SyMT: finding symmetries in SMT formulas
001394 (2013) Lucas Terissi [Argentine] ; Mauricio Cerda [Chili] ; Juan C. Gomez [Argentine] ; Nancy Hitschfeld-Kahler [Chili] ; Bernard Girau [France]A comprehensive system for facial animation of generic 3D head models driven by speech.
001629 (2012-07-22) Carlos Sarraute [Argentine] ; Olivier Buffet [France] ; Joerg Hoffmann [France]POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
001741 (2012-05-22) Carlos Sarraute [Argentine] ; Olivier Buffet [France] ; Joerg Hoffmann [France]Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de pénétration
001A97 (2011-10-19) Marianela Parodi [Argentine] ; Juan Carlos Gomez [Argentine] ; Abdel Belaïd [France]A Circular Grid-Based Rotation Invariant Feature Extraction Approach for Off-line Signature Verification
001B46 (2011-09-28) Luciana Benotti [Argentine] ; Alexandre Denis [France]CL system: Giving instructions by corpus based selection
001C84 (2011-07-18) Carlos Sarraute [Argentine] ; Olivier Buffet [France] ; Joerg Hoffmann [France]Penetration Testing == POMDP Solving?

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 "Argentine" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/AffPays.i  \
                -Sk "Argentine" \
         | 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é=    Argentine
}}
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