Guo-Qiang Zhang

According to our database1, Guo-Qiang Zhang authored at least 125 papers between 1984 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Ontologies as nested facet systems for human-data interaction.
Semantic Web, 2020

2019
A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis.
Int. J. Approx. Reason., 2019

Preface.
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, 2019

Automated Classification of Seizures against Nonseizures: A Deep Learning Approach.
CoRR, 2019

A Novel Independent RNN Approach to Classification of Seizures against Non-seizures.
CoRR, 2019

Validating Auto-Suggested Changes for SNOMED CT in Non-Lattice Subgraphs Using Relational Machine Learning.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

Insomnia Prediction Using Temporal Feature of Spindles.
Proceedings of the 2019 IEEE International Conference on Healthcare Informatics, 2019

2018
HyCLASSS: A Hybrid Classifier for Automatic Sleep Stage Scoring.
IEEE J. Biomed. Health Informatics, 2018

X-search: an open access interface for cross-cohort exploration of the National Sleep Research Resource.
BMC Med. Inf. & Decision Making, 2018

Quality assurance of biomedical terminologies and ontologies.
J. Biomed. Informatics, 2018

Auditing SNOMED CT hierarchical relations based on lexical features of concepts in non-lattice subgraphs.
J. Biomed. Informatics, 2018

An efficient, large-scale, non-lattice-detection algorithm for exhaustive structural auditing of biomedical ontologies.
J. Biomed. Informatics, 2018

The National Sleep Research Resource: towards a sleep data commons.
J. Am. Medical Informatics Assoc., 2018

A Robust Deep Learning Approach for Automatic Seizure Detection.
CoRR, 2018

Predicting Substance Use Disorder in ADHD Patients using Long-Short Term Memory Model.
Proceedings of the IEEE International Conference on Healthcare Informatics Workshops, 2018

System Demonstration: Integration of Patient Reported Outcomes with Electronic Health Records - the EASI-PRO Project.
Proceedings of the AMIA 2018, 2018

Retrospective analysis of health claims to evaluate pharmacotherapies with potential for repurposing: Association of bupropion and stimulant use disorder remission.
Proceedings of the AMIA 2018, 2018

A Cross-Cohort Query System for the National Sleep Research Resource (NSRR).
Proceedings of the AMIA 2018, 2018

2017
Preface.
Math. Struct. Comput. Sci., 2017

Mining non-lattice subgraphs for detecting missing hierarchical relations and concepts in SNOMED CT.
J. Am. Medical Informatics Assoc., 2017

Preface.
Proceedings of the Seventh International Symposium on Domain Theory and Its Applications, 2017

A Data Capture Framework for Large-scale Interventional Studies with Survey Workflow Management.
Proceedings of the Summit on Clinical Research Informatics, 2017

Evaluation of relational and NoSQL approaches for patient cohort identification from heterogeneous data sources.
Proceedings of the 2017 IEEE International Conference on Bioinformatics and Biomedicine, 2017

ImageSfERe: Image sharing for epilepsy research.
Proceedings of the 2017 IEEE International Conference on Bioinformatics and Biomedicine, 2017

Spark-MCA: Large-scale, Exhaustive Formal Concept Analysis for Evaluating the Semantic Completeness of SNOMED CT.
Proceedings of the AMIA 2017, 2017

A Practical Scientific Workflow of Sharing Large Selected Dataset from Clinical Research Data Repository.
Proceedings of the AMIA 2017, 2017

Facilitating Cohort Discovery by Enhancing Ontology Exploration, Query Management and Query Sharing for Large Clinical Data Repositories.
Proceedings of the AMIA 2017, 2017

SpindleSphere: A Web-based Platform for Large-scale Sleep Spindle Analysis and Visualization.
Proceedings of the AMIA 2017, 2017

Can SNOMED CT Changes Be Used as a Surrogate Standard for Evaluating the Performance of Its Auditing Methods?
Proceedings of the AMIA 2017, 2017

2016
Biomedical Ontology Quality Assurance Using a Big Data Approach.
ACM Trans. Knowl. Discov. Data, 2016

A Note on L-fuzzy Closure Systems.
Int. J. Fuzzy Syst., 2016

Managing information well: Toward an ontology-driven informatics platform for data sharing and secondary use in epilepsy self-management research centers.
Health Informatics J., 2016

FEDRR: fast, exhaustive detection of redundant hierarchical relations for quality improvement of large biomedical ontologies.
BioData Min., 2016

Web-Interface-Driven Development for Neuro3D, a Clinical Data Capture and Decision Support System for Deep Brain Stimulation.
Proceedings of the Health Information Science - 5th International Conference, 2016

