Project scheduling heuristics-based standard PSO for task-resource assignment in heterogeneous grid.
Prolog infinite trees and automata
Properties and pre-processing strategies to enhance the discovery of functional dependency with degree of satisfaction
Properties of Conflict Sets in the Plane
This paper studies the smoothness and the curvature of conflict sets of the distance function in the plane. Conflict sets are also well known as 'bisectors'. We prove smoothness in the case of two convex sets and give a formula for the curvature. We generalize moreover to weighted distance functions, the so-called Johnson-Mehl model.
Proposal for a natural formalization of functional programming concepts
Propositional calculus for adjointness lattices.
Propositional calculus proving methods in Prolog
Propositional dynamic logic with recursive programs
Propositions pour une formalisation du traitement psycholinguistique des phrases
Propriétés arithmétiques de séries rationnelles et ensembles denses
Propriétés arithmétiques des substitutions et automates infinis
L’objet de ce travail est d’étudier les propriétés arithmétiques et statistiques des mots infinis et des suites de nombres entiers engendrés par des substitutions sur un alphabet infini ou par des automates déterministes ayant un nombre infini dénombrable d’états. En particulier, nous montrons que si est une suite de nombres entiers engendrée par un automate dont le graphe étiqueté associé représente une marche aléatoire de moyenne nulle sur un réseau de ( entier positif), alors la suite ...
Propriétés de complexité pour une famille d'algorithmes de Markov
Propriétés de permanence et existence de réalisations minimales pour les algèbres multisortes
Propriétés d'invariance des mots sturmiens
Un mot sturmien est un mot infini, binaire, équilibré et non ultimement périodique. On détermine l’évolution de la pente et de l’intercept d’un mot sturmien, sous l’action du monoïde de Sturm. À l’aide des matrices de Raney, on énonce une condition que doivent satisfaire les pentes des mots laissés fixes par une substitution non triviale. Puis on prouve que cette condition est suffisante pour un ensemble particulier de mots dont l’intercept est une homographie de la pente.
Propriétés et limites de la reconnaissance d’ensembles d’entiers par automates dénombrables
Nous étudions dans cet article deux familles d’ensembles d’entiers reconnaissables par des automates finis ou dénombrables. Les résultats concernant ces deux notions de reconnaissabilité qui sont présentés ici étendent de manière naturelle les résultats structurels usuels de la famille des ensembles -reconnaissables. Le cas particulier de l’ensemble des nombres premiers est également abordé.
Providing Help in a Natural Language Query Interface to Relational Databases
Pseudomorphisms of automata
Puiseux series solutions of ordinary polynomial differential equations: complexity study.
Puissance extérieure d'un automate déterministe, application au calcul de la fonction zêta d'un système sofique
Pumping and pushdown machines