Xiaodong Jia

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

2021
Semi-Supervised Multi-View Deep Discriminant Representation Learning.
IEEE Trans. Pattern Anal. Mach. Intell., 2021

A Derivative-based Parser Generator for Visibly Pushdown Grammars.
CoRR, 2021

Separating minimal valuations, point-continuous valuations and continuous valuations.
CoRR, 2021

Semantics for Variational Quantum Programming.
CoRR, 2021

A Domain-Theoretic Approach to Statistical Programming Languages.
CoRR, 2021

Commutative Monads for Probabilistic Programming Languages.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Fuzzy Logic Based Multi-Dimensional Image Fusion for Gas-Oil-Water Flows With Dual-Modality Electrical Tomography.
IEEE Trans. Instrum. Meas., 2020

Completing Simple Valuations in K-categories.
CoRR, 2020

Make ℓ <sub>1</sub> regularization effective in training sparse CNN.
Comput. Optim. Appl., 2020

The Order-Sobrification Monad.
Appl. Categorical Struct., 2020

Heterogeneous Software Effort Estimation via Cascaded Adversarial Auto-Encoder.
Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2020

Negative-Aware Training: Be Aware of Negative Samples.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019
Algebras of the Extended Probabilistic Powerdomain Monad.
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, 2019

Domain-complete and LCS-complete Spaces.
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, 2019

2018
Meet-continuity and locally compact sober dcpos.
PhD thesis, 2018

Fuzzing: State of the Art.
IEEE Trans. Reliab., 2018

θ-continuity and D θ-completion of posets.
Math. Struct. Comput. Sci., 2018

Modified Regularized Dual Averaging Method for Training Sparse Convolutional Neural Networks.
CoRR, 2018

A Hybrid 2D and 3D Convolution Based Recurrent Network for Video-Based Person Re-identification.
Proceedings of the Neural Information Processing - 25th International Conference, 2018

2017
Cartesian Closed Extensions of Subcategories of CONT.
Order, 2017

vmOS: A virtualization-based, secure desktop system.
Comput. Secur., 2017

Handwritten Yi Character Recognition with Density-Based Clustering Algorithm and Convolutional Neural Network.
Proceedings of the 2017 IEEE International Conference on Computational Science and Engineering, 2017

2016
Verifying RTuinOS using VCC: From approach to practice.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

A Correctness Verification Method for C Programs Based on VCC.
Proceedings of the 3rd IEEE International Conference on Cyber Security and Cloud Computing, 2016

2015
All cartesian closed categories of quasicontinuous domains consist of domains.
Theor. Comput. Sci., 2015

Impact of shape representation schemes used in discrete element modelling of particle packing.
Comput. Chem. Eng., 2015

2014
On the order-theoretic properties of lower concept formula systems.
Soft Comput., 2014

Studies for the development of a virtual permeameter.
Comput. Chem. Eng., 2014

2011
A sub-pathway-based approach for identifying drug response principal network.
Bioinform., 2011

2009
Digital predictions of complex cylinder packed columns.
Comput. Chem. Eng., 2009

2007
An investigation of sphere packed shell-side columns using a digital packing algorithm.
Comput. Chem. Eng., 2007

2006
An investigation of packed columns using a digital packing algorithm.
Comput. Chem. Eng., 2006


  Loading...