Results 11 to 20 of about 1,971,484 (243)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark

CoRR
Large language models (LLMs) are increasingly applied to symbolic mathematics, yet existing evaluations often conflate pattern memorization with genuine reasoning. To address this gap, we present ASyMOB, a high-resolution dataset of 35,368 validated symbolic math problems spanning integration, limits, differential equations, series, and hypergeometrics.
Michael Shalyt, Rotem Elimelech, Ido Kaminer   +2 more
openaire   +2 more sources

Representation-finite tree algebras [PDF]

, 1981
Bongartz K, Ringel CM. Representation-finite tree algebras. In: Auslander M, Lluis E, eds. Representations of Algebras. Proceedings of the Third International Conference on Representations of Algebras, held in Puebla, Mexico, August 4 - 8, 1980.
Claus Michael Ringel, Ringel, Claus Michael, Bongartz, Klaus, Auslander, Maurice, Klaus Bongartz, Lluis, Emilo   +5 more
core   +1 more source

Linear maps on real C* - algebras and related structures [PDF]

, 2010
PhDIn this thesis we obtain new results on the structures of real C*-algebras and nonsurjective isometries between them. Some of the results have been published in [1].
Apazoglou, Maria
core   +3 more sources

Analog Classification of Human Hand Gestures Exploiting Dendritic Integration With an Organic Artificial Soma

Advanced Functional Materials, EarlyView.
An organic neuromorphic architecture for the classification of human motor behavior is presented and validated. It performs somatic integration by linearly combining the activity from three muscles. An investigation of synaptic weights is presented and discussed in relationship with the classification performance.
Ilenia Sergi, Federico Rondelli, Francesco Torricelli, Federica Velluto, Anna De Salvo, Michele Di Lauro, Luciano Fadiga, Fabio Biscarini   +7 more
wiley   +1 more source

Analysis of Class VII Students' Mathematical Communication Ability in Algebra Calculating Operations

Equivalent: Jurnal Ilmiah Sosial Teknik, 2023
The problem is that teachers dominate class communication by explaining concepts, showing examples, and directing questions and answers. This study aims to analyze the communication skills of junior high school students in solving algebraic arithmetic operations.
Virginia Paulina Engelina, Dadang Rahman Munandar   +1 more
openaire   +1 more source

Organic Materials of Tomorrow: Horizons of Artificial Intelligence

Advanced Materials, EarlyView.
This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena, J. Terence Blaskovits, Kun‐Han Lin, Denis Andrienko   +3 more
wiley   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Type II₁ factors satisfying the spatial isomorphism conjecture [PDF]

, 2012
This paper addresses a conjecture in the work by Kadison and Kastler [Kadison RV, Kastler D (1972) Am J Math 94:38–54] that a von Neumann algebra M on a Hilbert space H should be unitarily equivalent to each sufficiently close von Neumann algebra N, and,
Smith, Roger R., Smith, R.R., Sinclair, A.M., Stuart A. White, Jan Cameron, Roger R. Smith, Cameron, J., Sinclair, Allan M., Wiggins, A.D., Allan M. Sinclair, White, Stuart, Wiggins, Alan D., Erik Christensen, White, S.A., Christensen, E., Christensen, Erik, Alan D. Wiggins, Cameron, Jan   +17 more
core   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections

Advanced Electronic Materials, EarlyView.
The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
wiley   +1 more source