-
Cognitive Science: I have used classical and parameterized complexity results to
diagnose the sources of intractability in various theories of cognitive abilities such as
analogy derivation, Bayesian-based reasoning, problem solving, and decision
making; these sources are then used as a guide to revisions of those theories.
Titles of completed student theses and dissertations are:
-
Gentili, S. (2018) "Computational-level Analysis of Insight Problem
Solving." [MSc; co-supervised with Drs. Mark Blokpoel and Iris van Rooij
(Radboud University Nijmegen, Donders Institute for Brain, Cognition, and
Behaviour, Nijmegen, the Netherlands)]
-
Peters, E. (2017) "A Moral Agent Society Simulation System: Exploring the Effects
of Environment on Moral Behaviour." [Undergraduate final project; co-supervised with Drs.
Mark Blokpoel and Iris van Rooij (Radboud
University Nijmegen, Donders Institute for Brain, Cognition, and Behaviour, Nijmegen,
the Netherlands)]
I have co-authored the following publications in this area:
-
Rich, P., Blokpoel, M., de Haan, R., Otworowska, M., Sweers, M., Wareham, T., and
van Rooij, I. (2021) "Naturalism, Tractability and the Adaptive Toolbox",
Synthese, 198(6), 5749-5784.
-
Rich, P., de Haan, R., Wareham, T., and van Rooij, I. (2021) "How hard
is Cognitive Science?" In the Proceedings of the 43rd Annual Meeting of the
Cognitive Science Society (CogSci 2021). 3034-3040.
-
Woensdregt, M., Spike, M., de Haan, R., Wareham, T., van Rooij, I., and
Blokpoel, M. (2021) "Why is scaling up models of language evolution
hard?" In the Proceedings of the 43rd Annual Meeting of the
Cognitive Science Society (CogSci 2021). 209-215.
-
van Rooij, I., Blokpoel, M., de Haan, R., and Wareham, T. (2019)
"Tractable embodied cognition needs embeddedness".
Italian Journal of Cognitive Sciences, 8(15), 25-38.
-
van Rooij, I., Blokpoel, M., Kwisthout, J., and Wareham, T. (2019)
Cognition and Intractability: A Guide to Classical and Parameterized
Complexity Analysis. Cambridge University Press.
-
Blokpoel, M., Wareham, T., Haselager, P., Toni, I., and van Rooij, I. (2018)
"Deep analogical inference as the origin of hypotheses." Journal of Problem
Solving, 11(1), 3:1-3:24.
-
Otworowska, M., Blokpoel, M., Sweers, M., Wareham, T., and van Rooij, I. (2018) "Demons of
Ecological Rationality." Cognitive Science. 42(3), 1057-1066.
-
van Rooij, I., Wright, C., Kwisthout, J., and Wareham, T. (2018) "Rational Analysis, Intractability and
'As If' Explanations in Cognitive Psychology." Synthese. 195(2), 491-510.
-
Wareham, T. (2017) "The Roles of Internal Representation and Processing in Problem Solving
Involving Insight: A Computational Complexity Perspective." Journal of Problem Solving, 10(1), 3:1-3:17.
-
Robotics: I have used classical and parameterized complexity
results to diagnose the sources of intractability in various problems associated with
the design of groups of one or more reactive robots.
Titles of completed student theses and dissertations are:
-
Timmar, M. (2018)
"The Computational Complexity of Controller-Environment Co-design
using Library Selection for Distributed Construction." [MSc]
I have co-authored the following publications in this area:
-
Wareham, T. and Vardy, A. (to appear) "The Computational Complexity of
Designing Scalar-field Sensing Robot Teams and Environments for Distributed
Construction (Extended Abstract)." In the Proceedings of the 4th
International Workshop on Self-Organised Construction (SOCO 2021).
-
Wareham, T. (2019) "Designing Robot Teams for Distributed Construction, Repair, and
Maintenance." ACM Transactions on Autonomous and Adaptive Systems, 14(1), 2:1-2:29.
-
Timmar, M. and Wareham, T. (2019) "The Computational Complexity of
Controller-Environment Co-design using Library Selection for Distributed
Construction." In N. Correll, M. Schwager, and M. Otte (Eds.) Distributed
Autonomous Robotic Systems: The 14th International Symposium. Springer
Proceedings in Advance Robotics vol. 9. Springer Nature Switzerland AG.
51-63.
-
Wareham, T. and Vardy, A. (2018) "Viable Algorithmic Options for Designing Reactive Robot
Swarms." ACM Transactions on Autonomous and Adaptive Systems, 13(1), 5:1-5:23.
-
Wareham, T. and Vardy, A. (2018) "Putting It Together: The Computational Complexity of
Designing Robot Controllers and Environments for Distributed Construction." Swarm Intelligence,
12(2), 111-128.
-
Wareham, T. (2016) "Exploring the Algorithmic Options for the Efficient Design and Reconfiguration of
Reactive Robot Swarms.''
EAI Endorsed Transactions on Serious Games, 16(9): e4.
Previously appeared as Wareham (2015), BICT 2015.
-
Software Engineering: I have used classical and parameterized complexity
results to diagnose the sources of intractability in various problems associated with
the design, reconfiguration, and (re)modularization of software systems.
Titles of completed student dissertations are:
-
Brandt, A. (2017) "On the Formalization and Computational Complexity of Software Modularization"
[BSch]
I have co-authored the following publications in this area:
-
Wareham, T. (2016) "On the Computational Complexity of Software (Re)Modularization: Elaborations and Opportunities."
EAI Endorsed Transactions on Self-Adaptive Systems 16(7): e4.
Previously appeared as Wareham (2015), BICT 2015.
-
Wareham, T. and Sweers, M. (2016) "On the Computational Complexity of
Designing and Reconfiguring Component-based Software Systems."
EAI Endorsed Transactions on Self-Adaptive Systems, 16(5): e4.
Previously appeared as Wareham and Sweers (2015), BICT 2015.
-
Social Networks: I have used classical and paramterized complexity to assess the
computational difficulty of competitive influence maximization in social networks. I
have co-authored the following publications in this area:
-
Bozorgi, A., Samet, S., Kwisthout, J., and Wareham, T. (2017) "Community-based
Influence Maximization in Social Networks under a Competitive Linear Threshold Model."
Knowledge Based Systems,134, 149-158.