Home      Library      Discussions      About
Join us

@bath.ac.uk

May 23, 2014
Symbolic Computation

We finish by listing some of the functionality of within ProjectionCAD, focusing on aspects not usually found in other CAD implementations:

Using the Regular Chains Library to build cylindrical algebraic dec…

Cylindrical algebraic decomposition (CAD) is an important tool, both for quantifier elimination over the reals and a range of other applications. Tra…
Jul 01, 2018
Analysis of PDEs

In this section, we show the biaxial character of bidimensional defect cores, if the temperature is low enough. Throughout the section, we assume that Ω is a bounded, smooth domain in R2. To simplify the analysis, we take ϕ(t):=tp/p so that the elas…

Minimizers of a Landau-de Gennes Energy with a Subquadratic Elastic …

We study a modified Landau-de Gennes model for nematic liquid crystals, where the elastic term is assumed to be of subquadratic growth in the gradien…
Oct 02, 2013
Probability
Discrete Mathematics
Combinatorics

In analogy with the cover time for random walks, for each δ>1, we can define the blanket time as the first time at which the load of each vertex is in the interval (1δ⋅mn,δ⋅mn). It follows from Theorem 1.2 and Proposition 5.1 that, for bounded-degre…

Balls into bins via local search: cover time and maximum load

We study a natural process for allocating m balls into n bins that are organized as the vertices of an undirected graph G. Balls arrive one at a time…
Jul 18, 2012
Differential Geometry

The constant angle problem for mean curvature flow inside rotational …

We flow a hypersurface in Euclidean space by mean curvature flow with a Neumann boundary condition, where the boundary manifold is any torus of revol…
Oct 20, 2015
Emerging Technologies
Mesoscale and Nanoscale Physics
Neural and Evolutionary Computation

Single Memristor Logic Gates: From NOT to a Full Adder

Memristors have been suggested as a novel route to neuromorphic computing based on the similarity between them and neurons (specifically synapses and…
Feb 06, 2008
Probability

On the Lamperti stable processes

We consider a new family of $\R^d$-valued L\'{e}vy processes that we call Lamperti stable. One of the advantages of this class is that the law of man…
Apr 01, 2010
Optics
Other Condensed Matter
Pattern Formation and Solitons

Ginzburg-Landau equation bound to the metal-dielectric interface and …

Using a multiple-scale asymptotic approach, we have derived the complex cubic Ginzburg-Landau equation for amplified and nonlinearly saturated surfac…
Sep 30, 2009
Materials Science

Embedding methods for large-scale surface calculations

One of the goals in the development of large scale electronic structure methods is to perform calculations explicitly for a localised region of a sys…
Jun 18, 2018
Numerical Analysis

Arnoldi decomposition, GMRES, and preconditioning for linear discrete…

GMRES is one of the most popular iterative methods for the solution of large linear systems of equations that arise from the discretization of linear…
Apr 13, 2015
Probability

Universality in a class of fragmentation-coalescence processes

We introduce and analyse a class of fragmentation-coalescence processes defined on finite systems of particles organised into clusters. Coalescent ev…
Mar 01, 2018
Computational Physics

DL_MONTE: A multipurpose code for Monte Carlo simulation

DL_MONTE is an open source, general-purpose software package for performing Monte Carlo simulations. It includes a wide variety of force fields and M…
Feb 20, 2018
Machine Learning

Structured Uncertainty Prediction Networks

This paper is the first work to propose a network to predict a structured uncertainty distribution for a synthesized image. Previous approaches have …
Jul 05, 2015
Numerical Analysis

Symmetric general linear methods

The article considers symmetric general linear methods, a class of numerical time integration methods which, like symmetric Runge--Kutta methods, are…
Sep 30, 2009
Materials Science

Core reconstruction in pseudopotential calculations

A new method is presented for obtaining all-electron results from a pseudopotential calculation. This is achieved by carrying out a localised calcula…
Sep 30, 2008
Fluid Dynamics

A source reconstruction method for the inversion of spinning acoustic fields has been developed and tested on two representative problems. It has been found that the method can work well, even with added noise, depending on the type of source to be …

Inversion of spinning sound fields

A method is presented for the reconstruction of rotating monopole source distributions using acoustic pressures measured on a sideline parallel to th…
Dec 03, 2014
Applications

Reducing estimation bias in adaptively changing monitoring networks w…

This paper explores the topic of preferential sampling, specifically situations where monitoring sites in environmental networks are preferentially l…
Mar 13, 2018
Probability

Explosion in weighted Hyperbolic Random Graphs and Geometric Inhomo…

In this paper we study weighted distances in scale-free spatial network models: hyperbolic random graphs (HRG), geometric inhomogeneous random graphs…
Aug 04, 2017
Machine Learning
Data Analysis
Statistics and Probability
Physics and Society

Nonparametric weighted stochastic block models

We present a Bayesian formulation of weighted stochastic block models that can be used to infer the large-scale modular structure of weighted network…
May 29, 2017
Machine Learning
Statistical Mechanics
Data Analysis
Statistics and Probability

Bayesian stochastic blockmodeling

This chapter provides a self-contained introduction to the use of Bayesian inference to extract large-scale modular structures from network data, bas…
Nov 08, 2018
Classical Physic
Materials Science
Mathematical Physics

On the Structure of Linear Dislocation Field Theory

Uniqueness of solutions in the linear theory of non-singular dislocations, studied as a special case of plasticity theory, is examined. The status of…
There aren't more papers

Request Comment

or Invite via email
You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description