Items where authors include "Stannett, M."

Article

Gyeera, T.W. orcid.org/0000-0002-2567-4197, Simons, A.J.H. orcid.org/0000-0002-5925-7148 and Stannett, M. orcid.org/0000-0002-2794-8614 (2023) Regression analysis of predictions and forecasts of cloud data center KPIs using the boosted decision tree algorithm. IEEE Transactions on Big Data, 9 (4). pp. 1071-1085. ISSN 2332-7790

Stannett, M. orcid.org/0000-0002-2794-8614 (2023) The halting problem is soluble in Malament-Hogarth spacetimes. Archive of Formal Proofs, 2023. ISSN 2150-914x

Stannett, M. orcid.org/0000-0002-2794-8614, Higgins, E., Andréka, H. et al. (3 more authors) (2023) No faster-than-light observers (GenRel). Archive of Formal Proofs, 2023. ISSN 2150-914x

Madarász, J.X., Stannett, M. orcid.org/0000-0002-2794-8614 and Székely, G. (2022) Investigations of isotropy and homogeneity of spacetime in first-order logic. Annals of Pure and Applied Logic, 173 (9). 103153. ISSN 0168-0072

Madarász, J.X., Stannett, M. orcid.org/0000-0002-2794-8614 and Székely, G. (2022) Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. The Review of Symbolic Logic, 15 (2). pp. 334-361. ISSN 1755-0203

Madarasz, J.X., Stannett, M. orcid.org/0000-0002-2794-8614 and Szekely, G. (2021) Groups of worldview transformations implied by isotropy of space. Journal of Applied Logics-IfCoLog Journal of Logics and their Applications, 8 (3). pp. 809-876. ISSN 2055-3706

Patitz, M. and Stannett, M. orcid.org/0000-0002-2794-8614 (2019) Preface. Natural Computing, 18 (1). pp. 61-62. ISSN 1567-7818

Bakir, M.E., Konur, S., Gheorghe, M. et al. (2 more authors) (2018) Automatic selection of verification tools for efficient analysis of biochemical models. Bioinformatics, 34 (18). pp. 3187-3195. ISSN 1367-4803

Eftonova, T., Kiran, M. and Stannett, M. orcid.org/0000-0002-2794-8614 (2017) Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling. International Journal of System Dynamics Applications, 6 (1). pp. 1-20. ISSN 2160-9772

Stannett, M. and Gheorghe, M. (2015) Integration testing of heterotic systems. Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 373. 20140222. ISSN 1364-503X

Csuhaj-Varjú, E., Gheorghe, M., Stannett, M. orcid.org/0000-0002-2794-8614 et al. (1 more author) (2015) Spatially Localised Membrane Systems. Fundamenta Informaticae, 138 (1-2). pp. 193-205. ISSN 0169-2968

Dautov, R., Paraskakis, I. and Stannett, M. (2014) Towards a framework for monitoring cloud application platforms as sensor networks. Cluster Computing, 17 (4). 1203 - 1213. ISSN 1386-7857

Madarász, J.X., Székely, G. and Stannett, M. orcid.org/0000-0002-2794-8614 (2014) On the Possibility and Consequences of Negative Mass. (Unpublished)

Dautov, R., Paraskakis, I. and Stannett, M. orcid.org/0000-0002-2794-8614 (2014) Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms. Journal of Cloud Computing: Advances, Systems and Applications, 3 (1). 13. ISSN 2192-113X

Proceedings Paper

Olayinka, O. and Stannett, M. orcid.org/0000-0002-2794-8614 (2020) Experiencing the Sheffield team software project: a project-based learning approach to teaching agile. In: Proceedings of 2020 IEEE Global Engineering Education Conference (EDUCON). 2020 IEEE Global Engineering Education Conference (EDUCON), 27-30 Apr 2020, Porto, Portugal. IEEE , pp. 1299-1305. ISBN 9781728109312

Lefticaru, R., Bakir, M.E., Konur, S. et al. (2 more authors) (2018) Modelling and validating an engineering application in kernel P systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A. and Zandron, C., (eds.) Membrane Computing. CMC 2017. 18th International Conference, CMC 2017, 25-28 Jul 2017, Bradford, UK. Lecture Notes in Computer Science, 10725 . Springer International Publishing , pp. 183-195. ISBN 9783319733586

Gheorghe, M., Konur, S., Ipate, F. et al. (3 more authors) (2015) An integrated model checking toolset for kernel P systems. In: Lecture Notes in Computer Science. 16th International Conference, CMC 2015, 17-21 Aug 2015, Valencia, Spain. Springer , pp. 153-170. ISBN 9783319284743

Stannett, M. (2013) Membrane Systems and Hypercomputation. In: Csuhaj-Varjú, E, Gheorghe, M, Rozenberg, G, Salomaa, A and Vaszil, G, (eds.) International Conference on Membrane Computing. International Conference on Membrane Computing, 28-31 Aug 2012, Budapest, Hungary. Lecture Notes in Computer Science, 7762 . Springer , pp. 78-87. ISBN 978-3-642-36750-2

Other

Stannett, M. orcid.org/0000-0002-2794-8614 (2024) The Stone-Cech Compactification. Archive of Formal Proofs, Archive of Formal Proofs.