大卫·M·威廉姆斯
人员信息
其他同名人员
大卫·布拉德利-威廉姆斯 (又名:大卫·B·布拉德利·威廉姆斯) 戴维·威廉姆斯 — 消歧页 大卫·H·威廉姆斯 大卫·J·威廉姆斯 大卫·P·威廉姆斯 大卫·S·W·威廉姆斯 E.大卫·威廉姆斯 大卫·威廉斯·金 大卫·B·威廉斯-杨 戴维·威廉姆斯 0002 — 荷兰格罗宁根大学 (还有1个)
优化列表
2020年–今天
2024 [i11] 爱德华·米勒 , 大卫·M·威廉姆斯 :
可压缩流动的通用混合方法。 CoRR公司 腹肌/2402.18660 ( 2024 ) [i10] 特伦顿·J·戈贝尔 , 大卫·M·威廉姆斯 :
4-单纯形上优化插值点的显式构造。 CoRR公司 abs/2404.17102 ( 2024 ) 2023 [公元16年] 裘德·安德森 , 大卫·M·威廉姆斯 , 安德鲁·科里根 :
时空有限元方法中的曲面和超曲面网格技术。 计算。 辅助设计。 163 : 103574 ( 2023 ) [第九章] 裘德·安德森 , 大卫·M·威廉姆斯 , 安德鲁·科里根 :
时空有限元方法中的曲面和超曲面网格技术。 CoRR公司 abs/2301.12079 ( 2023 ) [i8] 尼利马·尼甘姆 , 大卫·M·威廉姆斯 :
四维协调有限元函数空间,第1部分:基本原理和Tesseract。 CoRR公司 abs/2308.06243 ( 2023 ) [i7] 大卫·M·威廉姆斯 , 尼利马·尼甘姆 :
四维协调有限元函数空间,第二部分:五面体和四面体棱镜。 CoRR公司 abs/2308.06258 ( 2023 ) [i6] 裘德·安德森 , 大卫·M·威廉姆斯 :
时空超体积网格划分第1部分:点插入、几何谓词和双星翻转。 CoRR公司 abs/2312.17414 ( 2023 ) 2022 [公元15年] 爱德华·米勒 , 席晨 , 大卫·M·威廉姆斯 :
非等温不可压缩流动的通用混合方法。 计算。 数学。 申请。 125 : 150-175 ( 2022 ) [公元14年] 米罗斯拉夫·彼得罗夫 , 托多尔·托多罗夫 , 盖奇·S·沃尔特斯 , 大卫·M·威廉姆斯 , 弗雷迪·威瑟登 :
使用立方金字塔实现四维共形混合网格。 数字。 算法 91 ( 2 ) : 671-709 ( 2022 ) [i5] 大卫·M·威廉姆斯 , 青果红 :
分段H的广义Korn不等式 2 向量场。 CoRR公司 腹肌/2207.00695 ( 2022 ) 2021 [i4] 米罗斯拉夫·彼得罗夫 , 托多尔·托多罗夫 , 盖奇·S·沃尔特斯 , 大卫·M·威廉姆斯 , 弗雷迪·威瑟登 :
使用立方金字塔实现四维共形混合网格。 CoRR公司 abs/2101.05884 ( 2021 ) 2020 [j13] 大卫·M·威廉姆斯 , Cory V.Frontin公司 , 爱德华·米勒 , 大卫·L·达尔莫法尔 :
五角星的一系列对称优化求积规则。 计算。 数学。 申请。 80 ( 5 ) : 1405-1420 ( 2020 ) [公元12年] 席晨 , 大卫·M·威廉姆斯 :
不可压缩Navier-Stokes方程的通用混合方法。 计算。 数学。 申请。 80 ( 6 ) : 1555-1577 ( 2020 ) [公元11年] 大卫·M·威廉姆斯 , 萨拉赫丁·达维什 , 孙礼达 , 大卫·R·迈克尔 :
立法驱动的使用Event-B的礼品援助系统的开发。 形式方面计算。 32 ( 2-3 ) : 251-273 ( 2020 ) [i3] 席晨 , 大卫·M·威廉姆斯 :
不可压缩Navier-Stokes方程的通用混合方法。 CoRR公司 abs/2007.08015 ( 2020 ) [i2] Cory V.Frontin公司 , 盖奇·S·沃尔特斯 , 弗雷迪·威瑟登 , 卡尔·W·李 , 大卫·M·威廉姆斯 , 大卫·L·达尔莫法尔 :
时空有限元方法基础:多面体、插值和积分。 CoRR公司 abs/2012.08701 ( 2020 )
2010 – 2019
2019 [j10] 大卫·M·威廉姆斯 :
可压缩Euler方程的间断Galerkin方法分析:熵和L_2稳定性。 数值数学 141 ( 4 ) : 1079-1120 ( 2019 ) 2018 [公元9年] 大卫·M·威廉姆斯 :
可压缩Navier-Stokes方程的熵稳定、可杂交的间断Galerkin方法。 数学。 计算。 87 ( 309 ) : 95-121 ( 2018 ) 2016 [j8] 安德烈·K·古柏 , 大卫·M·威廉姆斯 , 艾米·德钦·奎因 , 苏希尔·B·塔姆拉卡 , 威廉·波特 , 琼·B·罗斯 :
支离破碎的农业和森林景观中牲畜和白尾鹿之间的病原体传播模型。 环境。 模型。 柔和。 80 : 185-200 ( 2016 ) [j7] 泰国Son Hoang , 史蒂夫·施耐德 , 海伦·特雷哈恩 , 大卫·M·威廉姆斯 :
在Event-B细化中使用线性时序逻辑的基础。 形式方面计算。 28 ( 6 ) : 909-935 ( 2016 ) [j6] 拉尔斯·洛克菲尔 , 大卫·M·威廉姆斯 , 万·J·福克金 :
使用窗口缩放选项扩展的TCP的形式化规范和验证。 科学。 计算。 程序。 118 : 3-23 ( 2016 ) [j5] 埃夫斯塔提奥斯·斯塔哈基迪斯 , 大卫·M·威廉姆斯 , 詹姆斯·希瑟 :
使用CSP构建和验证稳健的混合网络。 柔和。 系统。 模型。 15 ( 4 ) : 1063-1089 ( 2016 ) 【p1】 史蒂夫·施耐德 , 海伦·特雷哈恩 , 大卫·M·威廉姆斯 :
事件B和线性时序逻辑。 从行动系统到分布式系统 2016 : 113-123 2014 【c8】 拉尔斯·洛克菲尔 , 大卫·M·威廉姆斯 , 万·J·福克金 :
用窗口缩放选项扩展的TCP的形式化描述和验证。 飞行管理信息系统 2014 : 63-77 【c7】 史蒂夫·施奈德 , 海伦·特雷哈恩 , 海克·韦尔海姆 , 大卫·M·威廉姆斯 :
在事件B优化中管理LTL属性。 国际单项体育联合会 2014 : 221-237 [i1] 史蒂夫·施耐德 , 海伦·特雷哈恩 , 海克·韦尔海姆 , 大卫·M·威廉姆斯 :
在Event-B优化中管理LTL属性。 CoRR公司 abs/1406.6622 ( 2014 ) 2013 【j4】 埃夫斯塔提奥斯·斯塔哈基迪斯 , 大卫·M·威廉姆斯 , 詹姆斯·希瑟 :
验证CSP中的混合网络。 电子。 Commun公司。 欧洲软件协会。 科学。 Technol公司。 66 ( 2013 ) 【c6】 菲利普·詹姆斯 , 法伦·莫勒 , 黄义恩(Hoang Nga Nguyen) , 马库斯·罗根巴赫 , 史蒂夫·施耐德 , 海伦·特雷哈恩 , 马修·特朗布尔 , 大卫·M·威廉姆斯 :
使用CSP$$||$$||验证方案计划。 SEFM研讨会 2013 : 189-204 2012 【c5】 大卫·M·威廉姆斯 , 乔里·德鲁伊特 , 万·J·福克金 :
ProB中公平性下的模型检查及其在公平交换协议中的应用。 ICTAC公司 2012 : 168-182年 2010 【c4】 大卫·M·威廉姆斯 , 海伦·特雷哈恩 , 安东尼·T·S·何 :
买卖双方水印协议中一次性密钥对的重要性。 保密 2010 : 441-446
2000 – 2009
2008 [j3] 大卫·M·威廉姆斯 , 约翰·阿姆斯特朗 :
宣传、猜测及其结果:1824-1825年的“轮船热”。 Aslib程序。 60 ( 6 ) : 642-660 ( 2008 ) 【c3】 大卫·M·威廉姆斯 , 海伦·特雷哈恩 , 安东尼·T·S·何 , 阿德里安·沃勒 :
两种买卖双方水印协议的形式化分析。 IWDW公司 2008 : 278-292 【c2】 大卫·M·威廉姆斯 , 海伦·特雷哈恩 , 安东尼·T·S·何 , 克里斯·库纳内 :
使用形式分析技术识别对买卖双方水印协议的无绑定攻击。 MM秒(&S) 2008 : 205-214
1990 – 1999
1996 [注2] 大卫·M·威廉姆斯 , 罗伯特·W·苏格兰 , 克里斯托弗·汉弗莱斯 , 达雷尔·西伯特 :
哲学中的困惑:威廉姆斯评论(1992)。 合成。 108 ( 1 ) : 127-136 ( 1996 ) 1993 [j1] M.Tincher先生 , 查尔斯·梅耶 , R.古普塔 , 大卫·M·威廉姆斯 :
MRI中射频体线圈空间不均匀性的多项式建模和减少。 IEEE传输。 医学成像 12 ( 2 ) : 361-365 ( 1993 )
1980 – 1989
1989 【c1】 刘林南(Linnan Liu) , 佩顿·H·布兰德 , 大卫·M·威廉姆斯 , 布莱恩·舒克 , 查尔斯·梅耶 :
稳健的序列边缘检测和链接到医学图像中低对比度病变边界的应用。 CVPR公司 1989 : 582-587