↧
HyperLMNtalによるBigraphのエンコードおよびモデル検査の実現
Title: HyperLMNtalによるBigraphのエンコードおよびモデル検査の実現 Authors: 目黒, 学
View Articleハイブリッド制約言語HydLaの記号実行シミュレータHyroseの実装と最適化
Title: ハイブリッド制約言語HydLaの記号実行シミュレータHyroseの実装と最適化 Authors: 松本, 翔太
View ArticleThesis An Exergame for Encouraging Martial Arts
Title: Thesis An Exergame for Encouraging Martial Arts Authors: Chye, Connsynn
View ArticleA Fashion Recommendation System Based on The Wisdom of Crowds
Title: A Fashion Recommendation System Based on The Wisdom of Crowds Authors: Chen, Han
View Article