Zobrazeno 1 - 10
of 631
pro vyhledávání: '"A, Boldó"'
The goal of this contribution is to provide worksheets in Coq for students to learn about divisibility and binomials. These basic topics are a good case study as they are widely taught in the early academic years (or before in France). We present her
Externí odkaz:
http://arxiv.org/abs/2404.12676
Deep Learning (DL) requires lots of time and data, resulting in high computational demands. Recently, researchers employ Active Learning (AL) and online distillation to enhance training efficiency and real-time model adaptation. This paper evaluates
Externí odkaz:
http://arxiv.org/abs/2309.01612
Autor:
Adrià Bermudo-Gallaguet, Jofre Bielsa-Pascual, Rosa García-Sierra, Maria Feijoo-Cid, Antonia Arreciado Marañon, Mar Ariza, Daniela Agudelo, Neus Camins-Vila, Maria Boldó, Maria José Durà Mata, Alberto García-Molina, Pere Torán-Monserrat, Maria Mataró
Publikováno v:
Complementary Therapies in Medicine, Vol 87, Iss , Pp 103100- (2024)
Background: Stroke survivors experience a wide range of physical, cognitive, and emotional challenges. In the MindFit Project, a randomized clinical trial, 141 chronic stroke patients were divided into three groups: mindfulness-based stress reduction
Externí odkaz:
https://doaj.org/article/f598b36db9cc4832af7686746be3d9c2
Autor:
Bermudo-Gallaguet, Adrià, Bielsa-Pascual, Jofre, García-Sierra, Rosa, Feijoo-Cid, Maria, Arreciado Marañon, Antonia, Ariza, Mar, Agudelo, Daniela, Camins-Vila, Neus, Boldó, Maria, Durà Mata, Maria José, García-Molina, Alberto, Torán-Monserrat, Pere, Mataró, Maria
Publikováno v:
In Complementary Therapies in Medicine December 2024 87
Publikováno v:
In Signal Processing November 2024 224
Autor:
Boldo, Michele, De Marchi, Mirco, Martini, Enrico, Aldegheri, Stefano, Quaglia, Davide, Fummi, Franco, Bombieri, Nicola
Publikováno v:
In Expert Systems With Applications 15 October 2024 252 Part A
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects. Once Lebesgu
Externí odkaz:
http://arxiv.org/abs/2202.05040
The Bochner integral is a generalization of the Lebesgue integral, for functions taking their values in a Banach space. Therefore, both its mathematical definition and its formalization in the Coq proof assistant are more challenging as we cannot rel
Externí odkaz:
http://arxiv.org/abs/2201.03242
Autor:
Moulouel, Rafik, Houvin, Maxime, Abadie, Marc, Salagnac, Patrick, Borel, Pascal, Boldo, Didier
Publikováno v:
In Measurement 15 May 2024 230
Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in providing
Externí odkaz:
http://arxiv.org/abs/2104.05256