Search Results - [INFO:INFO_SC] Computer Science/Symbolic Computation

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

Authors: Bouzidi, Yacine

Subject Terms: [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

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

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

Authors: Bourreau, Pierre

Subject Terms: [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

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

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

Authors: Huot, Louise

Subject Terms: [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

Availability: 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

Authors: Weil, Jacques-Arthur

Subject Terms: [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

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

Combinatoire analytique et modèles d'urnes

Authors: Morcrette, Basile

Subject Terms: [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

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

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

Authors: Chyzak, Frédéric

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

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

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

Authors: Dogguy, Mehdi

Subject Terms: [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

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

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

Authors: Berthomieu, Jérémy

Subject Terms: [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

Availability: 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

Authors: Berthomieu, Jérémy

Subject Terms: [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

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

Modélisation et validation des systèmes informatiques complexes

Authors: Kanso, Bilal

Subject Terms: [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

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

Approximations polynomiales rigoureuses et applications

Authors: Joldes, Mioara Maria

Subject Terms: [INFO:INFO_AO] Computer Science/Computer Arithmetic, [INFO:INFO_AO] Informatique/Arithmétique des ordinateurs, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, Calcul rigoureux, Calculs validés, Erreur d'approximation, Approximations polynomiales rigoureuses, Series de Chebyshev, Modèles de Taylor, Modèles de Chebyshev, Arithmétique Flottante, Fonctions D-finies, Méthodes d'encadrement, Évaluation des fonctions, Opérateurs Matériels, Field Programmable Gate Arrays

Availability: http://tel.archives-ouvertes.fr/tel-00657843
http://tel.archives-ouvertes.fr/docs/00/67/43/80/PDF/JOLDES_Mioara_-_Maria_2011_These.pdf

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

Authors: Greuet, Aurélien

Subject Terms: [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

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

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

Authors: Chaou, Samira

Subject Terms: [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é

Availability: 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

Authors: Lebreton, Romain

Subject Terms: [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

Availability: 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

Authors: Gueffaz, Mahdi

Subject Terms: [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

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

Résultant déterminantiel et applications

Authors: Ba, Elimane

Subject Terms: [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

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

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

Authors: Barbier, Morgan

Subject Terms: [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

Availability: 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

Authors: Barbier, Morgan

Subject Terms: [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

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

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

Authors: Mantzaflaris, Angelos

Subject Terms: [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

Availability: 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

Analyse Statique de Programmes Numériques: Ensembles Affines Contraints

Authors: Ghorbal, Khalil

Subject Terms: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_RO] Computer Science/Operations Research, abstract interpretation, numerical domains, affine arithmetic, affine forms, affine sets, zonotopes, support function, convex analysis

Availability: http://pastel.archives-ouvertes.fr/pastel-00643442
http://pastel.archives-ouvertes.fr/docs/00/64/34/42/PDF/thesis-KG.pdf