×

找到40个文档（结果1-40）

最新的 引文 关联
张磊;Park、Chanwook;卢，叶;李衡阳;萨蒂亚吉特·莫久德;萨哈，苏拉夫;郭嘉晨;李阳凡;特雷弗·阿伯特;格雷戈里·瓦格纳。;唐少强;刘永锦

等几何卷积分层深度学习神经网络：具有通用自适应性的等几何分析。 （英语） Zbl 07788098号

计算。方法应用。机械。工程师。 417，B部分，文章ID 116356，46 p.（2023）.
MSC公司：68倍 65-XX岁
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhang}等人，计算。方法应用。机械。工程417，B部分，文章ID 116356，46 p.（2023；Zbl 07788098）
全文： 内政部
拉马钱德兰，帕布;阿迪蒂亚·博萨莱;库纳尔·普里;巴布亚州内吉;阿布纳夫·穆塔;A.迪内什。;迪利普·梅农;拉胡尔·戈文德;苏拉吉桑卡;阿马尔·塞巴斯蒂安。;阿纳尼奥·森;考希克、罗汉;安舒马·库马尔;维卡斯·库拉帕蒂;姆里纳尔古达·帕蒂尔;塔夫克，深;潘迪，潘卡杰;Chandrashekhar Kaushik;达特，阿尔科帕尔;阿比特·阿加瓦尔

PySPH：基于Python的平滑粒子流体动力学框架。 （英语） Zbl 1486.65215号

ACM事务处理。数学。柔和。 47，第4条，第34条，第38页（2021年）.
MSC公司：65亿75 65日元 76-04
PDF格式BibTeX公司 XML格式引用
\textit{P.Ramachandran}等人，ACM Trans。数学。柔和。47，第4号，第34条，第38页（2021年；Zbl 1486.65215）
全文： 内政部 arXiv公司
武藤浩史;大田武史;Katsuhisa小崎;武士太郎

大规模电子态计算中广义实对称特征值问题的一种后验方法。 （英语） Zbl 1439.65046号

J.计算。申请。数学。 376，文章ID 112830，13 p.（2020）.
审核人：乔治·赫伯梅尔（柏林）
MSC公司：2015财年65 65G20个 65Z05个 60年第68季度 68号30 35J10型 74平方米
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoshi}等人，《计算杂志》。申请。数学。376，文章ID 112830，13 p.（2020；Zbl 1439.65046）
全文： 内政部 arXiv公司
阿尔门德罗斯·希门尼斯，Jesús M。;路易斯·伊里巴恩;洛佩斯·费尔南德斯;安格尔莫拉塞古拉

PTL：一种基于逻辑编程的模型转换语言。 （英语） Zbl 1351.68047号

J.日志。阿尔盖布。方法计划。 85，第2期，332-366（2016）.
MSC公司：68甲15 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Almendros-Jiménez}等人，J.Log。阿尔盖布。方法计划。85，第2号，332--366（2016；Zbl 1351.68047）
全文： 内政部
尤里·蒂姆洛夫;瓦斯特，娜塔莉;拉尔夫·盖鲍尔;斯特凡诺·巴罗尼

TurboEELS–一种使用Liouville-Lanczos方法模拟电子能量损失和非弹性X射线散射光谱的代码，该方法基于依赖时间的密度泛函微扰理论。 （英语） Zbl 1360.81022号

计算。物理学。Commun公司。 196, 460-469 (2015).
MSC公司：81-04 81U35型 81-08 2005年5月 65日元10
PDF格式BibTeX公司 XML格式引用
\textit{I.Timrov}等人，《计算》。物理学。Commun公司。196460-469（2015年；Zbl 1360.81022）
全文： 内政部 arXiv公司
葛小川;西蒙·宾尼。;达里奥·罗卡;拉尔夫·盖鲍尔;斯特凡诺·巴罗尼

turboTDDFT 2.0–时间相关密度泛函摄动理论中的混合泛函和新算法。 （英语） Zbl 1351.81009号

计算。物理学。Commun公司。 185，第7期，2080-2089（2014）.
MSC公司：81-04 82-04 82立方厘米 81V55型
PDF格式BibTeX公司 XML格式引用
\textit{X.Ge}等人，计算。物理学。Commun公司。185，第7号，2080--2089（2014；Zbl 1351.81009）
全文： 内政部 arXiv公司
伊桑·K·杰克逊。;沃尔夫拉姆·舒尔特

FORMULA 2.0：一种用于正式规范的语言。 （英语） Zbl 1444.68052号

刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 156-206 (2013).
MSC公司：68号30 68N17号 68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.K.Jackson}和\textit{W.Schulte}，莱克特。注释计算。科学。8050、156--206（2013；Zbl 1444.68052）
全文： 内政部
巴索，L。;A.贝利亚耶夫。;乔杜里，D。;M.赫希。;哈利勒，S。;莫雷蒂，S。;B.奥利里。;多孔，W。;Staub，F。

广义超对称Les Houches的提案符合see-saw模型和PDG编号方案。 （英语） Zbl 1302.81007号

计算。物理学。Commun公司。 184，第3号，698-719（2013）.
MSC公司：81-08 81-04 81V22型 81T60型 81V25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Basso}等人，计算。物理学。Commun公司。184，第3号，698--719（2013；Zbl 1302.81007）
全文： 内政部 arXiv公司
罗纳德·雅格。;马雷克·弗雷马特

标记和模糊集。 （英语） Zbl 1200.68084号