DCDS: A Real-time Data Capture and Personalized Decision Support System for Heart Failure Patients in Skilled Nursing Facilities.
Proceedings of the AMIA 2016, 2016

ODaCCI: Ontology-guided Data Curation for Multisite Clinical Research Data Integration in the NINDS Center for SUDEP Research.
Proceedings of the AMIA 2016, 2016

2015
Comparative analysis of a novel disease phenotype network based on clinical manifestations.
J. Biomed. Informatics, 2015

A scalable neuroinformatics data flow for electrophysiological signals using MapReduce.
Front. Neuroinform., 2015

Phenome-driven disease genetics prediction toward drug discovery.
Bioinform., 2015

FEDRR: Fast, Exhaustive Detection of Redundant Hierarchical Relations in Large Biomedical Ontologies.
Proceedings of International Workshop on Biomedical Data Mining, 2015

RREV: Reconfigurable Rendering Engine for visualization of clinically annotated polysomnograms.
Proceedings of the 2015 IEEE International Conference on Bioinformatics and Biomedicine, 2015

COBE: A Conjunctive Ontology Browser and Explorer for Visualizing SNOMED CT Fragments.
Proceedings of the AMIA 2015, 2015

2014
RMS: a platform for managing cross-disciplinary and multi-institutional research project collaboration.
BMC Med. Inf. & Decision Making, 2014

Multi-topic assignment for exploratory navigation of consumer health information in NetWellness using formal concept analysis.
BMC Med. Inf. & Decision Making, 2014

Complex epilepsy phenotype extraction from narrative clinical discharge summaries.
J. Biomed. Informatics, 2014

Epilepsy and seizure ontology: towards an epilepsy informatics infrastructure for clinical research and patient care.
J. Am. Medical Informatics Assoc., 2014

Heart beats in the cloud: distributed analysis of electrophysiological 'Big Data' using cloud computing for epilepsy clinical research.
J. Am. Medical Informatics Assoc., 2014

Domain Ontology As Conceptual Model for Big Data Management: Application in Biomedical Informatics.
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

MaPLE: A MapReduce Pipeline for Lattice-based Evaluation and its application to SNOMED CT.
Proceedings of the 2014 IEEE International Conference on Big Data, 2014

MEDCIS: Multi-Modality Epilepsy Data Capture and Integration System.
Proceedings of the AMIA 2014, 2014

A Semantic-based Approach for Exploring Consumer Health Questions Using UMLS.
Proceedings of the AMIA 2014, 2014

2013
An analysis of FMA using structural self-bisimilarity.
J. Biomed. Informatics, 2013

Research and applications: Ontology-guided organ detection to retrieve web images of disease manifestation: towards the construction of a consumer-based health image library.
J. Am. Medical Informatics Assoc., 2013

Preface.
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 2013

Electrophysiological Signal Analysis and Visualization using Cloudwave for Epilepsy Clinical Research.
Proceedings of the MEDINFO 2013, 2013

Querying Complex Federated Clinical Data Using Ontological Mapping and Subsumption Reasoning.
Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

Cloudwave: Distributed Processing of "Big Data" from Electrophysiological Recordings for Epilepsy Clinical Research Using Hadoop.
Proceedings of the AMIA 2013, 2013

2012
A semantic proteomics dashboard (SemPoD) for data management in translational research.
BMC Syst. Biol., 2012

Role of semantic web in health informatics.
Proceedings of the ACM International Health Informatics Symposium, 2012

Semi-supervised image classification for automatic construction of a health image library.
Proceedings of the ACM International Health Informatics Symposium, 2012

Ontology-Guided Approach to Retrieving Disease Manifestation Images for Health Image Base Construction.
Proceedings of the 2012 IEEE Second International Conference on Healthcare Informatics, 2012

An Analysis of Multi-type Relational Interactions in FMA Using Graph Motifs with Disjointness Constraints.
Proceedings of the AMIA 2012, 2012

OPIC: Ontology-driven Patient Information Capturing System for Epilepsy.
Proceedings of the AMIA 2012, 2012

EpiDEA: Extracting Structured Epilepsy and Seizure Information from Patient Discharge Summaries for Cohort Identification.
Proceedings of the AMIA 2012, 2012

2011
A Fast Iterated Conditional Modes Algorithm for Water-Fat Decomposition in MRI.
IEEE Trans. Med. Imaging, 2011

Fuzzy closure systems on L - ordered sets.
Math. Log. Q., 2011

OnWARD: Ontology-driven web-based framework for multi-center clinical studies.
J. Biomed. Informatics, 2011

Power contexts and their concept lattices.
Discret. Math., 2011

