Zobrazeno 1 - 10
of 19 713
pro vyhledávání: '"First A"'
Autor:
Cantor, Omer, First, Uriya A.
Let $A$ be a finite dimensional algebra (possibly with some extra structure) over an infinite field $K$ and let $r\in\mathbb{N}$. The $r$-tuples $(a_1,\dots,a_r)\in A^r$ which fail to generate $A$ are the $K$-points of a closed subvariety $Z_r$ of th
Externí odkaz:
http://arxiv.org/abs/2410.04558
Autor:
Croxford, Emma, Gao, Yanjun, Pellegrino, Nicholas, Wong, Karen K., Wills, Graham, First, Elliot, Liao, Frank J., Goswami, Cherodeep, Patterson, Brian, Afshar, Majid
Large Language Models have advanced clinical Natural Language Generation, creating opportunities to manage the volume of medical text. However, the high-stakes nature of medicine requires reliable evaluation, which remains a challenge. In this narrat
Externí odkaz:
http://arxiv.org/abs/2409.18170
Autor:
Mardi Santoso, Li Lin Ong, Nur Pasca Aijijiyah, First Ambar Wati, Azminah Azminah, Rose Malina Annuur, Arif Fadlan, Zaher M.A. Judeh
Publikováno v:
Heliyon, Vol 8, Iss 3, Pp e09045- (2022)
The synthesized 3,3-di(indolyl)indolin-2-ones 1a-p showed desired higher α-glucosidase inhibitory activities and lower α-amylase inhibitory activities than standard drug acarbose. Particularly, compound 1i showed favorable higher α-glucosidase % i
Externí odkaz:
https://doaj.org/article/44522e7dd95445d39f9e88abbc39cc62
Autor:
Kahle, Leonid, Minisini, Benoit, Bui, Tai, First, Jeremy T., Buda, Corneliu, Goldman, Thomas, Wimmer, Erich
Machine-learned potentials (MLPs) trained on ab initio data combine the computational efficiency of classical interatomic potentials with the accuracy and generality of the first-principles method used in the creation of the respective training set.
Externí odkaz:
http://arxiv.org/abs/2408.03058
Autor:
First, Uriya, Williams, Ben
Suppose $A$ is an Azumaya algebra over a ring $R$ and $\sigma$ is an involution of $A$ extending an order-$2$ automorphism $\lambda:R\to R$. We say $\sigma$ is extraordinary if there does not exist a Brauer-trivial Azumaya algebra $\mathrm{End}_R(P)$
Externí odkaz:
http://arxiv.org/abs/2405.15260
Autor:
Carrott, Pedro, Saavedra, Nuno, Thompson, Kyle, Lerner, Sorin, Ferreira, João F., First, Emily
Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most of the proof burden on the user, making formal verification a complex,
Externí odkaz:
http://arxiv.org/abs/2405.04282
Autor:
An, Chenyang, Chen, Zhibo, Ye, Qihao, First, Emily, Peng, Letian, Zhang, Jiayun, Wang, Zihan, Lerner, Sorin, Shang, Jingbo
Recent advances in Automated Theorem Proving have shown the effectiveness of leveraging a (large) language model that generates tactics (i.e. proof steps) to search through proof states. The current model, while trained solely on successful proof pat
Externí odkaz:
http://arxiv.org/abs/2404.07382
Autor:
First, Uriya A., Kaufman, Tali
We study sheaves on posets, showing that cosystolic expansion of such sheaves can be derived from local expansion conditions of the sheaf and the poset (typically a high dimensional expander). When the poset at hand is a cell complex, a sheaf on it m
Externí odkaz:
http://arxiv.org/abs/2403.19388
Autor:
Wright, Lewis, Keever, Conor Mc, First, Jeremy T., Johnston, Rory, Tillay, Jeremy, Chaney, Skylar, Rosenkranz, Matthias, Lubasch, Michael
We design and implement quantum circuits for the simulation of the one-dimensional wave equation on the Quantinuum H1-1 quantum computer. The circuit depth of our approach scales as $O(n^{2})$ for $n$ qubits representing the solution on $2^n$ grid po
Externí odkaz:
http://arxiv.org/abs/2402.19247
Let $k$ be a field and let $G$ be an affine $k$-algebraic group. Call a $G$-torsor weakly versal for a class of $k$-schemes $\mathscr{C}$ if it specializes to every $G$-torsor over a scheme in $\mathscr{C}$. A recent result of the first author, Reich
Externí odkaz:
http://arxiv.org/abs/2401.04458