「Verification」のOpenURLのAPI検索結果 | NDLサーチ

検索結果 36,448 件

タイトルでまとめる

知識グラフを活用したルールベースによるFact Verification (第14回対話システムシンポジウム)

紙記事

籾井裕貴, 滝口哲也, 有木康雄<Z14-1948>言語・音声理解と対話処理研究会 / 人工知能学会 [編]99:2023.12.13・14p.51-55

国立国会図書館全国の図書館

並列タイトル等（連結）Rule-based Fact Verification Utilizing Knowledge Graphs
並列タイトル等Rule-based Fact Verification Utilizing Knowledge Graphs

BCAV(Behavioral Competency Assessment and Verification)への取り組み (特集マリンエンジニアリング分野の人材育成の取り組み)

紙記事

勝井総一<Z16-747>Marine engineering : journal of the Japan Institute of Marine Engineering = マリンエンジニアリング :日本マリンエンジニアリング学会誌58(6)=562:2023.11p.2,775-780

国立国会図書館全国の図書館

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)

紙図書

Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>

国立国会図書館

内容細目Verification by Finite-Dime......inciple of the Verification Fixed-Point Fo......ranov Equation Verification for Bifurcated......rm Programming Verification of the Local U......didate Set and Verification Condition Note......amming Example Verification of the Local U......-Type Method A Verification Algorithm Base......xed-Point Form Verification Condition Loca......f the Solution Verification Algorithm IS-R......ptic Problem A Verification Algorithm Base......nt Formulation Verification Algorithm The ......ction Problems Verification of Two-Dimensi......bolic Operator Verification Results for So......tion to Intlab Verifications for Finite-Dimensional Probl...
件名Differential equations, Partial. Automatic theorem proving. Numerical calculations--Verification.

Verificationを通した計算力学の学び方

記録メディア記事

瀧澤英男<YH247-1279>計算工学講演会論文集 = Proceedings of the Conference on Computational Engineering and Science / 日本計算工学会編20:2015.6p.3p

国立国会図書館全国の図書館

並列タイトル等（連結）Way to Learn Computational Mechanics through Verification Process
並列タイトル等Way to Learn Computational Mechanics through Verification Process

「古典的円周率計算法」の検証 : 『数理精蘊』の円周率

紙記事

岩崎博<Z14-924>計量史研究 = Bulletin of the Society of Historical Metrology, Japan45(1)=54:2023p.34-39

国立国会図書館全国の図書館

並列タイトル等（連結）Verification of the Classical Pi Calculati...
並列タイトル等Verification of the Classical Pi Calculati...

治験薬製造のポイント : Validationか,Verificationか (特集 GMP省令改正を見据えた治験薬GMPの対応)

紙記事

柳澤祐樹, 宮嶋勝春<Z74-C325>Pharm stage / 技術情報協会編19(8)=220:2019.11p.1-10

国立国会図書館全国の図書館

The politics of weapons inspections : assessing WMD monitoring and verification regimes

紙図書

Nathan E. Busch, Joseph F. Pilat.Stanford Security Studies, an imprint of Stanford University Press[2017]<A651-B549>

国立国会図書館

内容細目What are monitoring and verification regimes? South......monitoring and verification regimes.
件名... arms control--Verification. Chemical arms control--Verification. Biological arms control--Verification. Disarmament--On-site inspect...

VERIFICATION 限りなくゼロに近づくための道程 (特集 "なぜ減らないか"を深掘りする STOP!農作業事故)

紙記事

<Z18-533>地上 = Good earth72(12):2018.12p.28-31

国立国会図書館全国の図書館

Large-scale molecular evolutionary analysis of a polynucleotide kinase Clp1 family proteins and experimental verification of a bacterial Clp1 enzyme (SFC-MT ; 2019-4. 優秀修士論文 ; 2019年度)

紙図書

Motofumi Saito 著, 先端生命科学研究会監修Keio SFC Academic Society2020.4<M19-D22>

