Institut Blaise Pascal

Publications internes Litp 1994 / Litp research reports 1994

La langue du titre indique la langue du document. Tous les rapports ont un résumé en français.
The language of the document is the same as used for the title. Abstract in english always available.


01

IDENTITE CYCLOTOMIQUE SUPERALGEBRES DE LIE ET BICARACTERES
G. DUCHAMP

02

cHAIN aUTOMATA
Olivier Carton

03

déCIDABILITE DU PROBLèME DE L'ARRêT POUR LES MACHINES DE TURING NON eFFACANTES SUR (0,1) ET A 2 INSTRUCTIONS GAUCHES
M. MARGENSTERN

04

Logic and p-Recognizable Sets of Integers
V. Bruyère, G. Hansel, C. Michaux, R. Villemaire

05

Un exemple simple de variété de semigroupes sans base finie de pseudo-identités
M. ZEITOUN

06

Décidabilité de l'appartenance à la variété de langages engendrée par les langages testables par morceaux et les langages de bandes
M. ZEITOUN

07

Free profinite semigroups over semidirect products
J. Almeida , P. Weil

08

MACHINE UNIVERSELLE NON-EFFACANTE SUR (0,1) A TROIS INSTRUCTIONS GAUCHES
M. Margenstern

09

UET-UCT Schedules on Arbitrary Networks
C. PICOULEAU

10

GENERALISATION DES IDENTITES DE CONVOLUTION DE STREHL
A. ABDERREZZAK

11

IDENTITES SYSMETRIQUES A PLUSIEURS VARIABLES
A. Abderrezzak

12

Experimental Results on String Matching Algorithms
T. LECROQ

13

Strong Morita Equivalence and the Synthesis Theorem
S. Talwar

14

Semigroups and automata on infinite words
D. PERRIN, J-E. PIN

15

Finite semigroups and recognizable languages : an introduction
J-E. PIN

16

Logic, semigroups and automata on words
J-E. PIN

17

BG = PG: A success story
J-E. PIN

18

Strong Morita Equivalence and the Rees Theorem
S. Talwar

19

Harvey-Wiman hypermaps
L. Bessis

20

The Combinatorial Classes of Parallel Manipulators
J-C. FAAUGIERE, D. lazard

21

Polynomial closure of group languages And Open sets of the Hall topology
J-E. PIN

22

Asymptotics for Generalized Morgan Numbers of Fractional Orders
A. KREININ, A. VAINSHTEIN

23

PSPACE-completeness of certain algorithmic problems on the subgroups of free groups
J.-C. Birget, S. Margolis, J. Meakin, P.Weil

24

Two-dimensional finite state recognizability
D. Giammarresi, A. Restivo

25

Groupes de Galois de Polynômes en Degré 8
J-M. Arnaudies, A. Valibouze

26

Hall- Littlewood Functions and kostka-Foulkes Polynomials in Representation Theory
J. Désarménien-B. Leclerc-J.T. Thibon

27

Sturmian Words and The Weak Permutation Property of Semigroups
J. Justin, G. Pirillo

28

Traces Infinies
P Gastin, A Petit

29

Some decisional problems on rational relations
M.Madonia, S. Varricchio

30

Groupes de Galois de Polynômes en Degré 9
J-M. Arnaudies, A. Valibouze

31

Mots ultimement périodiques des w-langages rationnels
H. Calbrix, M. Nivat, A. Podelski

32

A Commutativity Condition For Skewfields Based On The Permutation Property
F. d' Alessandro

33

The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups
M. Zeitoun

34

On the decidability of the membership problem of the pseudovariety JvB
M. ZEITOUN

35

Profinite categories and semidirect products
J. Almeida , P. Weil

36

Over Testable Languages
C. Selmi

37

On the lexicographic uniformisation of deterministic 2-tape automata
M. Pelletier, J. Sakarovitch

38

A Reiterman theorem for pseudovarieties of finite first-order structures
J-E. Pin , P. Weil

39

