文献

J-GLOBAL ID：201702236356471245   整理番号：17A1397582

Coqにおける大きなグラフAPIの形式化【Powered by NICT】

Formalization of a Big Graph API in Coq

著者 (3件)： Philippe Jolan ,  Bousdira Wadoud ,  Loulergue Frederic
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： HPCS  ページ： 893-894  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 現在生きるセンサに囲まれ,情報を連続的に,常に我々の活動の計算機トレースを残す。この巨大なボリュームデータの処理と解析,ビッグデータと呼ばれ,提供する無数の,まだほとんど解明されていない:健康(疫学,ゲノミクス複雑なエネルギーネットワーク,知的都市環境リスクの予測と管理,など。ビッグデータは,ますます,た社会経済と商業レベルで非常に有意な影響。多くの興味あるビッグデータ問題はグラフ/ネットワーク上の問題としてモデル化できる。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： センサ ,  *ネットワーク ,  疫学 ,  都市 ,  計算機械 ,  モデリング
準シソーラス用語： 社会経済 ,  環境リスク ,  エネルギーネットワーク ,  ゲノミクス ,  健康 ,  ビッグデータ , 【Automatic Indexing@JST】

分類 (1件)： データベースシステム  (JD03030U)

タイトルに関連する用語 (3件)： グラフ ,  API ,  形式化