Zhaohui Luo - RankMe

77 papers A* 1A 1B 3C 3Misc 1Journal 31Unranked 34

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A rapid algorithm for millimeter-wave near-field three-dimensional image reconstruction based on FiNUFFT. EURASIP J. Adv. Signal Process. Letian Zeng, Sheng Zhang, Yuanyuan Huai, Qi Mao, Jingzhao Li, Zhaohui Luo, Yunhuai Zou
2025	J	`jnl`	An Adaptive Multi-Bernoulli Filter for Coexisting Point Target and Extended Target Tracking With Unknown Detection Probability. IEEE Access Yuansheng Li, Ling Cui, Junhu Ma, Zhaohui Luo
2025	—	`conf`	DP-SENet: A Dual-Path Attention Raman Spectroscopy Analysis Network for IgA Nephropathy Diagnosis. ISAIMS Wenyao Wang, Chen Chen, Ruijun Chen, Wei Zhang, Yan Liu, Jie Tang, Zhaohui Luo
2024	J	`jnl`	A convex Kullback-Leibler optimization for semi-supervised few-shot learning. Comput. Vis. Image Underst. Yukun Liu, Zhaohui Luo, Daming Shi
2024	A	`conf`	SOUP: A Unified Shopping Query Suggestion Framework to Optimize Language Model with User Preference. CIKM Xu Meng, Zhaohui Luo, Xinxin Wang, Wen Jiang, Wei Ning, Shuhan Qi
2023	J	`jnl`	Propositional Forms of Judgemental Interpretations. J. Log. Lang. Inf. Tao Xue, Zhaohui Luo, Stergios Chatzikyriakidis
2023	J	`jnl`	Quantitative Analysis of the Contributions of Climatic and Anthropogenic Factors to the Variation in Net Primary Productivity, China. Remote. Sens. Shouhai Shi, Luping Zhu, Zhaohui Luo, Hua Qiu
2023	J	`jnl`	Review of adaptive control for stroke lower limb exoskeleton rehabilitation robot based on motion intention recognition. Frontiers Neurorobotics Dongnan Su, Zhigang Hu, Jipeng Wu, Peng Shang, Zhaohui Luo
2022	—	`conf`	A Metatheoretic Analysis of Subtype Universes. TYPES Felix Bradley, Zhaohui Luo
2022	—	`conf`	Autonomous following method of intelligent assistance walking robot based on large-scale piezoresistive films. ICIT Feng Wei, Zhaohui Luo, Bo Wang, Dongnan Su, Jipeng Wu, Peng Shang
2022	J	`jnl`	The Different Impacts of Climate Variability and Human Activities on NPP in the Guangdong-Hong Kong-Macao Greater Bay Area. Remote. Sens. Yanyan Wu, Zhaohui Luo, Zhifeng Wu
2021	—	`conf`	Stroke Patients Walk Pattern Prediction and Tracking Control Method for a Novel Intelligent Lower Limb Rehabilitation Walker. BECB Xiaoqian Zhang, Zhaohui Luo, Delong Yang, Peng Shang
2021	—	`conf`	The Survey of Image Generation from EEG Signals based on Deep Learning. BECB Delong Yang, Dongnan Su, Zhaohui Luo, Peng Shang, Zhigang Hu
2020	—	`conf`	Subtype Universes. TYPES Harry Maclean, Zhaohui Luo
2019	J	`jnl`	Caching mechanism for mobile edge computing in V2I networks. Trans. Emerg. Telecommun. Technol. Zhaohui Luo, Minghui Liwang, Lianfen Huang, Xiaojiang Du, Mohsen Guizani
2019	J	`jnl`	Cooperative Content Caching for Mobile Edge Computing With Network Coding. IEEE Access Weisheng He, Yuhan Su, Xueting Xu, Zhaohui Luo, Lianfen Huang, Xiaojiang Du
2019	—	`conf`	Gradability in MTT-Semantics. TbiLLC Stergios Chatzikyriakidis, Zhaohui Luo
2019	C	`conf`	Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper). CollaborateCom Weidong Ma, Zhaohui Luo
2018	—	`conf`	An NS-3 compatible emulation framework for underwater acoustic network. WUWNet Xiaohui Zeng, Zhaohui Luo, Fangjiong Chen, Hua Yu, Fei Ji, Quanshen Guang
2018	J	`jnl`	Direct Impacts of Climate Change and Indirect Impacts of Non-Climate Change on Land Surface Phenology Variation across Northern China. ISPRS Int. J. Geo Inf. Zhaohui Luo, Qingmei Song, Tao Wang, Huanmu Zeng, Tao He, Hengjun Zhang, Wenchen Wu
2018	—	`conf`	Object Detection Based on Multiscale Merged Feature Map. IGTA Zhaohui Luo, Hong Zhang, Zeyu Zhang, Yifan Yang, Jin Li
2018	J	`jnl`	Variation of Net Primary Production and Its Correlation with Climate Change and Anthropogenic Activities over the Tibetan Plateau. Remote. Sens. Zhaohui Luo, Wenchen Wu, Xijun Yu, Qingmei Song, Jian Yang, Jiahui Wu, Hengjun Zhang
2018	J	`jnl`	舰艇编队海上物资再补给目标优化研究 (Object Optimization Research of Underway Materials Resupplying for Battle Group). 计算机科学 Furong Qin, Zhaohui Luo, Peng Dong
2017	J	`jnl`	Adjectival and Adverbial Modification: The View from Modern Type Theories. J. Log. Lang. Inf. Stergios Chatzikyriakidis, Zhaohui Luo
2017	C	`conf`	Dependent Event Types. WoLLIC Zhaohui Luo, Sergei Soloviev
2017	J	`jnl`	Spatiotemporal Variability of Land Surface Phenology in China from 2001-2014. Remote. Sens. Zhaohui Luo, Shixiao Yu
2016	—	`conf`	On Subtyping in Type Theories with Canonical Objects. TYPES Georgiana E. Lungu, Zhaohui Luo
2016	—	`conf`	Proof Assistants for Natural Language Semantics. LACL Stergios Chatzikyriakidis, Zhaohui Luo
2015	J	`jnl`	Semi-simplicial Types in Logic-enriched Homotopy Type Theory. CoRR Fedor Part, Zhaohui Luo
2015	J	`jnl`	基于粗糙集的加权KNN数据分类算法 (Weighted KNN Data Classification Algorithm Based on Rough Set). 计算机科学 Jiyu Liu, Qiang Wang, Zhaohui Luo, Hao Song, Lvyun Zhang
2014	—	`conf`	Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? LACL Zhaohui Luo
2014	—	`conf`	Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. LACL Georgiana E. Lungu, Zhaohui Luo
2014	J	`jnl`	Natural Language Inference in Coq. J. Log. Lang. Inf. Stergios Chatzikyriakidis, Zhaohui Luo
2014	—	`conf`	Using Signatures in Type Theory to Represent Situations. JSAI-isAI Workshops Stergios Chatzikyriakidis, Zhaohui Luo
2013	B	`conf`	Adjectives in a Modern Type-Theoretical Setting. FG Stergios Chatzikyriakidis, Zhaohui Luo
2013	J	`jnl`	Coercive subtyping: Theory and implementation. Inf. Comput. Zhaohui Luo, Sergei Soloviev, Tao Xue
2012	—	`conf`	An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. CSLP Stergios Chatzikyriakidis, Zhaohui Luo
2012	—	`conf`	Common Nouns as Types. LACL Zhaohui Luo
2012	—	`conf`	Dot-types and Their Implementation. LACL Tao Xue, Zhaohui Luo
2011	J	`jnl`	A pluralist approach to the formalisation of mathematics. Math. Struct. Comput. Sci. Robin Adams, Zhaohui Luo
2011	—	`conf`	Contextual Analysis of Word Meanings in Type-Theoretical Semantics. LACL Zhaohui Luo
2010	J	`jnl`	Classical predicative logic-enriched type theories. Ann. Pure Appl. Log. Robin Adams, Zhaohui Luo
2010	J	`jnl`	Weyl's predicative classical mathematics as a logic-enriched type theory. ACM Trans. Comput. Log. Robin Adams, Zhaohui Luo
2009	J	`jnl`	Classical Predicative Logic-Enriched Type Theories CoRR Robin Adams, Zhaohui Luo
2009	—	`conf`	Typed Operational Semantics for Dependent Record Types TYPES Yangyue Feng, Zhaohui Luo
2008	J	`jnl`	Coercions in a polymorphic type system. Math. Struct. Comput. Sci. Zhaohui Luo
2008	—	`conf`	Diagnosis of Breast Cancer Tumor Based on PCA and Fuzzy Support Vector Machine Classifier. ICNC (4) Zhaohui Luo, Xiaoming Wu, Shengwen Guo, Binggang Ye
2008	—	`conf`	Manifest Fields and Module Mechanisms in Intensional Type Theory. TYPES Zhaohui Luo
2008	—	`conf`	Sea Water Pollution Assessment Based on Ensemble of Classifiers. ICNC (1) Bin Zeng, Zhaohui Luo, Jun Wei
2008	J	`jnl`	Structural subtyping for inductive types with functorial equality rules. Math. Struct. Comput. Sci. Zhaohui Luo, Robin Adams
2008	J	`jnl`	Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory CoRR Robin Adams, Zhaohui Luo
2007	C	`conf`	Grid Scheduling Optimization Under Conditions of Uncertainty. NPC Bin Zeng, Zhaohui Luo, Jun Wei
2006	—	`conf`	A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations. ASIAN Zhaohui Luo
2006	—	`conf`	Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. TYPES Robin Adams, Zhaohui Luo
2005	J	`jnl`	Transitivity in coercive subtyping. Inf. Comput. Zhaohui Luo, Yong Luo
2003	—	`conf`	Coercions in Hindley-Milner Systems. TYPES Robert Kießling, Zhaohui Luo
2003	—	`conf`	Combining Incoherent Coercions for Sigma-Types. TYPES Yong Luo, Zhaohui Luo
2002	—	`ed.`	Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers TYPES Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
2002	—	`conf`	Weak Transitivity in Coercive Subtyping. TYPES Yong Luo, Zhaohui Luo, Sergei Soloviev
2001	J	`jnl`	An Implementation of LF with Coercive Subtyping & Universes. J. Autom. Reason. Paul Callaghan, Zhaohui Luo
2001	J	`jnl`	Coercion completion and conservativity in coercive subtyping. Ann. Pure Appl. Log. Zhaohui Luo
2001	B	`conf`	Coherence and Transitivity in Coercive Subtyping. LPAR Yong Luo, Zhaohui Luo
1999	J	`jnl`	Coercive Subtyping. J. Log. Comput. Zhaohui Luo
1999	—	`conf`	Dependent Coercions. CTCS Zhaohui Luo, Sergei Soloviev
1999	—	`conf`	Implementation Techniques for Inductive Types in Plastic. TYPES Paul Callaghan, Zhaohui Luo
1997	—	`conf`	Implementing a Model Checker for LEGO. FME Shenwei Yu, Zhaohui Luo
1997	—	`conf`	Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. LACL Zhaohui Luo, Paul Callaghan
1996	B	`conf`	Coercive Subtyping in Type Theory. CSL Zhaohui Luo
1996	—	`conf`	Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. TYPES Alex P. Jones, Zhaohui Luo, Sergei Soloviev
1996	—	`conf`	Type Theoretic Semantics for SemNet. FAPR Simon Shiu, Zhaohui Luo, Roberto Garigliano
1994	—	`book`	Computation and reasoning - a type theory for computer science. Zhaohui Luo
1993	J	`jnl`	Program Specification and Data Refinement in Type Theory. Math. Struct. Comput. Sci. Zhaohui Luo
1992	Misc	`conf`	A Unifying Theory of Dependent Types: The Schematic Approach. LFCS Zhaohui Luo
1991	J	`jnl`	A Higher-Order Calculus and Theory Abstraction Inf. Comput. Zhaohui Luo
1991	—	`conf`	Program Specification and Data Refinement in Type Theory. TAPSOFT, Vol.1 Zhaohui Luo
1990	—	`—`	An extended calculus of constructions. Zhaohui Luo
1989	A*	`conf`	ECC, an Extended Calculus of Constructions LICS Zhaohui Luo