WorldCat Identities

Rougemont, Michel de 1953-

Overview
Works: 26 works in 59 publications in 3 languages and 501 library holdings
Genres: Academic theses 
Roles: Thesis advisor, Author, Opponent, Other
Classifications: QA267.7, 511.3
Publication Timeline
.
Most widely held works by Michel de Rougemont
Logic and complexity by Richard Lassaigne( Book )

16 editions published between 2003 and 2004 in English and German and held by 259 WorldCat member libraries worldwide

Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as new ideas brought by complexity theory such as NP-completeness, randomness and approximations, providing a better understanding for efficient algorithmic solutions to problems. Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic. Recursive functions, Turing computability and decidability are also examined. - Descriptive Complexity - looking at the relationship between definitions of problems, queries, properties of programs and their computational complexity. - Approximation - explaining how some optimization problems and counting problems can be approximated according to their logical form. Logic is important in Computer Science, particularly for verification problems and database query languages such as SQL. Students and researchers in this field will find this book of great interest
Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul by Richard Lassaigne( Book )

6 editions published in 1993 in French and held by 98 WorldCat member libraries worldwide

Logique et complexité by Richard Lassaigne( Book )

4 editions published in 1996 in French and Undetermined and held by 89 WorldCat member libraries worldwide

Étude de procédés de réduction de l'acide salicylique en aldéhyde salicylique by Michel de Rougemont( Book )

4 editions published in 1975 in French and held by 10 WorldCat member libraries worldwide

Second-order and inductive definability on finite structures by Michel de Rougemont( )

1 edition published in 1983 in English and held by 4 WorldCat member libraries worldwide

Approximation dans les bases de données contraintes by David Gross-Amblard( Book )

1 edition published in 2000 in French and held by 3 WorldCat member libraries worldwide

Le modèle des bases de données contraintes, introduit par Kanellakis, Kuper et Revesz [KKR95] permet la prise en compte d'informations géométriques, comme les données cartographiques. Les objets géométriques sont représentés comme la solution d'un système d'équations ou d'inéquations, sans limitation sur leur dimension. La compléxité en temps de l'évaluation des requêtes du premier ordre ou du volume est raisonnable lorsque la dimension des objets est fixe. Lorsque la dimension des objets est une variable du problème, cette complexité est prohibitive (globalement exponentielle dans la dimension). Dans cette thèse, nous nous intéressons à l'obtention d'algorithmes d'évaluation en temps polynomial dans la dimension, par des techniques d'approximation probabiliste. En étendant les travaux de Dyer, Frieze et Kannan [DFK91], nous obtenons : - un algorithme d'échantillonnage de points avec distribution presque uniforme dans l'ensemble défini par une requête du premier ordre ; - un algorithme estimant le volume et la forme de cet ensemble [GdR00]. Sous certaines conditions, le volume peut être estimé sans évaluation préalable de la requête. Nous considérons ensuite la robustesse des relations topologiques entre objets après utilisation d'algorithmes d'approximation. Enfin, nous présentons un prototype de base de données spatiales mettant en oeuvre certains de ces algorithmes probabilistes sur des données réelles
DEFINISSABILITE DE REQUETES AVEC DES FONCTIONS UNE CONTRIBUTION A LA THEORIE DE LA COMPLEXITE DESCRIPTIVE by BERND LOESCHER( Book )

2 editions published in 1997 in French and held by 3 WorldCat member libraries worldwide

