Now showing items 1-10 of 152
Interfacing Coq + SSReflect with GAP
(2012-09-19) - Journal article,
We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It ...
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 ...
An elastic virtual infrastructure for research applications (ELVIRA)
(2013-11-25) - Journal article,
Cloud computing infrastructures provide a way for researchers to source the computational and storage resources they require to conduct their work and to collaborate within distributed research teams. We provide an overview ...
PFClust: an optimised implementation of a parameter-free clustering algorithm
(2014-02) - Journal article,
Background: A well-known problem in cluster analysis is finding an optimal number of clusters reflecting the inherent structure of the data. PFClust is a partitioning-based clustering algorithm capable, unlike many widely-used ...
An approach to compliance in software architectures
(2000-08) - Journal article,
Software architectures are designed to meet the needs of the applications that use them. With conventional architectures this is done by predicting the average needs of the majority of the applications they support. In ...
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.
Observing the clouds : a survey and taxonomy of cloud monitoring
(2014-12-29) - Journal article,
Monitoring is an important aspect of designing and maintaining large-scale systems. Cloud computing presents a unique set of challenges to monitoring including: on-demand infrastructure, unprecedented scalability, rapid ...
RBioCloud : a light-weight framework for bioconductor and R-based jobs on the Cloud
(2014-10-02) - Journal article,
Large-scale ad hoc analytics of genomic data is popular using the R-programming language supported by over 700 software packages provided by Bioconductor. More recently, analytical jobs are benefitting from on-demand ...
Data citation practices in the CRAWDAD wireless network data archive
(2015-01) - Journal article,
CRAWDAD (Community Resource for Archiving Wireless Data At Dartmouth) is a popular research data archive for wireless network data, archiving over 100 datasets used by over 6,500 users. In this paper we examine citation ...
The hardware accelerator debate : a financial risk case study using many-core computing
(2015-08) - Journal article,
The risk of reinsurance portfolios covering globally occurring natural catastrophes, such as earthquakes and hurricanes, is quantified by employing simulations. These simulations are computationally intensive and require ...