CSV
publication icon
Davison A (2019) Perthes Disease Classification Using Shape and Appearance Modelling in Computational Methods and Clinical Applications in Musculoskeletal Imaging - 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers
publication icon
Chen T (2018) Android Stack Machine in Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
publication icon
Blanco N (2019) Fully Automatic Teeth Segmentation in Adult OPG Images in Computational Methods and Clinical Applications in Musculoskeletal Imaging - 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers
publication icon
Blanco N (2019) Fully Automatic Teeth Segmentation in Adult OPG Images in Computational Methods and Clinical Applications in Musculoskeletal Imaging - 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers
publication icon
Davison A (2019) Landmark Localisation in Radiographs Using Weighted Heatmap Displacement Voting in Computational Methods and Clinical Applications in Musculoskeletal Imaging - 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers
publication icon
Davison A (2019) Perthes Disease Classification Using Shape and Appearance Modelling in Computational Methods and Clinical Applications in Musculoskeletal Imaging - 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers
publication icon
Cook B (2018) Model Checking Boot Code from AWS Data Centers in Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
publication icon
Cook B (2018) Formal Reasoning About the Security of Amazon Web Services in Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
publication icon
Chudnov A (2018) Continuous Formal Verification of Amazon s2n in Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
publication icon
Chen T (2018) Android Stack Machine in Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
publication icon
K Cooper (2014) Relationships, Resistance, and Religious Change in the Early Christian Household in Religion and the Household (Woodbridge, Boydell Press, 2014), 5-22
publication icon
Stratton-Powell A (2016) A retrieval analysis of 22 AES total ankle replacement explants in Foot and Ankle Surgery
publication icon
Brand A, & Gow, N.A.R. (2012) Tropic orientation responses of pathogenic fungi in Morphogenesis and Pathogenicity in Fungi. Topics in Current Genetics #22.
publication icon
Stratton-Powell A (2016) A retrieval analysis of 22 AES total ankle replacement explants in Foot and Ankle Surgery
publication icon
Liao Y (2013) The 22nd International Conference on Optical Fibre Sensors, OFS-22 in Measurement Science and Technology
publication icon
Toussaint N (2018) Weakly Supervised Localisation for Fetal Ultrasound Images in Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support - 4th International Workshop, DLMIA 2018, and 8th International Workshop, ML-CDS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings
publication icon
Toussaint N (2018) Weakly Supervised Localisation for Fetal Ultrasound Images in Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support - 4th International Workshop, DLMIA 2018, and 8th International Workshop, ML-CDS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings
publication icon
Trumble M (2018) Deep Autoencoder for Combined Human Pose Estimation and Body Model Upscaling in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part X
publication icon
Gilbert A (2018) Volumetric Performance Capture from Minimal Camera Viewpoints in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI
publication icon
Tan W (2018) Trajectory Optimization for High-Power Robots with Motor Temperature Constraints in Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings
publication icon
Geden M (2018) Classification of Malware Families Based on Runtime Behaviour in Cyberspace Safety and Security - 10th International Symposium, CSS 2018, Amalfi, Italy, October 29-31, 2018, Proceedings
publication icon
Ko S (2018) Reachability Problems in Nondeterministic Polynomial Maps on the Integers in Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
publication icon
Iliasov A (2018) Formal Verification of Signalling Programs with SafeCap in Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
publication icon
Spencer B (2018) Form Filling Based on Constraint Solving in Web Engineering - 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings
publication icon
Karafili E (2019) Access Control and Quality Attributes of Open Data: Applications and Techniques in Business Information Systems Workshops - BIS 2018 International Workshops, Berlin, Germany, July 18-20, 2018, Revised Papers
publication icon
Deligkas A (2018) Approximating the Existential Theory of the Reals in Web and Internet Economics - 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018, Proceedings
publication icon
Cranefield S (2019) Accountability for Practical Reasoning Agents in Agreement Technologies - 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
publication icon
Panaretos A (2019) Minimality and Simplicity of Rules for the Internet-of-Things in Agreement Technologies - 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
publication icon
Perez C (2018) A Conceptual Exoskeleton Shoulder Design for the Assistance of Upper Limb Movement in Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings
publication icon
Worrall D (2018) CubeNet: Equivariance to 3D Rotation and Translation in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part V
publication icon
Langdon W (2018) Evolving Better Software Parameters in Search-Based Software Engineering - 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
publication icon
Langdon W (2018) Evolving Better Software Parameters in Search-Based Software Engineering - 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
publication icon
Alshahwan N (2018) Deploying Search Based Software Engineering with Sapienz at Facebook in Search-Based Software Engineering - 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
publication icon
Katz D (2018) Software Citation in Theory and Practice in Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
publication icon
Nauta M (2018) LIFT: Learning Fault Trees from Observational Data in Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
publication icon
Kammüller F (2018) Attack Trees in Isabelle in Information and Communications Security - 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings
publication icon
Gainer P (2018) Incremental Verification of Parametric and Reconfigurable Markov Chains in Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
publication icon
Kanza S (2018) What Does an Ontology Engineering Community Look Like? A Systematic Analysis of the schema.org Community in The Semantic Web - 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018, Proceedings
publication icon
Wiles O (2018) X2Face: A Network for Controlling Face Generation Using Images, Audio, and Pose Codes in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XIII
publication icon
Ringsquandl M (2018) Event-Enhanced Learning for KG Completion in The Semantic Web - 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018, Proceedings
publication icon
Manlove D (2018) An Integer Programming Approach to the Student-Project Allocation Problem with Preferences over Projects in Combinatorial Optimization - 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018, Revised Selected Papers
publication icon
Trumble M (2018) Deep Autoencoder for Combined Human Pose Estimation and Body Model Upscaling in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part X
publication icon
Gilbert A (2018) Volumetric Performance Capture from Minimal Camera Viewpoints in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI
publication icon
Gecer B (2018) Semi-supervised Adversarial Learning to Generate Photorealistic Face Images of New Identities from 3D Morphable Model in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI
publication icon
Damen D (2018) Scaling Egocentric Vision: The "Equation missing" Dataset in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part IV
publication icon
England M (2018) Machine Learning for Mathematical Software in Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
publication icon
Li Q (2018) Weakly- and Semi-supervised Panoptic Segmentation in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XV
publication icon
Li Q (2018) Weakly- and Semi-supervised Panoptic Segmentation in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XV
publication icon
Gokaslan A (2018) Improving Shape Deformation in Unsupervised Image-to-Image Translation in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XII
publication icon
Wu X (2018) HandMap: Robust Hand Pose Estimation via Intermediate Dense Guidance Map Supervision in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI
publication icon
Cormode G (2018) Approximating the Caro-Wei Bound for Independent Sets in Graph Streams in Combinatorial Optimization - 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018, Revised Selected Papers
publication icon
Asad H (2018) Diversity in Open Source Intrusion Detection Systems in Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
publication icon
Abioye A (2018) The Multimodal Speech and Visual Gesture (mSVG) Control Model for a Practical Patrol, Search, and Rescue Aerobot in Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings
publication icon
Leonovych O (2018) Texture Descriptors for Classifying Sparse, Irregularly Sampled Optical Endomicroscopy Images in Medical Image Understanding and Analysis - 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings
publication icon
Gecer B (2018) Semi-supervised Adversarial Learning to Generate Photorealistic Face Images of New Identities from 3D Morphable Model in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI
publication icon
Nagrani A (2018) Learnable PINs: Cross-modal Embeddings for Person Identity in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XIII
publication icon
Li Q (2018) Weakly- and Semi-supervised Panoptic Segmentation in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XV
publication icon
Chen G (2018) PS-FCN: A Flexible Learning Framework for Photometric Stereo in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part IX
publication icon
Marchegiani L (2018) Learning to Listen to Your Ego-(motion): Metric Motion Estimation from Auditory Signals in Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings
publication icon
Valmadre J (2018) Long-Term Tracking in the Wild: A Benchmark in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part III
publication icon
Kwiatkowska M (2018) Automated Verification of Concurrent Stochastic Games in Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
publication icon
Zhu H (2018) Correlation Coefficient Based Cluster Data Preprocessing and LSTM Prediction Model for Time Series Data in Large Aircraft Test Flights in Smart Computing and Communication - Third International Conference, SmartCom 2018, Tokyo, Japan, December 10-12, 2018, Proceedings
publication icon
Worrall D (2018) CubeNet: Equivariance to 3D Rotation and Translation in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part V
publication icon
Clarke S (2019) Dungeons and Dragons as a Tool for Developing Student Self-reflection Skills in Games and Learning Alliance - 7th International Conference, GALA 2018, Palermo, Italy, December 5-7, 2018, Proceedings
publication icon
Spencer B (2018) Form Filling Based on Constraint Solving in Web Engineering - 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings
publication icon
Connor R (2018) Querying Metric Spaces with Bit Operations in Similarity Search and Applications - 11th International Conference, SISAP 2018, Lima, Peru, October 7-9, 2018, Proceedings
publication icon
Ringsquandl M (2018) Event-Enhanced Learning for KG Completion in The Semantic Web - 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018, Proceedings
publication icon
Cauvin S (2019) Policies to Regulate Distributed Data Exchange in Agreement Technologies - 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
publication icon
Karafili E (2019) Access Control and Quality Attributes of Open Data: Applications and Techniques in Business Information Systems Workshops - BIS 2018 International Workshops, Berlin, Germany, July 18-20, 2018, Revised Papers
publication icon
West A (2018) ROS Integration for Miniature Mobile Robots in Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings
publication icon
Damen D (2018) Scaling Egocentric Vision: The "Equation missing" Dataset in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part IV
publication icon
Ahmed A (2018) The Effects of Ionospheric Irregularities on the Navigational Receivers and Its Mitigation in Emerging Technologies in Computing - First International Conference, iCETiC 2018, London, UK, August 23-24, 2018, Proceedings
publication icon
Manlove D (2018) An Integer Programming Approach to the Student-Project Allocation Problem with Preferences over Projects in Combinatorial Optimization - 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018, Revised Selected Papers
publication icon
Deligkas A (2018) Approximating the Existential Theory of the Reals in Web and Internet Economics - 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018, Proceedings
publication icon
Franco S (2018) An Innovative Heuristic for Planning-Based Urban Traffic Control in Computational Science - ICCS 2018 - 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part I
publication icon
Worrall D (2018) CubeNet: Equivariance to 3D Rotation and Translation in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part V