Browsing Computer Science by Type "Article"
Now showing items 1-20 of 77
-
Accurate viscous free surfaces for buckling, coiling, and rotating liquids
(Association for Computing Machinery, 2008-07)We present a fully implicit Eulerian technique for simulating free surface viscous liquids which eliminates artifacts in previous approaches, efficiently supports variable viscosity, and allows the simulation of more ... -
An adaptive variational finite difference framework for efficient symmetric octree viscosity
(ACM, 2019-07)While pressure forces are often the bottleneck in (near-)inviscid fluid simulations, viscosity can impose orders of magnitude greater computational costs at lower Reynolds numbers. We propose an implicit octree finite ... -
A cell-centred finite volume method for the Poisson problem on non-graded quadtrees with second order accurate gradients
(Elsevier, 2017-02-15)This paper introduces a two-dimensional cell-centred finite volume discretization of the Poisson problem on adaptive Cartesian quadtree grids which exhibits second order accuracy in both "the solution and its gradients, ... -
Complexity Of Atoms Of Regular Languages
(World Scientific Publishing, 2013-11-01)The quotient complexity of a regular language L, which is the same as its state complexity the number of left quotients of L. An atom of a non-empty regular language L with n quotients is a non-empty intersection of the n ... -
Complexity of proper prefix-convex regular languages
(Elsevier, 2019-10-01)A language L over an alphabet Σ is prefix-convex if, for any words x,y,z ∈ Σ*, whenever x and xyz are in L, then so is xy. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages, which were ... -
Complexity of Right-Ideal, Prefix-Closed, and Prefix-Free Regular Languages
(Institute of Informatics: University of Szeged, 2017)A language L over an alphabet E is prefix-convex if, for any words x, y, z is an element of Sigma*, whenever x and xyz are in L, then so is xy. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free ... -
Complexity of Suffix-Free Regular Languages
(Elsevier, 2017-11-01)We study various complexity properties of suffix-free regular languages. A sequence (Lk,Lk+1,…) of regular languages in some class, where n is the quotient complexity of Ln, is most complex if its languages Ln meet the ... -
Computing lower rank approximations of matrix polynomials
(Elsevier, 2020-05)Given an input matrix polynomial whose coefficients are floating point numbers, we consider the problem of finding the nearest matrix polynomial which has rank at most a specified value. This generalizes the problem of ... -
A conceptual IoT-based early-warning architecture for remote monitoring of COVID-19 patients in wards and at home
(Elsevier, 2022-05)Due to the COVID-19 pandemic, health services around the globe are struggling. An effective system for monitoring patients can improve healthcare delivery by avoiding in-person contacts, enabling early-detection of severe ... -
Constrained-CNN losses for weakly supervised segmentation
(Elsevier, 2019-05)Weakly-supervised learning based on, e.g., partially labelled images or image-tags, is currently attracting significant attention in CNN segmentation as it can mitigate the need for full and laborious pixel/voxel annotations. ... -
Constraint bubbles and affine regions: reduced fluid models for efficient immersed bubbles and flexible spatial coarsening
(Association for Computing Machinery, 2020-07)We propose to enhance the capability of standard free-surface flow simulators with efficient support for immersed bubbles through two new models: constraint-based bubbles and affine fluid regions. Unlike its predecessors, ... -
Continuum Foam: A Material Point Method for Shear-Dependent Flows
(Association for Computing Machinery, 2015-10-01)We consider the simulation of dense foams composed of microscopic bubbles, such as shaving cream and whipped cream. We represent foam not as a collection of discrete bubbles, but instead as a continuum. We employ the ... -
Critical exponents of infinite balanced words
(Elsevier, 2019-07-19)Over an alphabet of size 3 we construct an infinite balanced word with critical exponent 2 + root2/2. Over an alphabet of size 4 we construct an infinite balanced word with critical exponent (5 + root5)/4. Over larger ... -
Cyberheroes: The Design and Evaluation of an Interactive Ebook to Educate Children about Online Privacy
(Elsevier, 2017-07)We designed an educational interactive ebook called Cyberheroes and evaluated it to assess its effectiveness at increasing children’s online privacy knowledge and behaviour, and supporting child-parent privacy-related ... -
Decidability and k-Regular Sequences
(Elsevier, 2020-05)In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from considering • lower and upper bounds on growth rate; in particular boundedness, • images, • ... -
Defining gameful experience as a psychological state caused by gameplay: Replacing the term ‘Gamefulness’ with three distinct constructs
(Elsevier, 2019-07)Background and Aim Gamefulness is commonly cited as the primary goal of gamification, a family of approaches employed in education, business, healthcare, government, and elsewhere. However, gamefulness is defined ... -
Discrete viscous sheets
(Association for Computing Machinery, 2012-07)We present the first reduced-dimensional technique to simulate the dynamics of thin sheets of viscous incompressible liquid in three dimensions. Beginning from a discrete Lagrangian model for elastic thin shells, we apply ... -
Double Bubbles Sans Toil and Trouble: Discrete Circulation-Preserving Vortex Sheets for Soap Films and Foams
(Association for Computing Machinery, 2015-08-01)Simulating the delightful dynamics of soap films, bubbles, and foams has traditionally required the use of a fully three-dimensional many-phase Navier-Stokes solver, even though their visual appearance is completely dominated ... -
An Efficient Geometric Multigrid Solver for Viscous Liquids
(ACM, 2019-07)We present an efficient geometric Multigrid solver for simulating viscous liquids based on the variational approach of Batty and Bridson [2008]. Although the governing equations for viscosity are elliptic, the strong ... -
Empirical validation of the Gamification User Types Hexad scale in English and Spanish
(Elsevier, 2018-10-13)Gamification, the use of game elements in non-game systems, is now established as a relevant research field in human-computer interaction (HCI). Several empirical studies have shown that gameful interventions can increase ...