Thomas Ball
YOU?
Author Swipe
View article: Symbolic Automata: $ω$-Regularity Modulo Theories
Symbolic Automata: $ω$-Regularity Modulo Theories Open
Symbolic automata are finite state automata that support potentially infinite alphabets, such as the set of rational numbers, generally applied to regular expressions/languages over finite words. In symbolic automata (or automata modulo th…
View article: How families design and program games: a qualitative analysis of a 4-week online in-home study
How families design and program games: a qualitative analysis of a 4-week online in-home study Open
Prior work has broadly explored empowering children to learn to program by making video games. However, such work has rarely considered the role of families in this learning, leaving many open questions about how inter-generational collabo…
View article: Authors response to reviewers
Authors response to reviewers Open
Abstract. We present C-LLAMA 1.0 (Country-level Land Availability Model for Agriculture), a statisticalâempirical model of the global food and agriculture system. C-LLAMA uses simplistic and highly traceable methods to provide an open an…
View article: Beyond adverse outcome pathways: making toxicity predictions from event networks, SAR models, data and knowledge
Beyond adverse outcome pathways: making toxicity predictions from event networks, SAR models, data and knowledge Open
Adverse outcome pathways have shown themselves to be useful ways of understanding and expressing knowledge about sequences of events that lead to adverse outcomes (AOs) such as toxicity. In this paper we use the building blocks of adverse …
View article: Creating a Seamless Pipeline into B.S. Degree Programs for Place-bound ET Students via a State-wide 2+2 Articulation Agreement
Creating a Seamless Pipeline into B.S. Degree Programs for Place-bound ET Students via a State-wide 2+2 Articulation Agreement Open
Creating a Seamless Pipeline into BS Degree programs for Place- Bound ET Students Via a State-Wide 2+2 Articulation AgreementAbstractEngineering Technology (ET) programs around the US have been struggling in recent years tomaintain their i…
View article: MakeCode and CODAL: Intuitive and efficient embedded systems programming for education
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education Open
Historically, embedded systems development has been a specialist skill, requiring knowledge of low-level programming languages, complex compilation toolchains, and specialist hardware, firmware, device drivers and applications. However, it…
View article: MakeCode and CODAL: intuitive and efficient embedded systems programming for education
MakeCode and CODAL: intuitive and efficient embedded systems programming for education Open
Across the globe, it is now commonplace for educators to engage in the making (design and development) of embedded systems in the classroom to motivate and excite their students. This new domain brings its own set of unique requirements. H…
View article: MakeCode and CODAL: intuitive and efficient embedded systems programming for education
MakeCode and CODAL: intuitive and efficient embedded systems programming for education Open
Across the globe, it is now commonplace for educators to engage in the making (design and development) of embedded systems in the classroom to motivate and excite their students. This new domain brings its own set of unique requirements. H…
View article: Makecode And Codal: Intuitive And Efficient Embedded Systems Programming For Education (Artifact Evaluation)
Makecode And Codal: Intuitive And Efficient Embedded Systems Programming For Education (Artifact Evaluation) Open
This artifact allows others to reproduce the results seen in this paper for MakeCode and CODAL, using the BBC micro:bit. The artifact contains an offline build environment for CODAL and MakeCode, allowing evaluators to test and build progr…
View article: Makecode And Codal: Intuitive And Efficient Embedded Systems Programming For Education (Artifact Evaluation)
Makecode And Codal: Intuitive And Efficient Embedded Systems Programming For Education (Artifact Evaluation) Open
This artifact allows others to reproduce the results seen in this paper for MakeCode and CODAL, using the BBC micro:bit. The artifact contains an offline build environment for CODAL and MakeCode, allowing evaluators to test and build progr…
View article: Monotonically controlled integrals
Monotonically controlled integrals Open
The monotonically controlled integral defined by Bendová and Malý, which is equivalent to the Denjoy-Perron integral, admits a natural parameter $α>0$ thereby leading to the whole scale of integrals called $α$-monotonically controlled inte…
View article: LIPIcs, Volume 32, SNAPL'15, Complete Volume
LIPIcs, Volume 32, SNAPL'15, Complete Volume Open
LIPIcs, Volume 32, SNAPL'15, Complete Volume
View article: Title, Table of Contents, Preface, List of Authors
Title, Table of Contents, Preface, List of Authors Open
Title, Table of Contents, Preface, List of Authors