A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Vocabulary and language model adaptation using information retrieval

International audience

A Bayesian network dealing with measurements and residuals for system monitoring

International audience

Psychosocial Risk Factors, Interventions, and Comorbidity in Patients with Non-Specific Low Back Pain in Primary Care: Need for Comprehensive and Patient-Centered Care

International audience