FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur les relations entre la France et l'Australie - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Informatique théorique »
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.
Informatique mobile < Informatique théorique < Infracambrien  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
001C46 (2011) A. K. Mciver [Australie] ; C. C. Morgan [Australie]Compositional refinement in agent-based security protocols
001D92 (2011) Mark Reynolds [Australie]A tableau-based decision procedure for CTL
001E82 (2010) Tayssir Touili [France] ; MOHAMED FAOUZI ATIG [France]Verifying parallel programs with dynamic communication structures
002164 (2010) Pierre-Cyrille Heam [France] ; Cyril Nicaud [France] ; Sylvain Schmitz [France]Parametric random generation of deterministic tree automata
002633 (2010) Pascal Caron [France] ; Jean-Marc Champarnaud [France] ; Ludovic Mignot [France]Acyclic automata and small expressions using multi-tilde-bar operators
002960 (2009) Michael R. Fellows [Australie] ; Danny Hermelin [Israël] ; Frances Rosamond [Australie] ; Stéphane Vialette [France]On the parameterized complexity of multiple-interval graph problems
002996 (2009) Samuel Hym [France]Mobility control via passports
002A26 (2009) Michael J. Maher [Australie]Local consistency for extended CSPs
002B34 (2009) Jean-Yves Audibert [France] ; Rémi Munos [France] ; Csaba Szepesvari [Canada]Exploration-exploitation tradeoff using variance estimates in multi-armed bandits
002C38 (2009) Xavier Leroy [France] ; Hervé Grall [France]Coinductive big-step operational semantics
002C72 (2009) Patrick Cousot [France, États-Unis] ; Radhia Cousot [France]Bi-inductive structural semantics
003030 (2008) Daniil Ryabko [Suisse, France] ; Marcus Hutter [Australie]On the possibility of learning in reactive environments with arbitrary dependence
003514 (2007) V. T. Stefanov [Australie] ; S. Robin [France] ; S. Schbath [France]Waiting times for clumps of patterns and for structured motifs in random sequences
003518 (2007) Damian Barsotti [Argentine] ; Leonor Nieto Prensa [France] ; Alwen Tiu [Australie]Verification of clock synchronization algorithms : experiments on a combination of deductive tools
003A76 (2007) Alexey Chernov [Suisse, France] ; Marcus Hutter [Suisse, Australie] ; Jürgen Schmidhuber [Suisse, Allemagne]Algorithmic complexity bounds on future prediction errors
003C20 (2006) Markus Lohrey [Allemagne] ; Sebastian Maneth [Australie]The complexity of tree automata and XPath on grammar-compressed trees
003D51 (2006) M. Hill [Australie] ; I. Robinson [Australie]Quadrature using 64-bit IEEE arithmetic for integrands over [0,1] with a singularity at 1
004926 (2004) Alan R. Woods [Australie]Subset sum "cubes" and the complexity of primality testing
004953 (2004) Imants Svalbe [Australie]Sampling properties of the discrete radon transform
005C83 (2000) S. Cavallar [Pays-Bas] ; B. Dodson [États-Unis] ; A. K. Lenstra [États-Unis] ; W. Lioen [Pays-Bas] ; P. L. Montgomery [États-Unis] ; B. Murphy [Australie] ; H. Te Riele [Pays-Bas] ; K. Aardal [Pays-Bas] ; J. Gilchrist [Canada] ; G. Guillerm [France] ; P. Leyland [Royaume-Uni] ; J. Marchand [France] ; F. Morain [France] ; A. Muffett [Royaume-Uni] ; C. Putman [États-Unis] ; C. Putnam [États-Unis] ; P. Zimmermann [France]Factorization of a 512-bit RSA modulus

List of associated Author.i

Nombre de
documents		Descripteur
2Marcus Hutter
1A. K. Lenstra
1A. K. Mciver
1A. Muffett
1Alan R. Woods
1Alexey Chernov
1Alwen Tiu
1B. Dodson
1B. Murphy
1C. C. Morgan
1C. Putman
1C. Putnam
1Csaba Szepesvari
1Cyril Nicaud
1Damian Barsotti
1Daniil Ryabko
1Danny Hermelin
1F. Morain
1Frances Rosamond
1G. Guillerm
1H. Te Riele
1Hervé Grall
1I. Robinson
1Imants Svalbe
1J. Gilchrist
1J. Marchand
1Jean-Marc Champarnaud
1Jean-Yves Audibert
1Jürgen Schmidhuber
1K. Aardal
1Leonor Nieto Prensa
1Ludovic Mignot
1M. Hill
1MOHAMED FAOUZI ATIG
1Mark Reynolds
1Markus Lohrey
1Michael J. Maher
1Michael R. Fellows
1P. L. Montgomery
1P. Leyland
1P. Zimmermann
1Pascal Caron
1Patrick Cousot
1Pierre-Cyrille Heam
1Radhia Cousot
1Rémi Munos
1S. Cavallar
1S. Robin
1S. Schbath
1Samuel Hym
1Sebastian Maneth
1Stéphane Vialette
1Sylvain Schmitz
1Tayssir Touili
1V. T. Stefanov
1W. Lioen
1Xavier Leroy

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Informatique théorique" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Informatique théorique" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Asie
   |area=    AustralieFrV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Informatique théorique
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Tue Dec 5 10:43:12 2017. Site generation: Tue Mar 5 14:07:20 2024