教育学部

  • Japan

研究成果

フィルター
Conference contribution
1984

NOTE ON THE SET ABSTRACTION IN LOGIC PROGRAMMING LANGUAGE.

Yokomori, T., 1984 12 1, Unknown Host Publication Title. Ohmsha Ltd, p. 333-340 8 p.

研究成果: Conference contribution

1986

On analogical query processing in logic database

Yokomori, T., 1986 12 1, Twefth Int Conf Very Large Data Bases Proc VLDB 86. Publ by Morgan Kaufmann Publ Inc, p. 376-383 8 p. (Twefth Int Conf Very Large Data Bases Proc VLDB 86).

研究成果: Conference contribution

1989

Learning context-free languages efficiently: A report on recent results in Japan

Yokomori, T., 1989 1 1, Analogical and Inductive Inference - International Workshop, All 1989, Proceedings. Jantke, K. P. (版). Springer Verlag, p. 104-123 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 397 LNAI).

研究成果: Conference contribution

5 引用 (Scopus)
1993

Learning two-tape automata from queries and counterexamples

Yokomori, T., 1993 12 1, Proc 6 Annu ACM Conf Comput Learn Theory. Anon (版). Publ by ACM, p. 228-235 8 p. (Proc 6 Annu ACM Conf Comput Learn Theory).

研究成果: Conference contribution

1 引用 (Scopus)

On learning systolic languages

Yokomori, T., 1993 1 1, Algorithmic Learning Theory - 3rd Workshop, ALT 1992, Proceedings. Furukawa, K., Doshita, S., Jantke, K. P. & Nishida, T. (版). Springer Verlag, p. 41-52 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 743 LNAI).

研究成果: Conference contribution

2 引用 (Scopus)

Text classification and keyword extraction by learning decision trees

Sakakibara, Y., Misue, K. & Koshiba, T., 1993 1 1, Proceedings of the Conference on Artificial Intelligence Applications. Publ by IEEE, 1 p. (Proceedings of the Conference on Artificial Intelligence Applications).

研究成果: Conference contribution

8 引用 (Scopus)
1994

Inductive inference of monogenic pure context-free languages

Tanida, N. & Yokomori, T., 1994 1 1, Algorithmic Learning Theory - 4th International Workshop on Analogical and Inductive Inference, AII 1994 and 5th International Workshop on Algorithmic Learning Theory, ALT 1994, Proceedings. Arikawa, S. & Jantke, K. P. (版). Springer Verlag, p. 560-573 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 872 LNAI).

研究成果: Conference contribution

4 引用 (Scopus)

Learning concatenations of locally testable languages from positive data

Kobayashi, S. & Yokomori, T., 1994 1 1, Algorithmic Learning Theory - 4th International Workshop on Analogical and Inductive Inference, AII 1994 and 5th International Workshop on Algorithmic Learning Theory, ALT 1994, Proceedings. Arikawa, S. & Jantke, K. P. (版). Springer Verlag, p. 407-422 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 872 LNAI).

研究成果: Conference contribution

6 引用 (Scopus)
1995

Learning local languages and its application to protein α-chain identification

Yokomori, T., Ishida, N. & Kobayashi, S., 1995 1 1, Proceedings of the Hawaii International Conference on System Sciences. Nunamaker, J. F. & Sprague, R. H. J. (版). Publ by IEEE, p. 113-122 10 p. (Proceedings of the Hawaii International Conference on System Sciences; 巻数 5).

研究成果: Conference contribution

13 引用 (Scopus)
1998

Locality, reversibility, and beyond: Learning languages from positive data

Head, T., Kobayashi, S. & Yokomori, T., 1998 1 1, Algorithmic Learning Theory - 9th International Conference, ALT 1998, Proceedings. Richter, M. M., Wiehagen, R., Smith, C. H. & Zeugmann, T. (版). Springer Verlag, p. 191-204 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 1501).

研究成果: Conference contribution

8 引用 (Scopus)
2000

