Suchergebnisse - [INFO:INFO_SC] Computer Science/Symbolic Computation~

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

Autoren: Bouzidi, Yacine

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Bourreau, Pierre

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Huot, Louise

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Weil, Jacques-Arthur

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Morcrette, Basile

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Chyzak, Frédéric

Schlagwörter: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, télescopage créatif

Verfügbarkeit: 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

Autoren: Dogguy, Mehdi

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Berthomieu, Jérémy

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Berthomieu, Jérémy

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Kanso, Bilal

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Joldes, Mioara Maria

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Greuet, Aurélien

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Chaou, Samira

Schlagwörter: [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é

Verfügbarkeit: 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

Autoren: Lebreton, Romain

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Gueffaz, Mahdi

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Ba, Elimane

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Barbier, Morgan

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Barbier, Morgan

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Mantzaflaris, Angelos

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Ghorbal, Khalil

Schlagwörter: [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

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