オープン アクセスを義務付けられた論文 - Jon Timmis詳細
一般には非公開: 4 件
Omni-pi-tent: An omnidirectional modular robot with genderless docking
RH Peck, J Timmis, AM Tyrrell
Annual Conference Towards Autonomous Robotic Systems, 307-318, 2019
委任: UK Engineering and Physical Sciences Research Council
An artificial immune system for self-healing in swarm robotic systems
AR Ismail, JD Bjerknes, J Timmis, A Winfield
Information Processing in Cells and Tissues: 10th International Conference …, 2015
委任: UK Engineering and Physical Sciences Research Council
Bringing RoboStar and RT-Tester Together
A Cavalcanti, A Miyazawa, U Schulze, J Timmis
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to …, 2023
委任: UK Engineering and Physical Sciences Research Council
Object recall using an experience database to accelerate robot action planning
R Redpath, J Timmis, M Trefzer
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
委任: UK Engineering and Physical Sciences Research Council
一般公開: 87 件
Mechanisms of hyperthermia in magnetic nanoparticles
G Vallejo-Fernandez, O Whear, AG Roca, S Hussain, J Timmis, V Patel, ...
Journal of Physics D: Applied Physics 46 (31), 312001, 2013
委任: Government of Spain
RoboChart: modelling and verification of the functional behaviour of robotic applications
A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis, J Woodcock
Software & Systems Modeling 18, 3097-3149, 2019
委任: UK Engineering and Physical Sciences Research Council
B cell zone reticular cell microenvironments shape CXCL13 gradient formation
J Cosgrove, M Novkovic, S Albrecht, NB Pikor, Z Zhou, L Onder, U Mörbe, ...
Nature communications 11 (1), 3677, 2020
委任: Swiss National Science Foundation, National Institute of Health and Medical …
Techniques for grounding agent-based simulations in the real domain: a case study in experimental autoimmune encephalomyelitis
M Read, PS Andrews, J Timmis, V Kumar
Mathematical and Computer Modelling of Dynamical Systems 18 (1), 67-86, 2012
委任: US National Institutes of Health
Computational Models of the NF-κB Signalling Pathway
RA Williams, J Timmis, EE Qwarnstrom
Computation 2 (4), 131-158, 2014
委任: UK Biotechnology and Biological Sciences Research Council, UK Engineering …
Generic, scalable and decentralized fault detection for robot swarms
D Tarapore, AL Christensen, J Timmis
PloS one 12 (8), e0182058, 2017
委任: Fundação para a Ciência e a Tecnologia, Portugal, UK Engineering and …
Agent‐based modeling in systems pharmacology
J Cosgrove, J Butler, K Alden, M Read, V Kumar, L Cucurull‐Sanchez, ...
CPT: pharmacometrics & systems pharmacology 4 (11), 615-629, 2015
委任: US National Institutes of Health, UK Engineering and Physical Sciences …
Automatic property checking of robotic applications
A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
委任: UK Engineering and Physical Sciences Research Council
Homeostatic fault tolerance in spiking neural networks: A dynamic hardware perspective
AP Johnson, J Liu, AG Millard, S Karim, AM Tyrrell, J Harkin, J Timmis, ...
IEEE Transactions on Circuits and Systems I: Regular Papers 65 (2), 687-699, 2017
委任: UK Engineering and Physical Sciences Research Council
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 2019
委任: UK Engineering and Physical Sciences Research Council
Best practices to maximize the use and reuse of quantitative and systems pharmacology models: recommendations from the United Kingdom quantitative and systems pharmacology network
L Cucurull‐Sanchez, MJ Chappell, V Chelliah, SY Amy Cheung, G Derks, ...
CPT: pharmacometrics & systems pharmacology 8 (5), 259-272, 2019
委任: European Molecular Biology Laboratory, UK Biotechnology and Biological …
Hybrid societies: challenges and perspectives in the design of collective behavior in self-organizing systems
H Hamann, Y Khaluf, J Botev, M Divband Soorati, E Ferrante, O Kosak, ...
Frontiers in Robotics and AI 3, 14, 2016
委任: Research Foundation (Flanders), UK Engineering and Physical Sciences …
The are robot fabricator: How to (re) produce robots that can evolve in the real world
MF Hale, E Buchanan, AF Winfield, J Timmis, E Hart, AE Eiben, M Angus, ...
Artificial life conference proceedings, 95-102, 2019
委任: UK Engineering and Physical Sciences Research Council
Exploring self-repair in a coupled spiking astrocyte neural network
J Liu, LJ McDaid, J Harkin, S Karim, AP Johnson, AG Millard, J Hilder, ...
IEEE transactions on neural networks and learning systems 30 (3), 865-875, 2018
委任: UK Engineering and Physical Sciences Research Council
An immune-inspired swarm aggregation algorithm for self-healing swarm robotic systems
J Timmis, AR Ismail, JD Bjerknes, AFT Winfield
Biosystems 146, 60-76, 2016
委任: UK Engineering and Physical Sciences Research Council
Suppression of AGO2 by miR-132 as a determinant of miRNA-mediated silencing in human primary endothelial cells
G Leonov, K Shah, D Yee, J Timmis, TV Sharp, D Lagos
The International Journal of Biochemistry & Cell Biology 69, 75-84, 2015
委任: UK Biotechnology and Biological Sciences Research Council, Cancer Research …
公開と助成金に関する情報は、コンピュータ プログラムによって自動的に決定されます