Lalement, René
Lalement, René, 19..-...., mathématicien
VIAF ID: 56650335 ( Personal )
Permalink: http://viaf.org/viaf/56650335
Preferred Forms
- 200 _ | ‡a Lalement ‡b René
- 100 1 0 ‡a Lalement, René
-
- 100 1 _ ‡a Lalement, René, ‡d 19..-...., ‡c mathématicien
- 100 1 _ ‡a Lalement, René
-
-
- 100 1 _ ‡a Lalement, René
-
Works
Title | Sources |
---|---|
Computation as logic | |
Contributions à la sémantique de la programmation logique | |
Development of a simulation system for complex systems with applications for buildings. | |
Développement d'un environnement de simulation de systèmes complexes. Application au bâtiments | |
Étude algébrique des modules de longueur finie sur les groupes produits semi-directs | |
Hierarchical analysis methods for Petri nets. | |
Hiérarchies de contraintes : Quelques approches de résolution | |
Implantation optimale d'un robot en fonction de la tâche à réaliser en environnement contraint. Analyse, synthèse et développement d'un module d'aide à l'implantation des robots | |
Implementation d'un modèle d'acteur. Application au traitement de données partielles en audit thermique de bâtiment | |
Implementation of an actor model. Application to uncertain data processing in energy audit in existing building. | |
lógica ou a arte de raciocinar | |
logique ou L'art de raisonner | |
Logique, réduction, résolution | |
Méthodes d'analyse hiérarchique des réseaux de Pétri | |
Méthodes de vérification de bases de connaissances | |
Methodology of conception of an expert system for cartography generalization. | |
Methods for verifying knowledge bases. | |
Optimizing a robot set-up with task and environment constraints: analysis, synthesis and development of a system for computer aided robot set-up. | |
Propriétés de correction séquentielle dans un langage parallèle à mémoire partagée | |
Recueil et intégration d’heuristiques dans les algorithmes de définition de stratégies de pompage | |
Sequential correctness properties in a shared-memory parallel language. | |
Some approaches from solving constraint hierarchies. | |
Vers un environnement d’aide au développement de preuves en sémantique naturelle |