Zhaohui Luo

Daming Shi

Comput. Vis. Image Underst., 2024

SOUP: A Unified Shopping Query Suggestion Framework to Optimize Language Model with User Preference.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024

2023

Propositional Forms of Judgemental Interpretations.

[BibT_eX]

[DOI]

Tao Xue

J. Log. Lang. Inf., October, 2023

Review of adaptive control for stroke lower limb exoskeleton rehabilitation robot based on motion intention recognition.

[BibT_eX]

[DOI]

Frontiers Neurorobotics, June, 2023

Quantitative Analysis of the Contributions of Climatic and Anthropogenic Factors to the Variation in Net Primary Productivity, China.

[BibT_eX]

[DOI]

Remote. Sens., February, 2023

2022

The Different Impacts of Climate Variability and Human Activities on NPP in the Guangdong-Hong Kong-Macao Greater Bay Area.

[BibT_eX]

[DOI]

Yanyan Wu

Zhifeng Wu

Remote. Sens., 2022

A Metatheoretic Analysis of Subtype Universes.

[BibT_eX]

[DOI]

Felix Bradley

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

Autonomous following method of intelligent assistance walking robot based on large-scale piezoresistive films.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Technology, 2022

2021

Stroke Patients Walk Pattern Prediction and Tracking Control Method for a Novel Intelligent Lower Limb Rehabilitation Walker.

[BibT_eX]

[DOI]

Proceedings of the BECB 2021: 2021 International Symposium on Biomedical Engineering and Computational Biology, Nanchang, China, August 13, 2021

The Survey of Image Generation from EEG Signals based on Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the BECB 2021: 2021 International Symposium on Biomedical Engineering and Computational Biology, Nanchang, China, August 13, 2021

2020

Subtype Universes.

[BibT_eX]

[DOI]

Harry Maclean

Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020

2019

Caching mechanism for mobile edge computing in V2I networks.

[BibT_eX]

[DOI]

Trans. Emerg. Telecommun. Technol., 2019

Cooperative Content Caching for Mobile Edge Computing With Network Coding.

[BibT_eX]

[DOI]

IEEE Access, 2019

Gradability in MTT-Semantics.

[BibT_eX]

[DOI]

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper).

[BibT_eX]

[DOI]

Weidong Ma

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

2018

Variation of Net Primary Production and Its Correlation with Climate Change and Anthropogenic Activities over the Tibetan Plateau.

[BibT_eX]

[DOI]

Remote. Sens., 2018

舰艇编队海上物资再补给目标优化研究 (Object Optimization Research of Underway Materials Resupplying for Battle Group).

[BibT_eX]

[DOI]

Furong Qin

Peng Dong

计算机科学, 2018

Direct Impacts of Climate Change and Indirect Impacts of Non-Climate Change on Land Surface Phenology Variation across Northern China.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2018

An NS-3 compatible emulation framework for underwater acoustic network.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM International Conference on Underwater Networks & Systems, 2018

Object Detection Based on Multiscale Merged Feature Map.

[BibT_eX]

[DOI]

Proceedings of the Image and Graphics Technologies and Applications, 2018

2017

Spatiotemporal Variability of Land Surface Phenology in China from 2001-2014.

[BibT_eX]

[DOI]

Shixiao Yu

Remote. Sens., 2017

Adjectival and Adverbial Modification: The View from Modern Type Theories.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2017

Dependent Event Types.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2017

2016

On Subtyping in Type Theories with Canonical Objects.

[BibT_eX]

[DOI]

Georgiana E. Lungu

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

Proof Assistants for Natural Language Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 2016

2015

基于粗糙集的加权KNN数据分类算法 (Weighted KNN Data Classification Algorithm Based on Rough Set).

[BibT_eX]

[DOI]

计算机科学, 2015

Semi-simplicial Types in Logic-enriched Homotopy Type Theory.

[BibT_eX]

[DOI]

Fedor Part

CoRR, 2015

2014

Natural Language Inference in Coq.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2014

Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 2014

Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories.

[BibT_eX]

[DOI]

Georgiana E. Lungu

Proceedings of the Logical Aspects of Computational Linguistics, 2014

Using Signatures in Type Theory to Represent Situations.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2014

