Zobrazeno 1 - 10
of 6 152
pro vyhledávání: '"A. Brown, Christopher"'
Autor:
Brown, Christopher W.
How to handle division in systems that compute with logical formulas involving what would otherwise be polynomial constraints over the real numbers is a surprisingly difficult question. This paper argues that existing approaches from both the compute
Externí odkaz:
http://arxiv.org/abs/2412.00963
Autor:
Michel, Lucas, Nalbach, Jasper, Mathonet, Pierre, Zénaïdi, Naïm, Brown, Christopher W., Ábrahám, Erika, Davenport, James H., England, Matthew
We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability which is easier to guarantee computationally. We prove results about thi
Externí odkaz:
http://arxiv.org/abs/2411.13300
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:
Brown, Christopher1,2 (AUTHOR) c.j.brown@utas.edu.au, Hamilton, Richard3,4 (AUTHOR), Vuto, Simon5 (AUTHOR), Atu, Willie5 (AUTHOR), Masu, Rosalie6 (AUTHOR), Ramofafia, Christain7 (AUTHOR), Waldie, Pete5 (AUTHOR)
Publikováno v:
Conservation Letters. Nov2024, Vol. 17 Issue 6, p1-8. 8p.
Autor:
Brown, Christopher B.1 (AUTHOR) brow1249@msu.edu, White, Peter J. T.1 (AUTHOR) pwhite@msu.edu
Publikováno v:
Insects (2075-4450). Oct2024, Vol. 15 Issue 10, p742. 17p.
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