Neil D. Evans

Available identifiers

zbMath Open evans.neil-dWikidataQ44622565 ScholiaQ44622565MaRDI QIDQ1049154

List of research outcomes

Publication	Date of Publication	Type
Reducing bit-vector polynomials to SAT using Gröbner bases	2021-04-07	Paper
Extending existing structural identifiability analysis methods to mixed-effects models	2018-02-15	Paper
A mathematical model characterising Achilles tendon dynamics in flexion	2017-01-23	Paper
Controlling Nonlinear Infinite-Dimensional Systems via the Initial State	2014-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q2863864	2013-12-04	Paper
Structural identifiability analysis via symmetries of differential equations	2010-01-08	Paper
Chunks: Component Verification in CSP ∥ B	2007-11-29	Paper
Interactive tool support for CSP \(\parallel\) B consistency checking	2007-09-06	Paper
Verifying security protocols with PVS: widening the rank function approach	2005-08-01	Paper
The structural identifiability of the susceptible infected recovered model with seasonal forcing	2005-06-27	Paper
Structural indistinguishability between uncontrolled (autonomous) nonlinear analytic systems	2005-02-23	Paper
Structural identifiability of non-linear systems using linear/non-linear splitting	2004-08-17	Paper
Structural identifiability for a class of non-linear compartmental systems using linear/ non-linear splitting and symbolic computation	2003-05-19	Paper
The structural identifiability and parameter estimation of a multispecies model for the transmission of mastitis in dairy cows with postmilking teat disinfection	2003-04-02	Paper
Identifiability of uncontrolled nonlinear rational systems	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2739304	2002-05-30	Paper
The structural identifiability and parameter estimation of a multispecies model for the transmission of mastitis in dairy cows	2002-05-21	Paper
Extensions to a procedure for generating locally identifiable reparameterisations of unidentifiable systems	2002-03-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Neil D. Evans