|
早稲田大学
鄭 顕志
准教授
論文分野別
Discovery Saga
共同研究先別論文リスト
科研費採択研究課題リスト
協賛企業
ポータル
ヘルプ
研究室研究テーマ
研究室研究テーマ
産学連携シーズ
産学連携シーズ
論文
選択中:
分野別論文
?
Maybe検索
*スペースを含む検索は引用符( " )で囲んでください。
刊行年+年度で期間、ソート検索(例「刊行年2020」「刊行年-2020」等。詳細は上のヘルプ
参照)
Reset
研究分野大分類
センサーネットワーク
ワイヤレスセンサネットワーク
モバイル
自己適応システム
関連・応用研究フロンティア
研究室紹介
研究テーマ
研究分野小分類
センサーネットワーク
└ Earned Value Management
└ Project Management
└ Benchmark dataset
└ Data quality
└ Fault tolerance
└ Sensor data
└ wireless sensor networks (WSNs)
└ Sensors
└ Data models
└ Hidden Markov models
└ Fault diagnosis
└ Fault detection
└ Temperature sensors
└ Humidity
└ Temperature measurement
└ Model learning
└ Statistical pattern recognition
└ Calibration
└ Batteries
└ Data & system faults
└ Hybrid fault detection
└ autonomic
└ task allocation
└ Sensor Network
└ Tracking
└ Sensor Selection
└ Capacitive sensors
└ Intelligent sensors
└ RFID tags
└ Energy consumption
└ attention
ワイヤレスセンサネットワーク
└ Domain-specific languages (DSLs)
└ model-driven development (MDD)
└ software development process
└ Model-Driven Architecture
└ Portability
└ Software Development Framework
└ modeling language
└ prototyping
└ Design pattern
└ Middleware
└ nonfunctional requirements
モバイル
└ LTL invariants
└ Reinforcement learning
└ Reward shaping
└ Runtime monitoring
└ Learning
└ Framework
└ Ambient Intelligence
└ Multi-Agent Systems
└ Programming Languages
└ Mobile Ad hoc Network
└ Mobility Model
└ Mobile Host Data
└ Retrieval
└ Ad hoc networks
└ Routing protocols
└ Collaboration
└ Resource management
└ Computational intelligence
└ Automatic control
└ Informatics
└ Mobile agent
└ Information retrieval
└ Costs
└ Network servers
└ Electronic mail
└ Timing
└ Location-specific data retrieval
└ Safety
└ Machine learning
自己適応システム
└ Adaptive methods for CPS
└ Exemplars of CPS
└ Theoretical foundations of CPS
└ Gradient descent
└ self-adaptation
└ Context
└ Goal-driven self-adaptive systems
└ Quality Constraint
└ Online sensor data
└ Seal-healing framework
└ Smart environments
└ Topology
└ Decentralised fault tolerance
└ Online sensory data fault handling
└ Accuracy
└ case study
└ Self-adaptive system
└ Space reduction
└ Production
└ control theory
└ Data analysis
└ Human-centered design
└ Hydroponics
└ IoT
└ Plant care
└ 2-player game
└ Requirement degradation
└ AND/OR tree
└ Discrete event system
└ Iterative deepening depth first search
└ Space exploration
関連・応用研究フロンティア(43)
└ Cities and towns(1)
└ Cloud computing(2)
└ Europe(1)
└ Sociology(1)
└ Statistics(2)
└ Biological system modeling(1)
└ Cleaning robot(1)
└ Quadrotor(1)
└ Self-adaptiveness(1)
└ coordination protocol composition(2)
└ interaction design(1)
└ service oriented computing(1)
└ development process(5)
└ protocol composition(3)
└ metadata(3)
└ In-network Processing(1)
└ Coordination Protocol(3)
└ Composition(4)
└ GIS-T(1)
└ Probe data processing(1)
└ Traffic information integration(1)
└ Logic(5)
└ neural networks(1)
└ Recommender systems(1)
└ social influence(2)
└ Co-Attention Neural Network(1)
└ Network Embedding(2)
└ Social Recommendation(2)
└ Law(2)
└ Planning(3)
└ Computational modeling(1)
└ Internet of things(3)
└ Model Checking(1)
└ Separation of Concerns(1)
└ artificial intelligence(3)
└ ICT professional education(1)
└ MOOC(1)
└ End-user(2)
└ Non-programmer(2)
└ Standards(1)
└ adaptive systems(10)
└ Cyber Physical Systems(3)
└ Internet(3)
└ learning (artificial intelligence)(1)
└ security of data(1)
└ Controller synthesis(9)
└ dynamic update(3)
└ Discrete controller synthesis(4)
└ Safety property(3)
└ Requirement Engineering(2)
└ Database(3)
└ Declarative(3)
└ Web(8)
研究室紹介
└ 研究環境
研究テーマ
└ 開発事例
全43件
A Development Method for Safety Node-RED Systems using Discrete Controller Synthesis
Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, Kenji Tei
2021年
Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model
Takanori Hirano, Kenji Tei, Kazuya Aizawa, Shinichi Honiden
2021年
Self-adaptive hydroponics care system for human-hydroponics coexistence
Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
2021年
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning
Danny Weyns, Bradley Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei
2021年
An Efficient Adaptive Attention Neural Network for Social Recommendation
Munan Li, Kenji Tei, Yoshiaki Fukazawa
2020年
Efficient difference analysis algorithm for runtime requirement degradation under system functional fault
Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
2020年
Heterogeneous Information Network based Adaptive Social Influence Learning for recommendation and explanation
Munan Li, Kenji Tei, Yoshiaki Fukazawa
2020年
Identifying achievable goals for adaptive replanning against runtime environment change
Jialong Li, Kenji Tei, Shinichi Honiden
2020年
Method for Low-Cost Environment Partitioning Modeling in Dynamic Update
Takuto Yamauchi, Kenji Tei, Shinichi Honiden
2020年
Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis
Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2020年
Smart SE: Smart Systems and Services Innovative Professional Education Program
Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
2020年
Towards bridging the gap between control and self-adaptive system properties
Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
2020年
An efficient co-attention neural network for social recommendation
Munan Li, Kenji Tei, Yoshiaki Fukazawa
2019年
Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
Kazuya Aizawa, Kenji Tei, Shinichi Honiden
2019年
Message from the Chairs of SEAMS 2019
Marin Litoiu, Siobhán Clarke, Kenji Tei
2019年
Minimising Makespan of Discrete Controllers: A Qualitative Approach
Ezequiel Castellano, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel, Kenji Tei
2019年
Modelling and Analysing Resilient Cyber-Physical Systems
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang ReisigShow 3 more
2019年
Dynamic Update of Discrete Event Controllers
Leandro Nahabedian, Victor Braberman, Nicolas DIppolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastian Uchitel
2018年
Identifying safety properties guaranteed in changed environment at runtime
Kazuya Aizawa, Kenji Tei, Shinichi Honiden
2018年
A comparative analysis of machine learning algorithms for faults detection in wireless sensor networks
Ehsan Ullah Warriach, Kenji Tei
2017年
Learning environment model at runtime for self-adaptive systems
Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2017年
Soft-Goal Approximation Context Awareness of Goal-Driven Self-Adaptive Systems
Aurelien Vialon, Kenji Tei, Samir Aknine
2017年
Assured and correct dynamic update of controllers
L. Nahabedian, V. Braberman, N. D'Ippolito, Shinichi Honiden, J. Kramer, Kenji Tei, S. Uchitel
2016年
Involving End-Users in Web-Based System Development with INTER-Mediator
Masayuki Nii, Kenji Tei, Fuyuki Ishikawa
2016年
Framework enabling end-users to maintain web applications
Masayuki Nii, Kenji Tei, Fuyuki Ishikawa
2015年
Model-driven-development-based stepwise software development process for wireless sensor networks
Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden
2015年
ClouT : Cloud of things for empowering the citizen clout in smart cities
Kenji Tei, Levent Gurgen
2014年
HoppingDuster: Self-adaptive cleaning robot based on aerial vehicle
Kenji Tei, Shunichiro Suenaga, Shun Lee, Kazuya Aizawa, Ryuichi Takahashi, Yoshiaki Fukazawa
2014年
Toward a portability framework with multi-level models for wireless sensor network software
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2014年
エンドユーザーによる保守作業を可能にする Web アプリケーションフレームワーク
新居 雅行, 鄭 顕志, 石川 冬樹
2014年
Intention-based automated composition approach for coordination protocol
Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa
2013年
Case studies on the development of wireless sensor network applications using multiple abstraction levels
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2012年
S-CLAIM: An agent-based programming language for AmI, a smart-room case study
Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cédric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
2012年
Model driven development for rapid prototyping and optimization of wireless sensor network applications
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2011年
Notification型Webサービス特有のQoSによるサービス選択に向けてのアプローチ
片渕 聡, 鄭 顕志, 高橋 竜一, 石川 冬樹, 深澤 良彰, 本位田 真一
2010年
イベント駆動型Webサービス検索のためのイベントマッチング
片渕 聡, 鄭 顕志, 高橋 竜一, 深澤 良彰, 石川 冬樹, 本位田 真一
2010年
組合せによる条件付き品質を考慮したWebサービス選択の高速化手法
渡辺 敦, 片渕 聡, 高橋 竜一, 鄭 顕志, 石川 冬樹, 深澤 良彰, 本位田 真一
2010年
Webサービス 検索のための操作カテゴリ分類手法の提案
片渕 聡, 鄭 顕志, 高橋 竜一, 石川 冬樹, 深澤 良彰, 本位田 真一
2009年
A flexible protocol composition for multi-party coordination protocols in multi-agent systems
Ryuichi Takahashi, Kenji Tei, Yoshiaki Fukazawa, Fuyuki Ishikawa, Shinichi Honiden
2008年
An Efficient Node Selection Metric for In-network Process Deployment
Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2008年
Coordination protocol composition approach using metadata in multi-agent systems
Ryuichi Takahashi, Kenji Tei, Yoshiaki Fukazawa, Fuyuki Ishikawa, Shinichi Honiden
2008年
A sensor middleware for lightweight relocatable sensing programs
Makoto Ishiguro, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2007年
Real-time POI detection and rating using floating car data
Osamu Masutani, Hirotoshi Iwasaki, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2007年