The following pages link to Yuichi Goto (Q744077):
Displaying 13 items.
- A systematic methodology for automated theorem finding (Q744079) (← links)
- The integrated copula spectrum (Q2112830) (← links)
- Discriminant analysis based on binary time series (Q2189750) (← links)
- An extension of formal analysis method with reasoning: a case study of flaw detection for non-repudiation and fairness (Q2327201) (← links)
- (Q2863911) (← links)
- Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic (Q4925285) (← links)
- Test for Conditional Variance of Integer-Valued Time Series (Q5041354) (← links)
- (Q5158859) (← links)
- Robustness of Zero Crossing Estimator (Q5237532) (← links)
- Tests for the existence of group effects and interactions for two-way models with dependent errors (Q6046056) (← links)
- Homogeneity tests for one-way models with dependent errors under correlated groups (Q6114848) (← links)
- Sparse principal component analysis for high‐dimensional stationary time series (Q6140347) (← links)
- Long-memory log-linear zero-inflated generalized Poisson autoregression for COVID-19 pandemic modeling (Q6671932) (← links)
