m

F Nous contacter

0

Documents  68Q15 | enregistrements trouvés : 69

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Computer Science

The performance of numerical algorithms, both regarding stability and complexity, can be understood in a unified way in terms of condition numbers. This requires to identify the appropriate geometric settings and to characterize condition in geometric ways.
A probabilistic analysis of numerical algorithms can be reduced to a corresponding analysis of condition numbers, which leads to fascinating problems of geometric probability and integral geometry. The most well known example is Smale's 17th problem, which asks to find a solution of a given system of n complex homogeneous polynomial equations in $n$ + 1 unknowns. This problem can be solved in average (and even smoothed) polynomial time.
In the course we will explain the concepts necessary to state and solve Smale's 17th problem. We also show how these ideas lead to new numerical algorithms for computing eigenpairs of matrices that provably run in average polynomial time. Making these algorithms more efficient or adapting them to structured settings are challenging and rewarding research problems. We intend to address some of these issues at the end of the course.
The performance of numerical algorithms, both regarding stability and complexity, can be understood in a unified way in terms of condition numbers. This requires to identify the appropriate geometric settings and to characterize condition in geometric ways.
A probabilistic analysis of numerical algorithms can be reduced to a corresponding analysis of condition numbers, which leads to fascinating problems of geometric probability and integral ...

65F35 ; 65K05 ; 68Q15 ; 68W01 ; 15A12 ; 65F10 ; 90C51 ; 65H10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 311 p.
ISBN 978-3-540-52282-9

Lecture notes in computer science , 0415

Localisation : Collection 1er étage

algèbre de l

68Q15 ; 68Q25 ; 68Qxx ; 68Rxx ; 68U05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Publications mathematiques de l'universite paris vii , 0030

Localisation : Publication 1er étage

complexite des algorithmes # logique # machine de turing

03D10 ; 68Q15 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 320 p.
ISBN 978-0-8218-0577-0

DIMACS series in discrete mathematics and theoretical computer science , 0039

Localisation : Collection 1er étage

arithmétique du premier ordre # classe de complexité # combinatoire # complexite de preuve # fragment # informatique-théorique # logique # mathématique construction # théorie de la preuve # théorie de récursion

03F20 ; 03F30 ; 03F50 ; 68Q15 ; 68R05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 461 p.
ISBN 978-0-8218-0834-4

DIMACS series in discrete mathematics and theoretical computer science , 0040

Localisation : Collection 1er étage

analyse combinatoire # analyse de réseaux # informatique théorique # mathématiques de l'économie # mathématiques discretes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche optionnelle # théorie de la décision # théorie de recherche # économétrie

03B05 ; 68Q15 ; 68Q42 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 589 p.
ISBN 978-3-540-10856-6

Lecture notes in computer science , 0118

Localisation : Collection 1er étage

informatique théorique

68Q15 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 367 p.
ISBN 978-0-8218-2622-5

Contemporary mathematics , 0270

Localisation : Collection 1er étage

logique # théorie des nombres # 10ème problème de Hilbert # arithmétique # géométrie algébrique # calcul des algorithmes numériques # informatique théorique # classe de complexité # décidabilité # fonction récursive

00B25 ; 03B25 ; 03D20 ; 03D35 ; 11U05 ; 14Gxx ; 65Y20 ; 68Q15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 391 p.
ISBN 978-2-85629-222-8

Séminaires et congrés , 0013

Localisation : Collection 1er étage

algorithmes # correspondance de Riemann-Hilbert # dessins d'enfants # équations différentielles p-adiques # espaces de Hurwitz # formes modulaires # géométrie anabélienne # groupe de Galois différentiel # groupe fondamental # groupe de Tresse # espaces de modules # problème de Galois inverse # revêtement des courbes # théorie de Galois # tours modulaires

03B35 ; 11Fxx ; 11Gxx ; 11R58 ; 11Yxx ; 12Exx ; 12Fxx ; 12Gxx ; 12Hxx ; 12Jxx ; 13Nxx ; 14Dxx ; 14-04 ; 14F05 ; 14Gxx ; 14Hxx ; 18A25 ; 20B05 ; 20Cxx ; 20D25 ; 20Exx ; 20Fxx ; 20Gxx ; 20Jxx ; 32J25 ; 32S40 ; 33C05 ; 34Axx ; 34M55 ; 35Cxx ; 53Cxx ; 65E05 ; 65Y20 ; 68Q15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 371 p.
ISBN 978-3-540-63757-8