2013

Coercive subtyping: Theory and implementation.

[BibT_eX]

[DOI]

Tao Xue

Inf. Comput., 2013

Adjectives in a Modern Type-Theoretical Setting.

[BibT_eX]

[DOI]

Proceedings of the Formal Grammar, 2013

2012

Dot-types and Their Implementation.

[BibT_eX]

[DOI]

Tao Xue

Proceedings of the Logical Aspects of Computational Linguistics, 2012

Common Nouns as Types.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 2012

An Account of Natural Language Coordination in Type Theory with Coercive Subtyping.

[BibT_eX]

[DOI]

Proceedings of the Constraint Solving and Language Processing - 7th International Workshop, 2012

2011

A pluralist approach to the formalisation of mathematics.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2011

Contextual Analysis of Word Meanings in Type-Theoretical Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 2011

2010

Weyl's predicative classical mathematics as a logic-enriched type theory.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2010

Classical predicative logic-enriched type theories.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2010

2009

Typed Operational Semantics for Dependent Record Types

[BibT_eX]

[DOI]

Yangyue Feng

Proceedings of the Proceedings Types for Proofs and Programs, Revised Selected Papers, 2009

2008

Structural subtyping for inductive types with functorial equality rules.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2008

Coercions in a polymorphic type system.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2008

Manifest Fields and Module Mechanisms in Intensional Type Theory.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Diagnosis of Breast Cancer Tumor Based on PCA and Fuzzy Support Vector Machine Classifier.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008

Sea Water Pollution Assessment Based on Ensemble of Classifiers.

[BibT_eX]

[DOI]

Bin Zeng

Jun Wei

Proceedings of the Fourth International Conference on Natural Computation, 2008

2007

Grid Scheduling Optimization Under Conditions of Uncertainty.

[BibT_eX]

[DOI]

Bin Zeng

Jun Wei

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2007

2006

A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2006

2005

LFTOP: An LF-Based Approach to Domain-Specific Reasoning.

[BibT_eX]

[DOI]

Jianmin Pang

J. Comput. Sci. Technol., 2005

Transitivity in coercive subtyping.

[BibT_eX]

[DOI]

Inf. Comput., 2005

2003

PAL+: a lambda-free logical framework.

[BibT_eX]

[DOI]

J. Funct. Program., 2003

Combining Incoherent Coercions for Sigma-Types.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Coercions in Hindley-Milner Systems.

[BibT_eX]

[DOI]

Robert Kießling

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2002

Weak Transitivity in Coercive Subtyping.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2001

An Implementation of LF with Coercive Subtyping & Universes.

[BibT_eX]

[DOI]

J. Autom. Reason., 2001

Coercion completion and conservativity in coercive subtyping.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2001

Coherence and Transitivity in Coercive Subtyping.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

1999

Dependent Coercions.

[BibT_eX]

[DOI]

Proceedings of the Conference on Category Theory and Computer Science, 1999

Coercive Subtyping.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Implementation Techniques for Inductive Types in Plastic.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, 1999

1997

Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 1997

Implementing a Model Checker for LEGO.

[BibT_eX]

[DOI]

Shenwei Yu

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping.

[BibT_eX]

[DOI]

Alex P. Jones

Proceedings of the Types for Proofs and Programs, 1996

Type Theoretic Semantics for SemNet.

[BibT_eX]

[DOI]

Simon Shiu

Roberto Garigliano

Proceedings of the Practical Reasoning, 1996

Coercive Subtyping in Type Theory.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1994

Computation and reasoning - a type theory for computer science.

[BibT_eX]

International series of monographs on computer science 11, Oxford University Press, ISBN: 978-0-19-853835-6, 1994

1993

Program Specification and Data Refinement in Type Theory.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1993

1992

A Unifying Theory of Dependent Types: The Schematic Approach.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, 1992

1991

A Higher-Order Calculus and Theory Abstraction

[BibT_eX]

[DOI]

Inf. Comput., January, 1991

1990

An extended calculus of constructions.

[BibT_eX]

[DOI]

PhD thesis, 1990

1989

ECC, an Extended Calculus of Constructions

[BibT_eX]

[DOI]