塔夫

广告工具:Fortran算法的TAF转换(TAF)是Fortran-95程序的源到源的广告工具。TAF支持AD的正向和反向模式和自动稀疏检测(ASD)来检测Jacobians的稀疏结构。TAF规范化代码并应用控制流分析。TAF应用程序内数据依赖和过程间数据流分析。给定指定的顶级例程的自变量和因变量,TAF确定所有活动例程和变量,并仅为这些例程和变量生成派生代码。


zbMATH中的参考文献(参考文献80篇文章,1标准件)

显示第1到第20个结果,共80个。
按年份排序(引用)
  1. 熊猫,尼桑;蕨类植物á恩德斯·戈迪诺,M。吉赛尔;哥迪内斯,亨伯托C。;道森,克林特:数据驱动的神经网络非线性同化框架(2021)
  2. 莫汉穆拉利,P。;哈斯科ët、 L。;üller,J.-D.:播种和邻接零晕分区并行科学代码(2020)
  3. 麦迪逊,詹姆斯R。;戈德伯格,丹尼尔N。;Goddard,Benjamin D.:高阶偏微分方程约束导数信息的自动计算(2019)
  4. 拜登,Atıım G公司üş; 珠穆特,巴拉克A。;拉杜尔,亚历克赛·安德烈耶维奇;Siskind,Jeffrey Mark:机器学习中的自动差异化:调查(2018)
  5. 迪尔根,塞汀B。;迪尔根,苏美尔B。;富尔曼,大卫·R。;西格蒙德,奥利;Lazarov,Boyan S.:湍流拓扑优化(2018)
  6. Hück,亚历山大;比肖夫,基督徒;塞格鲍姆,马克斯;尼可拉斯R.高格。;本杰明·朱尔布鲁克斯;拉鲁,埃里克;Perez,Gilberto:ISSM冰盖模型上算法微分工具的可用性案例研究(2018)
  7. Stück,Arthur:非结构Navier-Stokes方法中Green-Gauss梯度格式的双重一致性研究(2017)
  8. 宁静,保罗;格兰登,S。罗斯;撒沙,阿拉什;Sandu,Adrian:偏微分方程矩阵自由时间积分的分析雅可比向量积(2017)
  9. 廖文元:弹性全波形反演问题的伴随雅可比型迭代法(2015)
  10. 诺曼,Uwe;洛兹,约翰尼斯;莱普克斯,克劳斯;Towara,Markus:数值方法的算法微分:非线性方程参数化系统的切线和伴随解算器(2015)
  11. 雷利,杰克;撒马利亚亚基,撒米撒;黛尔·莫纳什,玛丽亚·劳拉;瓦利德·克里切恩;山羊,保罗;Bayen,Alexandre M.:基于离散标量守恒定律网络的伴随优化及其在协调匝道测量中的应用(2015)
  12. Stück,Arthur:Navier-Stokes方程通量一致性和强壁边界条件的伴随观点(2015)
  13. 亚历山德鲁,Cioaca;Sandu,Adrian:4D Var数据同化中计算观测影响的低秩近似(2014)
  14. 亚历山德鲁,Cioaca;Adrian Sandu:改善4D Var数据同化系统性能的优化框架(2014)
  15. Hogan,Robin J.:C++中使用表达式模板的快速反向模式自动微分(2014)
  16. 洛施,马丁;福斯,安妮卡;勒米厄,让·弗兰çois;Vanselow,Anna:耦合海冰海洋模型的并行无雅可比牛顿-克雷洛夫解算器(2014)
  17. 麦迪森,J。R、 。;法雷尔,P。E、 :瞬态有限元模型的快速发展和邻接(2014)
  18. 亚历山德鲁,Cioaca;三都,阿德里安;de Sturler,Eric:4D Var数据同化中计算观测影响的有效方法(2013)
  19. 方,F。;疼痛,C。C、 。;纳文,我。M、 。;卡库西,D。G、 。;Chen,X.:有效计算灵敏度的独立集摄动法及其在数据同化和有限元浅水模型中的应用(2013)
  20. 格拉顿,谢尔盖;Gü罗尔,塞莱姆;Toint,Philippe L.:二次惩罚非线性最小二乘问题在对偶空间中的预处理和全局化共轭梯度(2013)