53

Symbolic termination analysis of solvable loops

Year:
2013
Language:
english
File:
PDF, 355 KB
english, 2013
67

A novel classifier ensemble method with sparsity and diversity

Year:
2014
Language:
english
File:
PDF, 839 KB
english, 2014
69

Some decidable results on reachability of solvable systems

Year:
2013
Language:
english
File:
PDF, 248 KB
english, 2013
87

General explicit solutions of a classical Boussinesq system

Year:
2002
Language:
english
File:
PDF, 181 KB
english, 2002
91

Analyzing ultimate positivity for solvable systems

Year:
2016
Language:
english
File:
PDF, 521 KB
english, 2016