1. NOUS CARACTERISONS LA CLASSE DES SPECTRES DES FORMULES DU PREMIER ORDRE SUR LE VOCABULAIRE RESTREINT A UN SEUL SYMBOLE DE FONCTION UNAIRE. PAR CONSEQUENT, CETTE CLASSE EST CLOSE PAR COMPLEMENT (REPONSE PARTIELLE AUX PROBLEMES D'ASSER ET DE FAGIN), ET LES CLASSES DE REQUETES DEFINISSABLES EN LOGIQUE EXISTENTIELLE DU SECOND ORDRE AVEC RESPECTIVEMENT UN ET DEUX QUANTIFICATEURS SUR DES FONCTIONS UNAIRES SONT SEPAREES. 2. NOUS ANALYSONS LE POUVOIR D'EXPRESSION DE LA LOGIQUE EXISTENTIELLE MONADIQUE DU SECOND ORDRE (NP MONADIQUE) AVEC DIFFERENTES RELATIONS PREDEFINIES, EN PARTICULIER UNE GRILLE CARREE. NOUS POUVONS RAMENER DES QUESTIONS DE DEFINISSABILITE EN LOGIQUE EXISTENTIELLE DU SECOND ORDRE D'ARITES SUPERIEURES A DES QUESTIONS EQUIVALENTES EN NP MONADIQUE AVEC UNE GRILLE CARREE PREDEFINIE. A) NOUS DISCUTONS LA QUESTION DE LA DEFINISSABILITE DE LA CONNEXITE DE GRAPHES EN NP MONADIQUE AVEC UNE GRILLE CARREE PREDEFINIE. DES CONSEQUENCES INATTENDUES D'UNE REPONSE POSITIVE SONT DEMONTREES. D'AUTRE PART, CERTAINS RESULTATS AYANT JUSQU'ALORS UNIQUEMENT DES PREUVES CONSIDEREES COMME DIFFICILES SONT DES CONSEQUENCES D'UNE REPONSE NEGATIVE, EN PARTICULIER LES SEPARATIONS DANS LA HIERARCHIE DE M. AJTAI. B) NOUS ETUDIONS LA QUESTION D'UNE SEPARATION DES CLASSES DE REQUETES DEFINISSABLES EN LOGIQUE EXISTENTIELLE DU SECOND ORDRE AVEC QUANTIFICATION SUR DES FONCTIONS UNAIRES ET DE NP MONADIQUE SUR DES GRILLES CARREES COLOREES. NOUS MONTRONS QUE CETTE SEPARATION IMPLIQUE L'EXISTENCE D'UNE NP-PROPRIETE DE GRAPHES QUI N'EST PAS DEFINISSABLE EN QUANTIFIANT SUR UNE SEULE RELATION BINAIRE (UNE VIEILLE QUESTION OUVERTE POSEE PAR R. FAGIN). EN PARTICULIER, L'EXISTENCE D'UNE PROPRIETE D'ENSEMBLES CARRES COLORES QUI EST DEFINISSABLE AVEC QUANTIFICATION SUR DES FONCTIONS UNAIRES, MAIS PAS AVEC SEULEMENT DEUX FONCTIONS, IMPLIQUE UNE REPONSE A LA QUESTION DE R. FAGIN
Communication et connaissance : supports et médiations à l'âge de l'information by Jean-Gabriel Ganascia( )

1 edition published in 2020 in French and held by 3 WorldCat member libraries worldwide

Depuis 25 ans, les technologies de l'information et de communication ont transformé le monde. En quelques années, le commerce, la finance, les échanges, l'école, le travail, la culture, la politique, etc. se sont totalement modifiés du fait de leur développement. Qu'on se remémore quelques-unes des étapes les plus marquantes de ces évolutions : apparition des mini puis des micro-ordinateurs, nouvelles interfaces avec utilisation de la souris et métaphore du bureau, essor des hypermédia, popularisation du Web, nomadisme généralisé, informatique vestimentaire, intelligence d'ambiance... Les changements ont été imaginés, conçus, développés, expérimentés dans des laboratoires de recherche. Partout, la recherche a pris, et continue de prendre, une part déterminante. Or, il est parfois difficile de discerner ce qui relève de la recherche fondamentale et du travail universitaire, de ce qui correspond à l'innovation industrielle. Qu'est-ce qui distingue la « R. et D. » -- la recherche et développement Industriel -- de la recherche universitaire ? Quelle part cette dernière prend-elle exactement dans l'innovation ? Quel rôle sera-t-elle amenée à jouer dans les prochaines années ? Telles sont les questions auxquelles nous avons voulu répondre en publiant un ouvrage destiné aux ingénieurs, aux chercheurs, aux décideurs et, plus généralement, à l'honnête homme du début du xxie siècle qui souhaite comprendre le sens des évolutions technologiques actuelles
Approximation dynamique de clusters dans un graphe social : méthodes et applications by Guillaume Vimont( )

2 editions published in 2019 in French and held by 3 WorldCat member libraries worldwide

Calcul et vérification parallèles de problèmes d'algèbre linéaire by Sovanna Tan( Book )

1 edition published in 1994 in French and held by 3 WorldCat member libraries worldwide

Le sujet de cette thèse est l'étude des problèmes d'algèbre linéaire du point de vue de leur calcul et de leur vérification. Les problèmes de calcul sont dans nc2. On dit que leur vérification est facile lorsqu'elle est dans nc1. On présente différents modèles de vérification, dont les modèles probabilistes comme les testeurs d'instance (Blum), les preuves interactives et les preuves transparentes, puis des modèles de calculs parallèles. On décrit ensuite la classe Det des problèmes réductibles au calcul du déterminant d'une matrice d'entiers. Alors que certains problèmes sont faciles à vérifier, le problème de vérification du déterminant v-Det est difficile à calculer dans le sens suivant: si v-Det est dans nc1 alors les classes de complexité l et nl sont égales. On isole la classe v-Det des problèmes réductibles à v-Det qui contient d'autres problèmes difficiles. On montre ensuite l'existence de testeurs d'instance parallèles nc1 pour chaque programme p qui calcule une fonction complète f dans la classe Det et on donne une procédure pour les construire. Par définition, un testeur d'instance utilise p comme oracle pour vérifier avec une grande probabilité que p calcule f effectivement. Les testeurs que nous introduisons, vérifient en parallèle avec une probabilité 1. La dernière partie de l'étude est consacrée au problème de l'implantation de ces algorithmes sur une machine massivement parallèle, la connection machine 2. On s'attache à montrer l'importance des algorithmes de routage probabilistes pour obtenir des algorithmes dont le comportement suit l'analyse théorique de la complexité
MODELISATION ET RESOLUTION DE PROBLEMES INDUSTRIELS D'OPTIMISATION COMBINATOIRE by Arman Voskanian( Book )

1 edition published in 1997 in French and held by 2 WorldCat member libraries worldwide

DANS LE CADRE DE CETTE THESE, NOUS DEFINISSONS DEUX NIVEAUX DE FORMALISATION D'UN PROBLEME REEL D'OPTIMISATION COMBINATOIRE : LE MODELE DE HAUT NIVEAU ET LE MODELE DE BAS NIVEAU, LE PREMIER ETANT DESTINE A UNE ANALYSE DU PROBLEME, ET LE DEUXIEME A L'IMPLEMENTATION DE L'ALGORITHME DE RESOLUTION. L'OBJECTIF PRINCIPAL DE CE TRAVAIL EST DE PROPOSER DES REGLES DE CHOIX DE LA METHODE DE RESOLUTION ET DU MODELE DE BAS NIVEAU A PARTIR DE PROPRIETES DECRIVANT LE MODELE DE HAUT NIVEAU. NOUS ETUDIONS LA COMPLEXITE THEORIQUE DES PROBLEMES CORRESPONDANT A CERTAINS MODELES DE BAS NIVEAU ET PROUVONS LEUR NON-APPROXIMABILITE, CE QUI MONTRE LA NECESSITE DE TROUVER UNE METHODE DE RESOLUTION ET UN MODELE DE BAS NIVEAU APPROPRIES POUR LES RESOUDRE. SUR L'EXEMPLE DE TROIS PROBLEMES INDUSTRIELS DE GRANDE TAILLE QUE NOUS RESOLVONS AVEC SUCCES, NOUS ILLUSTRONS COMMENT CHOISIR UNE TELLE METHODE ET UN TEL MODELE. APRES AVOIR FORMALISE UN ENSEMBLE DE PROPRIETES DE PROBLEME, NOUS INTRODUISONS DES REGLES, DESTINEES A GUIDER LE CHERCHEUR DANS LE CHOIX DE LA METHODE ET DU MODELE, ET DONT CES PROPRIETES SONT LES PREMISSES. LES REGLES SONT VALIDEES SUR UN ENSEMBLE DE 23 PROBLEMES REELS COLLECTES DANS LA LITTERATURE DU DOMAINE
Trust based recommendations in multi layer networks by Claudia Hess( Book )

2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide

Durant les dernières années, on a pu constater le succès des réseaux sociaux d'Internet avec un nombre considérable d'utilisateurs. Friendster.com, par exemple, a plus de 40 millions d'utilisateurs. Récemment, ces réseaux sociaux sont utilisés comme base pour des systèmes de recommandation. Surtout les techniques de recommandation qui utilisent des réseaux de confiance ont donné des résultats très précis. La contribution principale de cette thèse consiste dans une approche qui permet de produire des recommandations basées sur la confiance pour des objets qui sont associés par des (hyper-)liens. C'est pourquoi un deuxième type de réseau, un réseau de documents, est considéré à côté du réseau social. Ce réseau de documents est par exemple établi par les citations entre des publications scientifiques ou les liens entre les pages Web. Les deux réseaux, et des réseaux supplémentaires comme des réseaux d'organisation sont intégrés dans un réseau à plusieurs strates. Dans une telle architecture, les mesures de visibilité sur le réseau de documents qui considèrent un document comme très visible s'il est cité par beaucoup de documents visibles, peuvent être combinées avec les recommandations basées sur les relations de confiance. La thèse décrit différentes mesures de visibilité renforcées par la confiance. De plus, une approximation de ces mesures est développée afin de manier l'incertitude qui est introduit par les copies de documents. Les mesures sont évaluées en simulation. Le système de recommandation SPRec implémente l'architecture à deux strates et génère des recommandations personnalisées par une application Web
TRANSMISSION MULTIMEDIA FIABLE SUR INTERNET by Kavé Salamatian( Book )

1 edition published in 1999 in French and held by 2 WorldCat member libraries worldwide

LA TRANSMISSION DE FLOT MULTIMEDIA SUR INTERNET EST MAINTENANT UNE REALITE QUI EST DEJA IMPLANTES DANS NOS MICRO-ORDINATEURS. NEANMOINS, LA RECEPTION DES FLOTS MULTIMEDIA AVEC UN NIVEAU DE QUALITE AGREABLE A L'UTILISATEUR FINAL, NECESSITE LA VALIDATION DE CONTRAINTES PARTICULIERES, QUI FORMENT UN NOUVEAU DEFI POUR LES RESEAUX. L'INTERNET EST UN RESEAU QUI ASSURE LA TRANSMISSION DE DONNEES SANS AUCUNE GARANTIE DE QUALITE. LE RESEAU TRANSMET LES PAQUETS QUI LUI SONT SOUMIS AU MIEUX SANS AUCUNE LIMITE DE DELAI DE TRANSMISSION, NI AUCUNE GARANTIE DE RECEPTION. LA TRANSMISSION SUR RESEAU RESTE UN PROBLEME DE COMMUNICATION ET IL EXISTE UN CADRE GENERAL D'ETUDE DES SYSTEMES DE COMMUNICATION : LA THEORIE DE L'INFORMATION. NOTRE AMBITION EST DE RECENTRER LA PROBLEMATIQUE DE LA TRANSMISSION D'INFORMATION SUR LES RESEAUX DANS LE CADRE PLUS GENERAL DE LA THEORIE DES COMMUNICATIONS. LA THEORIE DE L'INFORMATION PERMET DE DETERMINER L'ESPACE DES DEBITS ACCESSIBLES SUIVANT LES DIFFERENTS MODELES DE CANAL UTILISES. NOUS ETENDONS AUX CANAUX RESEAUX (POINT A POINT ET MULTICAST) LES RESULTATS DE LA THEORIE DE L'INFORMATION (CAPACITE, BORNES DE CODAGES,). NOUS PRESENTONS DES SCHEMAS DE CODAGE APPLICABLE EN PRATIQUE QUI PERMETTENT DE COMPENSER LES PERTES SUBITES PAR LA TRANSMISSION. NOUS NOUS INTERESSONS ENSUITE AU CODAGE PRIORITAIRE. DANS CETTE APPROCHE CERTAINES PARTIES DU FLOT TRANSMIS SONT PLUS PROTEGEES QUE D'AUTRES. NOUS MONTRONS LA RELATION INTRINSEQUE DE CETTE APPROCHE AVEC LE CODAGE ADAPTE A L'EMISSION SUR UN CANAL MULTICAST. NOUS REMETTONS EN CAUSE LA SEPARATION DU CODAGE SOURCE ET CANAL, CAR ELLE NE PERMET D'ACCEDER A DES PERFORMANCES OPTIMALES. NOUS ANALYSONS LE CODAGE CONJOINT SOURCE/CANAL DANS LE CADRE DE LA TRANSMISSION MULTIMEDIA SUR INTERNET. UN MECANISME D'OPTIMISATION CONJOINTE DES PARAMETRES DU CODAGE SOURCE ET DU CODAGE CANAL EST APPLIQUE QUI PERMET DE MINIMISER LA DISTORSION MOYENNE OBSERVE A LA RECEPTION TOUT EN BORNANT LA PROBABILITE QUE CETTE DISTORSION SOIT SUPERIEURE A UN SEUIL. UNE PROCEDURE D'ADAPTATION DE L'APPLICATION AU RESEAU QUI UTILISE CE MODELE EST PROPOSEE
VERIFICATION PROBABILISTE DE PROBLEMES DE GRAPHES : APPLICATION A LA PLANIFICATION AVEC INCERTITUDES by Juan Francisco Diaz-Frias( Book )

1 edition published in 1993 in French and held by 2 WorldCat member libraries worldwide

DANS CETTE THESE NOUS AVONS ETUDIE LE ROLE QUE PEUT JOUER LE HASARD POUR LE DEVELOPPEMENT DE VERIFICATEURS EFFICACES. NOUS NOUS SOMMES INTERESSES D'UN POINT DE VUE THEORIQUE A LA VERIFICATION EFFICACE DE QUELQUES PROBLEMES AVEC INCERTITUDES SUR LES GRAPHES ET, D'UN POINT DE VUE PRATIQUE, A L'ETUDE D'UNE APPLICATION DANS LE DOMAINE DE LA PLANIFICATION AVEC INCERTITUDES. LES TROIS PREMIERS CHAPITRES DE CETTE THESE PRESENTENT LES DIFFERENTES NOTIONS DE VERIFICATION ET EN PARTICULIER LES PREUVES INTERACTIVES. LES CHAPITRES SUIVANTS DECRIVENT LES APPORTS PRINCIPAUX DE CETTE THESE: 1) LA CONSTRUCTION DE VERIFICATEURS PROBABILISTES EFFICACES POUR DES PROBLEMES DE COMPTAGE ET DE FIABILITE DANS UN GRAPHE. IL FAUT REMARQUER LA GENERALITE DE LA TECHNIQUE SOUS-JACENTE UTILISEE; 2) LA DETERMINATION DE BORNES SUPERIEURES AU NOMBRE D'ECHANGES POUR VERIFIER CES PROBLEMES, BORNES BIEN MEILLEURES QUE CELLES QUE L'ON TROUVE POUR LES VERIFICATEURS CONSTRUITS DE MANIERE INDIRECTE (C.A.D., EN UTILISANT LE PROTOCOLE EXISTANT POUR =SAT); 3) LA DEFINITION D'UN CADRE THEORIQUE POUR LA PLANIFICATION AVEC INCERTITUDES, OU LES CONCEPTS DE ROBUSTESSE ET PERFORMANCES D'UNE STRATEGIE SONT DEFINIS; 4) L'ETUDE D'UN OUTIL POUR VERIFIER LA ROBUSTESSE D'UNE STRATEGIE ET LA DEFINITION DES ETAPES VERS LA CONSTRUCTION D'UN TEL OUTIL
COMPLEXITE DESCRIPTIVE ET L'APPROXIMATION DE FONCTIONS DE DENOMBREMENT by Abraham Sharell( Book )

