Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Crin)

Index « Keywords » - entrée « complexity »
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.
complexite < complexity < complexity analysis  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 56.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000104 (2005) Guillaume Bonfante ; Jean-Yves Marion ; Jean-Yves Moyen ; Romain PéchouxSynthesis of Quasi-interpretations
000134 (2005) Julien Fondrevelle ; Ammar Oulamara ; Marie-Claude PortmannMinimizing the weighted sum of machine completion times in flowshop with time lags : complexity results and a solution approach
000304 (2005) Olivier Bournez ; Felipe Cucker ; Paulin Jacobé De Naurois ; Jean-Yves MarionImplicit Complexity Over an Arbitrary Structure : Sequential and Parallel Polynomial Time
000657 (2004) Dominique Barth ; Johanne Cohen ; Lynda Gastal ; Thierry Mautor ; Stéphane RousseauFixed Size and Variable Size Packet Models in an Optical Ring Network : Complexity and Simulations
000700 (2004) Olivier Bournez ; Emmanuel HainryAn analog Characterization of Elementarily Computable Functions Over the Real Numbers
000701 (2004) Olivier Bournez ; Emmanuel HainryAn analog Characterization of Elementarily Computable Functions Over the Real Numbers
000839 (2004) Olivier Bournez ; Felipe Cucker ; Paulin Jacobé De Naurois ; Jean-Yves MarionTailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
000852 (2004) Olivier Bournez ; Emmanuel HainryReal Recursive Functions and Real Extensions of Recursive Functions
000873 (2003) Karell Bertet ; Jens Gustedt ; Michel MorvanWeak-order extensions of an order
000915 (2003) Mathieu TuruaniSécurité des protocoles cryptographiques : décidabilité et complexité
000962 (2003) Olivier Bournez ; Felipe Cucker ; Paulin Jacobé De Naurois ; Jean-Yves MarionSafe Recursion Over an Arbitrary Structure : PAR, PH and DPH
000A23 (2003) Mohab Safey El Din ; Eric SchostPolar varieties and computation of one point in each connected component of a smooth real algebraic set
000A41 (2003) Jean-Yves MoyenAnalyse de la complexité et transformation de programmes
000A82 (2003) Dominique Barth ; Johanne Cohen ; Lynda Gastal ; Thierry Mautor ; Stephane RousseauComparison of fixed size and variable size packet models in an optical ring network : Algorithms and performances
000B68 (2003) Olivier Bournez ; Felipe Cucker ; Paulin Jacobé De Naurois ; Jean-Yves MarionComputability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
000B74 (2003) Dominique Barth ; Cohen Johanne ; Faik TaoufikComplexity of Determining the b-continuity Property of Graphs
000C41 (2003) Roman Kolpakov ; Gregory KucherovFinding approximate repetitions under Hamming distance
000C83 (2003) Patrick Blackburn ; Bertrand Gaiffe ; Marteen MarxVariable-free reasoning on finite trees
000C90 (2003) Jean-Pierre Duval ; Roman Kolpakov ; Gregory Kucherov ; Thierry Lecroq ; Arnaud LefebvreLinear-Time Computation of Local Periods
000C92 (2003) Ali Basiri ; Jean-Charles FaugereChanging the ordering of Grobner Bases with LLL : Case of Two Variables
000D19 (2003) Carsten Lutz Lutz ; Carlos Areces ; Ian Horrocks ; Ulrike SattlerKeys, Nominals, and Concrete Domains

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i -k "complexity" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i  \
                -Sk "complexity" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    complexity
}}

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