Informatique et Mathématique Computationnelle
Résultats: Montrant 10 de 2050 à l'page 183 de 205
Nom
Titre
Domaine
Document
Unité
Année
Proteum-RS/PN: a mutation-based tool for validating Petri nets
ProSA-RAT: A process for establishing reference architectures with software testing...
New incremental methods for bivel nondifferentiable convex optimization with applications...
Semantic aspects in the representation of texts for automatic classification
Identification of interesting association rules through objective and subjective...
Modeling by implicitly defined semi-spaces
Monte Carlo simulation methods to approximate hedging strategies
Analysis and implementation of non-Newtonian models in FreeFlow-2D system
Résultats: Montrant 10 de 2050 à l'page 183 de 205