Daisuke Ishii
From MaRDI portal
Person:487642
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Computer-assisted verification of four interval arithmetic operators Journal of Computational and Applied Mathematics | 2020-04-30 | Paper |
| Monitoring bounded LTL properties using interval analysis (available as arXiv preprint) | 2016-12-16 | Paper |
| Interval-based projection method for under-constrained numerical systems Constraints | 2015-01-22 | Paper |
| A branch and prune algorithm for the computation of generalized aspects of parallel robots Artificial Intelligence | 2014-06-10 | Paper |
| A MAXIMAL PREDICTABILITY PORTFOLIO MODEL: ALGORITHM AND PERFORMANCE EVALUATION International Journal of Theoretical and Applied Finance | 2008-05-20 | Paper |
| MONOTONICITY RESULTS FOR SINGLE-SERVER FINITE-CAPACITY QUEUES WITH RESPECT TO DIRECTIONALLY CONVEX ORDER Probability in the Engineering and Informational Sciences | 2005-03-21 | Paper |
Research outcomes over time
This page was built for person: Daisuke Ishii