Pulsar huge array with Nyquist rate digital lens and prism

Daishido, T., Tanaka, N., Takeuchi, H., Akamine, Y., Fujii, F., Kuniyoshi, M., Suemitsu, T., Gotoh, K., Mizuki, S., Mizuno, K., Suziki, T. & Asuma, K., 2000, Proceedings of SPIE - The International Society for Optical Engineering. Society of Photo-Optical Instrumentation Engineers, 巻 4015. p. 73-85 13 p.

研究成果: Conference contribution

16 引用 (Scopus)
2001

Polynomial-time algorithms for the equivalence for one-way quantum finite automata

Koshiba, T., 2001 12 1, Algorithms and Computation - 12th International Symposium, ISAAC 2001, Proceedings. p. 268-278 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 2223 LNCS).

研究成果: Conference contribution

6 引用 (Scopus)
2002

SOMDS: Multidimensional scaling through self organization map

Shiina, K. & Asakawa, S., 2002, ICONIP 2002 - Proceedings of the 9th International Conference on Neural Information Processing: Computational Intelligence for the E-Age. Institute of Electrical and Electronics Engineers Inc., 巻 5. p. 2579-2581 3 p. 1201961

研究成果: Conference contribution

2003

Distance education between immersive indoor and outdoor environments using multimedia satellite network system

Osawa, N., Kondo, K., Asai, K., Mio, T., Noma, Y. & Mio, A., 2003 12 1, Proceedings - 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003. 1 p. 1215194. (Proceedings - 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003).

研究成果: Conference contribution

1 引用 (Scopus)
2004

HTTP-proxy-assisted automatic video indexing for e-learning

Tanaka, Y., Hagino, T., Itamiya, T. & Chiyokura, H., 2004, Proceedings - International Symposium on Applications and the Internet Workshops. p. 502-507 6 p.

研究成果: Conference contribution

1 引用 (Scopus)
2005

Nuclear data for multiple prompt gamma-ray analysis

Toh, Y., Oshima, M., Koizumi, M., Osa, A., Kimura, A., Goto, J. & Ebihara, M., 2005 5 24, International Conference on Nuclear Data for Science and Technology. p. 1666-1669 4 p. (AIP Conference Proceedings; 巻数 769).

研究成果: Conference contribution

2 引用 (Scopus)
2006

Linearizer and doubler: Two mappings to unify molecular computing models based on DNA complementarity

Onodera, K. & Yokomori, T., 2006 7 13, DNA Computing - 11th International Workshop on DNA Computing, DNA11, Revised Selected Papers. p. 224-235 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 3892 LNCS).

研究成果: Conference contribution

2 引用 (Scopus)
2007

Complex vocal behavior and cortical-medullar projection

Okanoya, K., Hihara, S., Tokimoto, N., Tobari, Y. & Iriki, A., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 巻 3609 LNAI. p. 362-367 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 3609 LNAI).

研究成果: Conference contribution

2 引用 (Scopus)

Representations and characterizations of languages in chomsky hierarchy by means of insertion-deletion systems

Pǎun, G., Pérez-Jiménez, M. J. & Yokomori, T., 2007 1 1, Descriptional Complexity of Formal Systems - 9th International Workshop, DCFS 2007. Technical University of Kosice, p. 129-140 12 p. (Descriptional Complexity of Formal Systems - 9th International Workshop, DCFS 2007).

研究成果: Conference contribution

1 引用 (Scopus)
2008

Simple direct reduction of string (1,2)-OT to Rabin's OT without privacy amplification

Kurosawa, K. & Koshiba, T., 2008 10 27, Information Theoretic Security - Third International Conference, ICITS 2008, Proceedings. p. 199-209 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 5155 LNCS).

研究成果: Conference contribution

Toward construction of a corpus of english learners' utterances annotated with speaker proficiency profiles: Data collection and sample annotation

