Filter Results
133 results
Video showing the different settling behaviour of samples drawn from different drinking water distribution systems during flushing.
Data Types:
  • Video
A film documenting a research project into the social impacts of making music in Cali, Colombia.
Data Types:
  • Video
Link to the code used in: Alexander G. Rakowski, Petar Velickovic, Enrico Dall’Ara, Pietro Liò -) Computer Laboratory, University of Cambridge, Cambridge, Cambs, United Kingdom-) Department of Oncology & Metabolism, University of Sheffield, Sheffield, SouthYorkshire, United Kingdom ChronoMID - cross-modal neural networks for 3-D temporal medical imaging data; Plos One 2020. The folder includes the codes used to process the images. A "README.txt" file is added to describe how to run the analyses.The whole dataset is stored in the University of Sheffield file-store at the link: https://web-unidrive.sheffield.ac.uk/shared/multisim2/WP7/ For further information please contact Dr Enrico Dall'Ara: e.dallara@sheffield.ac.uk
Data Types:
  • Software/Code
OpenMAS is an open source multi-agent simulator based in Matlab for the simulation of decentralized intelligent systems defined by arbitrary behaviours and dynamics. This object orientated simulator can be used to create arbitrary scenarios with various agents and objectives. By assembling new agent definitions the user is able experiment with multi-agent systems in 2D or 3D, or simply use an existing agent from the object library. Here, a wide range of popular behaviours, collision avoidance and flocking routines are predefined. Once defined the user is then able to take advantage of a selection of automated analysis tools and generated figures.
Data Types:
  • Software/Code
Video showing the different settling behaviour of samples drawn from different drinking water distribution systems during flushing.
Data Types:
  • Video
A film documenting a research project into the social impacts of making music in Cali, Colombia.
Data Types:
  • Video
Link to the code used in: Alexander G. Rakowski, Petar Velickovic, Enrico Dall’Ara, Pietro Liò -) Computer Laboratory, University of Cambridge, Cambridge, Cambs, United Kingdom-) Department of Oncology & Metabolism, University of Sheffield, Sheffield, SouthYorkshire, United Kingdom ChronoMID - cross-modal neural networks for 3-D temporal medical imaging data; Plos One 2020. The folder includes the codes used to process the images. A "README.txt" file is added to describe how to run the analyses.The whole dataset is stored in the University of Sheffield file-store at the link: https://web-unidrive.sheffield.ac.uk/shared/multisim2/WP7/ For further information please contact Dr Enrico Dall'Ara: e.dallara@sheffield.ac.uk
Data Types:
  • Software/Code
OpenMAS is an open source multi-agent simulator based in Matlab for the simulation of decentralized intelligent systems defined by arbitrary behaviours and dynamics. This object orientated simulator can be used to create arbitrary scenarios with various agents and objectives. By assembling new agent definitions the user is able experiment with multi-agent systems in 2D or 3D, or simply use an existing agent from the object library. Here, a wide range of popular behaviours, collision avoidance and flocking routines are predefined. Once defined the user is then able to take advantage of a selection of automated analysis tools and generated figures.
Data Types:
  • Software/Code
This is source code of the formal proof of the Small-gain theorem in Isabelle/HOL theorem prover. This code is part of the paper "Towards Formal Proofs of Feedback Control Theory" presented in System Theory, Control and Computing (ICSTCC) conference published in IEEE - DOI: 10.1109/ICSTCC.2017.8107009 Note: Put both files "L2Norm_Integral.thy" and "Minkowski_Integral_Inequality.thy" in the main Isabelle's directory before loading the main theorem file "Small_Gain_Theorem.thy".
Data Types:
  • Software/Code
MuMoT (Multiscale Modelling Tool) is computational software running under Jupyter notebooks to provide interactive advanced mathematical and numerical analysis techniques to non-expert and expert users, without the need to write code or equations.
Data Types:
  • Software/Code