PascalFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « PascalFr.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 indexed by Informatique théorique

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
006C40 (2011) A. K. Mciver [Australie] ; C. C. Morgan [Australie]Compositional refinement in agent-based security protocols
006D75 (2011) Mark Reynolds [Australie]A tableau-based decision procedure for CTL
007414 (2010) Tayssir Touili [France] ; MOHAMED FAOUZI ATIG [France]Verifying parallel programs with dynamic communication structures
007650 (2010) Pierre-Cyrille Heam [France] ; Cyril Nicaud [France] ; Sylvain Schmitz [France]Parametric random generation of deterministic tree automata
007A61 (2010) Pascal Caron [France] ; Jean-Marc Champarnaud [France] ; Ludovic Mignot [France]Acyclic automata and small expressions using multi-tilde-bar operators
008184 (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
008215 (2009) Samuel Hym [France]Mobility control via passports
008241 (2009) Michael J. Maher [Australie]Local consistency for extended CSPs
008337 (2009) Jean-Yves Audibert [France] ; Rémi Munos [France] ; Csaba Szepesvari [Canada]Exploration-exploitation tradeoff using variance estimates in multi-armed bandits
008422 (2009) Xavier Leroy [France] ; Hervé Grall [France]Coinductive big-step operational semantics
008450 (2009) Patrick Cousot [France, États-Unis] ; Radhia Cousot [France]Bi-inductive structural semantics
008B53 (2008) Daniil Ryabko [Suisse, France] ; Marcus Hutter [Australie]On the possibility of learning in reactive environments with arbitrary dependence
009251 (2007) V. T. Stefanov [Australie] ; S. Robin [France] ; S. Schbath [France]Waiting times for clumps of patterns and for structured motifs in random sequences
009255 (2007) Damian Barsotti [Argentine] ; Leonor Nieto Prensa [France] ; Alwen Tiu [Australie]Verification of clock synchronization algorithms : experiments on a combination of deductive tools
009741 (2007) Alexey Chernov [Suisse, France] ; Marcus Hutter [Suisse, Australie] ; Jürgen Schmidhuber [Suisse, Allemagne]Algorithmic complexity bounds on future prediction errors
009B66 (2006) Markus Lohrey [Allemagne] ; Sebastian Maneth [Australie]The complexity of tree automata and XPath on grammar-compressed trees
009C80 (2006) M. Hill [Australie] ; I. Robinson [Australie]Quadrature using 64-bit IEEE arithmetic for integrands over [0,1] with a singularity at 1
00AA75 (2004) Alan R. Woods [Australie]Subset sum "cubes" and the complexity of primality testing
00AB00 (2004) Imants Svalbe [Australie]Sampling properties of the discrete radon transform
00BF97 (2000) Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen K. Lenstra [États-Unis] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Karen Aardal [Pays-Bas] ; Jeff Gilchrist [Canada] ; Gérard Guillerm [France] ; Paul Leyland [Royaume-Uni] ; Jöel Marchand [France] ; François Morain [France] ; Alec Muffett [Royaume-Uni] ; Chris And Craig Putnam [États-Unis] ; Paul 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/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.i -k "Informatique théorique" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.i  \
                -Sk "Informatique théorique" \
         | 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/Asie
   |area=    AustralieFrV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    PascalFr.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