Search

Your search keyword '"Ito, Sohei"' showing total 405 results

Search Constraints

Start Over You searched for: Author "Ito, Sohei" Remove constraint Author: "Ito, Sohei"
405 results on '"Ito, Sohei"'

Search Results

5. Differential prediction of high-sensitivity cardiac troponin-I, but not N-terminal pro-brain natriuretic peptide, in different pitavastatin doses on cardiovascular events in stable coronary artery disease

7. Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph

13. Representation of Peano Arithmetic in Separation Logic

22. Structure Prediction and Genome Mining‐Aided Discovery of the Bacterial C‐Terminal Tryptophan Prenyltransferase PalQ.

24. Formulation of Homeostasis by Realisability on Linear Temporal Logic

31. Formal Analysis of Gene Networks Using Network Motifs

39. Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes

48. Modular analysis of gene networks by linear temporal logic

Catalog

Books, media, physical & digital resources