WorldCat Identities

Vidal-Naquet, G.

Overview
Works: 61 works in 113 publications in 4 languages and 1,046 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Opponent, Thesis advisor, Editor, 956
Classifications: QA75.5, 004
Publication Timeline
.
Most widely held works by G Vidal-Naquet
STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 by B Monien( Book )

18 editions published between 1985 and 1986 in 3 languages and held by 281 WorldCat member libraries worldwide

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings by F. J Brandenburg( Book )

21 editions published between 1987 and 2007 in 3 languages and held by 236 WorldCat member libraries worldwide

Réseaux de Petri et systèmes parallèles by G Vidal-Naquet( Book )

2 editions published in 1992 in Undetermined and French and held by 72 WorldCat member libraries worldwide

Introduction à l'informatique théorique( Book )

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

L'Option informatique en classes prépas by Claude Bocage( Book )

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

Pratique orthopédique chirurgie de l'appareil moteur by G Vidal-Naquet( Book )

3 editions published in 1938 in French and held by 12 WorldCat member libraries worldwide

STACS 87 : 4th Annual Symposium of Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 1987 : proceedings by Annual Symposium on Theoretical Aspects of Computer Science( Book )

1 edition published in 1987 in English and held by 8 WorldCat member libraries worldwide

STACS 87 - theoretical aspects of computer science proceedings by Annual Symposium on Theoretical Aspects of Computer Science( Book )

1 edition published in 1987 in English and held by 6 WorldCat member libraries worldwide

Object execution model for reactive modules with a C++ implementation by Frédéric Boulanger( Book )

3 editions published in 1995 in English and held by 5 WorldCat member libraries worldwide

Contribution à l'algorithmique parallèle et distribuée application à l'optimisation combinatoire by Ivan Lavallée( Book )

1 edition published in 1986 in French and held by 5 WorldCat member libraries worldwide

Cette thèse est divisée en trois parties : la première partie, précédée d'un chapitre 0 qui précise et justifie vocabulaire et notations, est composée de deux chapitres I et II, qui traitent du problème de la terminaison distribuée, apprentissage et détection, l'idée maîtresse étant celle de "mot circulant" qui généralise le concept de jeton circulant. Le mot circulant permettant un apprentissage de propriétés de l'algorithme distribué étudié. Le chapitre II fournit de plus un algorithme distribué d'identification des circuits élémentaires d'un graphe. La deuxième partie est consacrée à l'étude de trois grands problèmes combinatoires tels que : La recherche des plus courts chemins dans un graphe valué, pour la résolution duquel nous réutilisons des concepts du chapitre II et pour lequel l'algorithme distribué que nous construisons se distingue des autres algorithmes connus par sa totale asynchronicité. (Chapitre III). La recherche d'un arbre couvrant (chapitre IV) pour laquelle, en allant à contrario de quelques idées établies sur la question, on donne un algorithme distribué totalement asynchrone, minimisant le nombre de messages échangés, et ce, malgré des hypothèses moins restrictives (en particulier, nous admettons la possibilité d'arêtes équipondérées) que les autres algorithmes distribués élaborés pour ce faire. L'énumération implicite parallèle (chapitre V) pour laquelle on fait apparaître, en environnement parallèle, des phénomènes nouveaux, en particulier à propos des gains de performance en temps, qui tranchent avec quelques idées largement répandues. Pour ces trois chapitres, nous donnons la particularisation à un environnement parallèle type machine à mémoire partagée (PRAM), et pour les chapitres III et V, nous donnons, en annexe, les programmes, jeux d'essais et résultats de tests sur CRAY. La troisième partie, tirant les enseignements théoriques des deux précédentes, essaie de donner une définition du concept d'algorithme parallèle et distribuée qui soit cohérente avec ce qui se fait en séquentiel, et qui permette une évaluation et une comparaison des algorithmes parallèles ou distribués (chapitre VI). Le, tri, fusion, et le problème de l'arbre couvrant minimum du chapitre VII est une application du modèle du chapitre VI à quatre problèmes; recherche du maximum IV
STACS 87 4th Annual Symposium on Theoretical Aspects of Computer Science ; Passau, Federal Republic of Germany, February 19-21, 1987 ; proceedings by Annual Symposium on Theoretical Aspects of Computer Science( Book )

1 edition published in 1987 in English and held by 5 WorldCat member libraries worldwide

LANGAGES DU DEUXIEME ORDRE ET AUTOMATES D'ARBRES INFINIS : APPLICATIONS A LA SEMANTIQUE DES PROGRAMMES ET A LA COMPLEXITE DES ALGORITHMES by G Vidal-Naquet( Book )

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

CONSEQUENCE DES LIENS QUI EXISTENT ENTRE LES AUTOMATES FINIS ET LA LOGIQUE DU SECOND ORDRE MONADIQUE SUR LA SEMANTIQUE DES PROGRAMMES ET LA COMPLEXITE DES ALGORITHMES
RATIONALITE ET DETERMINISME DANS LES RESEAUX DE PETRI by G Vidal-Naquet( Book )

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

RAPPEL DES DEFINITIONS USUELLES POUR LES RESEAUX DE PETRI. EXAMEN DE PLUSIEURS PROBLEMES LIES AU CARACTERE FINI DES RESSOURCES NECESSAIRES POUR LE FONCTIONNEMENT D'UN RESEAU DE PETRI. PROPRIETES GENERALES DES LANGAGES RATIONNELS DE LA CLASSE S::(F) (LANGAGE DES SEQUENCES FINALES DE FRANCHISSEMENT POUR UN RESEAU MARQUE). DECIDABILITE DE LA RATIONNALITE DANS PLUSIEURS CLASSES DE LANGAGES; DANS L::(F)**(C), CECI PERMET DE RETROUVER ET D'OPTIMISER PLUSIEURS RESULTATS D'INDECIDABILITE. ETUDE D'UNE PROPRIETE DE LA MANIERE D'ETIQUETER LES RESEAUX: LE DETERMINISME, ET ETUDE DES PROPRIETES DES NOUVELLES CLASSES DE LANGAGES QUE LES MARQUAGES DETERMINISTES DETERMINENT
Formalisation of the behavior of actors by colored Petri nets and some applications by Y Sami( Book )

3 editions published in 1990 in English and held by 4 WorldCat member libraries worldwide

Intégration de modules synchrones dans la programmation orientée objet by F Boulanger( Book )

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

Modélisation des réseaux d'interconnexion multi-étages by Jean-Michel Fourneau( Book )

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

In this thesis we consider multistage interconnection networks designed for communication in multiprocessor architecture. We give a graph characterization of these networks and a set of properties which imply that a network is topologically equivalent to the Baseline network. In particular these properties imply that the six classical multistage networks -Omega, Flip, Baseline, Reverse Baseline, Indirect Binary Cube and Modified Data Manipulator) are equivalent. We also investigate relations between this graph model and the algebraic formalization of classical multistage interconnection networks. Furthermore, in the second section the graph model is used to obtain sufficient conditions of rearrangeability. Finally, in the third section is concerned with performance evaluation of multistage network
Algorithmique et complexité distribuées : application à quelques problèmes fondamentaux de complexité by Christian Lavault( Book )

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

