Michael Johnson

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

Bibliography

2025
Proceedings Seventh International Conference on Applied Category Theory 2024.
CoRR, September, 2025

Interacting Hosts with Microbiome Exchange: An Extension of Metacommunity Theory for Discrete Interactions.
CoRR, July, 2025

Dynamic Modality Scheduling for Multimodal Large Models via Confidence, Uncertainty, and Semantic Consistency.
CoRR, June, 2025

CtrlEndoDiff: Diffusion-Based Synthetic Image Generation for Enhanced ACF Segmentation.
Proceedings of the Deep Generative Models - 5th MICCAI Workshop, 2025

ClinicalRAG: Automating Pharmaceutical Label Quality Control with Hierarchical RAG and Large Language Models.
Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024
KaRIn, the Ka-Band Radar Interferometer of the SWOT Mission: Design and in-Flight Performance.
IEEE Trans. Geosci. Remote. Sens., 2024

Persistent Homology for Resource Coverage: A Case Study of Access to Polling Sites.
SIAM Rev., 2024

2023
Application of Organizational Systems Theory to Identify Education and Training Needs for Industry 4.0.
Proceedings of the IEEE Frontiers in Education Conference, 2023

2022
Understanding housing preferences of slum dwellers in India: A community-based operations research approach.
Eur. J. Oper. Res., 2022

Regression with Uncertainty Quantification in Large Scale Complex Data.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Learning about Complex Adaptive Systems in Makerspaces.
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2021
Secrecy Performance Analysis of a Cognitive Network for IoT over k - μ Channels.
Wirel. Commun. Mob. Comput., 2021

2020
Natural Language Processing (NLP) using Convolutional Neural Networks (NN) to Classify Patient Care Events.
Proceedings of the AMIA 2020, 2020

2019
Trust in Virtual Teams: A Multidisciplinary Review and Integration.
Australas. J. Inf. Syst., 2019

Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive.
Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019

Multicategories of Multiary Lenses.
Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019

Lenses and Learners.
Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019

2018
Highly Sensitive Room-Temperature Sensor Based on Nanostructured K<sub>2</sub>W<sub>7</sub>O<sub>22</sub> for Application in the Non-Invasive Diagnosis of Diabetes.
Sensors, 2018

2017
Universal Updates for Symmetric Lenses.
Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, 2017

2016
Active reliability monitor: Defect level extrinsic reliability monitoring on 22nm POWER8 and zSeries processors.
Proceedings of the 2016 IEEE International Test Conference, 2016

Unifying Set-Based, Delta-Based and Edit-Based Lenses.
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

2015
Distributing Commas, and the Monad of Anchored Spans.
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

Spans of Delta Lenses.
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

2014
Spans of lenses.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

Metadata Integration for an Archaeology Collection Architecture.
Proceedings of the 2014 International Conference on Dublin Core and Metadata Applications, 2014

2013
Delta Lenses and Opfibrations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Statistical Methods for Ambiguous Sequence Mappings.
Proceedings of the ACM Conference on Bioinformatics, 2013

2012
Optimality of (<i>s</i>, <i>S</i>) policies for jump inventory models.
Math. Methods Oper. Res., 2012

A study of e-market adoption barriers in the local government sector.
J. Enterp. Inf. Manag., 2012

Lens put-put laws: monotonic and mixed.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Relating Algebraic and Coalgebraic Descriptions of Lenses.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

2011
Public sector e-procurement: a study of benefits from e-markets in the local government sector.
Int. J. Serv. Technol. Manag., 2011

Upstream supply chain benefits from e-markets in the UK higher education sector.
Int. J. Bus. Inf. Syst., 2011

2010
Algebras and Update Strategies.
J. Univers. Comput. Sci., 2010

Barriers to innovation adoption: a study of e-markets.
Ind. Manag. Data Syst., 2010

Supplying Air Warfare Capability Through High-Performance Computing.
Comput. Sci. Eng., 2010

StepGreen.org: Increasing Energy Saving Behaviors via Social Networks.
Proceedings of the Fourth International Conference on Weblogs and Social Media, 2010

A Relational Model of Incomplete Data without NULLs.
Proceedings of the Theory of Computing 2010, 2010

2009
On a stochastic demand jump inventory model.
Math. Comput. Model., 2009

2007
Leveraging Social Networks To Motivate Individuals to Reduce their Ecological Footprints.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006
Enterprise Software with Half-Duplex Interoperations.
Proceedings of the Enterprise Interoperability, 2006

2004
Discovering Document Semantics QBYS: A System for Querying the WWW by Semantics.
Multim. Tools Appl., 2004

Modeling external network behavior by using internal measurements.
J. Parallel Distributed Comput., 2004

2002
Solder joint reliability of a polymer reinforced wafer level package.
Microelectron. Reliab., 2002

2001
Spatial decision support system for home-delivered services.
J. Geogr. Syst., 2001

View Updatability Based on the Models of a Formal Specification.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000
Universal Arrow Foundations for Visual Modeling.
Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

1996
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1989
From Z Specifications To Functional Implementations.
Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989


  Loading...