Stuart Anderson

According to our database1, Stuart Anderson authored at least 62 papers between 1990 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Regulating AI/ML-enabled Medical Devices in the UK.
Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Mitigating inherent latency in off-device computer vision for spatial interfaces.
Proceedings of the 2023 ACM Symposium on Spatial User Interaction, 2023

2022
Societal Applications of HF Skywave Radar.
Remote. Sens., December, 2022

Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities.
CoRR, 2022

Theseus: A Library for Differentiable Nonlinear Optimization.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Grasp Stability Prediction with Sim-to-Real Transfer from Tactile Sensing.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

PatchGraph: In-hand tactile tracking with learned surface normals.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Translating Robot Skills: Learning Unsupervised Skill Correspondences Across Robots.
Proceedings of the International Conference on Machine Learning, 2022

MidasTouch: Monte-Carlo inference over distributions across sliding touch.
Proceedings of the Conference on Robot Learning, 2022

2021
Remote Sensing of the Polar Ice Zones with HF Radar.
Remote. Sens., 2021

LEO: Learning Energy-based Models in Graph Optimization.
CoRR, 2021

Learning Tactile Models for Factor Graph-based Estimation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

LEO: Learning Energy-based Models in Factor Graph Optimization.
Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021

2020
Bistatic and Stereoscopic Configurations for HF Radar.
Remote. Sens., 2020

Learning Tactile Models for Factor Graph-based State Estimation.
CoRR, 2020

OfGAN: Realistic Rendition of Synthetic Colonoscopy Videos.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2020, 2020

Euphonia: Reflecting on the Design of an AI-Powered Voice-Controlled Narrative Game.
Proceedings of the CHI PLAY '20: The Annual Symposium on Computer-Human Interaction in Play, Virtual Event, Canada, November 2-4, 2020, 2020

2019
CMOS Amplifier Design Based on Extended $g_{m}/I_{D}$ Methodology.
Proceedings of the 17th IEEE International New Circuits and Systems Conference, 2019

Multi-Stage Current-Steering Amplifier Design Based on Extended gm/ID Methodology.
Proceedings of the 62nd IEEE International Midwest Symposium on Circuits and Systems, 2019

2017
A workflow for Web3D interactive outdoor scene visualisation.
Proceedings of the 22nd International Conference on 3D Web Technology, 2017

Towards High-Throughput 3D Insect Capture for Species Discovery and Diagnostics.
Proceedings of the 13th IEEE International Conference on e-Science, 2017

BOSS-LDG: A Novel Computational Framework That Brings Together Blue Waters, Open Science Grid, Shifter and the LIGO Data Grid to Accelerate Gravitational Wave Discovery.
Proceedings of the 13th IEEE International Conference on e-Science, 2017

2015
Towards web-based semantic enrichment of 3D insects.
Proceedings of the 20th International Conference on 3D Web Technology, 2015


2014
"Reflection, Collectives and Adaptation: the Role of Models in the Design of Collective Adaptive Systems.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Coordinating Caregiving using Smartphone Technology: a Collaborative Software Prototype Approach.
Proceedings of the Integrating Information Technology and Management for Quality of Care [ICIMTH 2014, 2014

2013
Towards a living earth simulator
CoRR, 2013

RemoteFusion: real time depth camera fusion for remote collaboration on physical tasks.
Proceedings of the 12th ACM International Conference on Virtual Reality Continuum and Its Applications in Industry, 2013

Technologies of Participation: A Case Study of CSCL@Work in Mammography.
Proceedings of the Computer-Supported Collaborative Learning at the Workplace, 2013

2012
Theoretical And Technological Building Blocks For An Innovation Accelerator
CoRR, 2012

Problems of data mobility and reuse in the provision of computer-based training for screening mammography.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

Emerging Technological Risk - Underpinning the Risk of Technology Innovation.
Springer, ISBN: 978-1-4471-2142-8, 2012

2010
On the Quality of Service of Crash-Recovery Failure Detectors.
IEEE Trans. Dependable Secur. Comput., 2010

Scoring Systems in Computer-Based Training for Digital Mammography.
Proceedings of the Digital Mammography, 2010

2009
The Development of Data Infrastructures for eHealth: A Socio-Technical Perspective.
J. Assoc. Inf. Syst., 2009

2008
Down in the (Data)base(ment): Supporting Configuration in Organizational Information Systems.
Proceedings of the Resources, Co-Evolution and Artifacts - Theory in CSCW, 2008

Envirox™ fuel-borne catalyst: Developing and launching a nano-fuel additive.
Technol. Anal. Strateg. Manag., 2008

2007
Evaluation of the QoS of crash-recovery failure detection.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Learning by game-building: a novel approach to theoretical computer science education.
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007


2006
On a time enriched OCL liveness template.
Int. J. Softw. Tools Technol. Transf., 2006

2005
Safety, reliability and security of industrial computer systems.
Reliab. Eng. Syst. Saf., 2005

How Democratic Will E-Democracy Be?
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2003
Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Making Autonomic Computing Systems Accountable: The Problem of Human-Computer.
Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

2002
Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues.
Proceedings of the Computing: the Australasian Theory Symposium, 2002

Quantitative Aspects of Requirements Evolution.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Reply to 'Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen.
Comput. J., 2001

Reasoning in Higraphs with Loose Edges.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Requirements Evolution from Process to Product Oriented Management.
Proceedings of the Product Focused Software Process Improvement, 2001

2000
Remark on algorithm 723: Fresnel integrals.
ACM Trans. Math. Softw., 2000

Controlling Requirements Evolution: An Avionics Case Study.
Proceedings of the Computer Safety, 2000

1999
A case study in innovative process improvement: code synthesis from formal specifications.
Microprocess. Microsystems, 1999

Secure Synthesis of Code: A Process Improvement Experiment.
Proceedings of the FM'99 - Formal Methods, 1999

1998
A single-chip CMOS 306×244-pixel NTSC video camera and a descendant coprocessor device.
IEEE J. Solid State Circuits, 1998

Design for Proof: An Approach to the Design of Domain-Specific Languages.
Formal Aspects Comput., 1998

A Framework for Modelling Trojans and Computer Virus Infection.
Comput. J., 1998

1997
Diagrams and Programming Languages for Programmable Controllers.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1994
The Formalization and Analysis of a Communications Protocol.
Formal Aspects Comput., 1994

1993
Validating Safety Models with Fault Trees.
Proceedings of the 12th International Conference on Computer Safety, 1993

1991
On-Chip CMOS Sensors for VLSI Imaging Systems.
Proceedings of the VLSI 91, 1991

1990
Reflexive CSCW: Supporting Long-Term Personal Work.
Interact. Comput., 1990


  Loading...