Skip to main content

Research Repository

Advanced Search

All Outputs (68)

Graph editing to a given degree sequence (2016)
Journal Article
Golovach, P., & Mertzios, G. (2017). Graph editing to a given degree sequence. Theoretical Computer Science, 665, 1-12. https://doi.org/10.1016/j.tcs.2016.12.007

We investigate the parameterized complexity of the graph editing problem called Editing to a Graph with a Given Degree Sequence where the aim is to obtain a graph with a given degree sequence σ by at most k vertex deletions, edge deletions and edge a... Read More about Graph editing to a given degree sequence.

Firedrake: automating the finite element method by composing abstractions (2016)
Journal Article
Rathgeber, F., Ham, D. A., Mitchell, L., Lange, M., Luporini, F., Mcrae, A. T., …Kelly, P. H. (2017). Firedrake: automating the finite element method by composing abstractions. ACM Transactions on Mathematical Software, 43(3), Article 24. https://doi.org/10.1145/2998441

Firedrake is a new tool for automating the numerical solution of partial differential equations. Firedrake adopts the domain-specific language for the finite element method of the FEniCS project, but with a pure Python runtime-only implementation cen... Read More about Firedrake: automating the finite element method by composing abstractions.

The stellar transformation: from interconnection networks to datacenter networks (2016)
Journal Article
Erickson, A., Stewart, I., Navaridas, J., & Kiasari, A. (2017). The stellar transformation: from interconnection networks to datacenter networks. Computer Networks, 113, 29-45. https://doi.org/10.1016/j.comnet.2016.12.001

The first dual-port server-centric datacenter network, FiConn, was introduced in 2009 and there are several others now in existence; however, the pool of topologies to choose from remains small. We propose a new generic construction, the stellar tran... Read More about The stellar transformation: from interconnection networks to datacenter networks.

Manifold Regularized Experimental Design for Active Learning (2016)
Journal Article
Zhang, L., Shum, H. P., & Shao, L. (2017). Manifold Regularized Experimental Design for Active Learning. IEEE Transactions on Image Processing, 26(2), 969-981. https://doi.org/10.1109/tip.2016.2635440

Various machine learning and data mining tasks in classification require abundant data samples to be labeled for training. Conventional active learning methods aim at labeling the most informative samples for alleviating the labor of the user. Many p... Read More about Manifold Regularized Experimental Design for Active Learning.

Editing to a Planar Graph of Given Degrees (2016)
Journal Article
Dabrowski, K., Golovach, P., van 't Hof, P., Paulusma, D., & Thilikos, D. (2016). Editing to a Planar Graph of Given Degrees. Journal of Computer and System Sciences, 85, 168-182. https://doi.org/10.1016/j.jcss.2016.11.009

We consider the following graph modification problem. Let the input consist of a graph G=(V,E), a weight function w:V∪E→N, a cost function c:V∪E→N0 and a degree function δ:V→N0, together with three integers kv,ke and C . The question is whether we ca... Read More about Editing to a Planar Graph of Given Degrees.

Sufficient conditions for Hamiltonicity in multiswapped networks (2016)
Journal Article
Stewart, I. (2016). Sufficient conditions for Hamiltonicity in multiswapped networks. Journal of Parallel and Distributed Computing, 101, 17-26. https://doi.org/10.1016/j.jpdc.2016.10.015

OTIS networks are interconnection networks amenable to deployment as hybrid networks containing both electronic and optical links. Deficiencies as regards symmetry led to the subsequent formulation of biswapped networks which were later generalized t... Read More about Sufficient conditions for Hamiltonicity in multiswapped networks.

Validation of an ergonomic assessment method using Kinect data in real workplace conditions (2016)
Journal Article
Plantard, P., Shum, H. P., Le Pierres, A.-S., & Multon, F. (2017). Validation of an ergonomic assessment method using Kinect data in real workplace conditions. Applied Ergonomics: Human Factors in Technology and Society, 65, 562-569. https://doi.org/10.1016/j.apergo.2016.10.015

Evaluating potential musculoskeletal disorders risks in real workstations is challenging as the environment is cluttered, which makes it difficult to accurately assess workers' postures. Being marker-free and calibration-free, Microsoft Kinect is a p... Read More about Validation of an ergonomic assessment method using Kinect data in real workplace conditions.

Automated Generation and Symbolic Manipulation of Tensor Product Finite Elements (2016)
Journal Article
McRae, A., Bercea, G., Mitchell, L., Ham, D., & Cotter, C. (2016). Automated Generation and Symbolic Manipulation of Tensor Product Finite Elements. SIAM Journal on Scientific Computing, 38(5), S25-S47. https://doi.org/10.1137/15m1021167

We describe and implement a symbolic algebra for scalar and vector-valued finite elements, enabling the computer generation of elements with tensor product structure on quadrilateral, hexahedral, and triangular prismatic cells. The algebra is impleme... Read More about Automated Generation and Symbolic Manipulation of Tensor Product Finite Elements.

Efficient Mesh Management in Firedrake Using PETSc DMPlex (2016)
Journal Article
Lange, M., Mitchell, L., Knepley, M. G., & Gorman, G. J. (2016). Efficient Mesh Management in Firedrake Using PETSc DMPlex. SIAM Journal on Scientific Computing, 38(5), S143-S155. https://doi.org/10.1137/15m1026092

The use of composable abstractions allows the application of new and established algorithms to a wide range of problems, while automatically inheriting the benefits of well-known performance optimizations. This work highlights the composition of the... Read More about Efficient Mesh Management in Firedrake Using PETSc DMPlex.

A structure-exploiting numbering algorithm for finite elements on extruded meshes, and its performance evaluation in Firedrake (2016)
Journal Article
Bercea, G., McRae, A. T., Ham, D. A., Mitchell, L., Rathgeber, F., Nardi, L., …Kelly, P. H. (2016). A structure-exploiting numbering algorithm for finite elements on extruded meshes, and its performance evaluation in Firedrake. Geoscientific Model Development, 9(10), 3803-3815. https://doi.org/10.5194/gmd-9-3803-2016

We present a generic algorithm for numbering and then efficiently iterating over the data values attached to an extruded mesh. An extruded mesh is formed by replicating an existing mesh, assumed to be unstructured, to form layers of prismatic cells.... Read More about A structure-exploiting numbering algorithm for finite elements on extruded meshes, and its performance evaluation in Firedrake.