丹·马斯登
人员信息
隶属关系: 英国牛津大学计算机科学系
其他同名人员
优化列表
2020年-今天
2023 [第17条] 托马斯·雅克 , 丹·马斯登 , 尼希尔·沙阿 :
逻辑合成方法的分类说明。 许可证 2023 : 1-14 [i10] 托马斯·雅克 , 丹·马斯登 , 尼希尔·沙阿 :
逻辑合成方法的分类说明。 CoRR公司 abs/2304.10196 ( 2023 ) 2022 [j6] Maaike Zwart公司 , 丹·马斯登 :
分配律的No-Go定理。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) [j5] 乔纳森·S·林 , 肖恩·格里森 , 梅塔·威廉姆斯 , Gonzalo J.Linares马塔斯 , 丹尼尔·马斯登 , 沃伦·琼斯 :
基于无人机的遥感,用于管理育空-库斯科维姆三角洲阿拉斯加土著遗产景观。 远程。 传感器。 14 ( 三 ) : 728 ( 2022 ) [第16条] 萨姆森·阿布拉姆斯基 , 丹·马斯登 :
混合逻辑的共鸣语义。 MFCS公司 2022 : 7:1-7:14 [第九章] 托马斯·雅克 , 丹·马斯登 , 尼希尔·沙阿 :
对Courcelle和Feferman-Vaught-Mostowski定理的博弈论共同解释。 CoRR公司 abs/2205.05387 ( 2022 ) 2021 [第15条] 萨姆森·阿布拉姆斯基 , 丹·马斯登 :
保护碎片的共鸣语义。 许可证 2021 : 1月13日 [i8] 萨姆森·阿布拉姆斯基 , 丹·马斯登 :
混合逻辑和有界片段的共鸣语义。 CoRR公司 abs/2110.09844 ( 2021 ) 2020 【j4】 玛莎·刘易斯 , 丹·马斯登 , 梅赫努什·萨达德 :
NLP、物理学和认知科学交叉点的语义空间。 拍打 7 ( 5 ) : 677-682 ( 2020 ) [i7] Maaike Zwart公司 , 丹·马斯登 :
分配律的No-Go定理。 CoRR公司 abs/2003.12531 ( 2020 ) [i6] 萨姆森·阿布拉姆斯基 , 丹·马斯登 :
保护碎片的共鸣语义。 CoRR公司 abs/2008.11094 ( 2020 )
2010 – 2019
2019 [第14条] Maaike Zwart公司 , 丹·马斯登 :
分配律的No-Go定理。 许可证 2019 : 1月13日 2018 [j3] 迪亚·班科娃 , 鲍勃·科克 , 玛莎·刘易斯 , 丹·马斯登 :
组合分布语义的分级上下义。 J.Lang.模型。 6 ( 2 ) : 225-260 ( 2018 ) [注2] 鲍勃·科克 , 法布里齐奥·吉诺维斯 , 玛莎·刘易斯 , 丹·马斯登 , 亚历克西斯·图米 :
语言学和认知中的广义关系。 西奥。 计算。 科学。 752 : 104-115 ( 2018 ) [第13条] 丹·马斯登 , Maaike Zwart公司 :
资源理论的定量基础。 CSL公司 2018 : 32:1-32:17 [c12] 鲍勃·科克 , 乔瓦尼·德·费利斯 , 丹·马斯登 , 亚历克西斯·图米 :
走向成分分布语篇分析。 盖@QI 2018 : 1-12 [第11条] 鲍勃·科克 , 玛莎·刘易斯 , 丹·马斯登 :
笛卡尔动词和介词的内部连接。 盖@QI 2018 : 75至88 [第10条] 斯特凡诺·戈吉奥索 , 丹·马斯登 , 鲍勃·科克 :
具有局部特征的对称单体结构是一种性质。 QPL公司 2018 : 179-190 [电子1] 玛莎·刘易斯 , 鲍勃·科克 , 朱尔斯·赫奇斯 , 迪米特里·卡茨卡利斯 , 丹·马斯登 :
2018年物理、自然语言处理和社会科学合成方法研讨会论文集, 盖@QI 2018年9月2日至3日,法国尼斯。 EPTCS公司 283, 2018 [目录] [i5] Maaike Zwart公司 , 丹·马斯登 :
不要在家里尝试这一点:分配定律的无条件定理。 CoRR公司 abs/1811.06460 ( 2018 ) 2017 [c9] 丹·马斯登 , 法布里齐奥·吉诺维斯 :
通过广义关系自定义超图类别。 CALCO公司 2017 : 17:1-17:16 【c8】 鲍勃·科克 , 法布里齐奥·吉诺维斯 , 玛莎·刘易斯 , 丹·马斯登 :
语言学和认知中的广义关系。 沃尔利克 2017 : 256-270 【c7】 鲍勃·科克 , 法布里齐奥·吉诺维斯 , 斯特凡诺·戈吉奥索 , 丹·马斯登 , 罗宾·皮埃德鲁 :
量子理论和语言学中构词的独特性。 QPL公司 2017 : 249-257 [i4] 丹尼尔·马斯登 , 法布里齐奥·吉诺维斯 :
通过广义关系自定义超图类别。 CoRR公司 abs/1703.01204 ( 2017 ) [i3] 乔·博尔特 , 鲍勃·科克 , 法布里齐奥·吉诺维斯 , 玛莎·刘易斯 , 丹·马斯登 , 罗宾·皮埃德鲁 :
交互概念空间I:概念的语法构成。 CoRR公司 abs/1703.08314 ( 2017 ) 2016 [j1] 拉尔夫·欣泽 , 丹·马斯登 :
用棒棒糖、叉子、杯子、帽子、蛇和速度计进行等式推理。 J.日志。 代数方法程序。 85 ( 5 ) : 931-951 ( 2016 ) 【c6】 拉尔夫·欣泽 , 丹·马斯登 :
从图片中拖出校样。 一系列可以改变世界的成功案例 2016 : 152-168 【c5】 约瑟夫·博尔特 , 鲍勃·科克 , 法布里齐奥·吉诺维斯 , 玛莎·刘易斯 , 丹尼尔·马斯登 , 罗宾·皮埃德鲁 :
交互概念空间。 QPL的SLPCS 2016 : 11-19 【c4】 丹·马斯登 :
语言范畴模型中的歧义和不完全信息。 QPL公司 2016 : 95-107 [i2] 德西斯拉瓦·班科娃 , 鲍勃·科克 , 玛莎·刘易斯 , 丹尼尔·马斯登 :
组合分布语义的分级蕴涵。 CoRR公司 abs/1601.04908 ( 2016 ) 2015 【b1】 丹尼尔·马斯登 :
量子计算的逻辑方面。 英国牛津大学, 2015 【c3】 丹尼尔·马斯登 :
CPM(Rel)的图论观点。 QPL公司 2015 : 273-284 2014 [i1] 丹·马斯登 :
使用弦图的范畴理论。 CoRR公司 abs/1401.7220 ( 2014 ) 2013 【c2】 丹尼尔·马斯登 :
具有对称性的余代数和量子系统建模。 CALCO公司 2013 : 205-219 【c1】 丹尼尔·马斯登 :
光纤同轴逻辑和量子协议。 QPL公司 2013 : 90-99