在宅患者見守りのための周辺器具からの情報収集システムの構築 (アドホックネットワーク)
スポンサーリンク
概要
- 論文の詳細を見る
- 2012-05-17
著者
-
中村 正樹
金沢大学理工学域電子情報学類
-
浦島 智
富山県立大学
-
中村 正樹
北陸先端科学技術大学院大学情報科学研究科
-
中村 正樹
金沢大学 理工学域 電子情報学類
-
Nakamura Masaki
Kanazawa Univ. Kanazawa‐shi Jpn
-
Nakamura Masaki
School Of Electrical And Computer Engineering Kanazawa University
-
中村 正樹
富山県立大学工学部
関連論文
- 看護師支援のための行動識別による手指衛生必要状況検知システムの開発
- D-9-1 手指衛生必要状況検知システムの開発(D-9. オフィスインフォメーションシステム,一般セッション)
- D-9-2 手指衛生必要判定根拠提示システムの開発(D-9. オフィスインフォメーションシステム,一般セッション)
- ネットワーク認証における打鍵パターンを用いたなりすまし抑止法の提案
- B-2 代数仕様言語CafeOBJにおけるモデル検査(プログラムの理論,B.ソフトウェア)
- AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 電子掲示板からの評判情報抽出におけるP/N判断(情報抽出,特集「Web情報処理」及び一般)
- 電子掲示板からの評判情報抽出におけるP/N判断
- 電子掲示板からの評判情報抽出におけるP/N判断 (テーマ:「Web情報処理」および一般発表)
- OTS/CafeOBJ法に基づく並行システムの実装とテスト生成(コンカレントシステム,離散事象システム及び一般)
- CSTソリューションコンペティション2010--マルチカーエレベータの最適制御 (コンカレント工学)
- RB-003 An algebraic specification of message passing programming languages
- CafeOBJ入門(6) : 通信プロトコルの検証
- CafeOBJ入門(5) : 認証プロトコルの検証
- CafeOBJ入門(4) : 証明譜による検証法(エージェント)
- CafeOBJ入門(3) : 等式推論と項書換システム
- Maude : 書換え論理に基づく計算機言語および処理系(ソフトウェア紹介)
- CafeOBJ入門(2) : 構文と意味
- CafeOBJ入門(1) : 形式手法とCafeOBJ
- LA-008 実行可能な代数仕様の停止性証明について(モデル・アルゴリズム・プログラミング)
- モジュラーな代数仕様言語のための項書き換えシステム(システム検証の科学技術)
- OTS/CafeOBJからOTS/Maudeへの仕様変換の研究
- 項書き換えシステムにおける可簡約演算子とその応用
- 項書き換えシステムにおける可簡約演算子とその応用
- STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
- B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
- B-034 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証(B.ソフトウェア)
- LA-005 項書換えシステムにおける可簡約演算子とその応用(A. モデル・アルゴリズム・プログラミング)
- B-1 代数仕様言語CafeOBJのための拡張可能な前処理系(プログラムの理論,B.ソフトウェア)
- User-defined on-demand matching
- 依存対を用いた文脈依存書換え系の停止性判定について
- 消去法による項書換え系の停止性判定について
- 依存対を用いた文脈依存書換え系の停止性判定について
- 消去法による項書換え系の停止性判定について
- ノートPCを用いたリアルタイム授業支援システム(Web教育用コンテンツ開発技術と応用/一般)
- OTS/CafeOBJ法における証明譜からのテスト生成
- B-20-8 歩行周辺動作による誤差修正を利用した屋内位置推定システム(B-20.ユビキタス・センサネットワーク,一般セッション)
- A Specification Translation from Behavioral Specifications to Rewrite Specifications
- Argument filtering transformation
- 講義前の設定を不要とするWWWフィルタリング法の提案
- マルチキャストを用いた講義用のWWWProxyシステム
- マルチエージェントによるネットワーク機器状態監視システム
- 文脈依存書き換えの拡張
- CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- クラスタリングを用いたログ情報集約システム
- D-6-15 クラスタリングを用いたログ情報集約システムの試作(D-6. コンピュータシステム)
- 無線LANベースでの講義用マルチキャスト Web Proxyシステムの検討( : マルチメディア技術と教育/一般)
- A Behavioral Specification of Imperative Programming Languages
- 看護師支援のための行動識別による手指衛生必要状況検知システムの開発(「安全・安心VR」特集)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method
- Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support
- 在宅患者見守りのための周辺器具からの情報収集システムの構築 (ユビキタス・センサネットワーク)
- 在宅患者見守りのための周辺器具からの情報収集システムの構築 (アドホックネットワーク)
- 在宅患者見守りのための周辺器具からの情報収集システムの構築(行動認識,フレッシュマン・セッション,ユビキタス・センサネットワーク,ユビキタス・システム,アドホックネットワーク)
- B-19-17 臀部・足位置検出機能を持つ立ち上がり動作評価システムの試作(B-19.ユビキタス・センサネットワーク,一般セッション)
- B-19-16 在宅患者見守り支援システムの危険行動識別の基礎的評価(B-19.ユビキタス・センサネットワーク,一般セッション)
- K-042 在宅療養患者危険行動検知システムの開発(作業・理学療法のための福祉情報工学,K分野:教育工学・福祉工学・マルチメディア応用)
- 立ち上がり動作における支持基底面および重心可視化システム (イメージ・メディア・クオリティ)
- 立ち上がり動作における支持基底面および重心可視化システム (マルチメディア･仮想環境基礎)
- 立ち上がり動作における支持基底面および重心可視化システム (福祉情報工学)
- 立ち上がり動作における支持基底面および重心可視化システム (画像工学)
- 看護師向け指さし呼称確認システムの試作 (マルチメディア･仮想環境基礎)
- 看護師向け指さし呼称確認システムの試作 (福祉情報工学)
- 装着型センサを用いた高次脳機能障がい者の運転技能評価システムに関する研究 (福祉情報工学)
- 看護師向け指さし呼称確認システムの試作 (画像工学)
- 看護師向け指さし呼称確認システムの試作 (イメージ・メディア・クオリティ)
- 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- A-12-11 看護師向け指さし呼称検出手法の検討(A-12.システム数理と応用,一般セッション)
- 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 装着型センサを用いた高次脳機能障がい者の運転技能評価システムに関する研究
- D-9-30 車椅子患者の危険行動指導に適した行動検索手法の検討(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- A-19-15 リハビリ治療効果可視化による患者の精神的ケアに関する検討(A-19.福祉情報工学,一般セッション)