1 edition published in 1998 in French and held by 2 WorldCat member libraries worldwide

NOUS ETUDIONS LES PROBLEMES DE DENOMBREMENT DU POINT DE VUE DE LA COMPLEXITE DESCRIPTIVE ET LEUR RELATION ETROITE AVEC L'ECHANTILLONNAGE. VALIANT A INTRODUIT EN 1977 LA CLASSE DE COMPLEXITE P : UNE FONCTION F EST DANS P S'IL EXISTE UNE RELATION BINAIRE R CALCULABLE EN TEMPS POLYNOMIAL, OU POUR TOUT X LE NOMBRE DE Y TEL QUE R(X,Y) EST EXACTEMENT F(X). SALUJA ET AL. ONT PROPOSE EN 1992 UNE CARACTERISATION DES FONCTIONS P PAR DES FORMULES LOGIQUES DU PREMIER ORDRE. LA COMPLEXITE DESCRIPTIVE D'UNE FONCTION F EST DONNE PAR LA COMPLEXITE D'UNE FORMULE QUI DEFINIT F. NOUS POURSUIVONS CETTE APPROCHE ET INTRODUISONS UNE NOUVELLE REDUCTION. LA CLOTURE DES CLASSES SYNTAXIQUES PAR NOTRE REDUCTION CONDUIT, COMME CHEZ SALUJA ET AL., A UNE HIERARCHIE AVEC TROIS NIVEAUX, CARACTERISEE PAR DES FORMULES SANS QUANTIFICATEURS, AVEC QUANTIFICATEURS EXISTENTIELS OU UNIVERSELS UNIQUEMENT. POUR CHAQUE NIVEAU DE CETTE HIERARCHIE NOUS OBTENONS DES FONCTIONS COMPLETES. POUR LE NIVEAU UNIVERSEL, NOUS MONTRONS QUE TOUTE SOUS-CLASSE QUI PEUT ETRE DEFINIE PAR DES RESTRICTIONS SYNTAXIQUES EST SOIT FACILE A CALCULER, SOIT D'UNE COMPLEXITE INCONNUE SOIT NON-APPROXIMABLE. POUR LA SOUS-CLASSE SYNTAXIQUE DONT LA COMPLEXITE N'EST PAS RESOLUE, LE PROBLEME DE DENOMBRER LES IDEAUX D'UN ENSEMBLE PARTIELLEMENT ORDONNE EST COMPLET. CE PROBLEME S'EST AVERE CENTRAL DANS LA COMBINATOIRE ET LA MECANIQUE STATISTIQUE A CAUSE DE SON LIEN ETROIT AVEC L'ECHANTILLONNAGE A PARTIR D'UN TREILLIS DISTRIBUTIF. NOUS EXPLIQUONS CES CONNEXIONS AINSI QUE CERTAINS PROGRES METHODOLOGIQUES POUR SIMPLIFIER L'UTILISATION DES CHAINES DE MARKOV POUR ECHANTILLONNER A PARTIR D'UN TEL TREILLIS. NOUS DEMONTRONS QUE LE TEMPS DE MELANGE D'UNE TELLE CHAINE PEUT ETRE BORNE PAR LA SOLUTION D'UN SYSTEME LINEAIRE DERIVE A PARTIR DE LA CHAINE
Transformations de mots, d'arbres et de statistiques by Adrien Vieilleribière( Book )

