SEA-PARAM: Exploring Schedulers in Parametric MDPs

Arming · EPTCS 250, 2017, pp. 25-38

A Flat Concurrent Prolog Compiler for PARAM

Gupta · IETE Journal of Research

Graphes Param\'etr\'es et Outils de Lexicalisation

Laporte · Dans Verbum ex machina. Proceedings of TALN - Graphes param\'etr\'es et outils de lexicalisation, Louvain : Belgique (2006)

Einwirkung kurzdauernder starker Erwrmung (Bestrahlung) auf Paramcien

Ebbecke · Pflügers Archiv - European Journal of Physiology

D\'ecomposition Au-dessus Des Param\`etres De Langlands Elliptiques

Lafforgue · arXiv

PARAM: A Microprocessor Hardened for Power Side-Channel Attack Resistance

F · arXiv

Sur Une S\'erie En Arbres \`a Deux Param\`etres

Chapoton · arXiv

Param-Medic: A Tool for Improving MS/MS Database Search Yield by Optimizing Parameter Settings

BBC Proms 2013: Diana Burrell, Harrison Birtwistle, Param Vir and Charlotte Seither

Conway · Tempo

Chtoucas Restreints Pour Les Groupes R\'eductifs Et Param\'etrisation De Langlands Locale

Genestier · arXiv

Development of a Restricted Hartree—Fock Program INDMOL on PARAM: A Highly Parallel Computer

Shirsat · Journal of Computational Chemistry

Comparaison Des Param\`etres De Langlands Et Des Exposants \`a L'int\'erieur D'un Paquet d'Arthur

Moeglin · arXiv