情報学部門

フィルター
会議への寄与

検索結果

  • 1997

    An improved pattern matching algorithm for strings in terms of straight-line programs

    Miyazaki, M., Shinohara, A. & Takeda, M., 1997, Combinatorial Pattern Matching - 8th Annual Symposium, CPM 1997, Proceedings. Apostolico, A., Apostolico, A. & Hein, J. (eds.). Springer Verlag, p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1264).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    Open Access
    55 被引用数 (Scopus)

  • Autonomous Discovery of Reliable Exception Rules

    Suzuki, E., 1997, Proceedings of the Third International Conference on Knowledge Discovery & Data Mining (KDD-97). AAAI Press, p. 259-262 4 p.

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    84 被引用数 (Scopus)

  • Improving linear cryptanalysis of LOKI91 by probabilistic counting method

    Sakurai, K. & Furuya, S., 1997, Fast Software Encryption - 4th International Workshop, FSE 1997, Proceedings. Biham, E. (ed.). Springer Verlag, p. 114-133 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1267).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    Open Access
    5 被引用数 (Scopus)

  • MGTP: A model generation theorem prover-its advanced features and applications

    Hasegawa, R., Fujita, H. & Koshimura, M., 1997, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1997, Proceedings. Galmiche, D. (ed.). Springer Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1227).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    9 被引用数 (Scopus)

  • Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving

    Hasegawa, R., Inoue, K., Ohta, Y. & Koshimura, M., 1997, Automated Deduction – CADE-14 - 14th International Conference on Automated Deduction, Proceedings. McCune, W. (ed.). Springer Verlag, p. 176-190 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1249).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    19 被引用数 (Scopus)

  • On-line versus off-line in money-making strategies with brokerage

    Dannoura, E. & Sakurai, K., 1997, Algorithms and Computation - 8th International Symposium, ISAAC 1997, Proceedings. Leong, H. W., Jain, S. & Imai, H. (eds.). Springer Verlag, p. 173-182 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1350).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • Protection of data and delegated keys in digital distribution

    Mambo, M., Okamoto, E. & Sakurai, K., 1997, Information Security and Privacy -2nd Australasian Conference, ACISP 1997, Proceedings. Pieprzyk, J., Varadharajan, V. & Mu, Y. (eds.). Springer Verlag, p. 271-282 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1270).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • 1996

    A hidden cryptographic assumption in no-transferable indentification schemes

    Sakurai, K., 1996, Advances in Cryptology ─ ASIACRYPT 1996 - International Conference on the Theory and Applications of Cryptology and Information Security, Proceedings. Kim, K. & Matsumoto, T. (eds.). Springer Verlag, p. 159-172 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1163).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • A progress report on subliminal-free channels

    Burmester, M., Desraedt, Y. G., Itoh, T., Sakurai, K., Shizuya, H. & Yung, M., 1996, Information Hiding - 1st International Workshop, Proceedings. Anderson, R. (ed.). Springer Verlag, p. 157-168 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1174).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    13 被引用数 (Scopus)

  • Blind decoding, blind undeniable signatures, and their applications to privacy protection

    Sakurai, K. & Yamane, Y., 1996, Information Hiding - 1st International Workshop, Proceedings. Anderson, R. (ed.). Springer Verlag, p. 257-264 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1174).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    25 被引用数 (Scopus)

  • Cryptographic weaknesses in the round transformation used in a block cipher with provable immunity against linear cryptanalysis

    Sakurai, K. & Zheng, Y., 1996, Algorithms and Computation - 7th International Symposium, ISAAC 1996, Proceedings. Asano, T., Igarashi, Y., Nagamochi, H., Miyano, S. & Suri, S. (eds.). Springer Verlag, p. 376-385 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1178).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • Exceptional Knowledge Discovery in Databases based on Information Theory'

    Suzuki, E. & Shimura, M., 1996, Proceedings of the Second International Conference on Knowledge Discovery & Data Mining (KDD-96). AAAI Press, p. 275-278 4 p.

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    35 被引用数 (Scopus)

  • How to utilize the transformability of digital signatures for solving the oracle problem

    Mambo, M., Sakurai, K. & Okamoto, E., 1996, Advances in Cryptology ─ ASIACRYPT 1996 - International Conference on the Theory and Applications of Cryptology and Information Security, Proceedings. Kim, K. & Matsumoto, T. (eds.). Springer Verlag, p. 322-333 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1163).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    9 被引用数 (Scopus)

  • On the complexity of computational problems associated with simple stochastic games: Extended abstract of COCOON'96

    Yanbe, A. & Sakurai, K., 1996, Computing and Combinatorics - 2nd Annual International Conference, COCOON 1996, Proceedings. Cai, J.-Y., Wong, C. K. & Wong, C. K. (eds.). Springer Verlag, p. 310-322 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1090).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • 1995

    On separating proofs of knowledge from proofs of membership of languages and its application to secure identification schemes

    Sakurai, K., 1995, Computing and Combinatorics - 1st Annual International Conference, COCOON 1995, Proceedings. Du, D.-Z., Li, M. & Du, D.-Z. (eds.). Springer Verlag, p. 496-509 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 959).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    1 被引用数 (Scopus)
  • 1993

    Measurement and source localization of middle latency auditory evoked magnetic fields

    Yoshiura, T., Ueno, S., Iramina, K. & Masuda, K., 1993, Proceedings of the Annual Conference on Engineering in Medicine and Biology. pt 1 ed. Publ by IEEE, p. 432-433 2 p. (Proceedings of the Annual Conference on Engineering in Medicine and Biology; vol. 15, no. pt 1).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • Measurement and source modeling of gustatory evoked electric and magnetic fields

    Yoshiura, T., Ueno, S., Masuda, K. & Iramina, K., 1993, Proceedings of the Annual Conference on Engineering in Medicine and Biology. pt 1 ed. Publ by IEEE, p. 412-413 2 p. (Proceedings of the Annual Conference on Engineering in Medicine and Biology; vol. 15, no. pt 1).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • Spatio-temporal patterns of MEG and EEG activities produced by spreading multiple dipoles

    Iramina, K., Ueno, K. & Ueno, S., 1993, Proceedings of the Annual Conference on Engineering in Medicine and Biology. pt 1 ed. Publ by IEEE, p. 457-458 2 p. (Proceedings of the Annual Conference on Engineering in Medicine and Biology; vol. 15, no. pt 1).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • 1992

    Source analysis of spontaneous MEG activities in human subjects during sleep

    Ueno, S. & Iramina, K., 1992, Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS 1992. Coatrieux, J. L., Plonsey, R., Laxminarayan, S. & Morucci, J. P. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 2655-2656 2 p. 5761496. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS; vol. 6).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • Source estimation of the K-complexes and auditory evoked responses using meg and EEG measurements

    Iramina, K. & Ueno, S., 1992, Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS 1992. Plonsey, R., Laxminarayan, S., Coatrieux, J. L. & Morucci, J. P. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 2184-2185 2 p. 5762228. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS; vol. 5).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • 1990

    Measurements of magnetic fields of K-complexes in sleep MEG activities and the source estimation

    Iramina, K. & Ueno, S., 1990, Biomedical Engineering Perspectives: Health Care Technologies for the 1990's and Beyond. pt 3 ed. Publ by IEEE, p. 1095 1 p. (Proceedings of the Annual Conference on Engineering in Medicine and Biology; no. pt 3).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与