2 editions published in 2008 in French and held by 2 WorldCat member libraries worldwide

We live in a world of exchange where errors are everywhere. Being able to verify approximately if a property is close or far to be satisfied is essential therefore. This leads to develop techniques to exchange huge and imperfect data. The subject of this thesis is the study of approximated processes that are taking errors into account, and of the comparison between exact and approximated processes as far as complexity is concerned. From a theoretical point of view, the heart of data exchange is the transformation of words and trees. This thesis shows that it is possible to decide the approximate equivalence of Finite State Machines for a particular distance, and extends the decision to a type of linear tree transducers inspired by XSLT. To that end, a method to approximate instances (word or tree), languages and transducers of these instances is introduced. Its main interest lies in the possibility of linking the edit distance with moves between two transducers with the geometrical distance (L1 norm) between their embeddings. This geometrical embedding also enables to decide the approximate consistency of an instance in constant time, i.e. independently from the input size. Finally, the implementation of data exchange is illustrated: weighted transductions are used to simulate computations of distances between languages, and tree transductions are used to build maps of log files and to visualize results of an OLAP query
Optimized broadcasting in wireless ad-hoc networks using network coding by Nour Kadi( Book )

2 editions published in 2010 in English and held by 2 WorldCat member libraries worldwide

Network coding is a novel technique which attracts the research interest since its emergence in 2000. It was shown that network coding, combined with wireless broadcasting, can potentially improve the performance in term of throughput, energy efficiency and bandwidth utilization. Our study begins with integrating network coding with multipoint relay (MPR) technique. MPR is an efficient broadcast mechanism which has been used in many wireless protocols. We show how combining the two techniques together can reduce the number of transmitted packets and increase the throughput. We further reduce the complexity by proposing an opportunistic coding scheme which performs coding operations on the binary field. Instead of linearly combining packets, we employ arithmetic summing packets in modulo 2, which simply corresponds to XOR the corresponding bits in each packet. These operations are computationally cheap. Using neighbors state information, a node in our scheme chooses packets to encode and transmit at each transmission trying to deliver a maximum number of packets. Therefore, an exchange of the reception information between the neighbors is required. To reduce the overhead of the required feedback, we propose a new coding scheme. It uses LT-code (a type of fountain code) to eliminate the need of a perfect feedback among neighbors. This scheme performs encoding and decoding with a logarithmic complexity. We optimize LT-code to speed up the decoding process. The optimization is achieved by proposing a new degree distribution to be used during the encoding process. This distribution allows intermediate nodes to decode more symbols even when few encoded packets are received
Model checking et vérification probabiliste by Sylvain Peyronnet( Book )

