理学研究科・数学専攻

フィルター
Conference contribution

検索結果

  • Conference contribution

    A cell formation algorithm incorporating multiple practical production factors

    Liu, C. G., Tanaka, K. & Yin, Y., 2008 11 17, Proceedings of the 11th IEEE International Conference on Computational Science and Engineering, CSE Workshops 2008. p. 170-175 6 p. 4625057. (Proceedings of the 11th IEEE International Conference on Computational Science and Engineering, CSE Workshops 2008).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • An algorithm for the design of manufacturing cells

    Liu, C., Zhu, L. & Tanaka, K., 2009 12 1, 5th International Conference on Natural Computation, ICNC 2009. p. 207-211 5 p. 5366546. (5th International Conference on Natural Computation, ICNC 2009; vol. 6).

    研究成果: Conference contribution

  • A non-uniformly C-productive sequence & non-constructive disjunctions

    Case, J., Ralston, M. & Akama, Y., 2013, Proceedings of the 13th Asian Logic Conference, ALC 2013. Zhao, X., Feng, Q., Kim, B. & Yu, L. (eds.). World Scientific Publishing Co. Pte Ltd, p. 29-52 24 p. (Proceedings of the 13th Asian Logic Conference, ALC 2013).

    研究成果: Conference contribution

  • A note on a local ergodic theorem for an infinite tower of coverings

    Tanaka, R., 2016, Mathematical Challenges in a New Phase of Materials Science. Nishiura, Y. & Kotani, M. (eds.). Springer New York LLC, p. 101-116 16 p. (Springer Proceedings in Mathematics and Statistics; vol. 166).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • A note on multiple inductive definitions

    Tanaka, K., 2010 1 1, Proceedings of the 10th Asian Logic Conference. World Scientific Publishing Co. Pte Ltd, p. 345-352 8 p.

    研究成果: Conference contribution

  • A robust incremental principal component analysis for feature extraction from stream data with missing values

    Aoki, D., Omori, T. & Ozawa, S., 2013, 2013 International Joint Conference on Neural Networks, IJCNN 2013. 6706771. (Proceedings of the International Joint Conference on Neural Networks).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • A study of abramsky’s linear chemical abstract machine

    Mikami, S. & Akama, Y., 1999, Typed Lambda Calculi and Applications - 4th International Conference, TLCA 1999, Proceedings. Girard, J-Y. (ed.). Springer Verlag, p. 243-257 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1581).

    研究成果: Conference contribution

  • Commutative regular shuffle closed languages, noetherian property, and learning theory

    Akama, Y., 2009 7 13, Language and Automata Theory and Applications - Third International Conference, LATA 2009, Proceedings. p. 93-104 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5457).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • Commuting quantum circuits with few outputs are unlikely to be classically simulatable

    Takahashi, Y., Tani, S., Yamazaki, T. & Tanaka, K., 2015, Computing and Combinatorics - 21st International Conference, COCOON 2015, Proceedings. Xu, D., Du, D. & Du, D. (eds.). Springer Verlag, p. 223-234 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9198).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • Concentration, convergence, and dissipation of spaces

    Shioya, T., 2016, Geometry and Topology of Manifolds - 10th China-Japan Geometry Conference, 2014. Miyaoka, R., Futaki, A., Zhang, W. & Tang, Z. (eds.). Springer New York LLC, p. 299-314 16 p. (Springer Proceedings in Mathematics and Statistics; vol. 154).

    研究成果: Conference contribution

  • Consistency conditions for inductive inference of recursive functions

    Akama, Y. & Zeugmann, T., 2007, New Frontiers in Artificial Intelligence - JSAI 2006 Conference and Workshops, Revised Selected Papers. Springer Verlag, p. 251-264 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4384 LNAI).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • Dynamical Aspects of a Hybrid System Describing Intermittent Androgen Suppression Therapy of Prostate Cancer

    Hiruko, K. & Okabe, S., 2016, Geometric Properties for Parabolic and Elliptic PDE’s - GPPEPDEs 2015. Nitsch, C., Gazzola, F., Ishige, K. & Salani, P. (eds.). Springer New York LLC, p. 191-230 40 p. (Springer Proceedings in Mathematics and Statistics; vol. 176).

    研究成果: Conference contribution

    3 被引用数 (Scopus)
  • Extracting latent dynamics from multi-dimensional data by probabilistic slow feature analysis

    Omori, T., 2013 12 1, Neural Information Processing - 20th International Conference, ICONIP 2013, Proceedings. PART 3 ed. p. 108-116 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8228 LNCS, no. PART 3).

    研究成果: Conference contribution

  • Generalization of complexity oscillations in infinite sequences

    Liu, C. G., Yamazaki, T. & Tanaka, K., 2008 12 22, Proceedings - 4th International Conference on Natural Computation, ICNC 2008. p. 299-303 5 p. 4666858. (Proceedings - 4th International Conference on Natural Computation, ICNC 2008; vol. 1).

    研究成果: Conference contribution

  • Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates

    Takahashi, Y., Yamazaki, T. & Tanaka, K., 2013, Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings. p. 801-812 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8087 LNCS).

    研究成果: Conference contribution

  • Infinite games and transfinite recursion of multiple inductive definitions

    Yoshii, K. & Tanaka, K., 2012, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Proceedings. p. 374-383 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7318 LNCS).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • Injectivity theorems with multiplier ideal sheaves and their applications

    Matsumura, S. I., 2015, Complex Analysis and Geometry - KSCV 2014. Byun, J., Bracci, F., Gaussier, H., Kim, K-T., Shcherbina, N. & Hirachi, K. (eds.). Springer New York LLC, p. 241-255 15 p. (Springer Proceedings in Mathematics and Statistics; vol. 144).

    研究成果: Conference contribution

    6 被引用数 (Scopus)
  • Limit-computable mathematics and its applications

    Hayashi, S. & Akama, Y., 2002, Computer Science Logic - 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL 2002, Proceedings. Bradfield, J. (ed.). Springer Verlag, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2471).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • Limiting partial combinatory algebras towards infinitary lambda-calculi and classical logic

    Akama, Y., 2001 1 1, Computer Science Logic: 15th International Workshop, CSL 2001 and 10th Annual Conference of the EACSL, Proceedings. Fribourg, L. (ed.). Springer-Verlag, p. 399-414 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2142).

    研究成果: Conference contribution

    4 被引用数 (Scopus)
  • Local well-posedness for the cauchy problem to nonlinear heat equations of Fujita type in nearly critical Besov space

    Ogawa, T. & Yamane, Y., 2017, Mathematics for Nonlinear Phenomena—Analysis and Computation - In Honor of Yoshikazu Giga’s 60th Birthday. Maekawa, Y. & Jimbo, S. (eds.). Springer New York LLC, p. 215-239 25 p. (Springer Proceedings in Mathematics and Statistics; vol. 215).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • Network games with and without synchroneity

    Ghani, A. T. A. & Tanaka, K., 2011, Decision and Game Theory for Security - Second International Conference, GameSec 2011, Proceedings. p. 87-103 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7037 LNCS).

    研究成果: Conference contribution

    4 被引用数 (Scopus)
  • Nondecreasing solutions to doubly nonlinear equations

    Akagi, G. & Stefanelli, U., 2017, Solvability, Regularity, and Optimal Control of Boundary Value Problems for PDEs - In Honour of Prof. Gianni Gilardi. Favini, A., Sprekels, J., Colli, P., Rocca, E., Schimperna, G. & Sprekels, J. (eds.). Springer International Publishing, p. 31-53 23 p. (Springer INdAM Series; vol. 22).

    研究成果: Conference contribution

  • Nonlinear effect on phase response curve of neuron model

    Iida, M., Omori, T., Aonishi, T. & Okada, M., 2011, Neural Information Processing - 18th International Conference, ICONIP 2011, Proceedings. PART 3 ed. p. 240-250 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7064 LNCS, no. PART 3).

    研究成果: Conference contribution

  • On the Hamiltonian minimality of normal bundles

    Kajigaya, T., 2014, Real and Complex Submanifolds. Lee, H., Berndt, J., Ohnita, Y., Kim, B. H. & Suh, Y. J. (eds.). Springer New York LLC, p. 485-496 12 p. (Springer Proceedings in Mathematics and Statistics; vol. 106).

    研究成果: Conference contribution

  • On the Ramseyan factorization theorem

    Murakami, S., Yamazaki, T. & Yokoyama, K., 2014, Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Proceedings. Springer Verlag, p. 324-332 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8493 LNCS).

    研究成果: Conference contribution

    8 被引用数 (Scopus)
  • On vorticity formulation for viscous incompressible flows in R3+

    Kosaka, H. & Maekawa, Y., 2016, Recent Developments of Mathematical Fluid Mechanics. Giga, Y., Kozono, H., Yamazaki, M., Okamoto, H. & Amann, H. (eds.). Springer Verlag, p. 351-374 24 p. (Advances in Mathematical Fluid Mechanics - Dedicated to Giovanni Paolo Galdi on the Occasion of His 60th Birthday; vol. none).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • Quantum walks in low dimension

    Tate, T., 2016, Geometric Methods in Physics - 34th Workshop. Kielanowski, P., Ali, S. T., Bieliavsky, P., Odzijewicz, A., Schlichenmaier, M. & Voronov, T. (eds.). Springer International Publishing, p. 261-278 18 p. (Trends in Mathematics; vol. 0).

    研究成果: Conference contribution

  • Relative randomness for Martin-Löf random sets

    Peng, N. N., Higuchi, K., Yamazaki, T. & Tanaka, K., 2012, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Proceedings. p. 581-588 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7318 LNCS).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • Remarks on viscosity solutions for mean curvature flow with obstacles

    Ishii, K., Kamata, H. & Koike, S., 2017, Mathematics for Nonlinear Phenomena—Analysis and Computation - In Honor of Yoshikazu Giga’s 60th Birthday. Maekawa, Y. & Jimbo, S. (eds.). Springer New York LLC, p. 83-103 21 p. (Springer Proceedings in Mathematics and Statistics; vol. 215).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • Singular Limit Problem to the Keller-Segel System in Critical Spaces and Related Medical Problems—An Application of Maximal Regularity

    Ogawa, T., 2021, Nonlinear Partial Differential Equations for Future Applications. Koike, S., Kozono, H., Ogawa, T. & Sakaguchi, S. (eds.). Springer, p. 103-182 80 p. (Springer Proceedings in Mathematics and Statistics; vol. 346).

    研究成果: Conference contribution

  • Stability of time periodic solutions for the rotating navier-stokes equations

    Iwabuchi, T., Mahalov, A. & Takada, R., 2016, Recent Developments of Mathematical Fluid Mechanics. Giga, Y., Kozono, H., Yamazaki, M., Okamoto, H. & Amann, H. (eds.). Springer Verlag, p. 321-335 15 p. (Advances in Mathematical Fluid Mechanics - Dedicated to Giovanni Paolo Galdi on the Occasion of His 60th Birthday; vol. none).

    研究成果: Conference contribution

    2 被引用数 (Scopus)
  • Symmetric Markov processes with tightness property

    Takeda, M., 2018, Stochastic Partial Differential Equations and Related Fields - In Honor of Michael Röckner SPDERF, 2016. Trutnau, G., Eberle, A., Hoh, W., Kassmann, M., Grothaus, M. & Stannat, W. (eds.). Springer New York LLC, p. 489-499 11 p. (Springer Proceedings in Mathematics and Statistics; vol. 229).

    研究成果: Conference contribution

  • The complexity of algorithms computing game trees on random assignments

    Liu, C. G. & Tanaka, K., 2007 1 1, Algorithmic Aspects in Information and Management - Third International Conference, AAIM 2007, Proceedings. Springer Verlag, p. 241-250 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4508 LNCS).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • The computational complexity of game trees by eigen-distribution

    Liu, C. G. & Tanaka, K., 2007 12 1, Combinatorial Optimization and Applications - First International Conference, COCOA 2007, Proceedings. p. 323-334 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4616 LNCS).

    研究成果: Conference contribution

    4 被引用数 (Scopus)
  • The confluent terminating context-free substitutive rewriting system for the lambda-calculus with surjective pairing & terminal type

    Akama, Y., 2017 9 1, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 84).

    研究成果: Conference contribution

  • The Eigen-distribution for multi-branching trees

    Peng, W., Okisaka, S., Li, W. & Tanaka, K., 2016, IMECS 2016 - International Multiconference of Engineers and Computer Scientists 2016. Douglas, C., Feng, D. D., Ao, S. I., Castillo, O. & Korsunsky, A. M. (eds.). Newswood Limited, p. 88-93 6 p. (Lecture Notes in Engineering and Computer Science; vol. 1).

    研究成果: Conference contribution

    2 被引用数 (Scopus)
  • The eigen-distribution of weighted game trees

    Okisaka, S., Peng, W., Li, W. & Tanaka, K., 2017, Combinatorial Optimization and Applications - 11th International Conference, COCOA 2017, Proceedings. Han, M., Du, H. & Gao, X. (eds.). Springer Verlag, p. 286-297 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10627 LNCS).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • The phragmèn-lindelöf theorem for a fully nonlinear elliptic problem with a dynamical boundary condition

    Ishige, K. & Nakagawa, K., 2016, Geometric Properties for Parabolic and Elliptic PDE’s - GPPEPDEs 2015. Nitsch, C., Gazzola, F., Ishige, K. & Salani, P. (eds.). Springer New York LLC, p. 159-171 13 p. (Springer Proceedings in Mathematics and Statistics; vol. 176).

    研究成果: Conference contribution

  • The quasi-equivalence between the definitions of partial randomness

    Liu, C. G., Tanaka, K. & Yamazaki, T., 2008 12 22, Proceedings - 4th International Conference on Natural Computation, ICNC 2008. p. 371-375 5 p. 4666871. (Proceedings - 4th International Conference on Natural Computation, ICNC 2008; vol. 1).

    研究成果: Conference contribution

  • Wong-Zakai approximation of solutions to reflecting stochastic differential equations on domains in euclidean spaces II

    Aida, S., 2014, Stochastic Analysis and Applications 2014. Crisan, D., Hambly, B. & Zariphopoulou, T. (eds.). Springer New York LLC, p. 1-23 23 p. (Springer Proceedings in Mathematics and Statistics; vol. 100).

    研究成果: Conference contribution

    3 被引用数 (Scopus)