1.5k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of BristolGB236 papers
- University of OxfordGB60 papers
- Centre National de la Recherche ScientifiqueFR53 papers
- University of GroningenNL51 papers
- École Polytechnique Fédérale de LausanneCH44 papers
- University of Hawaii SystemUS41 papers
- University of TurinIT41 papers
- Université Paris CitéFR39 papers
- CEA Paris-SaclayFR38 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR38 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di FerraraIT37 papers
- University of CambridgeGB37 papers
11 papers · 1 filter
On hybrid circuits exploiting thermistive properties of slime mould
Xavier Alexis Walter, Ian Horsfield, Richard Mayne +2
Slime mould Physarum polycephalum is a single cell visible by unaided eye. Let the slime mould span two electrodes with a single protoplasmic tube: if the tube is heated to approxi…
On exploration of geometrically constrained space by medicinal leeches Hirudo verbana
Andrew Adamatzky
Leeches are fascinating creatures: they have simple modular nervous circuitry m yet exhibit a rich spectrum of behavioural modes. Leeches could be ideal blue-prints for designing f…
Building exploration with leeches Hirudo verbana
Andrew Adamatzky, Georgios Ch. Sirakoulis
Safe evacuation of people from building and outdoor environments, and search and rescue operations, always will remain actual in course of all socio-technological developments. Mod…
Notes on Adiabatic Quantum Computers
Boaz Tamir, Eliahu Cohen
We discuss in this chapter the basics of adiabatic computation, as well as some physical implementations. After a short introduction of the quantum circuit model, we describe quant…
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
Dejanira Araiza-Illan, David Western, Anthony G. Pipe +1
Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic sy…
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
Dejanira Araiza-Illan, David Western, Anthony Pipe +1
Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their…
Marimba: A Tool for Verifying Properties of Hidden Markov Models
Noe Hernandez, Kerstin Eder, Evgeni Magid +2
The formal verification of properties of Hidden Markov Models (HMMs) is highly desirable for gaining confidence in the correctness of the model and the corresponding system. A sign…
Simultaneous spectral and reverberation modelling of relativistic reflection in Mrk 335
P. Chainakun, A. J. Young
We present an X-ray spectral and timing model to investigate the broad and variable iron line seen in the high flux state of Mrk 335. The model consists of a variable X-ray source…
Note on the helicity decomposition of spin and orbital optical currents
Andrea Aiello, M. V. Berry
In the helicity representation, the Poynting vector (current) for a monochromatic optical field, when calculated using either the electric or the magnetic field, separates into rig…
Experimental evidence of chaos from memristors
L. V. Gambuzza, L. Fortuna, M. Frasca +1
Until now, most memristor-based chaotic circuits proposed in the literature are based on mathematical models which assume ideal characteristics such as piece-wise linear or cubic n…
SAMP, the Simple Application Messaging Protocol: Letting applications talk to each other
M. B. Taylor, T. Boch, J. Taylor
SAMP, the Simple Application Messaging Protocol, is a hub-based communication standard for the exchange of data and control between participating client applications. It has been d…