「"北陸先端科学技術大学院大学情報科学研究科"」の検索結果 | NDLサーチ

検索結果 446 件

タイトルでまとめる

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2014

デジタル文書・図像類

宮下, 夏苗, 井口, 寧北陸先端科学技術大学院大学情報科学研究科2015-08-26Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2015-001p.1-47

全国の図書館

一般注記...る。テクニカルメモランダム（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering

デジタル文書・図像類

Defago, Xavier, Potop-Butucaru, Maria Gradinariu, Stephane Messika, Julien Clement, Raipin-Parvedy, Philippe北陸先端科学技術大学院大学情報科学研究科2015-02-20Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2015-003p.1-24

全国の図書館

一般注記...ents. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Generic Proof Scores for Generate & Check Method in CafeOBJ

デジタル文書・図像類

Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2015-02-18Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2015-002p.1-32

全国の図書館

一般注記...mple. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Formal Semantics of Core SQL Language based on the K Framework

デジタル文書・図像類

Sitthisak, Pakakorn北陸先端科学技術大学院大学情報科学研究科2015-02-17Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2015-001p.1-71

全国の図書館

一般注記...tion. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Sufficient completeness of parameterized specifications in CafeOBJ

デジタル文書・図像類

Nakamura, Masaki, Gaina, Daniel, Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2014-12-15Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-005p.1-4

全国の図書館

一般注記...ions. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2013

デジタル文書・図像類

佐藤, 幸紀, 宮下, 夏苗, 尾崎, 泰助北陸先端科学技術大学院大学情報科学研究科2014-07-24Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2014-001p.1-58

全国の図書館

一般注記...る．テクニカルメモランダム（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Tight Bound on Mobile Byzantine Agreement

デジタル文書・図像類

Nguyen, Thanh Dang, Bonnet, Francois, Defago, Xavier, Potop-Butucaru, Maria北陸先端科学技術大学院大学情報科学研究科2014-07-29Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-004p.1-19

全国の図書館

一般注記...blem. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Pushdown Model Generation of Malware

デジタル文書・図像類

Nguyen, Minh Hai, Ogawa, Mizuhito, Quan, Thanh Tho北陸先端科学技術大学院大学情報科学研究科2014-06-24Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-003p.1-18

全国の図書館

一般注記...nces. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Analyzing the Impact of Mitigation Strategies on the Spread of a Virus

デジタル文書・図像類

Nguyen, Thanh Dang, Bonnet, Francois, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2014-05-19Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-002p.1-16

全国の図書館

一般注記...ones. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Model Checking Conformance of Design Model to Its Formal Specification

デジタル文書・図像類

Vu, Dieu-Huong, Chiba, Yuki, Yatake, Kenro, Aoki, Toshiaki北陸先端科学技術大学院大学情報科学研究科2014-04-18Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-001p.1-18

全国の図書館

一般注記...X OS. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Generate & Check Methods for Invariant Verification in CafeOBJ

デジタル文書・図像類

Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2013-11-27Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-006p.1-31

全国の図書館

一般注記...also. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata

デジタル文書・図像類

Ogawa, Mizuhito, Cai, Xiaojuan北陸先端科学技術大学院大学情報科学研究科2013-08-19Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-005p.1-18

全国の図書館

一般注記...nted. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2012

デジタル文書・図像類

佐藤, 幸紀, 尾崎, 泰助北陸先端科学技術大学院大学情報科学研究科2013-07-25Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2013-001p.1-58

全国の図書館

一般注記...る．テクニカルメモランダム（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Nested Timed Automata

デジタル文書・図像類

Li, Guoqiang, Cai, Xiaojuan, Ogawa, Mizuhito, Yuen, Shoji北陸先端科学技術大学院大学情報科学研究科2013-06-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-004p.1-20

全国の図書館

一般注記...upts. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

raSAT: SMT for Polynomial Inequality

デジタル文書・図像類

To, Van Khanh, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2013-05-27Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-003p.1-23

全国の図書館

一般注記...ials. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Using Shallow Semantic Parsing and Relation Extraction for Finding Contradiction in Text

デジタル文書・図像類

Pham, Minh Quang Nhat, Nguyen, Minh Le, Shimazu, Akira北陸先端科学技術大学院大学情報科学研究科2013-01-18Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-002p.1-10

全国の図書館

一般注記...task. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems

デジタル文書・図像類

Pham, Thanh-Trung, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2013-01-25Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-003p.1-12

全国の図書館

一般注記...ions. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability

デジタル文書・図像類

Cai, Xiaojuan, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2013-01-08Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-001p.1-19

全国の図書館

一般注記...abet. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

A Formal Framework for Access Rights Analysis

デジタル文書・図像類

Li, Xin, Hua, Vy Le Thanh北陸先端科学技術大学院大学情報科学研究科2012-09-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2012-001p.1-17

全国の図書館

一般注記...ture. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2011

デジタル文書・図像類

佐藤, 幸紀, 尾崎, 泰助北陸先端科学技術大学院大学情報科学研究科2012-07-03Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2012-001p.1-73

全国の図書館

一般注記...る．テクニカルメモランダム（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.ja...