Zobrazeno 1 - 10
of 2 205
pro vyhledávání: '"Mahboubi, P"'
Autor:
Lombardi, Henri, Mahboubi, Assia
In this memoir, we seek to construct a constructive theory that is as complete as possible to describe the algebraic properties of the real number field in constructive mathematics without a dependent choice axiom. To this purpose, we use a dynamical
Externí odkaz:
http://arxiv.org/abs/2408.10290
Autor:
Lombardi, Henri, Mahboubi, Assia
In this memoir, we seek to construct a dynamical theory as complete as possible to describe the algebraic properties of the field of real numbers in constructive mathematics without axiom of dependent choice. We propose a theory which turns out to be
Externí odkaz:
http://arxiv.org/abs/2406.15218
Autor:
Dubajic, Milos, Neilson, James R., Klarbring, Johan, Liang, Xia, Boer, Stephanie A., Rule, Kirrily C., Auckett, Josie E., Gu, Leilei, Jia, Xuguang, Pusch, Andreas, Tumen-Ulzii, Ganbaatar, Wu, Qiyuan, Selby, Thomas A., Lu, Yang, Trowbridge, Julia C., Mozur, Eve M., Minelli, Arianna, Roth, Nikolaj, Orr, Kieran W. P., Soufiani, Arman Mahboubi, Kahmann, Simon, Kabakova, Irina, Ding, Jianning, Wu, Tom, Conibeer, Gavin J., Bremner, Stephen P., Walsh, Aron, Nielsen, Michael P., Stranks, Samuel D.
Empirical A-site cation substitution has advanced the stability and efficiency of hybrid organic-inorganic lead halide perovskites solar cells and the functionality of X-ray detectors. Yet, the fundamental mechanisms underpinning their unique perform
Externí odkaz:
http://arxiv.org/abs/2404.14598
This paper describes a formal proof library, developed using the Coq proof assistant, designed to assist users in writing correct diagrammatic proofs, for 1-categories. This library proposes a deep-embedded, domain-specific formal language, which fea
Externí odkaz:
http://arxiv.org/abs/2402.14485
Autor:
Halder, S., Bewong, M., Mahboubi, A., Jiang, Y., Islam, R., Islam, Z., Ip, R., Ahmed, E., Ramachandran, G., Babar, A.
Protecting software supply chains from malicious packages is paramount in the evolving landscape of software development. Attacks on the software supply chain involve attackers injecting harmful software into commonly used packages or libraries in a
Externí odkaz:
http://arxiv.org/abs/2402.07444
Autor:
Mahboubi, Assia, Piquerez, Matthieu
This paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chases can be captured by a simple many-sorted first-order theory, and we
Externí odkaz:
http://arxiv.org/abs/2311.01790
Libraries of formalized mathematics use a possibly broad range of different representations for a same mathematical concept. Yet light to major manual input from users remains most often required for obtaining the corresponding variants of theorems,
Externí odkaz:
http://arxiv.org/abs/2310.14022
Autor:
Mahmood Moosazadeh, Pedram Ebrahimnejad, Mehrnoush Sohrab, Alireza Rafiei, Mahdi Abastabar, Maryam Khazaee-Pool, Shamim Mahboubi, Motahareh Kheradmand
Publikováno v:
BMC Public Health, Vol 24, Iss 1, Pp 1-10 (2024)
Abstract Background Undiagnosed hypertension (HTN) and diabetes mellitus (DM) are major public health challenges worldwide. We aimed to investigate the prevalence of undiagnosed HTN and DM, and their correlates, in a large-scale population-based coho
Externí odkaz:
https://doaj.org/article/03e2601188be4146b138d6d6ab79bff3
Autor:
Sabereh Bayat, Mahya Sanati, Mehrdad Mohammad‐Panahi, Amirhossein Khodadadi, Mahdieh Ghasimi, Sahar Rezaee, Sara Besharat, Zahra Mahboubi‐Fooladi, Mostafa Almasi‐Dooghaee, Morteza Sanei‐Taheri, Bradford C. Dickerson, Neguine Rezaii
Publikováno v:
Annals of Clinical and Translational Neurology, Vol 11, Iss 11, Pp 2946-2957 (2024)
Abstract Objective This study aims to elucidate the cognitive underpinnings of language abnormalities in Alzheimer's Disease (AD) using a computational cross‐linguistic approach and ultimately enhance the understanding and diagnostic accuracy of th
Externí odkaz:
https://doaj.org/article/556d0d3bf76a46fda3a4768392854ceb
Publikováno v:
Research Journal of Pharmacognosy, Vol 11, Iss 4, Pp 93-104 (2024)
Jujube (Ziziphus jujuba) fruit has been routinely used as a food, additive, and flavoring agent for thousands of years due to its rich nutritional contents. Mounting evidence proves the therapeutic benefits of Ziziphus jujuba, including anticancer, a
Externí odkaz:
https://doaj.org/article/63159914cf1843cd853bb89d75c77582