大卫·斯普伦格
人员信息
优化列表
2020年–今天
2023 [第11条] 马里奥·阿尔瓦雷斯·皮卡略 , 丹·吉卡(Dan R.Ghica) , 大卫·斯普伦格 , 法比奥·扎纳西 :
用于反转模式自动区分的功能字符串图。 CSL公司 2023 : 6:1-6:20 2022 [第10条] 马里奥·阿尔瓦雷斯·皮卡略 , 丹·吉卡(Dan R.Ghica) , 大卫·斯普伦格 , 法比奥·扎纳西 :
单体闭范畴的重写。 金融稳定与发展部 2022 : 29:1-29:20 [i9] 丹·吉卡(Dan R.Ghica) , 柯一鸣 , 大卫·斯普伦格 :
数字电路的完全抽象。 CoRR公司 abs/2201.10456 ( 2022 ) 2021 [注2] 大卫·斯普伦格 , Shin-ya胜本 , 杰瑞米·杜布特 , 哈朔一郎 :
纤维相互模拟和定量推理:扩展版。 J.日志。 计算。 31 ( 6 ) : 1526-1559 ( 2021 ) [i8] 马里奥·阿尔瓦雷斯·皮卡略 , 丹·吉卡(Dan R.Ghica) , 大卫·斯普伦格 , 法比奥·扎纳西 :
用于反转模式自动区分的功能字符串图。 CoRR公司 abs/2107.13433 ( 2021 ) 2020 【c9】 尤拉杰·科拉克 , 杰雷米·杜布特 , 哈朔一郎 , Shin-ya胜本 , 大卫·斯普伦格 , 山田秋久 :
关系微分动态逻辑。 TACAS(1) 2020 : 191-208 [i7] 大卫·斯普伦格 :
重新参数化梯度下降。 CoRR公司 abs/2010.04786 ( 2020 )
2010 – 2019
2019 【c8】 尤拉杰·科拉克 , 哈朔一郎 , 杰雷米·杜布特 , Shin-ya胜本 , 大卫·斯普伦格 , 山田秋久 :
关系微分动态逻辑:海报摘要。 高速列车控制中心 2019 : 284-285 【c7】 大卫·斯普伦格 , Shin-ya胜本 :
通过延迟跟踪的可微因果计算。 低收入国家 2019 : 1月12日 【c6】 雅各布施 , 大卫·斯普伦格 :
通过正向状态变换和反向损失变换的神经网络。 MFPS公司 2019 : 161-177年 [i6] 尤拉杰·科拉克 , 哈朔一郎 , 杰雷米·杜布特 , Shin-ya胜本 , 大卫·斯普伦格 , 山田秋久 :
关系微分动态逻辑。 CoRR公司 abs/1903.00153 ( 2019 ) [i5] 大卫·斯普伦格 , Shin-ya胜本 :
通过延迟追踪的可微分因果计算。 CoRR公司 abs/1903.01093 ( 2019 ) [i4] 大卫·斯普伦格 , 雅各布施 :
因果函数的微分学。 CoRR公司 abs/1904.10611 ( 2019 ) 2018 [j1] 大卫·斯普伦格 :
有限集函子余代数中行为等价的完整逻辑。 J.日志。 代数方法课程。 94 : 184-199 ( 2018 ) 【c5】 大卫·斯普伦格 , Shin-ya胜本 , 杰雷米·杜布特 , 哈朔一郎 :
纤维双向模拟和定量推理。 CMCS公司 2018 : 190-213 [i3] 雅各布施 , 大卫·斯普伦格 :
通过前向状态变换和后向损失变换的神经网络。 CoRR公司 abs/1803.09356 ( 2018 ) [i2] 杰雷米·杜布特 , 哈朔一郎 , Shin-ya胜本 , 大卫·斯普伦格 :
使用共反射和开放态射的定量共刺激。 CoRR公司 abs/1809.09278 ( 2018 ) 2017 【c4】 大卫·斯普伦格 , 劳伦斯·莫斯 :
行为等效逻辑的先同余和参数化共扼。 CALCO公司 2017 : 23:1-23:15 2016 【c3】 大卫·斯普伦格 :
金融集函数的余代数中行为等价的完备逻辑。 CMCS公司 2016 : 156-173 2014 【c2】 大卫·斯普伦格 , 威廉·特恩 , 约尔格·恩德鲁利斯 , 劳伦斯·莫斯 :
形态序列的特征值和转导。 语言理论的发展 2014 : 239-251 [i1] 大卫·斯普伦格 , 威廉·特恩 , 约尔格·恩德鲁利斯 , 劳伦斯·莫斯 :
形态序列的特征值和转导:扩展版。 CoRR公司 abs/1406.1754 ( 2014 ) 2013 【c1】 大卫·斯普伦格 :
自动阵列和编织规范的线性化。 MFPS公司 2013 : 349-365