Now showing items 1-10 of 72
S-crucial and bicrucial permutations with respect to squares
(2015-06-03) - Journal article,
A permutation is square-free if it does not contain two consecutive factors of length two or more that are order-isomorphic. A permutation is bicrucial with respect to squares if it is square-free but any extension of it ...
Finite presentability and isomorphism of Cayley graphs of monoids
(2017-11) - Journal article,
Two finitely generated monoids are constructed, one finitely presented the other not, whose (directed, unlabelled) Cayley graphs are isomorphic.
Sequential decision problems, dependent types and generic solutions
(2017-03-17) - Journal article,
We present a computer-checked generic implementation for solving finite horizon sequential decision problems. This is a wide class of problems, including intertemporal optimizations, knapsack, optimal bracketing, scheduling, ...
Analyticity, balance and non-admissibility of Cut in Stoic Logic
(2018-04-20) - Journal article,
This paper shows that, for the Hertz-Gentzen Systems of 1933 (without Thinning), extended by a classical rule T1 (from the Stoics) and using certain axioms (also from the Stoics), all derivations are analytic: every cut ...
Proxemic mobile collocated interactions
(Association for Computing Machinery, Inc, 2016-05-07) - Conference item,
Recent research on mobile collocated interactions has been looking at situations in which collocated users engage in collaborative activities using their mobile devices. However, existing practices fail to fully account ...
Synesthetic visualization: balancing sensate experience and sense making in digitized print collections
(2017-06-14) - Conference item,
Large-scale digitization appears to put literary collections at one’s fingertips, but, as some critical observers warn, the books themselves are increasingly out of reach as libraries continue to shift from being “physical ...
An academic’s observations from a sabbatical at Google
(2018-09) - Journal article,
How experiences gained in industry can improve academic research and teaching.
A reference architecture and model for sensor data warehousing
(2018-09-15) - Journal article,
Sensor data is becoming far more available thanks to the growth in both sensor systems and Internet of Things devices. Much of the value of sensor data comes from examining trends that occur over long timescales, ranging ...
Technical rigour, exaggeration, and peer reviewing in the publishing of medical research
(2017-11) - Journal article,
To say that accuracy is of paramount importance in academic publishing is little short of a platitude. Nevertheless, the question of how accuracy can be ensured is not a trivial one in the real world, given the landscape ...
HCI and the educational technology revolution #HCIEd2018 : a workshop on video-making for teaching and learning human-computer interaction
(ACM, 2018-05-29) - Conference item,
Over the years, the HCI Educators series has studied a number of challenges for the teaching and learning of Human-Computer Interaction at a time of radical educational change. Though video has historically played an ...