Zobrazeno 1 - 10
of 2 334
pro vyhledávání: '"Brown, Christopher P."'
Autor:
Sokolov, Igor O., Both, Gert-Jan, Bochevarov, Art D., Dub, Pavel A., Levine, Daniel S., Brown, Christopher T., Acheche, Shaheen, Barkoutsos, Panagiotis Kl., Elfving, Vincent E.
Kohn-Sham Density Functional Theory (KS-DFT) provides the exact ground state energy and electron density of a molecule, contingent on the as-yet-unknown universal exchange-correlation (XC) functional. Recent research has demonstrated that neural netw
Externí odkaz:
http://arxiv.org/abs/2404.14258
Autor:
Brown, Christopher, Spannowsky, Michael, Tapper, Alexander, Williams, Simon, Xiotidis, Ioannis
Publikováno v:
Front. Artif. Intell. 7:1339785 (2024)
In high-energy particle collisions, charged track finding is a complex yet crucial endeavour. We propose a quantum algorithm, specifically quantum template matching, to enhance the accuracy and efficiency of track finding. Abstracting the Quantum Amp
Externí odkaz:
http://arxiv.org/abs/2311.00766
One of the few available complete methods for checking the satisfiability of sets of polynomial constraints over the reals is the cylindrical algebraic covering (CAlC) method. In this paper, we propose an extension for this method to exploit the stri
Externí odkaz:
http://arxiv.org/abs/2306.16757
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
Autor:
Rouxel, Benjamin, Brown, Christopher, Ebeid, Emad, Eder, Kerstin, Falk, Heiko, Grelck, Clemens, Holst, Jesper, Jadhav, Shashank, Marquer, Yoann, De Alejandro, Marcos Martinez, Nikov, Kris, Sahafi, Ali, Lundquist, Ulrik Pagh Schultz, Seewald, Adam, Vassalos, Vangelis, Wegener, Simon, Zendra, Olivier
Publikováno v:
Design, Automation and Test in Europe, Apr 2023, Antwerp, Belgium
Non-functional properties, such as energy, time, and security (ETS) are becoming increasingly important in Cyber-Physical Systems (CPS) programming. This article describes TeamPlay, a research project funded under the EU Horizon 2020 programme betwee
Externí odkaz:
http://arxiv.org/abs/2306.06115
Analytically tracking patterns emerging from a small amplitude Turing instability to large amplitude remains a challenge as no general theory exists. In this paper, we consider a three component reaction-diffusion system with one of its components si
Externí odkaz:
http://arxiv.org/abs/2301.08075
Autor:
Nalbach, Jasper, Ábrahám, Erika, Specht, Philippe, Brown, Christopher W., Davenport, James H., England, Matthew
Publikováno v:
Journal of Symbolic Computation, Volume 123, Article Number 102288. Elsevier, 2024
Satisfiability Modulo Theories (SMT) solvers check the satisfiability of quantifier-free first-order logic formulas. We consider the theory of non-linear real arithmetic where the formulae are logical combinations of polynomial constraints. Here a co
Externí odkaz:
http://arxiv.org/abs/2212.09309
Publikováno v:
EPTCS 352, 2021, pp. 156-166
We introduce a system of software tools that can automatically prove or discover geometric inequalities. The system, called GeoGebra Discovery, consisting of an extended version of GeoGebra, a controller web service realgeom, and the computational to
Externí odkaz:
http://arxiv.org/abs/2201.00544
We give a construction of general holomorphic quarter BPS operators in $ \mathcal{N}=4$ SYM at weak coupling with $U(N)$ gauge group at finite $N$. The construction employs the M\"obius inversion formula for set partitions, applied to multi-symmetric
Externí odkaz:
http://arxiv.org/abs/2007.01734
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.