E-LIB Suche - Ergebnisse für: Saito, Ayumu

1

Experimenting with an Intrinsically-Typed Probabilistic Pro..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Saito, Ayumu ; Affeldt, Reynald - p. 182-202 , 2023

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

2

Semantics of Probabilistic Programs using s-Finite Kernels ..:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Affeldt, Reynald ; Cohen, Cyril ; Saito, Ayumu - p. 3-16 , 2023

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

3

Cross-Border Transmissions of the Delta Substrain AY.29 Dur..:

Koyama, Takahiko ; Tokumasu, Reitaro ; Katayama, Kotoe...
Frontiers in Microbiology. 13 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

4

Towards a Practical Library for Monadic Equational Reasonin..:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,

Saito, Ayumu ; Affeldt, Reynald - p. 151-177 , 2022

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

5

Development of the reverse hybrid jig: Separation of polyet..:

Ito, Mayumi ; Saito, Ayumu ; Takeuchi, Megumi...
Minerals Engineering. 174 (2021) - p. 107241 , 2021

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

6

Estimation of hybrid jig separation efficiency using a modi..:

Ito, Mayumi ; Saito, Ayumu ; Murase, Nana...
Journal of Material Cycles and Waste Management. 22 (2020) 6 - p. 2071-2080 , 2020

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

7

Improvement of hybrid jig separation efficiency using wetti..:

Ito, Mayumi ; Takeuchi, Megumi ; Saito, Ayumu...
Journal of Material Cycles and Waste Management. 21 (2019) 6 - p. 1376-1383 , 2019

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

8

Development of suitable product recovery systems of continu..:

Ito, Mayumi ; Saito, Ayumu ; Murase, Nana...
Minerals Engineering. 141 (2019) - p. 105839 , 2019

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

9

A physical separation scheme to improve ammonium thiosulfat..:

Jeon, Sanghee ; Ito, Mayumi ; Tabelin, Carlito Baltazar...
Minerals Engineering. 138 (2019) - p. 168-177 , 2019

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

10

Targeting Tyro3 ameliorates a model of PGRN-mutant FTLD-TDP..:

Fujita, Kyota ; Chen, Xigui ; Homma, Hidenori...
Nature Communications. 9 (2018) 1 - p. , 2018

Link: https://doi.org/10.1038/..

11

Comprehensive phosphoproteome analysis unravels the core si..:

Tagawa, Kazuhiko ; Homma, Hidenori ; Saito, Ayumu...
Human Molecular Genetics. 24 (2014) 2 - p. 540-558 , 2014

Link: https://doi.org/10.1093/..

12

Simple Preparation of Green Fluorescent Protein Conjugated ..:

Suzuki, Miho ; Ishimaru, Yoshihiro ; Saito, Ayumu.
Analytical Sciences. 29 (2013) 8 - p. 811-814 , 2013

Link: https://doi.org/10.2116/..

13

PRD: A protein–RNA interaction database:

Fujimori, Shigeo ; Hino, Katsuya ; Saito, Ayumu..
Bioinformation. 8 (2012) 15 - p. 729-730 , 2012

Link: https://doi.org/10.6026/..

14

Epidermal Growth Factor Receptor Tyrosine Kinase Defines Cr..:

Yamauchi, Mai ; Yamaguchi, Rui ; Nakata, Asuka...
PLoS ONE. 7 (2012) 9 - p. e43923 , 2012

Link: https://doi.org/10.1371/..

15

IRView: a database and viewer for protein interacting regio..:

Fujimori, Shigeo ; Hirai, Naoya ; Masuoka, Kazuyo...
Bioinformatics. 28 (2012) 14 - p. 1949-1950 , 2012

Link: https://doi.org/10.1093/..