Search
Results: 1128
A repository for CAD Examples
Cylindrical Algebraic Decomposition (CAD, first introduced in [Col75]) of Euclidean space has become an important tool in mathematics and allows for practical quantifier elimination (QE) over the reals. Much research has gone...
Cylindrical algebraic decomposition with equational constraints
Cylindrical Algebraic Decomposition (CAD) has long been one of the most important algorithms within Symbolic Computation, as a tool to perform quantifier elimination in first order logic over the reals. More recently it is...
Spatiotemporal distribution patterns of immature Australasian white sharks (Carcharodon carcharias).
In Australian and New Zealand waters, current knowledge on white shark (Carcharodon carcharias) movement ecology is based on individual tracking studies using relatively small numbers of tags. These studies describe a species...
Spatiotemporal distribution patterns of immature Australasian white sharks ( Carcharodon carcharias )
Abstract: In Australian and New Zealand waters, current knowledge on white shark (Carcharodon carcharias) movement ecology is based on individual tracking studies using relatively small numbers of tags. These studies describe a...
Spatiotemporal distribution patterns of immature Australasian white sharks ( Carcharodon carcharias )
Abstract: In Australian and New Zealand waters, current knowledge on white shark (Carcharodon carcharias) movement ecology is based on individual tracking studies using relatively small numbers of tags. These studies describe a...
Cylindrical algebraic decomposition with equational constraints
Cylindrical Algebraic Decomposition (CAD) has long been one of the most important algorithms within Symbolic Computation, as a tool to perform quantifier elimination in first order logic over the reals. More recently it is...
A repository for CAD Examples
Cylindrical Algebraic Decomposition (CAD, first introduced in [Col75]) of Euclidean space has become an important tool in mathematics and allows for practical quantifier elimination (QE) over the reals. Much research has gone...
A comparison of equality in computer algebra and correctness in mathematical pedagogy (II)
A perennial problem in computer-aided assessment is that “a right answer”, pedagogically speaking, is not the same thing as “a mathematically correct expression”, as verified by a computer algebra system, or indeed other...
A comparison of equality in computer algebra and correctness in mathematical pedagogy (II)
A perennial problem in computer-aided assessment is that “a right answer”, pedagogically speaking, is not the same thing as “a mathematically correct expression”, as verified by a computer algebra system, or indeed other...
Branch Cuts in Maple 17
Accurate and comprehensible knowledge about the position of branch cuts is essential for correctly working with multi-valued functions, such as the square root and logarithm. We discuss the new tools in Maple 17 for calculating...
Efficient characterisation of large deviations using population dynamics
We consider population dynamics as implemented by the cloning algorithm for analysis of large deviations of time-averaged quantities. We use the simple symmetric exclusion process with periodic boundary conditions as a...
driven diffusive systems exclusion processes large deviations in non-equilibrium systems /dk/atira/pure/subjectarea/asjc/3100/3109 name=Statistical and Nonlinear Physics /dk/atira/pure/subjectarea/asjc/2600/2613 name=Statistics and Probability /dk/atira/pure/subjectarea/asjc/1800/1804 name=Statistics, Probability and Uncertainty
Efficient characterisation of large deviations using population dynamics
We consider population dynamics as implemented by the cloning algorithm for analysis of large deviations of time-averaged quantities. We use the simple symmetric exclusion process with periodic boundary conditions as a...
driven diffusive systems exclusion processes large deviations in non-equilibrium systems /dk/atira/pure/subjectarea/asjc/3100/3109 name=Statistical and Nonlinear Physics /dk/atira/pure/subjectarea/asjc/2600/2613 name=Statistics and Probability /dk/atira/pure/subjectarea/asjc/1800/1804 name=Statistics, Probability and Uncertainty
Branch Cuts in Maple 17
Accurate and comprehensible knowledge about the position of branch cuts is essential for correctly working with multi-valued functions, such as the square root and logarithm. We discuss the new tools in Maple 17 for calculating...
Establishing a causal link between social relationships and health using the Bradford Hill Guidelines.
An abundance of evidence suggests that the size and quality of our social relationships improves humans' physical and mental health while increasing lifespan. However most of this evidence comes from observational rather than...
Conrad Russell, Richard Cust, and Andrew Thrush, eds. King James VI/I and His English Parliaments. New York
David L Smith
May 08, 2019
This book is a revised and extended version of the six Trevelyan Lectures that Conrad Russell delivered at Cambridge University in the Lent Term of 1995. Between then and his death in October 2004, Russell developed the lectures...
Identifying the parametric occurrence of multiple steady states for some biological networks
Russell Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Košta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
May 01, 2020
We consider a problem from biological network analysis of determining regions in a parameter space over which there are multiple steady states for positive real values of variables and parameters. We describe multiple...
Clinical and electrophysiological characterization of myokymia and neuromyotonia in Jack Russell Terriers.
AE Vanhaesebrouck, I Van Soens, L Poncelet, L Duchateau, S Bhatti, I Polis, S Diels, L Van Ham
Jul 03, 2019
BACKGROUND: Generalized myokymia and neuromyotonia (M/NM) in Jack Russell Terriers (JRTs) is related to peripheral nerve hyperexcitability syndrome in humans, a symptom complex resulting from diverse etiologies. OBJECTIVE...
Identifying the parametric occurrence of multiple steady states for some biological networks
Russell Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Košta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
May 01, 2020
We consider a problem from biological network analysis of determining regions in a parameter space over which there are multiple steady states for positive real values of variables and parameters. We describe multiple...
Short laws for finite groups and residual finiteness growth
We prove that for every
The Piano Mover's Problem Reformulated
We revisit the classic problem of moving ladders of various lengths through a right-angled corridor. It has long been known that it is theoretically possible to tackle this problem through cylindrical algebraic decomposition...
Published by: Department of Computer Science, University of Bath
The potential health impact of restricting less-healthy food and beverage advertising on UK television between 05.30 and 21.00 hours
Oliver T. Mytton, Emma Boyland, Jean Adams, Brendan Collins, Martin O’Connell, Simon J. Russell, Kate Smith, Rebekah Stroud, Russell M. Viner, Linda J. Cobiac
Oct 13, 2020
Expansion, random walks and sieving in $$S{L_2}({\mathbb{F}_p}[t])$$
Henry Bradford
Mar 09, 2020
We construct new examples of expander Cayley graphs of finite groups, arising as congruence quotients of non-elementary subgroups of SL2(𝔽p[t]) modulo certain square-free ideals. We describe some applications of our results to...
New uniform diameter bounds in pro-$p$ groups
Henry Bradford
Mar 09, 2020
We give new upper bounds for the diameters of finite groups which do not depend on a choice of generating set. Our method exploits the commutator structure of certain profinite groups, in a fashion analogous to the...
Navigating directed Cayley graphs of small diameter
Henry Bradford
Mar 09, 2020
Let [Formula: see text] be a group and [Formula: see text] be a descending sequence of finite-index normal subgroups. We establish explicit upper bounds on the diameters of the directed Cayley graphs of the [Formula: see text]...
|
|< |
< |
1 |