Zobrazeno 1 - 10
of 497
pro vyhledávání: '"P. Boldo"'
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
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:
Juliana Camila Fischer Karnopp, Juliana Jorge, Jaqueline Rodrigues da Silva, Diego Boldo, Kristiane Fanti Del Pino Santos, Adriana Pereira Duarte, Gustavo Rocha de Castro, Ricardo Bentes de Azevedo, Ariadna Lafourcade Prada, Jesús Rafael Rodríguez Amado, Marco Antonio Utrera Martines
Publikováno v:
Pharmaceutics, Vol 16, Iss 8, p 1086 (2024)
This study describes the synthesis and characterization of chlorambucil (CLB)-functionalized mesoporous silica nanoparticles (MSNs) for potential application in cancer therapy. The nanoparticles were designed with a diameter between 20 and 50 nm to o
Externí odkaz:
https://doaj.org/article/c43ce6d81127492e969ff7b1c2eaf840
Autor:
Sabrina Schütz, Llorenç Solé-Boldo, Carlota Lucena-Porcel, Jochen Hoffmann, Alexander Brobeil, Anke S. Lonsdorf, Manuel Rodríguez-Paredes, Frank Lyko
Publikováno v:
Nature Communications, Vol 14, Iss 1, Pp 1-14 (2023)
Abstract Cutaneous squamous cell carcinoma (cSCC) is a serious public health problem due to its high incidence and metastatic potential. It may progress from actinic keratosis (AK), a precancerous lesion, or the in situ carcinoma, Bowen’s disease (
Externí odkaz:
https://doaj.org/article/7dfd2b2a17394f908dbe8cf7eb3a6200
Autor:
Lukas John, Alexandra M. Poos, Alexander Brobeil, Carolina Schinke, Stefanie Huhn, Nina Prokoph, Raphael Lutz, Barbara Wagner, Maurizio Zangari, Stephan M. Tirier, Jan-Philipp Mallm, Sabrina Schumacher, Dominik Vonficht, Llorenç Solé-Boldo, Sabine Quick, Simon Steiger, Moritz J. Przybilla, Katharina Bauer, Anja Baumann, Stefan Hemmer, Christoph Rehnitz, Christian Lückerath, Christos Sachpekidis, Gunhild Mechtersheimer, Uwe Haberkorn, Antonia Dimitrakopoulou-Strauss, Philipp Reichert, Bart Barlogie, Carsten Müller-Tidow, Hartmut Goldschmidt, Jens Hillengass, Leo Rasche, Simon F. Haas, Frits van Rhee, Karsten Rippe, Marc S. Raab, Sandra Sauer, Niels Weinhold
Publikováno v:
Nature Communications, Vol 14, Iss 1, Pp 1-17 (2023)
Abstract In multiple myeloma spatial differences in the subclonal architecture, molecular signatures and composition of the microenvironment remain poorly characterized. To address this shortcoming, we perform multi-region sequencing on paired random
Externí odkaz:
https://doaj.org/article/1de2b57c538f40e487f459cc7a327e33
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
Autor:
Ihab Ansari, Llorenç Solé-Boldo, Meshi Ridnik, Julian Gutekunst, Oliver Gilliam, Maria Korshko, Timur Liwinski, Birgit Jickeli, Noa Weinberg-Corem, Michal Shoshkes-Carmel, Eli Pikarsky, Eran Elinav, Frank Lyko, Yehudit Bergman
Publikováno v:
Nature Communications, Vol 14, Iss 1, Pp 1-18 (2023)
Abstract TET2/3 play a well-known role in epigenetic regulation and mouse development. However, their function in cellular differentiation and tissue homeostasis remains poorly understood. Here we show that ablation of TET2/3 in intestinal epithelial
Externí odkaz:
https://doaj.org/article/cbb5a9ce71a14585b4a2f3a138ff783a
Publikováno v:
TradTerm, Vol 45 (2023)
Este artigo é um investimento científico em defesa da Lexicografia Pedagógica da Língua de Sinais. Esta é uma pesquisa documental, de abordagem qualitativa e cunho exploratório, cujo objetivo primário é apresentar um protótipo de microestrut
Externí odkaz:
https://doaj.org/article/ead453a42d64450cb0d9cd8e227847ac