Noncommutative symmetric functions
I.M. Gelfand, D. Krob, A. Lascoux, B. Leclerc, V.S. Retakh, J.Y. Thibon

40

Commutative Over Testable Languages
C. Selmi

41

A Pieri formula in the Grothendieck ring of a flag bundle
W. Fulton, A. Lascoux

42

Déformations de projecteurs de Lie
G. Duchamp, D. Krob, B. Leclerc, J.Y. Thibon

43

Betti Numbers of the Space of Hermitian Operators of Given Spectra and Sum
A. A. KLYACHKO

44

Random generation of finite sturmian words
J. Berstel, M. POCCHIOLA

45

A variety theorem without complementation
J-E. Pin

46

Calculs de Résolvantes
J.M. Arnaudies, A. Valibouze

47

String Matching Algorithms and Automata
I. Simon

48

Groupes de Galois de Polynômes de Degré 4 à 6
J.M. Arnaudiès, A. Valibouze

49

Groupes de Galois de Polynômes en Degré 7
J-M. Arnaudies, A. Valibouze

50

Groupes de Galois de Polynômes de Degré 10 ou 11
J-M. Arnaudies, A. Valibouze

51

Towards an Algebraic Theory of Context-Free Languages
J. Berstel, L. Boasson

52

Un algorithme d'ordonnancement asymptotiquement optimal pour le problème cyclique multidimensionnel
P. Le Gouëslier d'Argence

53

Logic on Words
J-E. Pin

54

On Representation of Integers in Linear Numeration Systems
C. FROUGNY, B. SOLOMYAK

55

Efficient Parallel Shuffle Recognition
M. Nivat, G.D.S. Ramkumar, C. Pandu Rangan, A. Saoudi, R. Sundaram

56

On embeddings of finitely generated profinite semigroups into 2- generated profinite semigroups
M. ZEITOUN

57

Performance of Coffman-Graham schedules in presence of unit communication delays
C. Hanen, A. Munier

58

Groupes de Galois des facteurs d'une résolvante
A. Valibouze

59

Modélisation et classification de langages de programmation concurrente à objets : l'expérience Actalk
J-P. BRIOt

60

Polynomial closure and unambiguous product
J-E. Pin, P. Weil

61

A Rewriting of Fife's Theorem about Overlap-free Words
J. Berstel

62

Computing Bases of Intertwining Ideals
G. Duchamp, S. Kim

63

Sur le problème de l'égalité des facteurs dans les mots morphiques
I. Fagnot

64

Simultaneous containment of polygons in a polygonal environment
F. Rebufat

65

Une forme normale pour les DAE linéaires
M.P Quéré, G. Villard

66

Nombres réels en représentation d'Avizienis et linéarité des fonctions calculables en ligne
H. PELIBOSSIAN

67

Minor Identities for Quasi-Determinants and Quantum Determinants
D. Krob, B. Leclerc

68

Polynômes de Kostka-Foulkes et graphes cristallins des groupes quantiques de type An
A. Lascoux, B. Leclerc, J.Y. Thibon

69

L'ensemble des mots minimaux d'un langage algébrique est algèbrique.
J. Berstel, L. Boasson

70

Profinite semigroups, Mal'cev products and identities
J-E. Pin, P. Weil

71

Reconstructing convex polyominoes from their horizontal and vertical projections
E. Barcucci, A. Del Lungo, M. Nivat, R. Pinzani

72

Twisted action of the symetric group on the cohomologie of a flag manifold
A. Lascoux, B. Leclerc, J.Y. Thibon

73

Noncommutative Cyclic Characters of Symmetric Groups
B. Leclerc, T. Scharf, J.Y. Thibon

74

Crystal graphs and q-analogues of weight multiplicities for the root system An
A. Lascoux, B. Leclerc, J-Y. Thibon

75

On Some Decision Problems for Trace Codings
V. Bruyère, C. De Felice, G. Guaiana

76

Bounds on hypermaps nilpotent automorphisms groups
L. Bessis

wadm[@]lip6.fr