Matthew Anderson

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
Learning-Based Minimally-Sensed Fault-Tolerant Adaptive Flight Control.
IEEE Robotics Autom. Lett., June, 2024

MAGIC-VFM: Meta-learning Adaptation for Ground Interaction Control with Visual Foundation Models.
CoRR, 2024

Semantics from Space: Satellite-Guided Thermal Semantic Segmentation Annotation for Aerial Field Robots.
CoRR, 2024

CART: Caltech Aerial RGB-Thermal Dataset in the Wild.
CoRR, 2024

High Performance Computing Peak Shaving for Microreactor Operation.
Proceedings of the Practice and Experience in Advanced Research Computing 2024: Human Powered Computing, 2024

Fast Attack Recovery for Stochastic Cyber-Physical Systems.
Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems.
Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Caltech Aerial RGB-Thermal Dataset in the Wild.
Proceedings of the Computer Vision - ECCV 2024, 2024

Microgrid Integration with High Performance Computing Systems for Microreactor Operation.
Proceedings of the IEEE International Conference on Cluster Computing, 2024

2023
Impact of priority assignment on schedule-based attacks in real-time embedded systems.
J. Syst. Archit., December, 2023

Trajectory Synthesis for a UAV Swarm Based on Resilient Data Collection Objectives.
IEEE Trans. Netw. Serv. Manag., March, 2023

Online Self-Supervised Thermal Water Segmentation for Aerial Vehicles.
CoRR, 2023

Software Quality Assurance for High Performance Computing Containers.
Proceedings of the Practice and Experience in Advanced Research Computing, 2023

An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study.
Proceedings of the 21st IEEE/ACIS International Conference on Software Engineering Research, 2023

Online Self-Supervised Thermal Water Segmentation for Aerial Vehicles.
IROS, 2023

Uav-Borne Bistatic Sar and Insar Experiments in Support of STV and SDC Target Observables.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023

Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication.
Proceedings of the Computing and Combinatorics - 29th International Conference, 2023

2022
NeBula: TEAM CoSTAR's Robotic Autonomy Solution that Won Phase II of DARPA Subterranean Challenge.
Field Robotics, March, 2022

Quantifying the Impact of Advanced Web Platforms on High Performance Computing Usage.
Proceedings of the PEARC '22: Practice and Experience in Advanced Research Computing, Boston, MA, USA, July 10, 2022

Work-in-Progress: Victim-Aware Scheduling for Robust Operations in Safety-Critical Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

Development of Ultra-Wideband Software Defined Radar Testbed to Support SAR Tomographic Mission Formulation.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

Machine Learning 5G Attack Detection in Programmable Logic.
Proceedings of the IEEE Globecom 2022 Workshops, 2022

2021
Neural Tree Expansion for Multi-Robot Planning in Non-Cooperative Environments.
IEEE Robotics Autom. Lett., October, 2021

Automatic Target Recognition for Low Resolution Foliage Penetrating SAR Images Using CNNs and GANs.
Remote. Sens., 2021

NeBula: Quest for Robotic Autonomy in Challenging Environments; TEAM CoSTAR at the DARPA Subterranean Challenge.
CoRR, 2021

Distributed Aperture Radar Tomographic Sensors (DARTS) to Map Surface Topography and Vegetation Structure.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

Experiments with Small UAS to Support SAR Tomographic Mission Formulation.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

Exploring Accidental Digital Servitization in an Industrial Context.
Proceedings of the Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems, 2021

2020
Automated Trajectory Synthesis for UAV Swarms Based on Resilient Data Collection Objectives.
CoRR, 2020

Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Design and Autonomous Stabilization of a Ballistically-Launched Multirotor.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019
Empirical analysis of algorithms for the shortest negative cost cycle problem.
Discret. Appl. Math., 2019

Trajectory Synthesis for a UAV Swarm to Perform Resilient Requirement-Aware Surveillance: A Smart Grid-based Study.
CoRR, 2019

2018
Performance Metrics for Cognitive Electronic Warfare - Electronic Support Measures.
Proceedings of the 2018 IEEE Military Communications Conference, 2018

Interpretable Data-Driven Modeling in Biomass Preprocessing.
Proceedings of the 11th International Conference on Human System Interaction, 2018

An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints.
Proceedings of the Algorithmic Aspects in Information and Management, 2018

2017
On Symmetric Circuits and Fixed-Point Logics.
Theory Comput. Syst., 2017

Dynamic user interfaces for control systems.
Proceedings of the 10th International Conference on Human System Interactions, 2017

2016
Identity Testing and Lower Bounds for Read-k Oblivious Algebraic Branching Programs.
Proceedings of the 31st Conference on Computational Complexity, 2016

2015
APECS: A Polychrony based End-to-End Embedded System Design and Code Synthesis.
PhD thesis, 2015

Solving Linear Programs without Breaking Abstractions.
J. ACM, 2015

Identity Testing and Lower Bounds for Read-<i>k</i> Oblivious Algebraic Branching Programs.
Electron. Colloquium Comput. Complex., 2015

Deterministic polynomial identity tests for multilinear bounded-read formulae.
Comput. Complex., 2015

Scalable Relativistic High-Resolution Shock-Capturing for Heterogeneous Computing.
Proceedings of the 2015 IEEE International Conference on Cluster Computing, 2015

2014
APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

2013
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study.
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Maximum Matching and Linear Programming in Fixed-Point Logic with Counting.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012
Locality from Circuit Lower Bounds.
SIAM J. Comput., 2012

Roman Portraiture and biometric identification.
Proceedings of the Electronic Visualisation and the Arts, 2012

2011
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2010
Derandomizing Polynomial Identity Testing for Multilinear Constant-Read Formulae.
Electron. Colloquium Comput. Complex., 2010

2007
A numerical approach to space-time finite elements for the wave equation.
J. Comput. Phys., 2007

2003
Web Personalisation with the Cover Coefficient Algorithm.
Proceedings of the Computational Science - ICCS 2003, 2003

1996
Proposal for a Standard Default Color Space for the Internet - sRGB.
Proceedings of the 4th Color and Imaging Conference, 1996


  Loading...