Computer Science and Computational Mathematics
Results: Displaying 10 of 2050 on page 183 of 205
Name
Title
Area
Document
Colleges
Year
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
Results: Displaying 10 of 2050 on page 183 of 205