838 results on '"Ishii, Daisuke"'
Search Results
2. Role of the medial agranular cortex in unilateral spatial neglect
3. Serum stratifin measurement is useful for evaluating disease severity and outcomes in patients with acute exacerbation of interstitial lung disease: a retrospective study
4. A case series of prophylactic negative pressure wound therapy use with purse-string closure in stoma closure wounds in infants
5. SMT-Based Model Checking of Industrial Simulink Models
6. Excess mortality in COVID-19-affected solid organ transplant recipients across the pandemic
7. Dynamic motion of air bubble on micro-structured surfaces by novel dynamic wettability evaluation method under liquid media
8. Compositional Test Generation of Industrial Synchronous Systems
9. Approximate Translation from Floating-Point to Real-Interval Arithmetic
10. Prognostic impact of the cross-sectional area of the erector spinae muscle in patients with pleuroparenchymal fibroelastosis
11. Quantitative evaluation of pediatric umbilical loop stomas: 2 decades of experience from a single institution
12. Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking
13. Computer-Assisted Verification of Four Interval Arithmetic Operators
14. Declarative Semantics of the Hybrid Constraint Language HydLa
15. Kinematic analysis of damaged capsulolabral structure in patients with anterior shoulder instability using cine-magnetic resonance imaging
16. Preservation Efficacy of a Quercetin and Sucrose Solution for Warm Ischemically Damaged Porcine Liver Grafts
17. Decreased GM3 correlates with proteinuria in minimal change nephrotic syndrome and focal segmental glomerulosclerosis
18. Approximate Translation from Floating-Point to Real-Interval Arithmetic
19. Effects of short-term upper limb immobilization on sensory information processing and corticospinal excitability
20. Decreased and Improved Movement Abilities in a Case of Myotonic Dystrophy Type 1: Examining Longitudinal Characteristics Based on Repeated Evaluations
21. Population pharmacokinetics and pharmacodynamic target attainment analysis of cefazolin using total and unbound serum concentration in patients with prostatectomy or nephrectomy
22. HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
23. Mild inflammation persists in the glenohumeral joint of patients with shoulder instability: Cross-sectional study
24. Importance of multidisciplinary collaboration for smooth kidney transplantation in HIV-infected patients with chronic kidney disease: a case report
25. Elevation of MMP1 and ADAMTS5 mRNA expression in glenohumeral synovia of patients with hypercholesterolemia
26. Changes in spike protein antibody titer over 90 days after the second dose of SARS-CoV-2 vaccine in Japanese dialysis patients
27. Risk factors for recurrent gastroesophageal reflux disease after Thal fundoplication
28. SMT-Based Model Checking of Industrial Simulink Models
29. Effects of Anti-Fibrotic Drugs on Transcriptome of Peripheral Blood Mononuclear Cells in Idiopathic Pulmonary Fibrosis
30. Serum stratifin as a diagnostic and prognostic biomarker of acute exacerbation of interstitial lung disease
31. 2024年度年次大会開催に向けて
32. Relationship Between Motor Function, DTI, and Neurophysiological Parameters in Patients with Stroke in the Recovery Rehabilitation unit
33. Monitoring Temporal Properties using Interval Analysis
34. Limitation of the external glenohumeral joint rotation is associated with subacromial impingement syndrome, especially pain
35. Monitoring Bounded LTL Properties Using Interval Analysis
36. Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
37. Scalable Parallel Numerical CSP Solver
38. Efficacy of Exercise Therapy Initiated in the Early Phase After Kidney Transplantation: A Pilot Study
39. Preferential performance of Thal fundoplication for gastroesophageal reflux disease: a single institution experience
40. Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis : (Extended Abstract)
41. Template-Based Monte-Carlo Test Generation for Simulink Models
42. TRANSPORT PROPERTIES OF CHEMICALLY CROSSLINKED HYDROXYPROPYL CELLULOSE IN SOLVATED STATE
43. Different Transcriptome Features of Peripheral Blood Mononuclear Cells in Non-Emphysematous Chronic Obstructive Pulmonary Disease
44. Role of the medial agranular cortex in unilateral spatial neglect
45. Beneficial effects of end-ischemic oxygenated machine perfusion preservation for split-liver transplantation in recovering graft function and reducing ischemia–reperfusion injury
46. Hydrophobic-hydrophilic crown-like structure enables aquatic insects to reside effectively beneath the water surface
47. Increasing transforming growth factor-beta concentrations with age decrease apelin in the rat rotator cuff
48. Damage control surgery for grade IV blunt hepatic injury with multiple organ damage in a child: a case report
49. Liquid Manipulation
50. 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
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.