Guohua Wu

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2023

Research on unmanned electric shovel autonomous driving path tracking control based on improved pure tracking and fuzzy control.

[BibT_eX]

[DOI]

J. Field Robotics, October, 2023

Convolutional neural network based on multi-directional local coding for finger vein recognition.

[BibT_eX]

[DOI]

Inf. Sci., April, 2023

SPN: A Method of Few-Shot Traffic Classification With Out-of-Distribution Detection Based on Siamese Prototypical Network.

[BibT_eX]

[DOI]

IEEE Access, 2023

Time-Delay Tolerance of Visual and Olfactory Feedback in Multi-Sensory Extended Reality.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Metrology for eXtended Reality, 2023

FHSI-GNN: Fusion Hierarchical Structure Information Graph Neural Network for Extractive Long Documents Summarization.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 30th International Conference, 2023

DGNN: Dependency Graph Neural Network for Multimodal Emotion Recognition in Conversation.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 30th International Conference, 2023

Cupping Computably Enumerable Degrees Simultaneously.

[BibT_eX]

[DOI]

Hong Hanh Tran

Proceedings of the Unity of Logic and Computation, 2023

2022

Semantic Shilling Attack against Heterogeneous Information Network Based Recommend Systems.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2022

Label Semantic Extension for Chinese Event Extraction.

[BibT_eX]

[DOI]

Proceedings of the Natural Language Processing and Chinese Computing, 2022

Stain-free Holographic Detection of Circulating Tumor Cells Using A Deep Feature Fusion Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Artificial Intelligence Circuits and Systems, 2022

2021

Chinese Named Entity Recognition: Applications and Challenges.

[BibT_eX]

[DOI]

Proceedings of the MDATA: A New Knowledge Representation Model, 2021

A Novel Threshold Changeable Secret Image Sharing Scheme.

[BibT_eX]

[DOI]

Symmetry, 2021

Reversible Data Hiding in Encrypted Images Using Median Edge Detector and Two's Complement.

[BibT_eX]

[DOI]

Symmetry, 2021

Font Transfer Based on Parallel Auto-encoder for Glyph Perturbation via Strokes Moving.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2021

2020

Cupping and jump Classes in the computably Enumerable Degrees.

[BibT_eX]

[DOI]

Noam Greenberg

Keng Meng Ng

J. Symb. Log., 2020

Computable linear Orders and Products.

[BibT_eX]

[DOI]

J. Symb. Log., 2020

A Practical Secret Key Generation Scheme Based on Wireless Channel Characteristics for 5G Networks.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2020

Feedback-Based Directly Ghost Imaging Method.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Advanced Infocomm Technology, 2020

2019

Public key encryption with conjunctive keyword search secure against keyword guessing attack from lattices.

[BibT_eX]

[DOI]

Trans. Emerg. Telecommun. Technol., 2019

Weak Domain Models of T1 spaces.

[BibT_eX]

[DOI]

Chong Shen

Dongsheng Zhao

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

An Evaluation of Deep Learning-Based Computer Generated Image Detection Approaches.

[BibT_eX]

[DOI]

IEEE Access, 2019

Bounded Jump and the High/Low Hierarchy.

[BibT_eX]

[DOI]

Huishan Wu

Proceedings of the Theory and Applications of Models of Computation, 2019

The d.r.e wtt-Degrees are Dense.

[BibT_eX]

[DOI]

Shaoyi Wang

Mars M. Yamaleev

Proceedings of the Computing with Foresight and Industry, 2019

2018

Degrees containing members of thin Π10 classes are dense and co-dense.

[BibT_eX]

[DOI]

Rodney G. Downey

J. Math. Log., 2018

The Kierstead's Conjecture and limitwise monotonic functions.

[BibT_eX]

[DOI]

Maxim V. Zubkov

Ann. Pure Appl. Log., 2018

2017

Degrees of Word Problem for Algebras Without Finitely Presented Expansions.

[BibT_eX]

[DOI]

Huishan Wu

Proceedings of the Theory and Applications of Models of Computation, 2017

There Are No Maximal d.c.e. wtt-degrees.

[BibT_eX]

[DOI]

Mars M. Yamaleev

Proceedings of the Computability and Complexity, 2017

2016

A New Dual-Modality ECT/ERT Technique Based on C4D Principle.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2016

A New Void Fraction Measurement Method for Gas-Liquid Two-Phase Flow in Small Channels.

[BibT_eX]

[DOI]

Sensors, 2016

Definable sets in Stone algebras.

[BibT_eX]

[DOI]

Lei Chen

Niandong Shi

Arch. Math. Log., 2016

Face expression recognition based on equable principal component analysis and linear regression classification.

[BibT_eX]

[DOI]

Yani Zhu

Xiaoxin Li

Proceedings of the 3rd International Conference on Systems and Informatics, 2016

Using density peaks sentence clustering for update summary generation.

