Výsledky vyhledávání - "[INFO:INFO_SC] Computer Science/Symbolic Computation"

The ABC of Creative Telescoping --- Algorithms, Bounds, Complexity

Autoři: Chyzak, Frédéric

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, télescopage créatif

Dostupnost: http://tel.archives-ouvertes.fr/tel-01069831
http://tel.archives-ouvertes.fr/docs/01/06/98/31/PDF/h.pdf

Résolution de systèmes bivariés et topologie de courbes planes

Autoři: Bouzidi, Yacine

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_CG] Computer Science/Computational Geometry, [INFO:INFO_CG] Informatique/Géométrie algorithmique, Résolution de systèmes bivariés, topologie de courbe, Représentation Univariée Rationnelle

Dostupnost: http://tel.archives-ouvertes.fr/tel-00979707
http://tel.archives-ouvertes.fr/docs/00/97/97/07/PDF/Thesis.pdf

Résolution de systèmes polynomiaux et cryptologie sur les courbes elliptiques

Autoři: Huot, Louise

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, base de gröbner, systèmes polynomiaux, courbes elliptiques, problème du logarithme discret, systèmes avec symétries, cryptanalyse algébrique

Dostupnost: http://tel.archives-ouvertes.fr/tel-00925271
http://tel.archives-ouvertes.fr/docs/00/92/52/71/PDF/these.pdf

Méthodes effectives en théorie de Galois différentielle et applications à l'intégrabilité de systèmes dynamiques

Autoři: Weil, Jacques-Arthur

Témata: [MATH:MATH_CA] Mathematics/Classical Analysis and ODEs, [MATH:MATH_CA] Mathématiques/Analyse classique, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [NLIN:NLIN_SI] Nonlinear Sciences/Exactly Solvable and Integrable Systems, [NLIN:NLIN_SI] Science non linéaire/Systèmes Solubles et Intégrables, [MATH:MATH_MP] Mathematics/Mathematical Physics, [MATH:MATH_MP] Mathématiques/Physique mathématique, [MATH:MATH_RT] Mathematics/Representation Theory, [MATH:MATH_RT] Mathématiques/Théorie des représentations, [PHYS:HTHE] Physics/High Energy Physics - Theory, [PHYS:HTHE] Physique/Physique des Hautes Energies - Théorie, [INFO:INFO_MS] Computer Science/Mathematical Software, [INFO:INFO_MS] Informatique/Logiciel mathématique, Calcul Formel, Théorie de Galois Différentielle, Résolution Symbolique d'Equations Différentielles Linéaires, Intégrabilité, Systèmes Hamiltoniens, Intégrales Premières, Système Dynamiques, Applications en mécanique statistique

Dostupnost: http://tel.archives-ouvertes.fr/tel-00933064
http://tel.archives-ouvertes.fr/docs/00/93/30/64/PDF/habilitation_JA_WEIL.pdf

Optimisation polynomiale et variétés polaires : théorie, algorithmes, et implantations

Autoři: Greuet, Aurélien

Témata: [MATH:MATH_OC] Mathematics/Optimization and Control, [MATH:MATH_OC] Mathématiques/Optimisation et contrôle, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, calcul formel et symbolique, algorithmes, programmation semi-définie, optimisation globale, géométrie réelle

Dostupnost: http://tel.archives-ouvertes.fr/tel-00922805
http://tel.archives-ouvertes.fr/docs/00/92/28/05/PDF/these.pdf

Combinatoire analytique et modèles d'urnes

Autoři: Morcrette, Basile

Témata: [MATH:MATH_CO] Mathematics/Combinatorics, [MATH:MATH_CO] Mathématiques/Combinatoire, [INFO:INFO_DM] Computer Science/Discrete Mathematics, [INFO:INFO_DM] Informatique/Mathématique discrète, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [MATH:MATH_PR] Mathematics/Probability, [MATH:MATH_PR] Mathématiques/Probabilités, combinatoire analytique, probabilités et lois limites, urnes de Pólya et applications, algorithmique et calcul formel, systèmes différentiels et équations aux dérivées partielles

Dostupnost: http://tel.archives-ouvertes.fr/tel-00843046
http://tel.archives-ouvertes.fr/docs/00/84/30/46/PDF/these_web.pdf

Modélisation et analyse de la sécurité dans un système de stockage pair-à-pair

Autoři: Chaou, Samira

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, modélisation et vérification formelles, systèmes pair-à-pair, stockage distribué, sécurité

Dostupnost: http://tel.archives-ouvertes.fr/tel-00877094
http://tel.archives-ouvertes.fr/docs/00/87/70/94/PDF/2012EVRY0043.pdf

Contributions à l'algorithmique détendue et à la résolution des systèmes polynomiaux

Autoři: Lebreton, Romain

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, Algorithme détendu, résolution de systèmes polynomiaux, remontée p-adique

Dostupnost: http://tel.archives-ouvertes.fr/tel-00780618
http://tel.archives-ouvertes.fr/docs/00/78/06/18/PDF/Thesis.pdf

ScaleSem : model checking et web sémantique

Autoři: Gueffaz, Mahdi

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_WB] Computer Science/Web, [INFO:INFO_SE] Computer Science/Software Engineering, Méthodes formelles, Model Checking, Model Checker NuSMV, Model Checker SPIN, Logique temporelle, Requête en logique temporelle (Query Checking), Web sémantique, Graphe sémantique, Ontologie, RDF\OWL, Logique temporelle LTL, Logique temporelle CTL, Évolution d'ontologie, Incohérence d'ontologie, Vérification de graphes sémantiques

Dostupnost: http://tel.archives-ouvertes.fr/tel-00801730
http://tel.archives-ouvertes.fr/docs/00/86/96/47/PDF/these_A_GUEFFAZ_Mahdi_2012.pdf

