Zobrazeno 1 - 10
of 17 164
pro vyhledávání: '"Freund, P"'
Trained neural networks (NN) have attractive features for closing governing equations, but in the absence of additional constraints, they can stray from physical reality. A NN formulation is introduced to preclude spurious oscillations that violate s
Externí odkaz:
http://arxiv.org/abs/2408.03413
Large Language Models (LLMs) are used for many tasks, including those related to coding. An important aspect of being able to utilize LLMs is the ability to assess their fitness for specific usages. The common practice is to evaluate LLMs against a s
Externí odkaz:
http://arxiv.org/abs/2407.19772
Autor:
Karthik, Enamundram Naga, Valošek, Jan, Farner, Lynn, Pfyffer, Dario, Schading-Sassenhausen, Simon, Lebret, Anna, David, Gergely, Smith, Andrew C., Weber II, Kenneth A., Seif, Maryam, Group, RHSCIR Network Imaging, Freund, Patrick, Cohen-Adad, Julien
Spinal cord injury (SCI) is a devastating incidence leading to permanent paralysis and loss of sensory-motor functions potentially resulting in the formation of lesions within the spinal cord. Imaging biomarkers obtained from magnetic resonance imagi
Externí odkaz:
http://arxiv.org/abs/2407.17265
Autor:
Flanagan, Cormac, Freund, Stephen N.
Rely-guarantee (RG) logic uses thread interference specifications (relies and guarantees) to reason about the correctness of multithreaded software. Unfortunately, RG logic requires each function postcondition to be "stabilized" or specialized to the
Externí odkaz:
http://arxiv.org/abs/2407.08070
Autor:
Freund, Anton
Fra\"iss\'e's conjecture (proved by Laver) is implied by the $\Pi^1_1$-comprehension axiom of reverse mathematics, as shown by Montalb\'an. The implication must be strict for reasons of quantifier complexity, but it seems that no better bound has bee
Externí odkaz:
http://arxiv.org/abs/2406.13485
Autor:
Şeker, Enes, Thomas, Rijil, von Hünefeld, Guillermo, Suckow, Stephan, Kaveh, Mahdi, Ronniger, Gregor, Safari, Pooyan, Sackey, Isaac, Stahl, David, Schubert, Colja, Fischer, Johannes Karl, Freund, Ronald, Lemme, Max C.
The fields of machine learning and artificial intelligence drive researchers to explore energy-efficient, brain-inspired new hardware. Reservoir computing encompasses recurrent neural networks for sequential data processing and matches the performanc
Externí odkaz:
http://arxiv.org/abs/2406.13549
Autor:
Monselesan, Didier P., Risbey, James S., Legresy, Benoit, Cravatte, Sophie, Pagli, Bastien, Izumo, Takeshi, Chapman, Christopher C., Freund, Mandy, Hannachi, Abdelwaheb, Irving, Damien, Reddy, P. Jyoteeshkumar, Richardson, Doug, Squire, Dougal T., Tozer, Carly R.
El Ni\~no-Southern Oscillation global (ENSO) imprint on sea surface temperature comes in many guises. To identify its tropical fingerprints and impacts on the rest of the climate system, we propose a global approach based on archetypal analysis (AA),
Externí odkaz:
http://arxiv.org/abs/2406.08694
Autor:
Xiong, Zikai, Freund, Robert M.
We consider solving huge-scale instances of (convex) conic linear optimization problems, at the scale where matrix-factorization-free methods are attractive or necessary. The restarted primal-dual hybrid gradient method (rPDHG) -- with heuristic enha
Externí odkaz:
http://arxiv.org/abs/2406.01942
Autor:
Freund, Anton
A predilator is a particularly uniform transformation of linear orders. We have a dilator when the transformation preserves well-foundedness. Over the theory $\mathsf{ACA}_0$ from reverse mathematics, any $\Pi^1_2$-formula is equivalent to the statem
Externí odkaz:
http://arxiv.org/abs/2404.06872
We consider multi-path routing of entanglement in quantum networks, where a pre-prepared multipartite entangled 2D cluster state serves as a resource to perform different tasks on demand. We show how to achieve parallel connections between multiple,
Externí odkaz:
http://arxiv.org/abs/2404.06578