2 editions published in 2003 in French and held by 2 WorldCat member libraries worldwide

Dans cette thèse, nous nous sommes attaché à étudier l'apport de méthodes probabilistes au model checking. Tout d'abord en modifiant les méthodes classiques d'abstractions en y rajoutant un aspect probabiliste. Puis, un autre sujet d'étude a été celui de la mise au point d'algorithmes probabilistes pour le model checking de systèmes probabilistes. Les résultats de la thèse sont de deux types: 1) nous avons défini la notion d'abstraction probabiliste, construite en mixant des idées provenant du property testing et du model checking, et nous avons montré comment utiliser cette notion pour vérifier des programmes qui décident des propriétés de graphes admettant un testeur. En construisant un testeur de propriétés pour les propriétés triangulaires, nous avons montré qu'il était possible de construire une abstraction probabiliste pour des programmes qui décideraient de telles propriétés. D'autre part, l'intérêt de cette technique est montré au travers de deux bornes inférieures sur la taille des OBDDs pour certains problèmes.2) nous avons également travaillé sur le model checking de systèmes probabilistes. Concernant ce problème, nous avons construit un algorithme probabiliste permettant la vérification approchée de formules temporelles spécifiant des systèmes probabilistes. Plus précisément, cet algorithme permet de décider si la probabilité qu'une certaine spécification soit vraie dans un modèle probabiliste dépasse un certain seuil ou non. Nous avons implémenté un outil de model checking qui utilise cet algorithme: APMC. La thèse présente ainsi des résultats concernant la théorie de l'abstraction probabiliste, et des résultats plus effectifs concernant le model checking de systèmes probabilistes
Vérification approchée de systèmes probabilistes by Mathieu Tracol( Book )