Algorithmique semi-numérique rapide des séries de Tchebychev

Autoři: Benoit, Alexandre

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, calcul formel, série de Tchebychev, fonctions D-finies, algorithmes rapides, série de Fourier généralisées, fraction d'opérateurs d'Ore

Dostupnost: http://pastel.archives-ouvertes.fr/pastel-00726487
http://pastel.archives-ouvertes.fr/docs/00/72/64/87/PDF/theseAlex.pdf

Jeux de typage et analyse de lambda-grammaires non-contextuelles

Autoři: Bourreau, Pierre

Témata: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_GT] Informatique/Informatique et théorie des jeux, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, lambda-calcul, logique, grammaires catégorielles, grammaires formelles, analyse et génération de textes, Datalog, programmation logique

Dostupnost: http://tel.archives-ouvertes.fr/tel-00733964
http://tel.archives-ouvertes.fr/docs/00/73/39/64/PDF/these.pdf

Déterminisme et Confluence dans des systèmes concurrents et synchrones

Autoři: Dogguy, Mehdi

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, concurrence, déterminisme, confluence, calculs de processus, synchrone, signaux, canaux

Dostupnost: http://tel.archives-ouvertes.fr/tel-00690512
http://tel.archives-ouvertes.fr/docs/00/69/05/12/PDF/TheseMehdiDogguy.pdf

Résultant déterminantiel et applications

Autoři: Ba, Elimane

Témata: [MATH:MATH_AC] Mathematics/Commutative Algebra, [MATH:MATH_AC] Mathématiques/Algèbre commutative, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, Résultant, variétés déterminantielles, élimination

Dostupnost: http://tel.archives-ouvertes.fr/tel-00651722
http://tel.archives-ouvertes.fr/docs/00/65/17/22/PDF/theseelimane.pdf

Contributions à la résolution des systèmes algébriques : réduction, localisation, traitement des singularités ; implantations

Autoři: Berthomieu, Jérémy

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, [MATH:MATH_AG] Mathematics/Algebraic Geometry, [MATH:MATH_AG] Mathématiques/Géométrie algébrique, Résolution des systèmes algébriques, algorithmes, nombres p-adiques, factorisation de polynômes

Dostupnost: http://tel.archives-ouvertes.fr/tel-00666435
http://tel.archives-ouvertes.fr/docs/00/67/19/68/PDF/Main.pdf

Contributions à la résolution des systèmes algébriques : réduction, localisation, traitement des singularités ; implantations

Autoři: Berthomieu, Jérémy

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, [MATH:MATH_AG] Mathematics/Algebraic Geometry, [MATH:MATH_AG] Mathématiques/Géométrie algébrique, Résolution des systèmes algébriques, algorithmes, nombres p-adiques, factorisation de polynômes

Dostupnost: http://pastel.archives-ouvertes.fr/pastel-00670436
http://pastel.archives-ouvertes.fr/docs/00/67/19/67/PDF/Main.pdf

Décodage en liste et application à la sécurité de l'information

Autoři: Barbier, Morgan

Témata: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_IT] Computer Science/Information Theory and Coding, [MATH:MATH_IT] Mathematics/Information Theory, Théorie des codes, cryptographie, stéganographie

Dostupnost: http://tel.archives-ouvertes.fr/tel-00677413
http://tel.archives-ouvertes.fr/docs/00/67/74/13/PDF/these.pdf

Décodage en liste et application à la sécurité de l'information

Autoři: Barbier, Morgan

Témata: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_IT] Computer Science/Information Theory and Coding, [MATH:MATH_IT] Mathematics/Information Theory, [INFO:INFO_SC] Computer Science/Symbolic Computation, Théorie des codes, cryptographie, stéganographie

Dostupnost: http://pastel.archives-ouvertes.fr/pastel-00677421
http://pastel.archives-ouvertes.fr/docs/00/67/74/21/PDF/these.pdf

Modélisation et validation des systèmes informatiques complexes

Autoři: Kanso, Bilal

Témata: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, Systèmes à base de composants, Opérateurs d'intégration, Modèle de traces . Fonctions de transfert

Dostupnost: http://tel.archives-ouvertes.fr/tel-00650258
http://tel.archives-ouvertes.fr/docs/00/65/02/58/PDF/root.pdf

Autour de l'évaluation numérique des fonctions D-finies

Autoři: Mezzarobba, Marc

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, calcul formel, fonctions spéciales, fonctions D-finies, calcul numérique certifié, équations différentielles linéaires, points singuliers réguliers, récurrences linéaires, asymptotique, arithmétique multi-précision, séries majorantes, scindage binaire, bit burst, séries de Tchebycheff

Dostupnost: http://pastel.archives-ouvertes.fr/pastel-00663017
http://pastel.archives-ouvertes.fr/docs/00/66/30/17/PDF/these-mezzarobba-20120124.pdf
http://pastel.archives-ouvertes.fr/docs/00/66/30/17/ANNEX/mezzarobba-expose-soutenance-these.pdf

Méthodes algébriques robustes pour le calcul géométrique

Autoři: Mantzaflaris, Angelos

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_CG] Computer Science/Computational Geometry, [INFO:INFO_IA] Computer Science/Computer Aided Engineering, isolation des racines, fractions continues, point singulier isolé, déflation de racine, arrangement des courbes, ensemble semi-algébrique, diagramme de Voronoi, algorithme de sous-division

Dostupnost: http://tel.archives-ouvertes.fr/tel-00651672
http://tel.archives-ouvertes.fr/docs/00/65/16/72/PDF/thesis_am.pdf
http://tel.archives-ouvertes.fr/docs/00/65/16/72/IMG/thesis.jpg