Cordelia Hall's research while affiliated with University of Glasgow and other places

... Tuples are written enclosed in parentheses and lists enclosed in square brackets. Thus (1,'a',3) is a three-tuple and [1,2,3] is a list of three elements. The latter is just syntactic sugar for 1:2:3:[], where : is the (right associative) list construction operator (pronounced 'cons') and [] is the empty list. ...

... This is obtained employing persistent software entity running on the GPU device, launched through a CUDA kernel invocation, which remains alive until all the jobs scheduled into a work-queue are exhausted. This approach led to interesting results in diverse areas of application such as active data structures [11], prefix-sum operation [12] and even 3D graphic rendering with ray-tracing [13] , but to the best of our knowledge it has never been applied to genetic algorithms. The novelty of this paper is to study how a GA can be successfully ported to a persistent thread style model and measuring its performance compared to "traditional" GAs on GP-GPU that are implemented with multiple CUDA kernel invocations or more or less implicit CPU-GPU synchronization points. ...

... { If traces could be selectively generated, only for functions which the user considers of interest, then the other parts of the program could execute at full speed. This seems an important avenue for future investigation, as suggested by Hall et al. 1990. There are a number of possible directions of future research based on the work reported here. ...

... Step 1) defined in the previous section is addressed by function and is defined as: given a collection of documents [ ] and a 2 The notation used for the formulas follows the Haskell functional programming language notation [18]. question , find the document (context) that is prone to contain the answer to question : ...

... Researchers consider a wide variety of characteristics and genre features of musical works of this direction (Craenen, 2014;Maslowski, 2022). Fragmentation can be used to interpret what, at first glance, is a collection of different genres, styles, incompatible from the ideological point of view, but, owing to the tools of postmodernism and mastery of performance, they are perceived as a new unity (Al Kasimi et al., 2007;Hall & O'Donnell, 2009). The focus of researchers of postmodern trends is on the peculiarities of performing skills, the search for a new view of innovation in the humanities education (Berndt, 2011;Chen & Zheng, 2021), the need to change the methods of teaching performers (Lipka, 2013;Murphy et al., 2020). ...

... For instance, a study focusing on Play-Based learning method to enhance the mastery ability of vocabulary among preschool children in Malaysia revealed that Play-Based strategy significantly enhanced the mastery of vocabulary and interest in learning the Malay language among pupils (Nasir, Yousof & Arumugam, 2103). This result is line with Hall & O'Donnell (2011) who presented that young children learn best through play, game, game stories, art, and puppetry which can aid social interaction. Also, Sharp, Escante & Anderson (2012) investigated literacy instruction in kindergarten using the power of dramatic play found positive outcome in children within the experimental group than the control group. ...

... Finne & Burn 1993] use \evaluation transformers" to evaluate lists more strictly (in the same spirit as the work described here), but for sequential implementations they nd few performance bene ts, and occasional large costs. In contrast, Hall 1993] uses strictness information over list types to guide a new transformation which uses a more e cient list representation where possible. The transformation gives substantial performance bene ts where it is applicable. ...

... Teaching functional programming and mathematics together is not a new idea, on the contrary, several authors since many years ago have used diverse languages to implement their purposes, notably [11,17]. To strengthening the link between mathematics and computer science both in university level studies as in secondary schools has been also a concern of computing teachers [1,15]. ...

... There are existing papers on the acceleration of digital circuit simulation using GPUs [22], [13], [23], [24], [25], [26] and multicores [1], [27]. In our work we use the Intel Xeon Phi [28] to run digital logic simulation. ...

... For example, \x -> 2*x is a function that when applied to a number yields that number multiplied by two, and the expression (\x -> x*x) 3 evaluates to 9. Tuples are written enclosed in parentheses and lists enclosed in square brackets. Thus (1,'a',3) is a three-tuple and [1,2,3] is a list of three elements. The latter is just syntactic sugar for 1:2: ...