323 results on '"Ishii, Daisuke"'
Search Results
2. Serum stratifin measurement is useful for evaluating disease severity and outcomes in patients with acute exacerbation of interstitial lung disease: a retrospective study
3. A case series of prophylactic negative pressure wound therapy use with purse-string closure in stoma closure wounds in infants
4. SMT-Based Model Checking of Industrial Simulink Models
5. Compositional Test Generation of Industrial Synchronous Systems
6. Approximate Translation from Floating-Point to Real-Interval Arithmetic
7. Prognostic impact of the cross-sectional area of the erector spinae muscle in patients with pleuroparenchymal fibroelastosis
8. Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking
9. Computer-Assisted Verification of Four Interval Arithmetic Operators
10. Declarative Semantics of the Hybrid Constraint Language HydLa
11. Kinematic analysis of damaged capsulolabral structure in patients with anterior shoulder instability using cine-magnetic resonance imaging
12. Decreased and Improved Movement Abilities in a Case of Myotonic Dystrophy Type 1: Examining Longitudinal Characteristics Based on Repeated Evaluations
13. HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
14. Mild inflammation persists in the glenohumeral joint of patients with shoulder instability: Cross-sectional study
15. Importance of multidisciplinary collaboration for smooth kidney transplantation in HIV-infected patients with chronic kidney disease: a case report
16. Elevation of MMP1 and ADAMTS5 mRNA expression in glenohumeral synovia of patients with hypercholesterolemia
17. Changes in spike protein antibody titer over 90 days after the second dose of SARS-CoV-2 vaccine in Japanese dialysis patients
18. Effects of Anti-Fibrotic Drugs on Transcriptome of Peripheral Blood Mononuclear Cells in Idiopathic Pulmonary Fibrosis
19. Monitoring Temporal Properties using Interval Analysis
20. Limitation of the external glenohumeral joint rotation is associated with subacromial impingement syndrome, especially pain
21. Monitoring Bounded LTL Properties Using Interval Analysis
22. Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
23. Scalable Parallel Numerical CSP Solver
24. TRANSPORT PROPERTIES OF CHEMICALLY CROSSLINKED HYDROXYPROPYL CELLULOSE IN SOLVATED STATE
25. Different Transcriptome Features of Peripheral Blood Mononuclear Cells in Non-Emphysematous Chronic Obstructive Pulmonary Disease
26. Beneficial effects of end-ischemic oxygenated machine perfusion preservation for split-liver transplantation in recovering graft function and reducing ischemia–reperfusion injury
27. Hydrophobic-hydrophilic crown-like structure enables aquatic insects to reside effectively beneath the water surface
28. Increasing transforming growth factor-beta concentrations with age decrease apelin in the rat rotator cuff
29. Damage control surgery for grade IV blunt hepatic injury with multiple organ damage in a child: a case report
30. Robot-assisted laparoscopic radical cystectomy is a safe and effective procedure for patients with bladder cancer compared to laparoscopic and open surgery: Perioperative outcomes of a single-center experience
31. Different Transcriptome Features of Peripheral Blood Mononuclear Cells in Non-Emphysematous Chronic Obstructive Pulmonary Disease.
32. Membranous Expression of Heart Development Protein with EGF-like Domain 1 Is Associated with a Good Prognosis in Patients with Bladder Cancer
33. Characterization of toluene and 2-methylnaphthalene transport separated by syndiotactic polystyrene having various crystalline forms
34. Effects of anisotropic liquid spreading on liquid transport in arrow-like micropillar arrays
35. A Novel Preservation Solution Containing Quercetin and Sucrose for Porcine Kidney Transplantation
36. Homogenized Finite Element Analysis for Multi-Turn Coils Considering Parasitic Capacitances
37. Spontaneous pneumothorax caused by an inflammatory myofibroblastic tumor-like lesion in a 14-year-old girl: a case report
38. Congenital multiple colonic atresias with intestinal malrotation: a case report
39. Homogenized Finite Element Analysis for Multi-Turn Coils Considering Parasitic Capacitances
40. A retrospective comparison between digital to conventional drainage systems for secondary spontaneous pneumothorax related to diffuse interstitial lung disease.
41. The Association of Tumor Immune Microenvironment of the Primary Lesion with Time to Metastasis in Patients with Renal Cell Carcinoma: A Retrospective Analysis
42. Yokukansan, a traditional Japanese herbal medicine, alleviates the emotional abnormality induced by maladaptation to stress in mice
43. Spontaneous hemorrhage from splenic tissue 13 years after total splenectomy: report of a case
44. Transcranial Direct Current Stimulation of the Dorsolateral Prefrontal Cortex Modulates Cognitive Function Related to Motor Execution During Sequential Task: A Randomized Control Study
45. A thin polymer membrane, nano-suit, enhancing survival across the continuum between air and high vacuum
46. Additional file 7 of Changes in spike protein antibody titer over 90 days after the second dose of SARS-CoV-2 vaccine in Japanese dialysis patients
47. Additional file 3 of Changes in spike protein antibody titer over 90 days after the second dose of SARS-CoV-2 vaccine in Japanese dialysis patients
48. Additional file 6 of Changes in spike protein antibody titer over 90 days after the second dose of SARS-CoV-2 vaccine in Japanese dialysis patients
49. Additional file 2 of Changes in spike protein antibody titer over 90 days after the second dose of SARS-CoV-2 vaccine in Japanese dialysis patients
50. Additional file 5 of Changes in spike protein antibody titer over 90 days after the second dose of SARS-CoV-2 vaccine in Japanese dialysis patients
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.