m

F Nous contacter

0

Documents  68T15 | enregistrements trouvés : 51

O

-A +A

P Q

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

Research talks;Computer Science

L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère algorithmique de ces objets scientifiques nous amène à considérer de nouveaux langages pour les décrire. Cette révolution, dans le langage dans lequel la science s'écrit, peut-être comparée à la révolution qui s'est produite, au début du XVIIe siècle, quand le langage mathématique a commencé à être utilisé pour décrire des phénomènes physiques. L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère ...

00A30 ; 03B35 ; 68T15

... Lire [+]

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

- 214 p.
ISBN 978-3-540-56730-1

Lecture notes in computer science , 0677

Localisation : Collection 1er étage

combinatoire # déduction # langage formel # logique mathématique # méthodologie de calcul # optimisation # structure des données informatiques # théorème de preuve

68P05 ; 68Q45 ; 68Qxx ; 68R05 ; 68T15

... Lire [+]

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

- 270 p.
ISBN 978-1-56881-145-1

analyse numérique # calcul formel # informatique # algèbre # opérateur logique # résolution automatique de théorie # algèbre calculatoire # raisonnement automatis

68-06 ; 03B35 ; 68T15 ; 68W30

... Lire [+]

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

- 359p.
ISBN 978-3-540-54659-7

Lecture notes in computer science , 0548

Localisation : Collection 1er étage

informatique # logique de programmation # algorithme de démonstrtion de problème # déduction # incertitude # logique modale # probabilités

00B25 ; 68-06 ; 68T15 ; 68N17 ; 68T37

... Lire [+]

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

- 723 p.
ISBN 978-0-8218-0479-7

DIMACS series in discrete mathematics and theoretical computer science , 0035

Localisation : Disparu

algorithme de calcul # calcul des propositions # classe de complexité # intelligence artificielle # logique # mathématique de l'économie # optimisation combinatoire # problème de satisfaction # programmation mathématique # réécriture de système # théorie de la décision # théorie de preuve # économie mathématique

03B05 ; 68Q42 ; 68T15 ; 90A05 ; 90C27

... Lire [+]

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

- 318 p.
ISBN 978-0-8218-0916-7

DIMACS series in discrete mathematics and theoretical computer science , 0043

Localisation : Collection 1er étage

algorithmes # biomathématique # informatique théorique # intelligence artificielle # langage formel # mathématique économique # optimisation # processus stochastique # théorie de la decision # théorie du controle # économétrie

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

... Lire [+]

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

- 426 p.
ISBN 978-3-540-11490-1

Lecture notes in computer science , 0134

Localisation : Collection 1er étage

analyse des programmes # langages de programmation # logique # métathéorie # systèmes formels

68N05 ; 68N15 ; 68T15

... 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.

- 249 p.
ISBN 978-0-8218-1004-0

DIMACS series in discrete mathematics and theoretical computer science , 0046

Localisation : Collection 1er étage

algorithmique # classe de complexité # communication optique # complexité # informatique théorique # mathématique économique # mathématiques discrètes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche opérationnelle # réécriture de système # théorie de la décision

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

... Lire [+]

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

- 386p.
ISBN 978-3-540-56944-2

Lecture notes in artificial intelligence , 0698

Localisation : Colloque 1er étage (STPE)

informatique # logique de programmation # algorithme de démonstration de théorème # intelligence artificielle # raisonnement automatisé

00B25 ; 68-06 ; 68N17 ; 68T15 ; 68T27

... Lire [+]

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


ISBN 978-0-12-175520-1

A.p.i.c. studies in data proceeding , 0016

Localisation : Colloque 1er étage (DEBR)

68DXX ; 68F10 ; 68Q45 ; 68SXX ; 68T15

... Lire [+]

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

- 275 p.
ISBN 978-3-540-60156-2

Lecture notes in computer science , 0958

Localisation : Collection 1er étage

2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de preuve # fibrage logique # k-algèbre # logique linéaire # modèle sous défini # modélisation de scénario d'agent coopérant # méthode d'apprentissage inductif empirique # méthode de planification déductive # planification de preuve du théorème de la valeur intermédiai # programmation algébrique # programme d'optimisation automatique # propagation de contrainte mathématique # raisonnement basé sur la règle # résolution de problème # résolveur uniCalc # spécification algébrique # structure d'idéal # théorie = signature + proposition utilisée comme type # théorie des matroïdes # traitement sous symbolique # transformation symbolique # utilisation de plan de preuve 2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de ...

38T20 ; 65-06 ; 68P05 ; 68Q40 ; 68T15

... Lire [+]

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

- 470p.
ISBN 978-3-540-61937-6

Lecture notes in computer science , 1166

Localisation : Collection 1er étage

informatique # circuits integrés # conception assistée par ordinateur # démonstration automatique de théorème # langage formel # optimisation

00B25 ; 68-06 ; 68U07 ; 68T15 ; 68Q45

... Lire [+]

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

- 348 p.
ISBN 978-3-540-62005-1

Lecture notes in computer science , 1176

Localisation : Collection 1er étage

algorithme géométrique # génération d'image # géométrie de l'informatique # géométrie discrète # image informatique # informatique graphique # informatique théorique # modélisation # modélisation d'objet # méthodologie du calcul informatique # reconnaissance de forme # représentation d'objet # simulation # transformation géométrique

68Qxx ; 68T15 ; 68U20 ; 68Uxx

... Lire [+]

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

- 486p.
ISBN 978-3-540-63166-8

Lecture notes in computer science , 1254

Localisation : Collection 1er étage

informatique # méthodes de vérification assistée par ordinateur # logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction

00B25 ; 68-06 ; 68Q60 ; 68T15 ; 68T35

... Lire [+]

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

- 450p.
ISBN 978-3-540-60045-9

Lecture notes in computer science , 0939

Localisation : Collection 1er étage

infoprmatique # vérification assistée par ordinateur # logique de programmation # langage formel # déduction # intelligence artificielle # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68N17 ; 68N19 ; 68T15 ; 68Q60

... Lire [+]

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

- 504p.
ISBN 978-3-540-56922-0

Lecture notes in computer science , 0697

Localisation : Collection 1er étage

informatique # vérification assistée par ordinateur # simulation nummérique # logique de programmation # softwere pour ingénieurs # algorithme de démonstration de théorème # symmetrie

00B25 ; 68-06 ; 68T15 ; 68N30 ; 68Q60

... Lire [+]

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

- 487p.
ISBN 978-3-540-55179-9

Lecture notes in computer science , 0575

informatique # méthodes de verification assistée par ordinateur # langage logique # langage formel # algorithme de démonstration de théorèmes # controleurs hardwere # protocole de communication # système en temps réel

00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15

... Lire [+]

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

- 582p.
ISBN 978-3-540-67770-3

Lecture notes in computer science , 1855

Localisation : Collection 1er étage

informatique # méthode de vérification assistée par ordinateur # logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction

00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15

... Lire [+]

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

- 506p.
ISBN 978-3-540-66202-0

Lecture notes in computer science , 1633

Localisation : Collection 1er étage

informatique # méthodes de vérification assistée par ordinateur # spécification # modélisation de systèmes # algorithme de démonstration de théorèmes

00B25 ; 68-06 ; 68Q60 ; 68T15

... Lire [+]

Z