[BibT_eX]

[DOI]

Yutian Guo

Proceedings of the 2016 IEEE Canadian Conference on Electrical and Computer Engineering, 2016

2015

Direct detection OFDMA-PON based on optical single sideband modulation and polarisation multiplexing.

[BibT_eX]

[DOI]

Trans. Emerg. Telecommun. Technol., 2015

Termination Analysis of Polynomial Programs with Equality Conditions.

[BibT_eX]

[DOI]

CoRR, 2015

The members of thin and minimal classes, their ranks and Turing degrees.

[BibT_eX]

[DOI]

Rodney G. Downey

Ann. Pure Appl. Log., 2015

Finite-to-Infinite N-Best POMDP for Spoken Dialogue Management.

[BibT_eX]

[DOI]

Proceedings of the Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data, 2015

Nonexistence of Minimal Pairs in L[d].

[BibT_eX]

[DOI]

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2014

Initial segment complexities of randomness notions.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Multi-agent across-neighbourhood search: a simple and efficient method for numerical optimization.

[BibT_eX]

[DOI]

CoRR, 2014

Abnormal user detection based on instant messages.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Machine Learning and Cybernetics, 2014

Leveraging Rich Linguistic Features for Cross-domain Chinese Segmentation.

[BibT_eX]

[DOI]

Proceedings of The Third CIPS-SIGHAN Joint Conference on Chinese Language Processing, 2014

2013

Anti-complex sets and reducibilities with tiny use.

[BibT_eX]

[DOI]

Johanna N. Y. Franklin

Noam Greenberg

J. Symb. Log., 2013

On the Largest Cartesian Closed Category of Stable Domains.

[BibT_eX]

[DOI]

Xiaoyong Xi

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

Highness, locally noncappability and nonboundings.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2013

On a problem of Ishmukhametov.

[BibT_eX]

[DOI]

Mars M. Yamaleev

Arch. Math. Log., 2013

Influence of channel correlation on the scintillation performance of receiver diversity systems for free-space optical communications.

[BibT_eX]

[DOI]

Proceedings of the 2013 Optical Fiber Communication Conference and Exposition and the National Fiber Optic Engineers Conference (OFC/NFOEC), 2013

2012

Nonhemimaximal degrees and the high/low hierarchy.

[BibT_eX]

[DOI]

J. Symb. Log., 2012

Almost universal cupping and diamond embeddings.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2012

Highness and Local Noncappability.

[BibT_eX]

[DOI]

Shenling Wang

Proceedings of the How the World Computes, 2012

Learning Families of Closed Sets in Matroids.

[BibT_eX]

[DOI]

Proceedings of the Computation, Physics and Beyond, 2012

2011

An almost-universal cupping degree.

[BibT_eX]

[DOI]

J. Symb. Log., 2011

A superhigh diamond in the c.e. tt-degrees.

[BibT_eX]

[DOI]

Douglas Cenzer

Johanna N. Y. Franklin

Arch. Math. Log., 2011

On a Hierarchy of Plus-Cupping Degrees.

[BibT_eX]

[DOI]

Shengling Wang

Proceedings of the Models of Computation in Context, 2011

Cupping and Diamond Embeddings: A Unifying Approach.

[BibT_eX]

[DOI]

Proceedings of the Models of Computation in Context, 2011

2010

Diamond embeddings into the enumeration degrees.

[BibT_eX]

[DOI]

Andrea Sorbi

Math. Struct. Comput. Sci., 2010

On the Complexity of the Successivity Relation in Computable linear Orderings.

[BibT_eX]

[DOI]

Rod Downey

Steffen Lempp

J. Math. Log., 2010

Effects of Perceived Interactivity, Perceived Web Assurance and Disposition to Trust on Initial Online Trust.

[BibT_eX]

[DOI]

Xiaorui Hu

Yuhong Wu

J. Comput. Mediat. Commun., 2010

Erratum to "The effects of third-party web assurance seals on consumers' initial trust in online vendors: A functional perspective" [Decision Support Systems Volume (48/2) 407-418].

[BibT_eX]

[DOI]

Decis. Support Syst., 2010

The effects of Web assurance seals on consumers' initial trust in an online vendor: A functional perspective.

[BibT_eX]

[DOI]

Decis. Support Syst., 2010

Infima of d.r.e. degrees.

[BibT_eX]

[DOI]

Shengling Wang

Arch. Math. Log., 2010

Joining to high degrees via noncuppables.

[BibT_eX]

[DOI]

Arch. Math. Log., 2010

A High Order Neural Network to Solve Crossbar Switch Problem.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing. Models and Applications, 2010

Degrees with Almost Universal Cupping Property.

[BibT_eX]

[DOI]

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

Cupping Delta20 enumeration degrees to 0 e'.

[BibT_eX]

[DOI]

Mariya Ivanova Soskova

Math. Struct. Comput. Sci., 2009