Harada, Y., Maebo, K., Kawamura, M., Suzuki, M., Suzuki, Y., Kusumoto, N. & Maeno, J., 2008 3 14, Large-Scale Knowledge Resources: Construction and Application - Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Proceedings. p. 171-178 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 4938 LNAI).

研究成果: Conference contribution

2009

Diurnal changes in the synthesis of the neurosteroid 7α- hydroxypregnenolone stimulating locomotor activity in newts

Koyama, T., Haraguchi, S., Vaudry, H. & Tsutsui, K., 2009 4, Annals of the New York Academy of Sciences. 巻 1163. p. 444-447 4 p. (Annals of the New York Academy of Sciences; 巻数 1163).

研究成果: Conference contribution

9 引用 (Scopus)

Hormone-mediated reproductive behavior in the red-bellied newt

Kikuyama, S., Hasunuma, I., Toyoda, F., Haraguchi, S. & Tsutsui, K., 2009 4, Annals of the New York Academy of Sciences. 巻 1163. p. 179-186 8 p. (Annals of the New York Academy of Sciences; 巻数 1163).

研究成果: Conference contribution

13 引用 (Scopus)

Identification, biosynthesis, and function of 7α-hydroxypregnenolone, a new key neurosteroid controlling locomotor activity, in nonmammalian vertebrates

Tsutsui, K., Haraguchi, S., Inoue, K., Miyabara, H., Suzuki, S., Ogura, Y., Koyama, T., Matsunaga, M. & Vaudry, H., 2009 4, Annals of the New York Academy of Sciences. 巻 1163. p. 308-315 8 p. (Annals of the New York Academy of Sciences; 巻数 1163).

研究成果: Conference contribution

16 引用 (Scopus)

Neuroendocrine regulation of thyroid-stimulating hormone secretion in amphibians

Okada, R., Kobayashi, T., Yamamoto, K., Nakakura, T., Tanaka, S., Vaudry, H. & Kikuyama, S., 2009 4, Annals of the New York Academy of Sciences. 巻 1163. p. 262-270 9 p. (Annals of the New York Academy of Sciences; 巻数 1163).

研究成果: Conference contribution

24 引用 (Scopus)

Reducing complexity assumptions for oblivious transfer

Cheong, K. Y. & Koshiba, T., 2009 12 1, Advances in Information and Computer Security - 4th International Workshop on Security, IWSEC 2009, Proceedings. p. 110-124 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 5824 LNCS).

研究成果: Conference contribution

Seasonal changes in the synthesis of the neurosteroid 7α- hydroxypregnenolone stimulating locomotor activity in newts

Haraguchi, S., Matsunaga, M., Koyama, T., Rego, J. L. D. & Tsutsui, K., 2009 4, Annals of the New York Academy of Sciences. 巻 1163. p. 410-413 4 p. (Annals of the New York Academy of Sciences; 巻数 1163).

研究成果: Conference contribution

10 引用 (Scopus)

Statistically-hiding quantum bit commitment from approximable-preimage-size quantum one-way function

Koshiba, T. & Odaira, T., 2009 12 1, Theory of Quantum Computation, Communication, and Cryptography - 4th Workshop, TQC 2009, Revised Selected Papers. p. 33-46 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 5906 LNCS).

研究成果: Conference contribution

1 引用 (Scopus)

Steroid biosynthesis within the frog brain: A model of neuroendocrine regulation

Do Rego, J. L., Seong, J. Y., Burel, D., Luu-The, V., Larhammar, D., Tsutsui, K., Pelletier, G., Tonon, M. C. & Vaudry, H., 2009 4, Annals of the New York Academy of Sciences. 巻 1163. p. 83-92 10 p. (Annals of the New York Academy of Sciences; 巻数 1163).

研究成果: Conference contribution

17 引用 (Scopus)

Strengthening the security of distributed oblivious transfer

Cheong, K. Y., Koshiba, T. & Nishiyama, S., 2009 11 9, Information Security and Privacy - 14th Australasian Conference, ACISP 2009, Proceedings. p. 377-388 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 5594 LNCS).