2010
A set coverage problem.
Inf. Process. Lett., 2010

Bifinite Chu Spaces
Logical Methods in Computer Science, 2010

Using SPARQL to Test for Lattices: Application to Quality Assurance in Biomedical Ontologies.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Large-Scale, Exhaustive Lattice-Based Structural Auditing of SNOMED CT.
Proceedings of the Knowledge Science, 2010

Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics.
Proceedings of the Formal Ontology in Information Systems, 2010

2009
MIMI: Multimodality, Multiresource, Information Integration Environment for Biomedical Core Facilities.
J. Digital Imaging, 2009

Closures in Binary Partial Algebras.
Proceedings of the Fifth International Symposium on Domain Theory, 2009

Towards "WYDIWYS" for MIMI using concept analysis.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A Scalable Parametric-RBAC Architecture for the Propagation of a Multi-modality, Multi-resource Informatics System.
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009

2008
Random Event Structures.
Int. J. Software and Informatics, 2008

A Monoidal Category of Bifinite Chu Spaces.
Electron. Notes Theor. Comput. Sci., 2008

Preface.
Electron. Notes Theor. Comput. Sci., 2008

2007
Mediating secure information flow policies.
Inf. Comput., 2007

Weakly distributive domains (II).
Frontiers Comput. Sci. China, 2007

Enhancing relevance scoring with chronological term rank.
Proceedings of the SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2007

Faster Concept Analysis.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

2006
Maximality and totality of stable functions in the category of stable bifinite domains.
Comput. Math. Appl., 2006

ARCS: an aggregated related column scoring scheme for aligned sequences.
Bioinform., 2006

Case Western Reserve University at the TREC 2006 Enterprise Track.
Proceedings of the Fifteenth Text REtrieval Conference, 2006

Visualization of Remote Hyperspectral Image Data Using Google Earth.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2006

2005
On an open problem of Amadio and Curien: The finite antichain condition.
Inf. Comput., 2005

Mastermind is NP-Complete
CoRR, 2005

Concept Analysis as a Formal Method for Menu Design.
Proceedings of the Interactive Systems, 2005

2004
Reasoning with power defaults.
Theor. Comput. Sci., 2004

2003
A representation of stably compact spaces, and patch topology.
Theor. Comput. Sci., 2003

Domain µ-calculus.
ITA, 2003

On transformations of formal power series.
Inf. Comput., 2003

2002
Axiomatic Aspects of Default Inference.
Proceedings of the Paraconsistent Computational Logic, 2002

Decidable fragments of domain mu-calculus: an automata-theoretic perspective.
Proceedings of the Fixed Points in Computer Science, 2002

2001
Clausal Logic and Logic Programming in Algebraic Domains.
Inf. Comput., 2001

Rational Transformations of Formal Power Series.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

2000
Sequents, Frames, and Completeness.
Proceedings of the Computer Science Logic, 2000

1999
Automata, Boolean Matrices, and Ultimate Periodicity.
Inf. Comput., 1999

1998
Experimenting with Power Default Reasoning.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Defaults in Domain Theory.
Theor. Comput. Sci., 1997

Parallel Product of Event Structures.
Theor. Comput. Sci., 1997

Resolution in the Smyth powerdomain.
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Nonmonotonic Consequences in Default Domain Theory.
Ann. Math. Artif. Intell., 1997

Logical Considerations on Default Semantics.
Ann. Math. Artif. Intell., 1997

Power Defaults.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Complexity of Power Default Reasoning.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

A Modal Logic for Reasoning about Belief.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996
The Largest Cartesian Closed Category of Stable Domains.
Theor. Comput. Sci., 1996

Quasi-Prime Algebraic Domains.
Theor. Comput. Sci., 1996

1995
On Maximal Stable Functions.
Theor. Comput. Sci., 1995

Domain Theory Meets Default Logic.
J. Log. Comput., 1995

1994
A Representation of SFP
Inf. Comput., April, 1994

1993
Some Monoidal Closed Categories of Stable Domains and Event Structures.
Math. Struct. Comput. Sci., 1993

Constraints in Nonmonotonic Reasoning.
Proceedings of the Principles and Practice of Constraint Programming, 1993

Universal Quasi-Prime Algebraic Domains.
Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992
dI-Domains as Prime Information Systems
Inf. Comput., October, 1992

Stable Neighbourboods.
Theor. Comput. Sci., 1992

Disjunctive Systems and L-Domains.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991
A Monoidal Closed Category of Event Structures.
Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1989
Logics of domains.
PhD thesis, 1989

DI-Domains as Information Systems (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1984
"NP = P?" and restricted partitions.
Inf. Sci., 1984


  Loading...