33842 articles – 26700 Notices  [english version]
.:. Consultation > Par type de document > Rapport de recherche .:.
10806 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Parameterized Communicating Automata: Complementation and Model Checking
Bollig B., Gastin P., Kumar A.
[hal-01030765 - version 1]
fulltext access Belief revision in the propositional closure of a qualitative algebra (extended version)
Dufour-Lussier V., Hermann A., Le Ber F., Lieber J.
(2014) [hal-00954512 - version 1]
fulltext access Lazier Imperative Programming
Douence R., Tabareau N.
N° RR-8569 (2014) [hal-01025633 - version 2]
fulltext access Exomars Rover Mechanical Modeling with Siconos
Michalczyk J., Brémond M., Acary V., Pissard-Gibollet R.
N° RT-0448 (2014) [hal-01025785 - version 1]
fulltext access VANET Applications: Hot Use Cases
Lèbre M.-A., Le Mouël F., Ménard E., Dillschneider J., Denis R.
(2014) [hal-01024271 - version 1]
fulltext access Parallelization of Scientific Workflows in the Cloud
Liu J., Pacitti E., Valduriez P., Mattoso M.
N° RR-8565 (2014) [hal-01024101 - version 2]
fulltext access Analysis of purely random forests bias
Arlot S., Genuer R.
[hal-01023596 - version 1]
fulltext access Accurate computation of single scattering in participating media with refractive boundaries
Holzschuch N.
N° RR-8312 (2014) [hal-00829237 - version 4]
fulltext access Modeling Variability in the Video Domain: Language and Experience Report
Alférez M., Galindo J. A., Acher M., Baudry B.
(2014) [hal-01023159 - version 1]
fulltext access Mapped Fourier Methods for stiff problems in toroidal geometry
Guillard H.
N° RR-8566 (2014) [hal-01023050 - version 1]