This paper presents the TransBoat, a novel omnidirectional unmanned surface vehicle (USV) with a magnetbased docking system for overwater construction with wave disturbances. This is the first such USV that can build overwater structures by transport...
Bryce is distinctive due to geological structures called hoodoos, formed by frost weathering and stream erosion of the river and lake bed sedimentary rock. The red, orange, and white colors of the rocks …
We investigate the relation between the phase space structure of Hamiltonian and non-Hamiltonian deterministic thermostats. We show that phase space structures governing reaction dynamics in Hamiltonian systems map to the same type of phase space s...
Kornel Szlachányi recently used the term skew-monoidal category for a particular laxified version of monoidal category. He showed that bialgebroids $H$ with base ring $R$ could be characterized in terms of skew-monoidal structures on the category of...
Advancements in the fabrication of silicon dangling bonds (SiDBs) reveal a potential platform for clocked field coupled nanocomputing structures. This work introduces PoisSolver, a finite element simulator for investigating clocked SiDB systems in th...
We present a formal analysis, in Isabelle/HOL, of optimisation algorithms for matroids, which are useful generalisations of combinatorial structures that occur in optimisation, and greedoids, which are a generalisation of matroids. Although some form...
The Dalgaranga meteorite crater, 100 km northeast of Yalgoo, Western Australia, was one of the first impact structures identified in Australia, the smallest isolated crater found in Australia, and the only confirmed crater in the world associated wit...
15 hours ago · The repression that followed Venezuela’s presidential elections in July 2024 devastated the internal structures of the parties within the Unitary Platform, the umbrella alliance that brings …
The radiation efficiency from simple vibrating planar surfaces is often used as a basis to describe the sound radiation from more complex structures, having important applications in various fields of acoustics. The low-frequency radiation efficiency...
The dynamics of networks of interacting systems depends intricately on the interaction topology. When the dynamics is explored, generally the whole topology has to be considered. However, we show that there are certain mesoscale subgraphs that have p...
Knowledge graphs contain rich relational structures of the world, and thus complement data-driven machine learning in heterogeneous data. One of the most effective methods in representing knowledge graphs is to embed symbolic relations and entities i...
Robust aggregation integrates predictions from multiple experts without knowledge of the experts' information structures. Prior work assumes experts are Bayesian, providing predictions as perfect posteriors based on their signals. However, real-world...
A graph database (GDB) is a database that uses graph structures for semantic queries with nodes, edges, and properties to represent and store data. A key
Principal component analysis (PCA) is a popular dimension reduction technique often used to visualize high-dimensional data structures. In genomics, this can involve millions of variables, but only tens to hundreds of observations. Theoretically, suc...
We construct a smooth Deligne-Mumford compactification for the moduli space of curves with an m-tuple of spin structures using line bundles on quasi-stable curves as limiting objects, as opposed to line bundles on stacky curves. For all m, we give a...
Dielectric loaded structures are promising candidates for use in the structure wakefield acceleration (SWFA) technique, for both the collinear wakefield and the two-beam acceleration (CWA and TBA respectively) approaches, due to their low fabrication...
A list of practical projects that anyone can solve in any programming language (See solutions). These projects are divided into multiple categories, and each category has its own folder. To get started, simply fork this repo. CONTRIBUTING See ways of contributing to this repo. Yo…
The new generation of laser-based solid-state lighting (SSL) white light sources requires new material systems capable of withstanding, diffusing and converting high intensity laser light. State-of-the-art systems use a blue light emitting diode (LED...