Items where authors include "Alden, Kieran James"

Article

Li, Wei orcid.org/0000-0001-9786-585X, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2024) Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool. Autonomous Robots. 14. ISSN 0929-5593

Buchanan Berumen, Edgar orcid.org/0000-0001-6587-8808, Alden, Kieran James, Pomfret, Andy orcid.org/0000-0003-0325-1617 et al. (2 more authors) (2023) A study of error diversity in robotic swarms for task partitioning in foraging tasks. Frontiers in Robotics and AI. ISSN 2296-9144

Coles, Mark Christopher orcid.org/0000-0001-8079-9358, O'Toole, Peter John orcid.org/0000-0001-5295-2001, Lacey, Charles John Nash orcid.org/0000-0001-9250-2638 et al. (28 more authors) (2020) B-cell Zone Reticular Cell Microenvironments Shape CXCL13 Gradient Formation. Nature Communications. 3677. ISSN 2041-1723

Alden, Kieran James, Cosgrove, Jason, Coles, Mark Christopher orcid.org/0000-0001-8079-9358 et al. (1 more author) (2018) Using Emulation to Engineer and Understand Simulations of Biological Systems. IEEE/ACM Transactions on Computational Biology and Bioinformatics. ISSN 1545-5963

Evans, Stephanie, Alden, Kieran James, Cucurull-Sanchez, Lourdes et al. (4 more authors) (2017) ASPASIA: A toolkit for evaluating the effects of biological interventions on SBML model behavior. PLoS Computational Biology. ISSN 1553-7358

Butler, James Andrew, Cosgrove, Jason, Alden, Kieran James et al. (2 more authors) (2016) Model-driven Experimentation: A new approach to understand mechanisms of tertiary lymphoid tissue formation, function and therapeutic resolution. Frontiers in immunology. pp. 1-23. ISSN 1664-3224

Timmis, Jonathan Ian orcid.org/0000-0003-1055-0471, Alden, Kieran James, Andrews, Paul et al. (5 more authors) (2016) Building Confidence in Quantitative Systems Pharmacology Models:An Engineer's Guide to Exploring the Rationale in Model Design and Development. CPT Pharmacometrics Systems Pahrmacology. pp. 1-41.

Alden, Kieran James, Timmis, Jon orcid.org/0000-0003-1055-0471, Andrews, Paul et al. (2 more authors) (2016) Extending and Applying Spartan to Perform Temporal Sensitivity Analyses for Predicting Changes in Influential Biological Pathways in Computational Models. IEEE/ACM Transactions on Computational Biology and Bioinformatics. ISSN 1545-5963

Alden, Kieran James, Andrews, Paul Simon, Polack, Fiona A C orcid.org/0000-0001-7954-6433 et al. (3 more authors) (2015) Using argument notation to engineer biological simulations with increased confidence. Interface. 20141059. ISSN 1742-5662