Présentation d'un cadre général pour l'étude et l'analyse des algorithmes répartis et résolution de plusieurs problèmes de fond relatifs à la complexité dans les systèmes répartis. Développement de divers outils d'analyse en moyenne de la complexite en messages de protocoles généraux à consensus. Résolution par l'analyse mathématique d'un problème ouvert sur les performances comparées des anneaux uni et bidirectionnels pour la complexité en moyenne en messages d'algorithmes d'élection déterministes. Un algorithme probabiliste de construction d'un arbre couvrant sur un système distribué anonyme et quelconque est développé. Deux théorèmes sont proposés qui bornent la faille des messages en fonction de la complexite en messages des algorithmes distribués asynchrones du point de vue de la quantité d'information
Réarrangement relatif propriétés et applications aux équations aux dérivés partielles ; Les réseaux de Pétri by Jean-Michel Rakotoson( Book )

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

The purpose of this thesis is to introduce some properties of the relative rearrangement and their applications to variational inequalities and to partial differential equations of elliptic and parabolic type. The relative rearrangement comes from the computation of the directional derivative of the monotone rearrangement. This rearrangement is a generalization of the classical rearrangement (see Chap. I and II). Thanks to an integral formula of Federer type (see Chap.IV to VI) and the properties of this rearrangement, we develop a new method to get a priori estimates for elliptic and parabolic problems. These estimates lead to additional regularity for the solutions of P.D.E. (see Chap. IV and VI). We prove also a regularity theorem for a family of symmetrized functions
A syntax for the description of Petri nets by G Berthelot( Book )

3 editions published in 1987 in English and held by 3 WorldCat member libraries worldwide

Un outil pour la généralisation utilisant systématiquement les théorèmes le système OGUST by Christel Vrain( Book )

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

La plupart des systèmes d'Apprentissage actuels n'utilisent qu'incomplètement les connaissances sur le domaine dans lequel se fait l'Apprentissage et se limitent très souvent à des propriétés exprimées sous forme de taxonomies. Nous proposons dans cette thèse un système d'apprentissage dans un domaine à théorie forte, où les propriétés sont exprimées sous forme de théorèmes universels ou de taxonomies. Notre système utilise une notion nouvelle appelée Mise en Correspondance Structurelle. Nous résolvons ainsi un problème classique en Démonstration Automatique: celui des boucles de raisonnement. Une des particularités de ce système par rapport aux autres systèmes d'apprentissage à partir d'exemples est sa capacité à fournir des explications. Ces explications pourront s'avérer utiles pour traiter les contre-exemples ou pour faire de l'apprentissage incrémental
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.64 for STACS 87 : ... to 0.95 for RATIONALIT ...)

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986
Alternative Names
Naquet, G. Vidal-.

Naquet Guy Vidal-

Vidal-Naquet, Guy

Languages
English (46)

French (21)

German (2)

Italian (2)

Covers
STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedingsSTACS 87 : 4th Annual Symposium of Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 1987 : proceedingsSTACS 87 - theoretical aspects of computer science proceedings