国立国会図書館

Semantic Refinements for Program Verification

デジタル博士論文障害者向け資料あり

内藏, 理史, クラ, サトシ, KURA, Satoshi2022-03-24

国立国会図書館

並列タイトル等（連結）Semantic Refinements for Program Verification(プログラム検証のための意味論精細化)
並列タイトル等Semantic Refinements for Program Verification(プログラム検証のための意味論精細化)

Verification for the achievements of a Japanese merchant in Istanbul : personal history of Torajiro Yamada (Occasional papers ; 2017 no. 22)

紙図書

Misawa Nobuo [著]Institute of Asian, African, and Middle Eastern Studies, Sophia Universityc2017<G9-B63>

国立国会図書館全国の図書館

GS1レポート GS1グローバルフォーラム2019 : IdentificationからVerificationへ

紙記事

<Z4-364>流通とシステム(176):2019p.64-67

国立国会図書館全国の図書館

Empowering Runtime Verification with Polyhedra

デジタル博士論文障害者向け資料あり

和賀, 正樹, ワガ, マサキ, Masaki, WAGA2020-09-28

国立国会図書館

並列タイトル等（連結）Empowering Runtime Verification with Polyhedra（多面体による実行時検証の発展...
並列タイトル等Empowering Runtime Verification with Polyhedra（多面体による実行時検証の発展...

Estimation of tax and social insurance burden on households : verification of the validity and assessment of actual status (PRI discussion paper series ; 2017A-2)

紙図書

Taro Ohno, Takahiro Kodama [著]Research and Co-ordination Department, Policy Research Institute, Ministry of Finance2017.1<D9-B802>

国立国会図書館

放射線治療における位置照合とセットアップの実際 (放射線医療技術学叢書 ; 33)

紙図書

日本放射線技術学会放射線治療分科会 [編]日本放射線技術学会出版委員会2015.2<SC471-L195>

国立国会図書館

並列タイトル等（連結）Practice of immobilization and verification for external beam radiation t...
並列タイトル等Practice of immobilization and verification for external beam radiation t...

Optical system alignment, tolerancing, and verification XIV : 21 August 2022 : San Diego, California, United States : Aug 2022, San Diego, CA. (SPIE Proceedings ; 12222)

紙図書

SPIE[2022]<M17-23-123>

国立国会図書館

並列タイトル等（連結）...lerancing, and verification 14 : 21 August......lerancing, and verification XIV : at SPIE optical enginee...
並列タイトル等...lerancing, and verification 14 : 21 August......lerancing, and verification XIV : at SPIE optical enginee...

Proceedings of the ASME verification and validation symposium--2020-- : VVS2020 : presented at ASME 2020 verification and validation symposium : May 20-22 2020 : online : May 2020, ------.

紙図書

The American Society of Mechanical Engineers (ASME)[2020]<M17-21-359>

国立国会図書館

並列タイトル等（連結）2020 proceedings of the ASME verification and validation symposium : VV...
並列タイトル等2020 proceedings of the ASME verification and validation symposium : VV...

UL検証(Verification)プログラム : 新規難燃材料への応用可能性

紙記事

藤村直也, 岩沢こころ<Z74-J183>不燃ワールド(5):2018.3p.69-73

国立国会図書館全国の図書館

Verification of the Energy Efficiency Design Index(EEDI)

デジタル記事障害者向け資料あり

Machinery DepartmentNippon Kaiji Kyokai2011-12ClassNK technical bulletin29p.47-52

インターネットで読める国立国会図書館

Fifth workshop on fact extraction and verification : (FEVER 2022) : Dublin, Ireland : 26 May 2022 : May 2022, ------.

紙図書

Association for Computational Linguistics[2022]<M17-23-340>

国立国会図書館

並列タイトル等（連結）5th workshop on fact extraction and verification : (FEVER 2022) : Dublin, Irel...
並列タイトル等5th workshop on fact extraction and verification : (FEVER 2022) : Dublin, Irel...