Non-Cooperative Rational Synthesis Problem for Probabilistic Strategies von KOIDE, So, TAKATA, Yoshiaki, SEKI, Hiroyuki

Volltext

Balance of antiangiogenic and angiogenic factors in the context of the etiology of preeclampsia von Seki, Hiroyuki

Volltext

Reply to Ideno, Satoshi; Seki, Hiroyuki; Morisaki, Hiroshi, regarding their comment 'Consider an additional pressure-relief port before we abandon the use of the wall oxygen through a bronchoscope' von Gamble, Jonathan J., Chan, Ian A.

Volltext

Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies von KOIDE, So, TAKATA, Yoshiaki, SEKI, Hiroyuki

Volltext

Weighted Multiple Context-Free Grammars von INOUE, Yusuke, HASHIMOTO, Kenji, SEKI, Hiroyuki

Volltext

Strategies and Equilibria on Indistinguishability of Winning Objectives and Related Decision Problems von NAKANISHI, Rindo, TAKATA, Yoshiaki, SEKI, Hiroyuki

Volltext

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata von TAKATA, Yoshiaki, ONISHI, Akira, SENDA, Ryoma, SEKI, Hiroyuki

Volltext

Pumping Lemmas for Languages Expressed by Computational Models with Registers von NAKANISHI, Rindo, TAKATA, Yoshiaki, SEKI, Hiroyuki

Volltext

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata von TAKATA, Yoshiaki, ONISHI, Akira, SENDA, Ryoma, SEKI, Hiroyuki

Volltext

LTL Model Checking for Register Pushdown Systems von SENDA, Ryoma, TAKATA, Yoshiaki, SEKI, Hiroyuki

Volltext

Forward Regularity Preservation Property of Register Pushdown Systems von SENDA, Ryoma, TAKATA, Yoshiaki, SEKI, Hiroyuki

Volltext

Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking von TAKATA, Yoshiaki, SENDA, Ryoma, SEKI, Hiroyuki

Volltext

Complications with vacuum delivery from a forceps‐delivery perspective: Progress toward safe vacuum delivery von Seki, Hiroyuki

Volltext

Generalized Register Context-Free Grammars von SENDA, Ryoma, TAKATA, Yoshiaki, SEKI, Hiroyuki

Volltext

Multicentre prospective observational study of sodium-glucose cotransporter-2 inhibitor-associated postoperative ketoacidosis: the SAPKA study protocol von Seki, Hiroyuki, Kuratani, Norifumi, Shiga, Toshiya, Iwasaki, Yudai, Karita, Kanae, Yasuda, Kazuki, Yorozu, Tomoko

Volltext

Animal models of preeclampsia: an examination of usefulness and limitations based on the metabolic domino theory von Seki, Hiroyuki

Volltext

Residual paralysis caused by 50 mg rocuronium after reversal with 4 mg/kg sugammadex: a case report von Uzawa, Kohji, Seki, Hiroyuki, Yorozu, Tomoko

Volltext

Message from the JSSHP president von Seki, Hiroyuki

Volltext

Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation von CHU, Bao Trung, HASHIMOTO, Kenji, SEKI, Hiroyuki

Volltext

Intra-arterial Balloon Occlusion to Reduce Operative Bleeding for Placenta Previa Accreta Spectrum von Murayama, Yoshihiko, Seki, Hiroyuki, Takeda, Satoru

Volltext