Zobrazeno 1 - 10
of 8 062
pro vyhledávání: '"Mahboubi, A. A."'
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
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
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-10 (2024)
Abstract The declining fertility rate and increasing marriage age among girls pose challenges for policymakers, leading to issues such as population decline, higher social and economic costs, and reduced labor productivity. Using machine learning (ML
Externí odkaz:
https://doaj.org/article/2fc0abcd2f4d4133835f4149bd7b64ef
Autor:
Sepideh Oladzad, Narges Fallah, Amir Mahboubi, Neda Afsham, Mohammad J. Taherzadeh, Javad Toghyani
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-14 (2024)
Abstract The production of date syrup yields a substantial amount of date press cake (DPC), fibrous and moisturising material with great potential for generating value through bioprocessing. However, the recalcitrant structure of DPC affects the yiel
Externí odkaz:
https://doaj.org/article/37a24cc5a8ce4894b68a82d3fe01f3eb