Pseudojumps and Pi10 Classes.

[BibT_eX]

[DOI]

Douglas A. Cenzer

Geoffrey LaForte

J. Log. Comput., 2009

A CORBA Replication Voting Mechanism for Maintaining the Replica Consistent.

[BibT_eX]

[DOI]

J. Softw. Eng. Appl., 2009

Model Interpretation Development: Analysis Design of Automatic Control System.

[BibT_eX]

[DOI]

J. Softw. Eng. Appl., 2009

A Solution Based on Modeling and Code Generation for Embedded Control System.

[BibT_eX]

[DOI]

Dongwu Cheng

Zhen Zhang

J. Softw. Eng. Appl., 2009

High Minimal Pairs in the Enumeration Degrees.

[BibT_eX]

[DOI]

Andrea Sorbi

Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms.

[BibT_eX]

[DOI]

Douglas Cenzer

Johanna N. Y. Franklin

Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

Infima of d.r.e. Degrees.

[BibT_eX]

[DOI]

Shengling Wang

Proceedings of the Mathematical Theory and Computational Practice, 2009

Immunity for Closed Sets.

[BibT_eX]

[DOI]

Douglas Cenzer

Rebecca Weber

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees.

[BibT_eX]

[DOI]

S. Barry Cooper

Matthew C. Salts

Proceedings of the Theory and Applications of Models of Computation, 2008

A Fast Audio Digital Watermark Method Based on Counter-Propagation Neural Networks.

[BibT_eX]

[DOI]

Xiaodong Zhou

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Joining to High Degrees.

[BibT_eX]

[DOI]

Proceedings of the Logic and Theory of Algorithms, 2008

2007

Isolation, Infima and Diamond Embeddings.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

Intervals containing exactly one c.e. degree.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2007

A Parallel Software Developing Feedback Model for Improving Quality of Software Product.

[BibT_eX]

Hong Ding

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Cupping D20 Enumeration Degrees to 0 e '.

[BibT_eX]

[DOI]

Mariya Ivanova Soskova

Proceedings of the Computation and Logic in the Real World, 2007

Pseudojump Operators and P01 Classes.

[BibT_eX]

[DOI]

Douglas A. Cenzer

Geoffrey LaForte

Proceedings of the Computation and Logic in the Real World, 2007

A Minimal Pair in the Quotient Structure M / NCup.

[BibT_eX]

[DOI]

Rongfang Bie

Proceedings of the Computation and Logic in the Real World, 2007

2006

A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Jump operator and Yates degrees.

[BibT_eX]

[DOI]

J. Symb. Log., 2006

Randomness and universal machines.

[BibT_eX]

[DOI]

Santiago Figueira

J. Complex., 2006

1-Generic splittings of computably enumerable degrees.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2006

Bounding computably enumerable degrees in the Ershov hierarchy.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2006

On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2006

Universal Cupping Degrees.

[BibT_eX]

[DOI]

Yan Song

Proceedings of the Theory and Applications of Models of Computation, 2006

Skin Incision Using Real-Time Cutaway Based on FE Analysis.

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006

Degrees of Weakly Computable Reals.

[BibT_eX]

[DOI]

Keng Meng Ng

Proceedings of the Logical Approaches to Computational Barriers, 2006

2005

Regular reals.

[BibT_eX]

[DOI]

Math. Log. Q., 2005

Presentations of K-Trivial Reals and Kolmogorov Complexity.

[BibT_eX]

[DOI]

Proceedings of the New Computational Paradigms, 2005

2004

Quasi-complements of the cappable degrees.

[BibT_eX]

[DOI]

Math. Log. Q., 2004

Degrees of d. c. e. reals.

[BibT_eX]

[DOI]

Rod Downey

Xizhong Zheng

Math. Log. Q., 2004

Bi-isolation in the d.c.e. degrees.

[BibT_eX]

[DOI]

J. Symb. Log., 2004

Complementing cappable degrees in the difference hierarchy.

[BibT_eX]

[DOI]

Rod Downey

Ann. Pure Appl. Log., 2004

Segmentation-Based Interpolation of 3D Medical Images.

[BibT_eX]

[DOI]

Zhigeng Pan

Xuesong Yin

Proceedings of the Computational Science and Its Applications, 2004

2003

Q-measures on QKlambda.

[BibT_eX]

[DOI]

Arch. Math. Log., 2003

2002

Isolation and Lattice Embeddings.

[BibT_eX]

[DOI]

J. Symb. Log., 2002

Nonisolated degrees and the jump operator.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2002

Isolation and the high/low hierarchy.

[BibT_eX]

[DOI]

Shamil Ishmukhametov

Arch. Math. Log., 2002

2001

Isolation and the Jump Operator.

[BibT_eX]

[DOI]

Math. Log. Q., 2001

Prefix-Free Languages and Initial Segments of Computably Enumerable Degrees.

[BibT_eX]

[DOI]