Institution
Conservatoire national des arts et métiers
Education•Paris, France•
About: Conservatoire national des arts et métiers is a education organization based out in Paris, France. It is known for research contribution in the topics: Population & Orthogonal frequency-division multiplexing. The organization has 3573 authors who have published 7127 publications receiving 141430 citations. The organization is also known as: CNAM & Conservatoire des arts et métiers.
Topics: Population, Orthogonal frequency-division multiplexing, Petri net, Finite element method, Context (language use)
Papers published on a yearly basis
Papers
More filters
••
01 Jun 2008
TL;DR: This work presents a sequence of theory transformations that can be used to bridge the gap between expressive membership equational programs and such termination tools, and proves the correctness of such transformations.
Abstract: Reasoning about the termination of equational programs in sophisticated equational languages such as Elan, Maude, OBJ, CafeOBJ, Haskell, and so on, requires support for advanced features such as evaluation strategies, rewriting modulo, use of extra variables in conditions, partiality, and expressive type systems (possibly including polymorphism and higher-order). However, many of those features are, at best, only partially supported by current term rewriting termination tools (for instance mu-term, C i ME, AProVE, TTT, Termptation, etc.) while they may be essential to ensure termination. We present a sequence of theory transformations that can be used to bridge the gap between expressive membership equational programs and such termination tools, and prove the correctness of such transformations. We also discuss a prototype tool performing the transformations on Maude equational programs and sending the resulting transformed theories to some of the aforementioned standard termination tools.
78 citations
••
TL;DR: A method to analyse links between binary attributes in a large sparse data set is proposed and is used to extract best rules depending on the application concerned.
77 citations
••
TL;DR: In this article, the authors used tactile information transmitted by means of a tactile vision substitution system (TVSS) allowing the conversion of optical images collected by a micro camera into tactile images via a matrix in contact with the skin.
Abstract: Spatial navigation within a real 3-D maze was investigated to study space perception on the sole basis of tactile information transmitted by means of a ‘tactile vision substitution system' (TVSS) allowing the conversion of optical images—collected by a micro camera—into ‘tactile images’ via a matrix in contact with the skin. The development of such a device is based on concepts of cerebral and functional plasticity, enabling subjective reproduction of visual images from tactile data processing. Blindfolded sighted subjects had to remotely control the movements of a robot on which the TVSS camera was mounted. Once familiarised with the cues in the maze, the subjects were given two exploration sessions. Performance was analysed according to an objective point of view (exploration time, discrimination capacity), as well as a subjective one (speech). The task was successfully carried out from the very first session. As the subjects took a different path during each navigation, a gradual improvement in perform...
77 citations
••
TL;DR: Metal concentrations in the digestive gland increase in a logarithmic fashion with age during the entire life of Cuttlefish, except for Ag, which decreases as soon as cuttlefish migrate to open sea.
77 citations
••
TL;DR: Results clearly showed that the activity and specificity of U. europaeus lectin was preserved after covalent coupling to these biodegradable carriers.
77 citations
Authors
Showing all 3635 results
Name | H-index | Papers | Citations |
---|---|---|---|
Joshua A. Salomon | 107 | 435 | 124708 |
Serge Hercberg | 106 | 942 | 56791 |
Pilar Galan | 97 | 628 | 46782 |
Patrice Simon | 89 | 264 | 66332 |
Yuh-Shan Ho | 80 | 346 | 48242 |
Pierre-Louis Taberna | 68 | 209 | 34293 |
J. David Spence | 67 | 399 | 17671 |
Mathilde Touvier | 65 | 321 | 31586 |
Sébastien Czernichow | 64 | 274 | 14654 |
Emmanuelle Kesse-Guyot | 57 | 338 | 10914 |
Valentin Petrov | 54 | 743 | 12127 |
Sandrine Bertrais | 53 | 169 | 9618 |
Paco Bustamante | 52 | 295 | 9136 |
Khaled Ezzedine | 50 | 313 | 8939 |
Arnaud Fontanet | 50 | 204 | 11964 |