363 citations
- Heriot-Watt UniversityGB51 papers
- University of EdinburghGB10 papers
- Maxwell Institute for Mathematical SciencesGB9 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Imperial College LondonGB5 papers
- University of OxfordGB4 papers
- Huazhong University of Science and TechnologyCN3 papers
- Université de LilleFR3 papers
- CEA Paris-SaclayFR2 papers
- Center for Astrophysics Harvard & SmithsonianUS2 papers
- Centre de Recherche en InformatiqueFR2 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR2 papers
6 papers · 1 filter
High fidelity fibre-based physiological sensing deep in tissue
Tushar R. Choudhary, Michael G. Tanner, Alicia Megia-Fernandez +13
Physiological sensing deep in tissue, remains a clinical challenge. Here a flexible miniaturised sensing optrode providing a platform to perform minimally invasive in vivo in situ…
Conjugacy stability of parabolic subgroups of Artin-Tits groups of spherical type
Matthieu Calvez, Bruno Cisneros, María Cumplido
We give a complete classification of conjugacy stable parabolic subgroups of Artin-Tits groups of spherical type. This answers a question posed by Ivan Marin and generalizes a theo…
3D-PhysNet: Learning the Intuitive Physics of Non-Rigid Object Deformations
Zhihua Wang, Stefano Rosa, Bo Yang +3
The ability to interact and understand the environment is a fundamental prerequisite for a wide range of applications from robotics to augmented reality. In particular, predicting…
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
František Farka, Ekaterina Komendantskya, Kevin Hammond
First-order resolution has been used for type inference for many years, including in Hindley- Milner type inference, type-classes, and constrained data types. Dependent types are a…
A Study of Delay Drifts on Massive MIMO Wideband Channel Models
Carlos F. Lopez, Cheng-Xiang Wang
In this paper, we study the effects of the variations of the propagation delay over large-scale antenna-arrays used in massive multiple-input multiple-output (MIMO) wideband commun…
Explain Yourself: A Natural Language Interface for Scrutable Autonomous Robots
Francisco J. Chiyah Garcia, David A. Robb, Xingkun Liu +3
Autonomous systems in remote locations have a high degree of autonomy and there is a need to explain what they are doing and why in order to increase transparency and maintain trus…