John Hughes

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

Bibliography

2024
Is Model Collapse Inevitable? Breaking the Curse of Recursion by Accumulating Real and Synthetic Data.
CoRR, 2024

Debating with More Persuasive LLMs Leads to More Truthful Answers.
CoRR, 2024

2023
Exploring API Behaviours Through Generated Examples.
CoRR, 2023

Semantification of Space Data - A Feasibility Study.
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2023

2020
Predicting Sleep Quality in Osteoporosis Patients Using Electronic Health Records and Heart Rate Variability.
Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2020

2018
Leveraging Sparsity to Speed Up Polynomial Feature Expansions of CSR Matrices Using K-Simplex Numbers.
CoRR, 2018

Increasing the Resilience of Cultural Heritage to Climate Change Through the Application of a Learning Strategy.
Proceedings of the Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage, 2018

2017
Characterization of RTN noise in the analog front-end of digital pixel imagers.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

2016
Collaborative & Multidiscipline Working - From Theory to Practice in 48 Hours: A Case Study from BIM Region Northern Ireland.
Int. J. 3 D Inf. Model., 2016

2014
ngspatial: A Package for Fitting the Centered Autologistic and Sparse Spatial Generalized Linear Mixed Models for Areal Data.
R J., 2014

Autonomic Resilient Cloud Management (ARCM) Design and Evaluation.
Proceedings of the 2014 International Conference on Cloud and Autonomic Computing, 2014

2011
Specification based testing with QuickCheck: <i>tutorial talk</i>.
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2006
A biologically-inspired multi-agent framework for autonomic service management.
Int. J. Pervasive Comput. Commun., 2006

2002
Principal type specialisation.
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

Organizational Transition to Object Technology: Theory and Practice.
Proceedings of the Object-Oriented. Information Systems, 8th International Conference, 2002


1999
Certificate inter-operability - white paper.
Comput. Secur., 1999

Integrating art and technology in a statewide curriculum.
Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, 1999

The Realities of PKI Inter-operability.
Proceedings of the Secure Networking - CQRE (Secure) '99, International Exhibition and Congress Düsseldorf, Germany, November 30, 1999

1998
Type Specialization.
ACM Comput. Surv., 1998

1997
Type Specialization for Imperative Languages.
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference.
Proceedings of the Partial Evaluation, International Seminar, 1996

1993
Reverse Engineering Structured Code to an Object-Oriented Representation.
Proceedings of the SEKE'93, 1993

1988
Using a manipulator for force display in molecular docking.
Proceedings of the 1988 IEEE International Conference on Robotics and Automation, 1988

1987
The alpha-beta Algorithm: An Exercise in Program Transformation.
Inf. Process. Lett., 1987

1985
Strictness detection in non-flat domains.
Proceedings of the Programs as Data Objects, 1985


  Loading...