|
Alexandre Topol nous a quitté subitement le 6 avril 2013. L'ensemble du laboratoire CEDRIC s'associe à la douleur de sa famille.Consultez sa page
|
|
|
CEDRIC's Tag-Cloud :
approche pls,
augmented reality,
automated theorem proving,
biclustering,
biodiversity conservation,
block clustering,
classification,
cloud computing,
cluster analysis,
clustering,
cultural heritage,
curse of dimensionality,
data mining,
deduction modulo,
evaluation,
experiment,
fbmc,
filter bank,
game design,
information system,
integer programming,
interaction,
mimo,
machine learning,
multidimensional,
museum,
museum visit,
number of cluster,
ontologie,
pls path modeling,
quadratic programming,
quality,
quality metric,
rss,
relevance feedback,
rewriting,
satisfaction,
similarity search,
video game,
wireless sensor network
|
|
|
|
|
|
Publications récentes
 |
H. Rios, D. Efimov, J. Davila, T. Raïssi, L. Fridman, A. Zolghadri,
Non-Minimum Phase Switched Systems: HOSM-Based Fault Detection and Fault Identification via Volterra Integral Equation,
International Journal of Adaptive Control and Signal Processing,
pp. .,
2014 |
 |
N. Harrath, B. Monsuez,
Compositional Reactive Semantics of System-Level Designs Written in SystemC and Formal Verification with Predicate Abstraction,
Accepted in the International Journal of Critical Computer-Based Systems, Inderscience Publishers,
2013 |
 |
L. Alfandari, A. Nagih, A. Plateau, J. Sadki,
Hybrid column generation for large-size Covering Integer Programs: application to Transportation Planning,
Computers & Operations Research,
vol. 40(8), pp. 1938-1946,
2013, (doi:http://dx.doi.org/10.1016/j.cor.2013.02.020)
|
|
Y. Chen, Z. Li, K. Barkaoui,
Maximally Permissive Liveness-Enforcing Supervisor with Lowest Implementation Cost for Flexible Manufacturing Systems,
Information Sciences,
pp. .,
2013 |
 |
N. Levy, F. Losavio, Y. Pollet,
Architecture et qualité de systèmes logiciels,
Titre du livre: "Architectures Logicielles : Principes, techniques et outils",
December 2013,
Hermès,
pp. à paraître,
|
|
D. Delahaye, D. Doligez, F. Gilbert, P. Halmagrand, O. Hermant,
Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo,
Logic for Programming Artificial Intelligence and Reasoning (LPAR),
December 2013,
Vol. 8312,
pp.274-290,
Series LNCS/ARCoSS,
Stellenbosch,
South Africa,
|
|
D. Delahaye, D. Doligez, F. Gilbert, P. Halmagrand, O. Hermant,
Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps,
International Workshop on the Implementation of Logics,
December 2013,
pp.-,
|
|
D. Efimov, T. Raïssi, W. Perruquetti, A. Zolghadri,
Estimation and Control of Discrete-Time LPV Systems Using Interval Observers ,
52nd IEEE Conference on Decision and Control,
December 2013,
pp..,
|
 |
N. Niang Keita, F. Fogliatto, G. Saporta,
Non parametric on-line control of batch processes based on STATIS and clustering,
Journal de la Société Française de Statistique,
vol. 154(3), pp. 124-142,
2013 |
|
D. Efimov, W. Perruquetti, T. Raïssi, A. Zolghadri,
On Interval Observers for Time-Varying Discrete-Time Systems,
IEEE Transactions on Automatic Control,
vol. 58(12), pp. .,
2013 |
|
D. Efimov, T. Raïssi, A. Zolghadri,
Adaptive set observers for LPV systems: Application to fault detection
,
Journal of Dynamic Systems, Measurement and Control,
pp. .,
2013 |
|
S Boufenara, K. Barkaoui, F Belala, H. Boucheneb,
Transactional Petri Nets : A Semantic Framework for UML2 Activities,
International Journal of Critical Computer-Based Systems (IJCCBS),
pp. 1-6,
2013 |
|
H. Boucheneb, K. Barkaoui,
On combining the ready sets with the covering steps method,
Int. J. of Critical Computer-Based Systems,
pp. 67-85,
2013 |
|
P Heidira, H. Boucheneb,
Controller Synthesis of Time Petri Nets Using Stopwatch,
Journal of Engineering,
pp. 1-6,
2013 |
|
Suivre le laboratoire