Zobrazeno 1 - 10
of 330
pro vyhledávání: '"Smallbone P"'
This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL for specifying and randomly testing properties of programs. The new run-time can run multiple tests for a single property in parallel, using the available cores.
Externí odkaz:
http://arxiv.org/abs/2404.16062
Autor:
Johansson, Moa, Smallbone, Nicholas
Publikováno v:
EPTCS 341, 2021, pp. 1-16
A key component of mathematical reasoning is the ability to formulate interesting conjectures about a problem domain at hand. In this paper, we give a brief overview of a theory exploration system called QuickSpec, which is able to automatically disc
Externí odkaz:
http://arxiv.org/abs/2109.03721
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.
Publikováno v:
Atmosphere, Vol 15, Iss 5, p 572 (2024)
Airborne particulate matter (PM) is of great concern in the modern-day atmosphere owing to its association with a variety of health impacts, such as respiratory and cardiovascular diseases. Of the various size fractions of PM, it is the finer fractio
Externí odkaz:
https://doaj.org/article/343fdb95492149e4a3eae419679e1b38
Autor:
Eddeland, Johan Lidén, Claessen, Koen, Smallbone, Nicholas, Ramezani, Zahra, Miremadi, Sajed, Åkesson, Knut
Cyber-Physical Systems (CPSs) are systems with both physical and software components, for example cars and industrial robots. Since these systems exhibit both discrete and continuous dynamics, they are complex and it is thus difficult to verify that
Externí odkaz:
http://arxiv.org/abs/1910.08306
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.
A new method for compiling quantum algorithms is proposed and tested for a three qubit system. The proposed method is to decompose a a unitary matrix U, into a product of simpler U j via a neural network. These U j can then be decomposed into product
Externí odkaz:
http://arxiv.org/abs/1703.10743
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.