研究成果: Conference contribution

4 引用 (Scopus)
2011

Public discussion must be back and forth in secure message transmission

Koshiba, T. & Sawada, S., 2011 9 20, Information Security and Cryptology, ICISC 2010 - 13th International Conference, Revised Selected Papers. p. 325-337 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 6829 LNCS).

研究成果: Conference contribution

2012

Developing WikiBOK: A Wiki-based BOK formulation-aid system

Masunaga, Y., Chiba, M., Fukuda, N., Ishida, H., Ito, K., Ito, M., Masamura, T., Nagata, H., Shimizu, Y., Shoji, Y., Takahashi, T. & Yabuki, T., 2012 9 6, Recent Progress in Data Engineering and Internet Technology. VOL. 2 版 p. 333-341 9 p. (Lecture Notes in Electrical Engineering; 巻数 157 LNEE, 番号 VOL. 2).

研究成果: Conference contribution

2013

Packed homomorphic encryption based on ideal lattices and its application to biometrics

Yasuda, M., Shimoyama, T., Kogure, J., Yokoyama, K. & Koshiba, T., 2013 12 1, Security Engineering and Intelligence Informatics - CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Proceedings. p. 55-74 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 8128 LNCS).

研究成果: Conference contribution

30 引用 (Scopus)

Secure pattern matching using somewhat homomorphic encryption

Yasuda, M., Shimoyama, T., Kogure, J., Yokoyama, K. & Koshiba, T., 2013 12 9, CCSW 2013 - Proceedings of the 2013 ACM Cloud Computing Security Workshop, Co-located with CCS 2013. p. 65-76 12 p. (Proceedings of the ACM Conference on Computer and Communications Security).

研究成果: Conference contribution

52 引用 (Scopus)
2014

Improving availability and accuracy of multi- GNSS positioning using QZSS

Kitamura, M., Ohta, T. & Amano, Y., 2014, 27th International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS 2014. Institute of Navigation, 巻 3. p. 2341-2345 5 p.

研究成果: Conference contribution

3 引用 (Scopus)

Privacy-preserving wildcards pattern matching using symmetric somewhat homomorphic encryption

Yasuda, M., Shimoyama, T., Kogure, J., Yokoyama, K. & Koshiba, T., 2014 1 1, Information Security and Privacy - 19th Australasian Conference, ACISP 2014, Proceedings. Springer Verlag, p. 338-353 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 8544 LNCS).

研究成果: Conference contribution

15 引用 (Scopus)
2017

Big data cloud deduplication based on verifiable hash convergent group signcryption

Cho, E. M. & Koshiba, T., 2017 6 8, Proceedings - 3rd IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2017. Institute of Electrical and Electronics Engineers Inc., p. 265-270 6 p. 7944949

研究成果: Conference contribution

3 引用 (Scopus)

Efficient protocols for private database queries

Saha, T. K., Mayank & Koshiba, T., 2017 1 1, Data and Applications Security and Privacy XXXI - 31st Annual IFIP WG 11.3 Conference, DBSec 2017, Proceedings. Zhu, S. & Livraga, G. (版). Springer Verlag, p. 337-348 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10359 LNCS).

研究成果: Conference contribution

5 引用 (Scopus)

Private conjunctive query over encrypted data

Saha, T. K. & Koshiba, T., 2017, Progress in Cryptology - AFRICACRYPT 2017 - 9th International Conference on Cryptology in Africa, Proceedings. Springer Verlag, 巻 10239 LNCS. p. 149-164 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10239 LNCS).

研究成果: Conference contribution

4 引用 (Scopus)

Secure SMS transmission based on verifiable hash convergent group signcryption

Cho, E. M. & Koshiba, T., 2017 6 29, Proceedings - 18th IEEE International Conference on Mobile Data Management, MDM 2017. Institute of Electrical and Electronics Engineers Inc., p. 332-335 4 p. 7962472

