• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.
Advanced
search
ALL

Synonyms(0)

Find out more technical terms

Thesaurus Map Clips

ー



Please login to MyJ-GLOBAL to use J- GLOBAL.
Please register to create your MyJ-GLOBAL account, if you do not have one.
What is MyJ-GLOBAL?
Login Register now
Number of clips is over the max size. (Max number of Clips: 600)
Close
Reset
Go to 「How to search」 page
Advanced search: Search from
　
　Select basic information for advanced search
Free word
～
Chemical structure search
How to Search
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
Import

MOLfile format is only available (V3000 format is not available)

              
Details
Related links
Search

Co-authoring Researcher

  • Kato Toru
    Kindai University Faculty of Informatics
    形式モデル, 物流システム, プロセス代数, プログラミング言語意味論, Semantics for Programming Languages

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr
J-GLOBAL ID：201401008954779016 Update date: Sep. 14, 2024

Higuchi Masahiro

ヒグチ マサヒロ | Higuchi Masahiro
Clips

MISC (81)

  • CTL Model Checking for Hybrid Timed Ambient Calculus. 2017. 10. 5. 2-2
  • The Dynamic Routing Function for the Freight Management System with the Multiple Ambient Calculus. 2016. 9. 4. 29-29
  • Fujisaka Yoshihide, Higuchi Masahiro. A-005 Hybrid Timed Ambient Calculus : Comparison with Timed Mobile Ambient. 2015. 14. 1. 105-106
  • Miyai Atom, Kato Toru, Higuchi Masahiro. D-3-7 Experiment on the Freight Management System with the Multiple Ambient Calculus. Proceedings of the IEICE General Conference. 2015. 2015. 1. 28-28
  • Nakagoshi Daiki, Higuchi Masahiro. D-3-6 On Freight Specification by Timed Ambient Calculus. Proceedings of the IEICE General Conference. 2015. 2015. 1. 27-27
  • IDE for the Ambient Calculus. 2014. 7. 4. 40-40
  • Nakagoshi Daiki, Higuchi Masahiro. D-3-1 Developing a Timed Ambient Calculus Interpreter. Proceedings of the IEICE General Conference. 2014. 2014. 1. 16-16
  • A Handling Management System for Freight with the Multiple Ambient Calculus and UHF RFID Tags. 2013. 6. 2. 1-12
  • Masahiro Higuchi. The Timed Ambient Calculus. 2013. 6. 2
  • 橋本隆弘, 加藤暢, 樋口昌宏. 多重Ambient Calculusを用いた物流監視システムの構築に関する研究. 全国大会講演論文集. 2012. 2012. 1. 473-475
  • Kamada Takayuki, Higuchi Masahiro. B-002 Automatic generation of high coverage unit test for Web-applications. 2011. 10. 1. 245-246
  • 森田哲平, 加藤暢, 樋口昌宏. Ambient Logic モデル検査におけるプロセス式のグループ化による検証の効率化. 第73回全国大会講演論文集. 2011. 2011. 1. 377-378
  • Michibata Shinnosuke, Moriya Sen, Higuchi Masahiro. 3P-9 Evalution of Object Distribution Method using Low Traffic Quorum System for Mobile Ad Hoc Network. 2010. 72. 1. "1-491"-"1-492"
  • A Management System for Freight Systems with Dynamic Routing based on the Ambient Calculus. 2010. 2010. 35. 1-6
  • Toshinobu Tsujimura, Masahiro Higuchi, Toru Kato. A Management System for Freight Systems with Dynamic Routing based on the Ambient Calculus. IPSJ SIG Notes. 2010. 2010. 35. 1-6
  • An Ambient Logic Model Checking System for Freight Systems. 2010. 3. 1. 73-86
  • Toru Kato, Masahiro Higuchi, Naoto Ueda. An Ambient Logic Model Checking System For Freight Systems. IPSJ SIG Notes. 2009. 2009. 29. 1-6
  • An Ambient Logic Model Checking System for Freight Systems. 2009. 2. 3. 59-59
  • Naoto Ueda, Toru Kato, Masahiro Higuchi. An Ambient Logic Model Checking System for Freight Systems. 2009. 2. 3
  • 石田 隼人, 樋口 昌宏. 6V-2 協調作業支援のためのJavaSpacesアクセスエージェントの開発(分散システム・運用管理,学生セッション,ネットワーク). 全国大会講演論文集. 2009. 71. 3. "3-263"-"3-264"

1 to 20 of 81 results
Return to Previous Page

TOP

BOTTOM