Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials

Autor: Marko van Eekelen, Olha Shkaravska

Publikováno v: Journal of Symbolic Computation, 103, 22-45
Shkaravska, O & van Eekelen, M 2021, ' Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials ', Journal of Symbolic Computation, vol. 103, pp. 22-45 . https://doi.org/10.1016/j.jsc.2019.10.022
Journal of Symbolic Computation
Journal of Symbolic Computation, 103, pp. 22-45
Journal of Symbolic Computation, 103, 22-45. ACADEMIC PRESS LTD-ELSEVIER SCIENCE LTD

This article addresses the problem of computing an upper bound of the degree d of a polynomial solution P ( x ) of an algebraic difference equation of the form G ( x ) ( P ( x − τ 1 ) , … , P ( x − τ s ) ) + G 0 ( x ) = 0 when such P ( x ) wi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b46fb054e615194a432fa2c3e2207ea8
http://hdl.handle.net/2066/225737

Polynomial Size Analysis of First-Order Shapely Functions

Autor: Ron van Kesteren, Olha Shkaravska, Marko van Eekelen

Publikováno v: Logical Methods in Computer Science, 5, 1-35
Logical Methods in Computer Science, 5, 2:10, pp. 1-35

We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly by a polynomial in the sizes of the arguments. Examples of shapely funct

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::10fb544030fc8b8e6388ea09c4f32129
https://hdl.handle.net/2066/76008

The DWAN framework: Application of a web annotation framework for the general humanities to the domain of language resources

Autor: Przemyslaw Lenkiewicz, Olha Shkaravska, Twan Goosen, Daan Broeder, Menzo Windhouwer, Stephanie Roth, Olof Olsson

Publikováno v: Proceedings of LREC 2014: 9th International Conference on Language Resources and Evaluation
Royal Netherlands Academy of Arts and Science (KNAW)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d1cbff70193a19fee29159e4204a0e5d
https://hdl.handle.net/21.11116/0000-0004-94F0-521.11116/0000-0004-94F2-3

Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011

Autor: Olha Shkaravska, M.C.J.D. van Eekelen, Simonetta Ronchi Della Rocca

Publikováno v: Science of Computer Programming, 111, 3, pp. 363-364
Science of Computer Programming, 111, 363-364
Shkaravska, O, Della Rocca, S R & van Eekelen, M 2015, ' Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 ', Science of computer programming, vol. 111, no. Part 3, pp. 363-364 . https://doi.org/10.1016/j.scico.2015.08.008

Contains fulltext : 147342.pdf (Publisher’s version ) (Closed access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe8b7bef0e54bf7c6d6113815e1328df
https://doi.org/10.1016/j.scico.2015.08.008

Test-based inference of polynomial loop-bound functions

Autor: Marko van Eekelen, Rody Kersten, Olha Shkaravska

Publikováno v: PPPJ

This paper presents an interpolation-based method of inferring arbitrary degree loop-bound functions for Java programs. Given a loop, by its "loop-bound function" we mean a function with the numeric program variables as its parameters, that is used t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0580a0aede09abd42b991243ff9e8a44
https://doi.org/10.1145/1852761.1852776