On coalgebras and final semantics

Autor: Worrell, J

This thesis is concerned with an analysis of the category Coalg(T) of coalgebras of an endofunctor T. The objects of this category can be thought of as transition systems, and the morphisms can be thought of as functional bisimulations. Thus, Coalg(T

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::96d9543ec3bb448462a1f1a9f34989ea
https://ora.ox.ac.uk/objects/uuid:488e25da-738c-4ed1-b501-e58938dfef2a

On the {S}kolem Problem and the {S}kolem Conjecture

Autor: Lipton, R., Luca, F., Nieuwveld, J., Ouaknine, J., Purser, D., Worrell, J.

Publikováno v: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

It is a longstanding open problem whether there is an algorithm to decide the Skolem Problem for linear recurrence sequences (LRS) over the integers, namely whether a given such sequence has a zero term (i.e., whether un = 0 for some n). A major brea

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::14836b7a480336e656004cd3bd11a509
https://doi.org/10.1145/3531130.3533328

Algebraic Model Checking for Discrete Linear Dynamical Systems

Autor: Luca, F., Ouaknine, J., Worrell, J.

Publikováno v: Lecture Notes in Computer Science ISBN: 9783031158384
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science

Model checking infinite-state systems is one of the central challenges in automated verification. In this survey we focus on an important and fundamental subclass of infinite-state systems, namely discrete linear dynamical systems. While such systems

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66c7c3bcb4d9a26a8503a6d59fd7239f
https://doi.org/10.1007/978-3-031-15839-1_1

Quantum algorithms for matrix scaling and matrix balancing

Autor: van Apeldoorn, J., Gribling, S., Li, Y., Nieuwboer, H., Walter, M., de Wolf, R., Bansal, N., Merelli, E., Worrell, J.

Publikováno v: 48th International Colloquium on Automata, Languages, and Programming: ICALP 2021, July 12–16, 2021, Glasgow, Scotland ((Virtual Conference)
48th International Colloquium on Automata, Languages, and Programming

Matrix scaling and matrix balancing are two basic linear-algebraic problems with a wide variety of applications, such as approximating the permanent, and pre-conditioning linear systems to make them more numerically stable. We study the power and lim

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3552f80e57475663f3d7b66eed411d9
https://dare.uva.nl/personal/pure/en/publications/quantum-algorithms-for-matrix-scaling-and-matrix-balancing(23e17ce2-a851-430d-b4e3-8bbed8f25919).html

A Characterization of Primitive Bases

Autor: Wicke, H. H., Worrell,, J. M.

Publikováno v: Proceedings of the American Mathematical Society, 1975 Jul 01. 50(1), 443-450.

Externí odkaz: https://www.jstor.org/stable/2040583