A5059874993- Hydrology and Sediment Transport Processes
- Constraint Satisfaction and Optimization
- Soil erosion and sediment transport
- Geological formations and processes
- Coastal and Marine Dynamics
- Aeolian processes and effects
- Landslides and related hazards
- Game Theory and Voting Systems
- Advanced Database Systems and Queries
- Distributed and Parallel Computing Systems
- Data Management and Algorithms
- Advanced Software Engineering Methodologies
- Logic, programming, and type systems
- Coastal wetland ecosystem dynamics
- Flood Risk Assessment and Management
- Remote Sensing and LiDAR Applications
- Wind Energy Research and Development
- Computer Graphics and Visualization Techniques
- Bayesian Modeling and Causal Inference
- Parallel Computing and Optimization Techniques
- Context-Aware Activity Recognition Systems
- Hydrology and Watershed Management Studies
- Advanced Graph Theory Research
- Distributed systems and fault tolerance
- DNA and Biological Computing
Bangor University
2021-2024
National Oceanography Centre
2020-2023
University of Exeter
2016-2020
University of Hull
2014-2018
University of Glasgow
2005-2013
Abstract. Tidal flow past offshore wind farm (OWF) infrastructure generates a turbulent vortex wake. The wake is hypothesised to enhance seabed stress and water column turbulence mixing, thereby affecting mobility, stratification the transport of nutrients oxygen resulting in ecological impacts. We collect novel hydrodynamic data 40 m from an OWF monopile over spring–neap cycle use high-frequency velocity measurements quantify turbulence. Outside wake, we observe classical depth-limited...
Abstract Images from specially‐commissioned aeroplane sorties (manned aerial vehicle, MAV), repeat unmanned vehicle (UAV) surveys, and Planet CubeSat satellites are used to quantify dune bar dynamics in the sandy braided South Saskatchewan River, Canada. Structure‐from‐Motion (SfM) techniques application of a depth‐brightness model produce series Digital Surface Models (DSMs) at low near‐bankfull flows. A number technical image processing challenges described that arise SfM dry submerged...
Abstract Most past experimental investigations of flow over river dunes have focused on conditions that match semiempirical flow‐depth scaling laws, yet such equilibrium are limited value because they rarely occur in natural channels. This paper quantifies the structure mean and turbulent fixed 2‐D laboratory across a range nonequilibrium within dune regime. The field was quantified using particle imaging velocimetry for 12 conditions, including flows too deep, shallow, fast, or slow size...
The world's shallow continental shelves are currently experiencing a rapid pace of development from the growth offshore renewable energy. emplacement infrastructure on seabed can change morphology bed, nature flow above it transport sediment, and so complicate assessment stability for planning designing infrastructure. To ascertain how much an impact these natural processes have cables, we present first field observations made directly over section subsea cable, two deployments in Eastern...
Abstract Current understanding of the role that dunes play in controlling bar and channel‐scale processes river morphodynamics is incomplete. We present results from a combined numerical modeling field monitoring study isolates impact on depth‐averaged near‐bed flow structure, with implications for morphodynamic modeling. Numerical simulations were conducted using three‐dimensional computational fluid dynamics code OpenFOAM to quantify time‐averaged structure within 400 m × 100 channel...
Pervasive systems, that is roughly speaking systems can interact with their environment, are increasingly common. In such there many dimensions to assess: security and reliability, safety liveness, real-time response, etc. So far modelling formalizing attempts have been very piecemeal approaches. This paper describes our analysis of a pervasive case study (MATCH, homecare application) proposal for formal (particularly verification) Our goal see what extent current state the art methods...
Harvey and Ginsberg's limited discrepancy search (LDS) is based on the assumption that costly heuristic mistakes are made early in process. Consequently, LDS repeatedly probes state space, going against (i.e., taking discrepancies) a specified number of times all possible ways attempts to take those discrepancies as possible. was improved by Richard Korf, become (ILDS), but doing so, were taken late possible, original assumption. Many subsequent algorithms have faithfully inherited Korf's...
We consider the problem of verifying context-aware, pervasive, interactive systems when interaction involves both system configuration and use. Verification configurable is more tightly coupled to design verification process reasoning about formal models. The approach illustrated with a case study: using model checker SPIN SAT solver reason an activity monitor from MATCH homecare infrastructure. Parts models are generated automatically actual log files.
We present an n-ary constraint for the stable marriage problem. This acts between two sets of integer variables where domains those represent preferences. Our enforces stability and disallows bigamy. For a instance with $n$ men women we require only one these constraints, complexity enforcing arc-consistency is $O(n^2)$ which optimal in size input. computational studies show that our significantly faster more space efficient than encodings presented \cite{cp01}. also introduce new problem to...
Abstract. Tidal flow past offshore wind farm (OWF) infrastructure generates a turbulent vortex wake that is hypothesised to enhance seabed stress and water column turbulence mixing, thereby affect mobility, stratification, the transport of nutrients oxygen, result in ecological impact. We collect novel hydrodynamic data 40 m from an OWF monopile over spring-neap cycle, use high frequency velocity measurements quantify turbulence. Outside we observe classical depth-limited boundary layer,...