E-LIB Suche - Ergebnisse für: Timmis, Jon

1

Formal design, verification and implementation of robotic c..:

Li, Wei ; Ribeiro, Pedro ; Miyazawa, Alvaro...
Autonomous Robots. 48 (2024) 6 - p. , 2024

2

Morpho Evolution With Learning Using a Controller Archive a..:

Le Goff, Léni K. ; Buchanan, Edgar ; Hart, Emma...
IEEE Transactions on Cognitive and Developmental Systems. 15 (2023) 2 - p. 507-517 , 2023

Link: https://doi.org/10.1109/..

3

Bringing RoboStar and RT-Tester Together:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

Cavalcanti, Ana ; Miyazawa, Alvaro ; Schulze, Uwe. - p. 16-33 , 2023

Link: https://doi.org/10.1007/..

4

A study of error diversity in robotic swarms for task parti..:

Buchanan, Edgar ; Alden, Kieran ; Pomfret, Andrew..
Frontiers in Robotics and AI. 9 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

5

Evaluation of Frameworks That Combine Evolution and Learnin..:

Li, Wei ; Buchanan, Edgar ; Goff, Léni K. Le...
IEEE Transactions on Evolutionary Computation. , 2023

Link: https://doi.org/10.1109/..

6

Practical hardware for evolvable robots:

Angus, Mike ; Buchanan, Edgar ; Le Goff, Léni K....
Frontiers in Robotics and AI. 10 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

7

Assessing ranking and effectiveness of evolutionary algorit..:

Ojha, Varun ; Timmis, Jon ; Nicosia, Giuseppe
Swarm and Evolutionary Computation. 74 (2022) - p. 101130 , 2022

Link: https://doi.org/10.1016/..

8

Self-Assembly and Self-Repair during Motion with Modular Ro..:

Peck, Robert H. ; Timmis, Jon ; Tyrrell, Andy M.
Electronics. 11 (2022) 10 - p. 1595 , 2022

Link: https://doi.org/10.3390/..

9

Simulating CXCR5 Dynamics in Complex Tissue Microenvironmen..:

Cosgrove, Jason ; Alden, Kieran ; Stein, Jens V...
Frontiers in Immunology. 12 (2021) - p. , 2021

Link: https://doi.org/10.3389/..

10

Cylindabot: Transformable Wheg Robot Traversing Stepped and..:

Woolley, Robert ; Timmis, Jon ; Tyrrell, Andy M.
Robotics. 10 (2021) 3 - p. 104 , 2021

Link: https://doi.org/10.3390/..

11

Software Engineering for Robotics:

Cavalcanti, Ana ; Dongol, Brijesh ; Hierons, Rob.. - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

12

Bootstrapping Artificial Evolution to Design Robots for Aut..:

Buchanan, Edgar ; Le Goff, Léni K. ; Li, Wei...
Robotics. 9 (2020) 4 - p. 106 , 2020

Link: https://doi.org/10.3390/..

13

Using Emulation to Engineer and Understand Simulations of B..:

Alden, Kieran ; Cosgrove, Jason ; Coles, Mark.
IEEE/ACM Transactions on Computational Biology and Bioinformatics. 17 (2020) 1 - p. 302-315 , 2020

Link: https://doi.org/10.1109/..

14

Hardware Design for Autonomous Robot Evolution:

, In: 2020 IEEE Symposium Series on Computational Intelligence (SSCI),

Hale, Matthew F. ; Angus, Mike ; Buchanan, Edgar... - p. 2140-2147 , 2020

Link: https://doi.org/10.1109/..

15

Evolution of Diverse, Manufacturable Robot Body Plans:

, In: 2020 IEEE Symposium Series on Computational Intelligence (SSCI),

Buchanan, Edgar ; Goff, Leni K. Le ; Hart, Emma... - p. 2132-2139 , 2020

Link: https://doi.org/10.1109/..