Analysing TLS in the Strand Spaces Model by Kamil, A, Lowe, G

“…We extend the strand spaces model in order to include the cryptographic operations used in TLS and facilitate its analysis. …”

Space races: settling the universe fast by Sandberg, A

Coalgebras‚ Chu Spaces‚ and Representations of Physical Systems by Abramsky, S

“…We revisit our earlier work on the representation of quantum systems as Chu spaces, and investigate the use of coalgebra as an alternative framework. …”

Poincaré-type inequalities for broken Sobolev spaces by Lasis, A, Suli, E

“…We present two versions of general Poincaré-type inequalities for functions in broken Sobolev spaces, providing bounds for the Lq-norm of a function in terms of its broken H1-norm.…”

On the Discontinuous Galerkin method for Friedrichs Systems in Graph Spaces by Jensen, M

Multi-sensory design - Creating healthier public spaces by Turner, B

“…On behalf of the Adaptation and Resilience in the Context of Change (ARCC) network and the Revealing Spaces workgroup of the Feeling Good Foundation, we ran a series of events focused on the senses, to encourage reflection on the consequences of public realm design on city dwellers' physical, emotional and psychological wellbeing.…”

Kalman filtering in the presence of State Space Equality Constraints by Gupta, N

“…We discuss two separate techniques for Kalman Filtering in the presence of state space equality constraints. We then prove that despite the lack of similarity in their formulations, under certain conditions, the two methods result in mathematically equivalent constrained estimate structures. …”

Time and space adaptivity for the second-order wave equation by Bernardi, C, Suli, E

“…The aim of this paper is to show that, for a linear second-order hyperbolic equation discretized by the backward Euler scheme in time and continuous piecewise linear finite elements in space, the adaptation of the time steps can be combined with spatial mesh adaptivity in an optimal way. …”

Making space for rewilding: creating an enabling policy enviornment by Jepson, P, Schepers, F

“…The Policy Brief includes a request to policy makers and proposes several ways to start with creating an enabling policy space for rewilding in Europe.…”

Big Toy Models: Representing Physical Systems As Chu Spaces by Abramsky, S

“…To this end, we show how Chu spaces can be used to represent physical systems of various kinds. …”

Density and trace for graph spaces of first-order linear operators by Jensen, M

“…We define and analyse graph spaces of first-order linear differential operators. …”

Vector spaces of linearizations for matrix polynomials: A bivariate polynomial approach by Townsend, A, Noferini, V, Nakatsukasa, Y

“…MATLAB code is given to construct the pencils in the double ansatz space for matrix polynomials expressed in any orthogonal basis.…”

An efficient implementation of an implicit FEM scheme for fractional-in-space reaction-diffusion equations by Burrage, K, Hale, N, Kay, D

“…However, the presence of a fractional differential operator causes memory (time fractional) or nonlocality (space fractional) issues, which impose a number of computational constraints. …”

1.5-degree lifestyles: Towards a fair consumption space for all by Akenji, L, Bengtsson, M, Toivio, V, Lettenmeier, M, Fawcett, T, Parag, T, Saheb, Y, Coote, A, Spangenberg, JH, Capstick, S, Gore, T, Coscierme, L, Wackernagel, M, Kenner, D

Documenting the impacts of climate change on the middle and upper atmosphere and atmospheric drag of space objects by Anel, J, Cnossen, I, Antuna-Marrero, JC, Beig, G, Brown, M, Doornbos, E, Garcia, R, Gray, L, Marsh, D, Osprey, S, Mlynczak, M, Mutschler, SM, Pisoft, P, Sofieva, V, Sacha, P, de la Torre, L, Zhang, S-R

Updating the QR decomposition of block tridiagonal and block Hessenberg matrices generated by block Krylov space methods by Gutknecht, M, Schmelzer, T

Well-balanced $r$-adaptive and moving mesh space-time discontinuous Galerkin method for the shallow water equations by Rhebergen, S

“…Numerical simulations are then performed to verify the $r$-adaptive method in combination with the space-time discontinuous Galerkin method against analytical solutions and showing its robustness on more complex problems.…”

String Gradient Weighted Moving Finite Elements for Systems of Partial Differential Equations by Wacher, A, Sobey, I, Miller, K

“…Miller (1997) derived the "normal motion" of the manifold in [x,u] space and discretised in space by making the manifold piecewise linear. …”

Numerical determination of the basin of attraction for exponentially asymptotically autonomous dynamical systems by Giesl, P, Wendland, H

“…Numerical methods to determine the basin of attraction for autonomous equations focus on a bounded subset of the phase space. For non-autonomous systems, any relevant subset of the phase space, which now includes the time as one coordinate, is unbounded in t-direction. …”

Adaptive Galerkin approximation algorithms for partial differential equations in infinite dimensions by Schwab, C, Suli, E

“…Space-time variational formulations of infinite-dimensional Fokker-Planck (FP) and Ornstein-Uhlenbeck (OU) equations for functions on a separable Hilbert space $H$ are developed. …”