E-LIB Suche - Ergebnisse für: Nobuko Yoshida

1

The real-world data of lipid-lowering treatment in patients..:

Komai, Hiroyoshi ; Ogura, Masatsune ; Sakashita, Hideki...
Journal of Cardiology. 84 (2024) 1 - p. 36-40 , 2024

Link: https://doi.org/10.1016/..

2

Trypanosoma cruzi Vps34 colocalizes with Beclin1 and plays ..:

Nájera, Carlos Alcides ; Soares-Silva, Mercedes ; Maeda, Fernando Y....
Microbes and Infection. , 2024

Link: https://doi.org/10.1016/..

3

Separation and Encodability in Mixed Choice Multiparty Sess..:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Peters, Kirstin ; Yoshida, Nobuko - p. 1-15 , 2024

Link: https://dl.acm.org/doi/1..

4

Efficacy and safety of nivolumab monotherapy in patients wi..:

Nishikawa, Tadaaki ; Kakunaga, Shigeki ; Tamura, Kenji...
Cancer. , 2024

Link: https://doi.org/10.1002/..

5

Mixed choice in session types:

Peters, Kirstin ; Yoshida, Nobuko
Information and Computation. 298 (2024) - p. 105164 , 2024

Link: https://doi.org/10.1016/..

6

Protocol Conformance of Collaborative SPARQL Using Multipar..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Hernawan, Ari ; Yoshida, Nobuko - p. 1-18 , 2024

Link: https://doi.org/10.1007/..

7

Heat supply to and hydrogen desorption from magnesium hydri..:

Yoshida, Keisuke ; Noda, Suguru ; Hanada, Nobuko
Chemical Engineering Journal. 491 (2024) - p. 152070 , 2024

Link: https://doi.org/10.1016/..

8

Exploration of tumor size measurement methods in preoperati..:

Kuroda, Hiroyuki ; Yoshizako, Takeshi ; Yada, Nobuhiro...
Japanese Journal of Radiology. 42 (2024) 6 - p. 639-647 , 2024

Link: https://doi.org/10.1007/..

9

The Concurrent Calculi Formalisation Benchmark:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Carbone, Marco ; Castro-Perez, David ; Ferreira, Francisco... - p. 149-158 , 2024

Link: https://doi.org/10.1007/..

10

Programming Language Implementations with Multiparty Sessio..:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,

Yoshida, Nobuko - p. 147-165 , 2024

Link: https://doi.org/10.1007/..

11

Multicompatibility for Multiparty-Session Composition:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Gheri, Lorenzo. - p. 1-15 , 2023

Link: https://dl.acm.org/doi/1..

12

Hybrid Multiparty Session Types: Compositionality for Proto..:

Gheri, Lorenzo ; Yoshida, Nobuko
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 112-142 , 2023

Link: https://doi.org/10.1145/..

13

Escherichia coli‐derived outer‐membrane vesicles induce imm..:

Natsui, Kazuki ; Tsuchiya, Atsunori ; Imamiya, Risa...
Liver International. 43 (2023) 5 - p. 1126-1140 , 2023

Link: https://doi.org/10.1111/..

14

Front Cover:

Natsui, Kazuki ; Tsuchiya, Atsunori ; Imamiya, Risa...
Liver International. 43 (2023) 5 - p. , 2023

Link: https://doi.org/10.1111/..

15

Causal computational complexity of distributed processes:

Demangeon, Romain ; Yoshida, Nobuko
Information and Computation. 290 (2023) - p. 104998 , 2023

Link: https://doi.org/10.1016/..