Zobrazeno 1 - 10
of 142
pro vyhledávání: '"O'Connor, Liam"'
Publikováno v:
EPTCS 412, 2024, pp. 35-50
LTL3 is a multi-valued variant of Linear-time Temporal Logic for runtime verification applications. The semantic descriptions of LTL3 in previous work are given only in terms of the relationship to conventional LTL. Our approach, by contrast, gives a
Externí odkaz:
http://arxiv.org/abs/2411.14581
Autor:
O'Connor, Liam, Lecoanet, Daniel, Anders, Evan H., Augustson, Kyle C., Burns, Keaton J., Vasil, Geoffrey M., Oishi, Jeffrey S., Brown, Benjamin P.
Even when the partial differential equation underlying a physical process can be evolved forward in time, the retrospective (backward in time) inverse problem often has its own challenges and applications. Direct Adjoint Looping (DAL) is the defacto
Externí odkaz:
http://arxiv.org/abs/2403.00937
Autor:
O'Connor, Liam, Amjad, Rayhana
This paper presents Holbert: a work-in-progress pedagogical proof assistant and online textbook platform, aimed at the educational use-case, specifically for the teaching of programming language theory. Holbert allows proof exercises and rule definit
Externí odkaz:
http://arxiv.org/abs/2210.11411
Publikováno v:
The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 11
Context: Container data types are ubiquitous in computer programming, enabling developers to efficiently store and process collections of data with an easy-to-use programming interface. Many programming languages offer a variety of container implemen
Externí odkaz:
http://arxiv.org/abs/2205.09655
Autor:
O'Connor, Liam, Wickström, Oskar
We present Quickstrom, a property-based testing system for acceptance testing of interactive applications. Using Quickstrom, programmers can specify the behaviour of web applications as properties in our testing-oriented dialect of Linear Temporal Lo
Externí odkaz:
http://arxiv.org/abs/2203.11532
Cogent is a restricted functional language designed to reduce the cost of developing verified systems code. Because of its sometimes-onerous restrictions, such as the lack of support for recursion and its strict uniqueness type system, Cogent provide
Externí odkaz:
http://arxiv.org/abs/2112.05964
Publikováno v:
Phys. Rev. Fluids 6, 093501 -- Published 21 September 2021
Natural convection is ubiquitous throughout the physical sciences and engineering, yet many of its important properties remain elusive. To study convection in a novel context, we derive and solve a quasilinear form of the Rayleigh-B\'enard problem by
Externí odkaz:
http://arxiv.org/abs/2105.13701
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
O'Connor, Liam John
Hypoxia, a common feature in solid tumours, is associated with aggressive phenotypes, decreased genomic stability, and with increased resistance to all forms of cancer therapy. The significant differences between the hypoxic microenvironment, and nor
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728957
Autor:
O'Connor, Liam
This thesis builds a conceptual, theoretical, and cultural framework for the works I presented in my MFA thesis exhibition entitled Pillar of Cloud and Shamayim (there are waters). To this end, I utilize a blend of personal narrative, expository writ
Externí odkaz:
http://rave.ohiolink.edu/etdc/view?acc_num=osu1430760747