Big data interpolation using functional representation.
- Published in:
- Acta Informatica, 2018, v. 55, n. 3, p. 213, doi. 10.1007/s00236-016-0288-8
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2018 AND VI 55 AND IP 3
Results: 3
1
2
The complexity of counting models of linear-time temporal logic.
- Published in:
- Acta Informatica, 2018, v. 55, n. 3, p. 191, doi. 10.1007/s00236-016-0284-z
- By:
- Publication type:
- Article
3
Generalized contexts for reaction systems: definition and study of dynamic causalities.
- Published in:
- Acta Informatica, 2018, v. 55, n. 3, p. 227, doi. 10.1007/s00236-017-0296-3
- By:
- Publication type:
- Article