Russell Bradford

NESP MaC Project 3.13 - Eastern Grey Nurse Shark population abundance and trend, 2023-2025 (CSIRO, NSW DPI)

Russell Bradford, David Harasti, Emma L. Westlake, Pierre Feutry et autres

Grey nurse sharks are a nationally significant threatened species, with Australia’s eastern population listed as Critically Endangered under the EPBC Act. The Recovery Plan for the Grey Nurse Shark identifies the need for robust estimates of abundance, population trend, age structure, survival …

Form, Function and Feeding: Changes in Tooth Size and Shape Associated With Ontogenetic Changes in Prey Consumption by Australian White Sharks ( Carcharodon carcharias )

Emily Hunt, Yuri Niella, Amy F. Smoothey, Ezequiel M. Marzinelli et autres

ABSTRACT White sharks undergo pronounced ecological and dietary shifts across ontogeny, and their teeth play a central role in mediating these changes. Understanding the complexity within shark tooth and jaw mechanics, plus the fine‐scale tooth morphology, can provide insights into how feeding …

au (code pays fourni par la source)

The DEWCAD project

Russell Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh et autres

This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, through …

gb (code pays fourni par la source)

The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition

Russell Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh et autres

This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, through …

gb (code pays fourni par la source)

Cylindrical algebraic decomposition with equational constraints

Matthew England, Russell Bradford, James H. Davenport

gb (code pays fourni par la source)

Identifying the parametric occurrence of multiple steady states for some biological networks

Russell Bradford, James H. Davenport, Matthew England, Hassan Errami et autres

gb, ru, fr, de, sk, at (code pays fourni par la source)

Does the "Artificial Intelligence Clinician" learn optimal treatment strategies for sepsis in intensive care?

Russell Bradford, Chris Sangwin, Supreeth P. Shashikumar, Shamim Nemati

From 2017 to 2018 the number of scientific publications found via PubMed search using the keyword Machine Learning increased by 46% (4,317 to 6,307). results of studies involving machine learning, artificial intelligence (AI), and big data have captured the attention of healthcare …

Dataset supporting the paper: "Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks"

Russell Bradford, James H. Davenport, Matthew England, H. Erramii et autres

Dataset supporting the paper: Russell Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Košta, Ovidiu Radulescu, Thomas Sturm, and Andreas Weber. Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. To appear …

gb, de, sk, fr (code pays fourni par la source)

Dataset supporting the paper: "Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks"

Russell Bradford, James H. Davenport, Matthew England, H. Erramii et autres

Dataset supporting the paper: Russell Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Košta, Ovidiu Radulescu, Thomas Sturm, and Andreas Weber. Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. To appear …

gb, de, sk, fr (code pays fourni par la source)

Dataset supporting the paper: "Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks"

Russell Bradford, James H. Davenport, Matthew England, H. Erramii et autres

Dataset supporting the paper: Russell Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Košta, Ovidiu Radulescu, Thomas Sturm, and Andreas Weber. Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. To appear …

gb, de, sk, fr (code pays fourni par la source)

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

Casey B. Mulligan, Russell Bradford, James H. Davenport, Matthew England et autres

We consider problems originating in economics that may be solved automatically using mathematical software. We present and make freely available a new benchmark set of such problems. The problems have been shown to fall within the framework of non-linear real arithmetic, and …

us, gb (code pays fourni par la source)

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning\n in Economics

Casey B. Mulligan, Russell Bradford, James H. Davenport, Matthew England et autres

We consider problems originating in economics that may be solved\nautomatically using mathematical software. We present and make freely available\na new benchmark set of such problems. The problems have been shown to fall\nwithin the framework of non-linear real arithmetic, and so are in …