研究成果: Conference contribution

1 引用 (Scopus)
2018

Achieving almost-full security for lattice-based fully dynamic group signatures with verifier-local revocation

Perera, M. N. S. & Koshiba, T., 2018 1 1, Information Security Practice and Experience - 14th International Conference, ISPEC 2018, Proceedings. Kikuchi, H. & Su, C. (版). Springer-Verlag, p. 229-247 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11125 LNCS).

研究成果: Conference contribution

5 引用 (Scopus)

Achieving full security for lattice-based group signatures with verifier-local revocation

Perera, M. N. S. & Koshiba, T., 2018 1 1, Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings. Blanc, G., Qing, S., Lu, R., Zhang, Z., Meddahi, A., Naccache, D., Xu, S. & Samarati, P. (版). Springer-Verlag, p. 287-302 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11149 LNCS).

研究成果: Conference contribution

Achieving Strong Security and Verifier-Local Revocation for Dynamic Group Signatures from Lattice Assumptions

Perera, M. N. S. & Koshiba, T., 2018 1 1, Security and Trust Management - 14th International Workshop, STM 2018, Proceedings. Alcaraz, C., Katsikas, S. K. & Katsikas, S. K. (版). Springer-Verlag, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11091 LNCS).

研究成果: Conference contribution

3 引用 (Scopus)

Almost-Fully Secured Fully Dynamic Group Signatures with Efficient Verifier-Local Revocation and Time-Bound Keys

Perera, M. N. S. & Koshiba, T., 2018 1 1, Internet and Distributed Computing Systems - 11th International Conference, IDCS 2018, Proceedings. Guerrieri, A., Jung, J. J., Fortino, G., Sun, J. & Xiang, Y. (版). Springer-Verlag, p. 134-147 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11226 LNCS).

研究成果: Conference contribution

2 引用 (Scopus)

Computing with multisets: A survey on reaction automata theory

Yokomori, T. & Okubo, F., 2018 1 1, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Proceedings. Springer-Verlag, p. 421-431 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10936 LNCS).

研究成果: Conference contribution

Perfectly secure message transmission against rational timid adversaries

Fujita, M., Yasunaga, K. & Koshiba, T., 2018 1 1, Decision and Game Theory for Security - 9th International Conference, GameSec 2018, Proceedings. Bushnell, L., Poovendran, R. & Basar, T. (版). Springer-Verlag, p. 127-144 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11199 LNCS).

研究成果: Conference contribution

1 引用 (Scopus)

Polychoric correlations for ordered categories using the EM algorithm

Shiina, K., Ueda, T. & Kubo, S., 2018 1 1, Quantitative Psychology - The 82nd Annual Meeting of the Psychometric Society, Zurich, Switzerland, 2017. Springer New York LLC, 巻 233. p. 247-259 13 p.

研究成果: Conference contribution

1 引用 (Scopus)

Privacy-preserving equality test towards big data

Saha, T. K. & Koshiba, T., 2018 1 1, Foundations and Practice of Security - 10th International Symposium, FPS 2017, Revised Selected Papers. Springer-Verlag, p. 95-110 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10723 LNCS).

研究成果: Conference contribution

2 引用 (Scopus)

Private comparison protocol and its application to range queries

Saha, T. K., Mayank, Deevashwer & Koshiba, T., 2018 1 1, Internet and Distributed Computing Systems - 10th International Conference, IDCS 2017, Proceedings. Springer-Verlag, p. 128-141 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10794 LNCS).

研究成果: Conference contribution

1 引用 (Scopus)

Universal Construction of Cheater-Identifiable Secret Sharing Against Rushing Cheaters Based on Message Authentication

Hayashi, M. & Koshiba, T., 2018 8 15, 2018 IEEE International Symposium on Information Theory, ISIT 2018. Institute of Electrical and Electronics Engineers Inc., 巻 2018-June. p. 2614-2618 5 p. 8437751

研究成果: Conference contribution

1 引用 (Scopus)