BibTeX records: Kyoko Makino

download as .bib file

@inproceedings{DBLP:conf/cav/MakinoB17,
  author       = {Kyoko Makino and
                  Martin Berz},
  editor       = {Alessandro Abate and
                  Sylvie Boldo},
  title        = {Verified Computations Using Taylor Models and Their Applications},
  booktitle    = {Numerical Software Verification - 10th International Workshop, {NSV}
                  2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated
                  with {CAV} 2017]},
  series       = {Lecture Notes in Computer Science},
  volume       = {10381},
  pages        = {3--13},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63501-9\_1},
  doi          = {10.1007/978-3-319-63501-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MakinoB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BerzM17,
  author       = {Martin Berz and
                  Kyoko Makino},
  editor       = {Alessandro Abate and
                  Sylvie Boldo},
  title        = {Rigorous Reachability Analysis and Domain Decomposition of Taylor
                  Models},
  booktitle    = {Numerical Software Verification - 10th International Workshop, {NSV}
                  2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated
                  with {CAV} 2017]},
  series       = {Lecture Notes in Computer Science},
  volume       = {10381},
  pages        = {90--97},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63501-9\_7},
  doi          = {10.1007/978-3-319-63501-9\_7},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BerzM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BogomolovFMR16,
  author       = {Sergiy Bogomolov and
                  Martin Fr{\"{a}}nzle and
                  Kyoko Makino and
                  Nacim Ramdani},
  title        = {Symbolic-Numeric Methods for Problem Solving in {CPS} (Dagstuhl Seminar
                  16491)},
  journal      = {Dagstuhl Reports},
  volume       = {6},
  number       = {12},
  pages        = {1--28},
  year         = {2016},
  url          = {https://doi.org/10.4230/DagRep.6.12.1},
  doi          = {10.4230/DAGREP.6.12.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BogomolovFMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0039119,
  author       = {Martin Berz and
                  Kyoko Makino and
                  Weishi Wan},
  title        = {An Introduction to Beam Physics},
  series       = {Series in high energy physics, cosmology, and gravitation},
  publisher    = {{CRC} Press},
  year         = {2014},
  url          = {https://www.crcpress.com/An-Introduction-to-Beam-Physics/Berz-Makino-Wan/p/book/9780750302630},
  isbn         = {978-0-7503-0263-0},
  timestamp    = {Thu, 10 Nov 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0039119.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acisc/SakuraiMM14,
  author       = {Shigeaki Sakurai and
                  Kyoko Makino and
                  Shigeru Matsumoto},
  title        = {An Activation Method of Topic Dictionary to Expand Training Data for
                  Trend Rule Discovery},
  journal      = {Appl. Comput. Intell. Soft Comput.},
  volume       = {2014},
  pages        = {871412:1--871412:11},
  year         = {2014},
  url          = {https://doi.org/10.1155/2014/871412},
  doi          = {10.1155/2014/871412},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acisc/SakuraiMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aina/SakuraiMM12,
  author       = {Shigeaki Sakurai and
                  Kyoko Makino and
                  Shigeru Matsumoto},
  editor       = {Leonard Barolli and
                  Tomoya Enokido and
                  Fatos Xhafa and
                  Makoto Takizawa},
  title        = {A Discovery Method of Trend Rules from Complex Sequential Data},
  booktitle    = {26th International Conference on Advanced Information Networking and
                  Applications Workshops, {WAINA} 2012, Fukuoka, Japan, March 26-29,
                  2012},
  pages        = {950--955},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/WAINA.2012.21},
  doi          = {10.1109/WAINA.2012.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/SakuraiMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scisisis/SakuraiMM12,
  author       = {Shigeaki Sakurai and
                  Kyoko Makino and
                  Shigeru Matsumoto},
  title        = {Prediction of attractive evaluation objects based on trend rules and
                  topic dictionary},
  booktitle    = {The 6th International Conference on Soft Computing and Intelligent
                  Systems (SCIS), and The 13th International Symposium on Advanced Intelligence
                  Systems (ISIS), Kobe, Japan, November 20-24, 2012},
  pages        = {1312--1317},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/SCIS-ISIS.2012.6505024},
  doi          = {10.1109/SCIS-ISIS.2012.6505024},
  timestamp    = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl       = {https://dblp.org/rec/conf/scisisis/SakuraiMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snc/BerzM09,
  author       = {Martin Berz and
                  Kyoko Makino},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Rigorous global search using taylor models},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577198},
  doi          = {10.1145/1577190.1577198},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/BerzM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snc/MakinoB09,
  author       = {Kyoko Makino and
                  Martin Berz},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Rigorous integration of flows and ODEs using taylor models},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {79--84},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577206},
  doi          = {10.1145/1577190.1577206},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/MakinoB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wecwis/ZuTMKM07,
  author       = {Guowei Zu and
                  Hiroshi Taira and
                  Kyoko Makino and
                  Toshiyuki Kano and
                  Shigeru Matsumoto},
  title        = {The Supporting Technology of Business Document Proofreading based
                  on Intercultural Differences},
  booktitle    = {9th {IEEE} International Conference on E-Commerce Technology {(CEC}
                  2007) / 4th {IEEE} International Conference on Enterprise Computing,
                  E-Commerce and E-Services {(EEE} 2007), 23-26 July 2007, National
                  Center of Sciences, Tokyo, Japan},
  pages        = {91--98},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/CEC-EEE.2007.98},
  doi          = {10.1109/CEC-EEE.2007.98},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wecwis/ZuTMKM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/RevolMB05,
  author       = {Nathalie Revol and
                  Kyoko Makino and
                  Martin Berz},
  title        = {Taylor models and floating-point arithmetic: proof that arithmetic
                  operations are validated in {COSY}},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {64},
  number       = {1},
  pages        = {135--154},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jlap.2004.07.008},
  doi          = {10.1016/J.JLAP.2004.07.008},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/RevolMB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kes/TakizawaMMNM05,
  author       = {Osamu Takizawa and
                  Kyoko Makino and
                  Tsutomu Matsumoto and
                  Hiroshi Nakagawa and
                  Ichiro Murase},
  editor       = {Rajiv Khosla and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {Method of Hiding Information in Agglutinative Language Documents Using
                  Adjustment to New Line Positions},
  booktitle    = {Knowledge-Based Intelligent Information and Engineering Systems, 9th
                  International Conference, {KES} 2005, Melbourne, Australia, September
                  14-16, 2005, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3683},
  pages        = {1039--1048},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11553939\_146},
  doi          = {10.1007/11553939\_146},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/kes/TakizawaMMNM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/para/BerzM04,
  author       = {Martin Berz and
                  Kyoko Makino},
  editor       = {Jack J. Dongarra and
                  Kaj Madsen and
                  Jerzy Wasniewski},
  title        = {Performance of Taylor Model Methods for Validated Integration of ODEs},
  booktitle    = {Applied Parallel Computing, State of the Art in Scientific Computing,
                  7th International Workshop, {PARA} 2004, Lyngby, Denmark, June 20-23,
                  2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3732},
  pages        = {65--73},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11558958\_8},
  doi          = {10.1007/11558958\_8},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/para/BerzM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/adcm/HoefkensBM03,
  author       = {Jens Hoefkens and
                  Martin Berz and
                  Kyoko Makino},
  title        = {Computing Validated Solutions of Implicit Differential Equations},
  journal      = {Adv. Comput. Math.},
  volume       = {19},
  number       = {1-3},
  pages        = {231--253},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022858921155},
  doi          = {10.1023/A:1022858921155},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/adcm/HoefkensBM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rc/HoefkensBM03,
  author       = {Jens Hoefkens and
                  Martin Berz and
                  Kyoko Makino},
  title        = {Controlling the Wrapping Effect in the Solution of ODEs for Asteroids},
  journal      = {Reliab. Comput.},
  volume       = {9},
  number       = {1},
  pages        = {21--41},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023009910949},
  doi          = {10.1023/A:1023009910949},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/HoefkensBM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rc/MakinoB99,
  author       = {Kyoko Makino and
                  Martin Berz},
  title        = {Efficient Control of the Dependency Problem Based on Taylor Model
                  Methods},
  journal      = {Reliab. Comput.},
  volume       = {5},
  number       = {1},
  pages        = {3--12},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1026485406803},
  doi          = {10.1023/A:1026485406803},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/MakinoB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rc/BerzM99,
  author       = {Martin Berz and
                  Kyoko Makino},
  title        = {New Methods for High-Dimensional Verified Quadrature},
  journal      = {Reliab. Comput.},
  volume       = {5},
  number       = {1},
  pages        = {13--22},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1026437523641},
  doi          = {10.1023/A:1026437523641},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/BerzM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rc/BerzM98,
  author       = {Martin Berz and
                  Kyoko Makino},
  title        = {Verified Integration of ODEs and Flows Using Differential Algebraic
                  Methods on High-Order Taylor Models},
  journal      = {Reliab. Comput.},
  volume       = {4},
  number       = {4},
  pages        = {361--369},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1024467732637},
  doi          = {10.1023/A:1024467732637},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/BerzM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.