Lecture notes in computer science , 1335

Localisation : Collection 1er étage

analyse des algorithmes # calcul des algorithmes # calcul informatique # classe de complexité # décomposition de graphe # informatique théorique # langage formel # logique # logique mathématique # mathématique discrète # mode de calcul # spécification des programmes # structure des données # théorie des graphes

68Q05 ; 68Q10 ; 68Q15 ; 68Q45 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 406 p.
ISBN 978-3-540-62559-9

Lecture notes in computer science , 1197

Localisation : Collection 1er étage

analyse d'algorithme # calcul informatique # classe de complexité # concept de graphe théorique # géométrie de l'informatique # informatique théorique # langage formel # logique et signification de programme # logique mathématique # mathématique discrète # mode de calcul # modélisation d'objet # problème de complexité # structure des données # théorie des graphes

68Q05 ; 68Q10 ; 68Q15 ; 68R10 ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 471 p.
ISBN 978-0-387-10854-4

Lecture notes in computer science , 0117

Localisation : Collection 1er étage

informatique théorique

68Q15 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 403 p.
ISBN 978-3-540-56287-0

Lecture notes in computer science , 0652

Localisation : Collection 1er étage

algorithme # complexité # géométrie de l'informatique # logiciel # logique # programmation logique # spécification # sémantique

68N17 ; 68Q15 ; 68Q25 ; 68Q55 ; 68R10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 419 p.
ISBN 978-3-540-54967-3

Lecture notes in computer science , 0560

Localisation : Collection 1er étage

algorithme # algorithmique # automate # complexité # informatique théorique # sémantique # théorie des automates # type

68Q15 ; 68Q55 ; 68Q68 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 221 p.
ISBN 978-0-8218-0518-3

DIMACS series in discrete mathematics and theoretical computer science , 0027

Localisation : Collection 1er étage

algorithme distribué # algorithme parallèle # automate de tessellation # calcul parallèle # calcul, processeur # classe de complexité # informatique théorique # itérativité # réécriture de système # structure cellulaire

68Q05 ; 68Q10 ; 68Q15 ; 68Q22 ; 68Q42

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 318 p.
ISBN 978-3-540-55236-9

Lecture notes in computer science , 0579

Localisation : Collection 1er étage

algorithes non numérique # algorithmes distribuées # algorithmique # analyse des algorithmes # complexité des algorithmes # informatique théorique # programmation concurente # programmation distribuée # réseaux # systèmes concurents # traitement de l'information

68-06 ; 68M10 ; 68M15 ; 68Q10 ; 68Q15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-85-244-0094-0

CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de décision # résultat d'inapproximabilité # système de preuve PCP # théorie des graphes et logique # # vérification aléatoire de certificat CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de ...

03D15 ; 05Cxx ; 68Q05 ; 68Q15 ; 68Q25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-85-244-0094-0

Localisation : Salle de manutention

CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de décision # résultat d'inapproximabilité # système de preuve PCP # théorie des graphes et logique # # vérification aléatoire de certificat CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de ...

03D15 ; 05Cxx ; 68Q05 ; 68Q15 ; 68Q25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 389 p.
ISBN 978-0-8218-0963-1

DIMACS series in discrete mathematics and theoretical computer science , 0049

Localisation : Collection 1er étage

analyse combinatoire # biomathématique # ensemble partiellement ordonné # informatique théorique # mathématiques discrètes # séquence # théorie des graphes # théorie des nombres # théorème de preuve

05-06 ; 05Cxx ; 05Dxx ; 06A07 ; 11Bxx ; 60C05 ; 68Q15 ; 68Rxx ; 92C40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 347 p.
ISBN 978-3-540-63385-3

Lecture notes in computer science , 1289

Localisation : Collection 1er étage

algorithme non numérique # complexité # formalisme # intelligence artificiel # langage formel # logique mathématique # méthode # procédure de preuve # représentation de connaissance # théorie de preuve

68N17 ; 68Q15 ; 68Q20 ; 68Q25 ; 68Q45

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-387-97350-0

Localisation : Colloque 1er étage (BOST)

approximation # canonisation de graphe # classe de complexité # complexité calculatoire # complexité de Kolmogorov # graphe canonique # isomorphisme # isomorphisme des graphes # structure d'auto-réductibilité # théorie de la complexité

68Q15 ; 68Rxx

... Lire [+]

Z