2 editions published in 2010 in French and held by 2 WorldCat member libraries worldwide

Ln this dissertation, we consider several types of probabilistic systems, which model the behaviors of real processes in a randomized environment. Such systems can be Communication Protocols, Algorithms executed on computers, Hybrid Systems... Our goal is to study their evolution. We focus our study on the quantitative comparison between Probabilistic Systems, and on the analysis of their properties. Our study relies on the following questions of evaluation and comparison: *Given the model of a real system, can we decide efficiently how the system behaves? *Given two models, how can we compare them? We try to prove that approximation algorithms can be usefuI for the analysis of Probabilistic Systems. ln particular, we show that problems whose exact solution is not efficiently computable can be efficiently approximated. ln our work, we use four models of probabilistic systems: the model of Finite Probabilistic Automata, on finite and infinite words, the model of Labeled Markov Processes, the model of Markovian Decision Processes (MDP), and a model of network of MDPs. Our main results concern quantitative comparison methods between systems, and approximation methods for complex systems
L-systems and machines : research project by Michel de Rougemont( Book )

1 edition published in 1976 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.78 (from 0.69 for Logic and ... to 0.94 for L-systems ...)

Logic and complexity
Covers
Alternative Names
De Rougemont, Michel.

De Rougemont, Michel 1953-

Languages
French (30)

English (21)

German (1)