Wikipedia preview
出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2015/09/19 08:01:10」(JST)
wiki ja
UpToDate Contents
全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.
- 1. 米国における労働衛生および環境衛生に関する問題についての情報および教材 information and educational resources for occupational and environmental health issues in the united states
- 2. 遺伝カウンセリングおよび遺伝子検査 genetic counseling and testing
- 3. 患者向け健康情報リソースガイド guide to health information resources for patients
- 4. 糖尿病を有する小児の自己マネージメントに関する教育 self management education for the child with diabetes mellitus
- 5. 女性の生殖に対する職業および環境リスク occupational and environmental risks to reproduction in females
Japanese Journal
- 確率線形ハイブリッドオートマトンの到達可能性検証
- 畠中 克也,山根 智
- 情報処理学会論文誌 53(12), 2671-2681, 2012-12-15
- リアルタイムシステムに対するモデル検査の需要は増加しており,時間オートマトンで記述したモデルを検証可能なUPPAALに代表される検証器の開発がさかんに行われている.本研究では,コスト付き確率時間オートマトンのモデル検査のprocedureを拡張し,確率線形ハイブリッドオートマトンに対する検証を可能にする.さらに,モデルに対する検証を自動化するため,拡張したprocedureを計算機上に実装する.ケ …
- NAID 110009493416
- 組込みソフトウェアの動的振舞いによるシステム性能の評価手法
- 坂本 佳史,小野 康一,中田 武男,安浦 寛人
- 情報処理学会論文誌 53(12), 2650-2659, 2012-12-15
- 本稿では,リバースモデリング手法とモデル・シミュレーションを組み合わせることで,ソフトウェアの動的な振舞いに基づいて組込みシステムの性能を評価する手法を提案する.組込みシステムに搭載するソフトウェアはシステム全体の性能に大きな影響を及ぼす.そのためソフトウェア開発の上流工程であるアーキテクチャ設計において,組込みシステムの性能を評価することは重要である.しかしソフトウェア設計が詳細化されていない上 …
- NAID 110009493413
Related Links
- 情報科学科は理学部に属しています。大学院は情報理工学系研究科のコンピュータ科学専攻となります。 新着情報 副島真さん(修士2年),今西健介さん(学部4年),村井翔悟さん(学部3年)がACM ICPC世界大会において3位で金メダルを受賞
- 法政大学 情報科学部は、情報科学に関する最先端の専門的知識・技術の修得だけでなく、次から次へ新しい概念と技術を創造し、世界を舞台に情報化社会をリードしてゆく技術者・研究者を最新の教育環境のもとで育成していきます。
Related Pictures
★リンクテーブル★
| リンク元 | 「informatics」「情報学」「インフォマティクス」「information science」 |
| 拡張検索 | 「生命情報科学」 |
| 関連記事 | 「情報」「科学」 |
「informatics」
「情報学」
「インフォマティクス」
- 英
- informatics
- 関
- 情報学、情報科学
「information science」
「生命情報科学」
「情報」
- 英
- information、informational
- 関
- 案内、通知