I agree that this site is using cookies. You can find further informations here.
X
Sato, Tetsuya
73  results:
Bookchapter (Online) X
Search for persons X
?
1

Formalizing Statistical Causality via Modal Logic:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
Kawamoto, Yusuke ; Sato, Tetsuya ; Suenaga, Kohei - p. 681-696 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Program Logic for Higher-Order Probabilistic Programs in Is..:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
Hirata, Michikazu ; Minamide, Yasuhiko ; Sato, Tetsuya - p. 57-74 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Human-Centered Artificial Intelligence: Beyond a Two-Dimens..:

, In: Lecture Notes in Computer Science; HCI International 2022 – Late Breaking Papers: Interacting with eXtended Reality and Artificial Intelligence,
Pacailler, Matthew ; Yahoodik, Sarah ; Sato, Tetsuya.. - p. 471-482 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Optimization of EV bus charging schedule by stochastic prog..:

, In: 2022 12th International Congress on Advanced Applied Informatics (IIAI-AAI),
Sato, Tetsuya ; Shiina, Takayuki ; Hamada, Ryunosuke - p. 627-632 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Operational Planning of Fixed-Route Buses Considering the C..:

, In: 2022 12th International Congress on Advanced Applied Informatics (IIAI-AAI),
Ohzeki, Takuma ; Sato, Tetsuya ; Shiina, Takayuki. - p. 597-602 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Optimal Operation Model of Heat Pump for Multiple Residence:

, In: Modelling, Computation and Optimization in Information Systems and Management Sciences; Lecture Notes in Networks and Systems,
Kusunoki, Yusuke ; Sato, Tetsuya ; Shiina, Takayuki - p. 133-144 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Stochastic Programming Model for Lateral Transshipment Cons..:

, In: Modelling, Computation and Optimization in Information Systems and Management Sciences; Lecture Notes in Networks and Systems,
Kadota, Keiya ; Sato, Tetsuya ; Shiina, Takayuki - p. 158-169 , 2021
Link: https://doi.org/10.1007/..
 
?
8

New Methods to Solve Vehicle Routing Problem Considering St..:

, In: 2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI),
Komatsu, Masahiro ; Omori, Ryota ; Sato, Tetsuya. - p. 861-866 , 2021
Link: https://doi.org/10.1109/..
 
?
9

Revenue management problem considering overbooking in the a..:

, In: 2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI),
Imai, Mio ; Sato, Tetsuya ; Shiina, Takayuki - p. 855-860 , 2021
Link: https://doi.org/10.1109/..
 
?
10

Solution methods in generator operation optimization consid..:

, In: 2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI),
Ishimori, Hiroto ; Sato, Tetsuya ; Shiina, Takayuki - p. 843-848 , 2021
Link: https://doi.org/10.1109/..
 
?
11

Solution Algorithm for The Multi-period Inventory Transship..:

, In: 2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI),
Kadota, Keiya ; Sato, Tetsuya ; Shiina, Takayuki - p. 867-872 , 2021
Link: https://doi.org/10.1109/..
 
?
12

Operation planning for heat pump in multiple residences con..:

, In: 2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI),
Kusunoki, Yusuke ; Sato, Tetsuya ; Shiina, Takayuki - p. 849-854 , 2021
Link: https://doi.org/10.1109/..
 
?
13

Graded Hoare Logic and its Categorical Semantics:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Gaboardi, Marco ; Katsumata, Shin-ya ; Orchard, Dominic. - p. 234-263 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Revenue Management Problem via Stochastic Programming in th..:

, In: Modelling, Computation and Optimization in Information Systems and Management Sciences; Lecture Notes in Networks and Systems,
Imai, Mio ; Sato, Tetsuya ; Shiina, Takayuki - p. 145-157 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Optimization of Power Plant Operation via Stochastic Progra..:

, In: Advances in Intelligent Systems and Computing; Optimization of Complex Systems: Theory, Models, Algorithms and Applications,
Fukuba, Tomoki ; Shiina, Takayuki ; Tokoro, Ken-ichi. - p. 937-948 , 2019
Link: https://doi.org/10.1007/..
 
1-15