The following pages link to Neil D. Evans (Q1049154):
Displaying 19 items.
- (Q503866) (redirect page) (← links)
- A mathematical model characterising Achilles tendon dynamics in flexion (Q503867) (← links)
- Structural identifiability analysis via symmetries of differential equations (Q1049155) (← links)
- The structural identifiability and parameter estimation of a multispecies model for the transmission of mastitis in dairy cows (Q1349241) (← links)
- Extensions to a procedure for generating locally identifiable reparameterisations of unidentifiable systems (Q1595407) (← links)
- Extending existing structural identifiability analysis methods to mixed-effects models (Q1697297) (← links)
- Structural indistinguishability between uncontrolled (autonomous) nonlinear analytic systems (Q1765180) (← links)
- The structural identifiability of the susceptible infected recovered model with seasonal forcing (Q1781611) (← links)
- Identifiability of uncontrolled nonlinear rational systems (Q1858901) (← links)
- The structural identifiability and parameter estimation of a multispecies model for the transmission of mastitis in dairy cows with postmilking teat disinfection (Q1867125) (← links)
- Structural identifiability for a class of non-linear compartmental systems using linear/ non-linear splitting and symbolic computation (Q1873134) (← links)
- Verifying security protocols with PVS: widening the rank function approach (Q2484411) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
- Reducing bit-vector polynomials to SAT using Gröbner bases (Q2661363) (← links)
- A control theoretic approach to containing the spread of rabies (Q2739304) (← links)
- Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking (Q2863864) (← links)
- Controlling nonlinear infinite-dimensional systems via the initial state (Q2873853) (← links)
- Structural identifiability of non-linear systems using linear/non-linear splitting (Q4810902) (← links)
- Chunks: Component Verification in CSP ∥ B (Q5429309) (← links)
