Normalizations of factorizations over convex cones and their effects on extension complexity.
CoRR, January, 2025
Seamful AI for Creative Software Engineering: Use in Software Development Workflows.
IEEE Softw., 2025
Understanding and Designing for Trust in AI-Powered Developer Tooling.
IEEE Softw., 2024
Fast algorithms for maximizing the minimum eigenvalue in fixed dimension.
Oper. Res. Lett., 2024
Maximizing the Minimum Eigenvalue in Constant Dimension.
CoRR, 2024
Approximation Algorithms for the Weighted Nash Social Welfare via Convex and Non-Convex Programs.
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024
Identifying the Factors That Influence Trust in AI Code Completion.
Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024
Developer Productivity for Humans, Part 6: Measuring Flow, Focus, and Friction for Developers.
IEEE Softw., 2023
Using Logs Data to Identify When Software Engineers Experience Flow or Focused Work.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023
Efficient Determinant Maximization for All Matroids.
CoRR, 2022
Discrete Microlocal Morse Theory.
CoRR, 2022
Determinant Maximization via Matroid Intersection Algorithms.
Proceedings of the 63rd IEEE Annual Symposium on Foundations of Computer Science, 2022
Low-count whole-body PET with deep learning in a multicenter and externally validated study.
,
,
,
,
,
,
,
,
,
,
npj Digit. Medicine, 2021
Author Correction: Low-count whole-body PET with deep learning in a multicenter and externally validated study.
,
,
,
,
,
,
,
,
,
,
npj Digit. Medicine, 2021
Probabilistic convergence and stability of random mapper graphs.
J. Appl. Comput. Topol., 2021
Sheaf-Theoretic Stratification Learning from Geometric and Topological Perspectives.
Discret. Comput. Geom., 2021
Computing Minimal Injective Resolutions of Sheaves on Finite Posets.
CoRR, 2021
Matroids with no <i>U</i><sub>2, <i>n</i></sub>-minor and many hyperplanes.
Adv. Appl. Math., 2018
HyperThesis: Topological Hypothesis Management in a Hypergraph Knowledgebase.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2018 Text Analysis Conference, 2018
Sheaf-Theoretic Stratification Learning.
Proceedings of the 34th International Symposium on Computational Geometry, 2018
Introducing metadata standards to a National Statistical Organisation.
Proceedings of the IASSIST 2011 - Data Science Professionals: A Global Community of Sharing, Vancouver, BC, Canada, May 31, 2011
Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2006
Is it alive? sensor networks and art.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2006
Using mixins to build flexible widgets.
Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002