Proceedings of the 13th IASTED International Conference on Computers and Advanced Technology in Education, CATE 2010 166-171 Dec 2010
Our project team launched a new web service, Researchmap. Researchmap is an information sharing platform for the researchers. By unifying the data of researchers, such as academic literature and conference talks, Researchmap supports researchers t...
Building extensible information portal system for elementary and secondary education
Noriko H. Arai, Ryuji Masukawa
Proceedings of the 8th IASTED International Conference on Web-Based Education 191-196 Mar 2009
A One-Stop System for Informatization Support of Primary and Secondary Schools
Noriko H. Arai, Ryuji Masukawa
Proceedings of the 10th IASTED International Conference on Computers and Advanced Technology in Education 127-131 Oct 2007
How to find symmetries hidden in propositional formulas
Noriko H. Arai, Ryuji Masukawa
in: Symbolic Computation and Automated Reasoning 18-32 2001
Following
