Keywords
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Keywords » - entrée « Computer theory »
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.
Computer system < Computer theory < Computer vision  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

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/KwdEn.i -k "Computer theory" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Computer theory" \
         | 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=    KwdEn.i
   |clé=    Computer theory
}}
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