Sgurev，Vassil（编辑）等人，《智能系统：从理论到实践》。论文选自2008年9月6日至8日在保加利亚瓦尔纳举行的第四届IEEE智能系统会议（IS 2008）上的演讲、方法、模型和紧急技术应用。柏林：施普林格出版社（ISBN 978-3-642-13427-2/hbk；978-3-442-13428-9/电子书）。计算智能研究299，1-17（2010）。
MSC公司：68第05页 68米11
PDF格式BibTeX公司 XML格式引用
\textit｛R.R.Yager｝和\textit｛M.Reformat｝，螺柱计算。智力。299、1-17（2010年；Zbl 1200.68084）
全文： 内政部
俄克拉荷马州Chulounbaatar。;A.A.Gusev。;S.I.维尼茨基。;A.G.阿布拉什凯维奇。

ODPEVP：一个计算特征值和特征函数及其关于参数自连接Sturm-Liouville问题参数的一阶导数的程序。 （英语） Zbl 1198.15002号

计算。物理学。Commun公司。 180，第8期，1358-1375（2009）.
MSC公司：15-04
PDF格式BibTeX公司 XML格式引用
\textit{O.Chuluunbaatar}等人，计算。物理学。Commun公司。180，编号8，1358-1375（2009年；兹bl 1198.15002）
全文： 内政部
俄克拉荷马州Chulounbaatar。;A.A.Gusev。;S.I.维尼茨基。;A.G.阿布拉什凯维奇。

KANTBP 2.0：新版本的程序，用于计算耦合通道超球面绝热方法中的能级、反应矩阵和径向波函数。 （英语） Zbl 1197.81008号

计算。物理学。Commun公司。 179，第9期，685-693（2008）.
MSC公司：81-04 81V45型
PDF格式BibTeX公司 XML格式引用
\textit{O.Chuluunbaatar}等人，计算。物理学。Commun公司。179，编号9，685--693（2008；Zbl 1197.81008）
全文： 内政部
福布里格，彼得

使用UML进行面向对象的软件开发。第三次修订和扩展版。（Objektorientierte Softwareentwicklung mit UML） （德语） 兹比尔1131.68032

慕尼黑：Hanser（ISBN 3-446-40572-0/pbk）。265页。(2007).
审核人：雅罗斯拉夫·克拉尔（普拉哈）
MSC公司：68N01型 68-01 68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{P.Forbrig}，Objektorientierte Softwareentwicklung mit UML。第3次修订和扩展版。München:Hanser（2007年；Zbl 1131.68032）
马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔;尤利安·奥贝尔

IF验证环境教程。 （英语） Zbl 1125.68362号

Graf，Susanne（编辑）等人，《模型检查软件》。第11届SPIN国际研讨会，西班牙巴塞罗那，2004年4月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21314-7/pbk）。计算机科学课堂讲稿2989306-307（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Bozga}等人，Lect。注释计算。科学。2989306-307（2004年；兹比尔1125.68362）
全文： 内政部
尤利安奥伯;苏珊娜·格拉芙;伊利亚娜·奥贝尔

通过映射到通信扩展时间自动机来验证UML模型。 （英语） Zbl 1125.68371号

Graf，Susanne（编辑）等人，《模型检查软件》。第11届SPIN国际研讨会，西班牙巴塞罗那，2004年4月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21314-7/pbk）。《计算机科学讲义》2989、127-145（2004）。
MSC公司：68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Ober}等人，Lect。注释计算。科学。2989127--145（2004年；Zbl 1125.68371）
全文： 内政部
R.Baker Kearfott先生;马库斯·尼赫尔;Shin’ichi大志;法比安·里科

用于验证计算的库、工具和交互系统—四个案例研究。 （英语） Zbl 1126.65329号

Alt，René（编辑）等人，《数值软件与结果验证》。国际达格斯图尔研讨会，达格斯图城堡，德国，2003年1月19日至24日。修订论文。柏林：施普林格出版社（ISBN 3-540-2126-4/pbk）。计算机科学课堂讲稿299136-63（2004）。
MSC公司：65日元 65G20个
PDF格式BibTeX公司 XML格式引用
\textit{R.B.Kearfott}等人，Lect。注释计算。科学。299136-63（2004年；Zbl 1126.65329）
全文： 内政部
苏珊娜·格拉芙;伊利亚娜·奥贝尔

UML的实时概要文件以及如何使其适应SDL。 （英语） Zbl 1038.68709号

Reed，Rick（编辑）等人，SDL 2003：系统设计。第11届国际SDL论坛，德国斯图加特，2003年7月1日至4日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40539-9/pbk）。莱克特。注释计算。科学。第2708、55-76页（2003年）。
MSC公司：68单位99 68平方米 68N99型 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{S.Graf}和\textit{I.Ober}，莱克特。注释计算。科学。2708、55--76（2003年；Zbl 1038.68709）
全文： 链接
基思·斯特罗扬（Keith D.Stroyan）。

数学微积分。包括Mathematica笔记本IBM/DOS/Windows 2.0 disk.hbk-ed。hbk编辑。 （英语） Zbl 0836.65001号

马萨诸塞州波士顿：学术出版社。xxv，532页，59.95美元/公顷（1993年）。
审核人：M.Gašpar（伊阿什）
MSC公司：65-01 68瓦30 26-01 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{K.D.Stroyan}，《使用数学的微积分》。包括Mathematica笔记本IBM/DOS/Windows 2.0磁盘。hbk-ed.波士顿，马萨诸塞州：学术出版社（1993；Zbl 0836.65001）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件