陈一佳(音)
人员信息
其他同名人员
优化列表
2020年-今天
2024 [公元24年] 黄玉辉 , 周尚波 , 徐玉芬 , 陈一佳(音) , 曹凯(Kai Cao) :
参考-MEF:用于多曝光图像融合的参考引导灵活门控图像重建网络。 熵 26 ( 2 ) : 139 ( 2024 ) [公元23年] 袁张(音) , 陈一佳(音) , 曹金德 , 刘海红 , 李周红 :
CD8 T细胞对病毒抗原反应的延迟模型的动力学建模和定性分析。 IEEE传输。 神经网络学习。 系统。 35 ( 5 ) : 7138-7149 ( 2024 ) [i22] 陈一佳(音) , 陈平华 , 周向新 , 英铁雷 , 周资阳 , 李明贤 :
隐式多光谱变压器:一种轻量级且有效的可见-红外图像转换模型。 CoRR公司 abs/2404.07072 ( 2024 ) 2023 [公元22年] 陈一佳(音) , 瑶瑶 , 郝阳 , 岳武 , 张坤鹏 , 潘晓明 :
基于曲率的滚珠丝杠尺寸机器视觉测量方法。 IEEE接入 11 : 126803-126813 ( 2023 ) [公元21年] 陈一佳(音) , 皮埃尔·路易斯·居里 , 邓玉欣 , 张敏(音) :
《理论计算机科学》60周年纪念专刊前言 第个 傅玉玺的生日。 西奥。 计算。 科学。 945 : 113720 ( 2023 ) [公元43年] 陈一佳(音) , 陈一文 , 聂善玲 , 海洋 :
PMMVar:利用多水平蛋白质结构增强编码变异致病性预测。 BIBM公司 2023 : 269-274 [公元42年] 陈一佳(音) , 蒋凯 , 熊石屹 , 伯威范 :
基于高斯过程回归和模拟退火算法的中国市场蔬菜定价优化模型。 ICAICE公司 2023 : 182-186 【i21】 陈一佳(音) , 一峰 , 邦迪特·莱卡努基特 , 刘燕林 :
k的简单组合构造 o(1) -近似参数化k-Clique的下限。 CoRR公司 abs/2304.07516 ( 2023 ) 2022 [公元20年] 陈一佳(音) , Jörg Flum公司 , 莫里茨·米勒 :
描述复杂性和证明复杂性之间令人惊讶的关系。 牛市。 EATCS公司 138 ( 2022 ) [公元41年] 陈一佳(音) , 马建军 , 苗竹 , 宁义代 :
一种用于双极LVDC系统的具有输入全有源桥和输出半有源桥的DC-DC变换器。 国际会计准则 2022 : 1-6 [公元40年] 何杰克 , 陈一佳(音) , 智峰·峨滩江 , 杨俊堂(Lyndon Juntang Yang) :
非霍奇金淋巴瘤CAR T细胞:Synotch信号、GLUT1表达和PGC1a表达的增强带来了潜在的临床治疗进展。 ISAIMS公司 2022 : 97-105 [公元39年] 陈一佳(音) , Jörg Flum公司 , 刘明军 , 智阳勋 :
基于有限多个同态计数的算法。 MFCS公司 2022 : 32:1-32:15 [电子2] 蔡志平 , 陈一佳(音) , 张佳林 :
理论计算机科学第40届全国会议,NCTCS 2022,长春,2022年7月29日至31日,修订论文集。 计算机与信息科学中的通信 1693, 施普林格 2022 ,国际标准图书编号 978-981-19-8151-7 [目录] [i20] 天趣康 , 安敦定 , 王炳红 , 杜天元 , 陈一佳(音) , 周凯文(Kevin Chau) :
提高语音清晰度的实时小波算法的优化。 CoRR公司 腹肌/2202.02545 ( 2022 ) [i19] 陈一佳(音) , 莫里茨·米勒 , Keita Yokoyama先生 :
参数化停机问题Δ 0 真理和MRDP定理。 CoRR公司 abs/2211.06121 ( 2022 ) 2021 [公元19年] 陈华岳 , 方淼 , 陈一佳(音) , 熊义军(Yijun Xiong) , 陈涛(Tao Chen) :
一种使用多特征向量和优化KELM的高光谱图像分类方法。 IEEE J.选择。 顶部。 申请。 地球目标远程。 传感器。 14 : 2781-2795 ( 2021 ) [公元38年] Keegan Kang先生 , 谢尔盖·库什纳列夫 , 黄伟品 , 拉梅什瓦·普拉塔普 , 海加尔·Yeo , 陈一佳(音) :
通过MLE和控制变量技巧改进相似性搜索的散列算法。 ACML公司 2021 : 814-829 [公元37年] 陈一佳(音) , Jörg Flum公司 :
禁止的诱导子图和Łosh-Tarski定理。 低收入国家 2021 : 1月13日 [i18] 陈一佳(音) , Jörg Flum公司 , 刘明军 , 智阳勋 :
关于由常数同态计数决定的查询。 CoRR公司 abs/2111.13269 ( 2021 ) 2020 [公元36年] 陈一佳(音) , Jörg Flum公司 :
参数化并行计算和一阶逻辑。 逻辑与计算领域III 2020 : 57-78 [公元35年] 刘俊华 , 利昂纳·洛伊 , 欧内斯特·吴 , 陈一佳(音) , 克里斯汀·伍德 , 林关慧(Kwan Hui Lim) :
个性化教育中的自我进化适应性学习。 CSCW伙伴 2020 : 317-321 [公元34年] 陈一佳(音) , Jörg Flum公司 :
FO-灌木深度的可定义性。 CSL公司 2020 : 15:1-15:16 [i17] 陈一佳(音) , Jörg Flum公司 :
禁止的诱导子图和Łosh-Tarski定理。 CoRR公司 abs/2008.00420 ( 2020 )
2010 – 2019
2019 [公元18年] 陈一佳(音) , Jörg Flum公司 :
参数化AC的一些下界 0 . Inf.计算。 267 : 116-134 ( 2019 ) [公元17年] 陈一佳(音) , 迈克尔·埃尔伯菲尔德 , 莫里茨·米勒 :
模型检验有界变量一阶逻辑的参数化空间复杂性。 日志。 方法计算。 科学。 15 ( 三 ) ( 2019 ) [公元16年] 陈一佳(音) , 林炳凯 :
参数化支配集问题的常数不逼近性。 SIAM J.计算。 48 ( 2 ) : 513-533 ( 2019 ) [公元33年] 简·伯克 , 陈一佳(音) , 马丁·格罗 , 高拉夫藤 :
同态不可分辨的复杂性。 MFCS公司 2019 : 54:1-54:13 [电子1] 陈一佳(音) , 邓晓铁 , 梅露 :
算法前沿——第十三届国际研讨会,一汽2019年,中国三亚,2019年4月29日至5月3日,会议记录。 计算机科学课堂讲稿 11458, 施普林格 2019 ,国际标准图书编号 978-3-030-18125-3 [目录] 2018 [公元32年] 陈一佳(音) , 阿卜杜拉·萨菲丁 , 克里斯托夫·施维林 :
有限信念推理的复杂性——无量词案例。 IJCAI公司 2018 : 1774-1780 [公元31年] 陈一佳(音) , Jörg Flum公司 :
树深度、量词消除和量词等级。 低收入国家 2018 : 225至234 [公元30年] 陈一佳(音) , 莫里茨·米勒 , Keita Yokoyama先生 :
参数化暂停问题、线性时间层次和MRDP定理。 低收入国家 2018 : 235-244 [i16] 陈一佳(音) , 阿卜杜拉·萨菲丁 , 克里斯托夫·施韦林 :
有限信念推理的复杂性——无量词案例。 CoRR公司 abs/1805.02912 ( 2018 ) 2017 [公元15年] 林炳凯 , 陈一佳(音) :
k边诱导子图的参数化复杂性。 Inf.计算。 252 : 138-160 ( 2017 ) [公元29年] 陈一佳(音) , Jörg Flum公司 , 黄轩贵 :
量词秩有界的一阶逻辑中的切片可定义性。 CSL公司 2017 : 19:1-19:16 [公元28年] 陈一佳(音) , 马丁·格罗 , 林炳凯 :
预埋格栅和墙的硬度。 工作组 2017 : 180-192 【i15】 陈一佳(音) , 迈克尔·埃尔伯菲尔德 , 莫里茨·米勒 :
模型检验有界变量一阶逻辑的参数化空间复杂性。 CoRR公司 腹肌/1703.01860 ( 2017 ) [第14条] 陈一佳(音) , 马丁·格罗 , 林炳凯 :
嵌入网格和墙的硬度。 CoRR公司 腹肌/1703.06423 ( 2017 ) [i13] 陈一佳(音) , Jörg Flum公司 , 黄轩贵 :
量词秩有界的一阶逻辑中的切片可定义性。 CoRR公司 abs/1704.03167 ( 2017 ) [i12] 陈一佳(音) , 罗德尼·G·唐尼 , Jörg Flum公司 :
逻辑和计算复杂性(NII Shonan会议2017-13)。 NII Shonan会议。 代表。 2017 ( 2017 ) 2016 [公元27年] 陈一佳(音) , 林炳凯 :
参数化支配集问题的常数不逼近性。 光纤通信系统 2016 : 505-514 [c26] 陈一佳(音) , Jörg Flum公司 :
参数化AC^0中的一些下限。 MFCS公司 2016 : 27:1-27:14 [i11] 陈一佳(音) , Jörg Flum公司 :
参数化AC中的一些下界 0 . CoRR公司 abs/1606.08014 ( 2016 ) 2015 [公元25年] 陈一佳(音) , Jörg Flum公司 :
Ehrenfeucht-Fraïssé方法和Planted Clique猜想。 逻辑与计算领域II 2015 : 87-108 [i10] 陈一佳(音) , 林炳凯 :
参数化支配集问题的常数不逼近性。 CoRR公司 abs/1511.00075 ( 2015 ) 2014 [公元14年] 陈一佳(音) , Jörg Flum公司 :
关于最优逆变器。 牛市。 符号。 日志。 20 ( 1 ) : 1-23 ( 2014 ) [j13] 陈一佳(音) , Jörg Flum公司 , 莫里茨·米勒 :
算法和证明系统的硬实例。 ACM事务处理。 计算。 理论 6 ( 2 ) : 7:1-7:25 ( 2014 ) [公元24年] 陈一佳(音) , 莫里茨·米勒 :
有界变量逻辑、参数化对数空间和萨维奇定理。 MFCS(1) 2014 : 183-195 2013 [公元12年] 陈一佳(音) , Jörg Flum公司 , 莫里茨·米勒 :
一致性、最佳性和不完整性。 Ann.纯粹应用。 日志。 164 ( 12 ) : 1224-1235 ( 2013 ) [第九章] 陈一佳(音) , Jörg Flum公司 :
论Ehrenfeucht-Fraisse方法在描述复杂性中的局限性。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) 2012 [公元11年] 陈一佳(音) , Jörg Flum公司 :
通过列表和暂停问题,从几乎最优算法到复杂类的逻辑。 美国临床医学杂志 59 ( 4 ) : 17:1-17:34 ( 2012 ) 【c23】 陈一佳(音) , Jörg Flum公司 :
参数化停机问题。 多元算法革命及其后 2012 : 364-397 [公元22年] 陈一佳(音) , Jörg Flum公司 , 莫里茨·米勒 :
算法和证明系统的硬实例。 CiE公司 2012 : 118-128 【c21】 林炳凯 , 陈一佳(音) :
k-边诱导子图的参数化复杂性。 ICALP(一) 2012 : 641-652 [公元20年] 陈一佳(音) , 科德·艾克迈耶 , Jörg Flum公司 :
指数时间假设和参数化的Clique问题。 IPEC公司 2012 : 13-24 [第19条] 陈一佳(音) , Jörg Flum公司 :
关于有序猜想。 低收入国家 2012 : 225至234 2011 [公元10年] 萨姆·巴斯 , 陈一佳(音) , Jörg Flum公司 , 西德维德·弗里德曼 , 莫里茨·米勒 :
复杂性理论中的强同构约简。 J.塞姆。 日志。 76 ( 4 ) : 1381-1402 ( 2011 ) [公元9年] 陈一佳(音) , Jörg Flum公司 , 莫里茨·米勒 :
内核化和其他预处理过程的下限。 理论计算。 系统。 48 ( 4 ) : 803-839 ( 2011 ) [第18条] 陈一佳(音) , Jörg Flum公司 , 莫里茨·米勒 :
一致性和最佳性。 CiE公司 2011 : 61-70 [第17条] 陈一佳(音) , Jörg Flum公司 :
列表和逻辑。 低收入国家 2011 : 165-174 [i8] 林炳凯 , 陈一佳(音) :
k边诱导子图的参数化复杂性。 CoRR公司 腹肌/1105.0477 ( 2011 ) [i7] 陈一佳(音) , Jörg Flum公司 :
列表和逻辑。 电子。 计算机学术讨论会。 复杂。 11号机房 ( 2011 ) [i6] 陈一佳(音) , Jörg Flum公司 , 莫里茨·米勒 :
算法和证明系统的硬实例。 电子。 计算机学术讨论会。 复杂。 11号机房 ( 2011 ) 2010 [j8] 陈一佳(音) , Jörg Flum公司 :
关于哥德尔证明谓词的复杂性。 J.塞姆。 日志。 75 ( 1 ) : 239-254 ( 2010 ) [第16条] 陈一佳(音) , Jörg Flum公司 :
PTIME逻辑和参数化暂停问题。 逻辑与计算领域 2010 : 251-276 [第15条] 陈一佳(音) , Jörg Flum公司 :
TAUT的切片单调参数化问题和最优证明系统。 CSL公司 2010 : 200-214 [第14条] 陈一佳(音) , Jörg Flum公司 :
打开 第页 -PTIME的最佳证明系统和逻辑。 ICALP(二) 2010 : 321-332 [i5] 陈一佳(音) , Jörg Flum公司 :
关于PTIME的最优证明系统和逻辑。 电子。 计算机学术讨论会。 复杂。 10号机房 ( 2010 )
2000 – 2009
2009 [j7] 陈一佳(音) , Jörg Flum公司 :
亚指数时间和固定参数可牵引性:利用微型化映射。 J.日志。 计算。 19 ( 1 ) : 89-122 ( 2009 ) [第13条] 陈一佳(音) , Jörg Flum公司 , 莫里茨·米勒 :
内核化和其他预处理过程的下限。 CiE公司 2009 : 118-128 [c12] 陈一佳(音) , Jörg Flum公司 :
PTIME逻辑和参数化暂停问题。 低收入国家 2009 : 397-406 2008 [j6] 陈一佳(音) , Jörg Flum公司 :
极大性和极小性问题的参数化复杂性。 Ann.纯粹应用。 日志。 151 ( 1 ) : 22-61 ( 2008 ) [第11条] 陈一佳(音) , 马克·瑟利 , 马克·韦耶 :
理解诱导子图同构的复杂性。 ICALP(一) 2008 : 587-596 [i4] 陈一佳(音) , Jörg Flum公司 :
PTIME逻辑和参数化暂停问题。 电子。 计算机学术讨论会。 复杂。 08土耳其里拉 ( 2008 ) 2007 [j5] 陈一佳(音) , Jörg Flum公司 , 马丁·格罗 :
W的分析 * -层次结构。 J.塞姆。 日志。 72 ( 2 ) : 513-534 ( 2007 ) 【j4】 陈一佳(音) , 马丁·格罗 :
次指数复杂性理论和参数化复杂性理论之间的同构。 SIAM J.计算。 37 ( 4 ) : 1228-1258 ( 2007 ) [第10条] 陈一佳(音) , Jörg Flum公司 :
关于参数化路径和无弦路径问题。 CCC公司 2007 : 250-263 【c9】 陈一佳(音) , Jörg Flum公司 :
亚指数时间和固定参数牵引性:利用微型化映射。 CSL公司 2007 : 389-404 [i3] 陈一佳(音) , Jörg Flum公司 , 莫里茨·米勒 :
内核化的下限。 电子。 计算机学术讨论会。 复杂。 TR07号机组 ( 2007 ) [i2] 陈一佳(音) , 马丁·格罗 , Magdalena Grüber公司 :
关于参数化近似性。 电子。 计算机学术讨论会。 复杂。 TR07号机组 ( 2007 ) 2006 [j3] 陈一佳(音) , Jörg Flum公司 :
参数化复杂性理论中的小型化问题。 西奥。 计算。 科学。 351 ( 三 ) : 第314页至第336页 ( 2006 ) 【c8】 陈一佳(音) , 马丁·格罗 :
次指数复杂性理论和参数化复杂性理论之间的同构。 CCC公司 2006 : 314-330 【c7】 陈一佳(音) , Jörg Flum公司 :
极大值和极小值问题的参数化复杂性。 IWPEC公司 2006 : 25-37 【c6】 陈一佳(音) , 马丁·格罗 , Magdalena Grüber公司 :
关于参数化近似。 IWPEC公司 2006 : 109-120 [i1] 陈一佳(音) , 马丁·格罗 :
次指数复杂性理论和参数化复杂性理论之间的同构。 电子。 计算机学术讨论会。 复杂。 TR06型 ( 2006 ) 2005 [注2] 陈一佳(音) , Jörg Flum公司 , 马丁·格罗 :
参数化复杂性理论中基于机器的方法。 西奥。 计算。 科学。 339 ( 2-3 ) : 167-199 ( 2005 ) 2004 【b1】 陈一佳(音) :
模型检查问题、机器和参数化复杂性。 弗莱堡大学,弗莱堡im Breisgau,德国, 2004 ,第1-111页 【c5】 陈一佳(音) , Jörg Flum公司 :
参数化复杂性理论中的小型化问题。 IWPEC公司 2004 : 108-120 2003 【c4】 陈一佳(音) , Jörg Flum公司 , 马丁·格罗 :
参数化复杂性理论中的有界不确定性和交替性。 CCC公司 2003 : 13-29 【c3】 陈一佳(音) , Jörg Flum公司 :
W族类的机器表征。 CSL公司 2003 : 114-127 2001 【c2】 陈一佳(音) , 沈恩绍 :
通过分区捕获复杂性。 CSL公司 2001 : 84-98 2000 [j1] 沈恩绍 , 陈一佳(音) :
划分逻辑初等可满足性的向下转移。 数学。 日志。 问:。 46 ( 4 ) : 477-487 ( 2000 )
1990 – 1999
1997 【c1】 孙永强 , Kai Lin(林凯) , 陈一佳(音) :
并行编译器的自动生成——并行Lambda语言的部分求值。 APDC公司 1997 : 390-397