Process Validation in Biopharmaceutical Manufacturing

Autor: William Kelsey, Joyce Ellis, Sheryl Martin-Moe, Michael Kamarck

Publikováno v: Process Validation in Manufacturing of Biopharmaceuticals: Guidelines, Current Practices, and Industrial Case Studies

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c758bb75968d9e3a6fe69b8fcb851279
https://doi.org/10.1201/b13997-15

Computer algebra meets automated theorem proving

Autor: Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Thomas William Kelsey, Ursula Martin, Sam Owre

Publikováno v: University of St Andrews CRIS

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::abca18e584ae217473c3b10a79d1a211
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/computer-algebra-meets-automated-theorem-proving(415c4eab-706c-4e96-b105-0bc110a69dea).html

Tractable Symmetry Breaking using Restricted Search Trees

Autor: Colva Roney-Dougal, Ian Philip Gent, Thomas William Kelsey, Stephen Alexander Linton

Publikováno v: University of St Andrews CRIS

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9684bcdf249f9fd404c821a02b2b1af1
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/tractable-symmetry-breaking-using-restricted-search-trees(f2c34853-8614-4596-b90d-f72f858015ee).html