Since early publications in the late 1980s and early 1990s, the finite volume method has been shown suitable for solid mechanics analyses. At present, there are several flavours of the method, which can be classified in a variety of ways, such as gri...
This system description introduces an enhancement to the Yices2 SMT solver, enabling it to reason over non-linear polynomial systems over finite fields. Our reasoning approach fits into the model-constructing satisfiability (MCSat) framework and is b...
Non-linear polynomial systems over finite fields are used to model functional behavior of cryptosystems, with applications in system security, computer cryptography, and post-quantum cryptography. Solving polynomial systems is also one of the most di...
In this paper we show that some open set of the representations of the fundamental group of figure-eight knot complement found in \cite{Ballas12a} are the holonomies of a family of finite volume properly convex projective structures on the figure-eig...
Recent progress in the application of finite groups to neutrino mass matrices is reviewed, with special emphasis on the tetrahedral symmetry A_4....
We show that the monoid of all injective and extensive partial transformations of a chain with three elements admits no finite basis of its identities. This completes solving of the finite basis problem for the monoids in the basic frame of partial t...
We report on a method for compiling decision trees into weighted finite-state transducers. The key assumptions are that the tree predictions specify how to rewrite symbols from an input string, and the decision at each tree node is stateable in ter...
In this paper we develop the first fine-grained rounding error analysis of finite element (FE) cell kernels and assembly. The theory includes mixed-precision implementations and accounts for hardware-acceleration via matrix multiplication units, thus...
After recalling the definition of connectivity spaces and some of their main properties, a way is proposed to represent finite connectivity spaces by directed simple graphs. Then a connectivity structure is associated to each tame link. It is showe...
Deryagin, Grigoriev, and Rubakov (DGR) have shown that in finite-density QCD at infinite Nc the Fermi surface is unstable with respect to the formation of chiral waves with wavenumber twice the Fermi momentum, while the BCS instability is suppresse...
We study an implicit finite-volume scheme for non-linear, non-local aggregation-diffusion equations which exhibit a gradient-flow structure, recently introduced by Bailo, Carrillo, and Hu (2020). Crucially, this scheme keeps the dissipation property...
Given a discrete (resp. profinite) group $G$, we define $NCC(G)$ to be the smallest number of cyclic (resp. procyclic) subgroups of $G$ whose conjugates cover $G$. In this paper we determine all residually finite discrete groups with finite NCC and g...
Primitive element (finite field), an element that generates the multiplicative group of a finite field Primitive element (lattice), an element in a lattice
Finite element method (FEM) is a popular method for numerically solving differential equations arising in engineering and mathematical modeling. Typical
This paper presents the integration of OPC UA as a communication protocol in a wireless sensor network and the associated companion specifications as a semantic template for an information model. The Cyber Physical Finite Element Sensor Network (CPFE...
We consider discrete-time Markov decision processes in which the decision maker is interested in long but finite horizons. First we consider reachability objective: the decision maker's goal is to reach a specific target state with the highest possib...
Subgroups of direct products of finitely many finitely generated free groups form a natural class that plays an important role in geometric group theory. Its members include fundamental examples, such as the Stallings-Bieri groups. This raises the pr...
We exhibit some finite-volume cusped hyperbolic 5-manifolds that fiber over the circle. These include the smallest hyperbolic 5-manifold known, discovered by Ratcliffe and Tschantz. As a consequence, we build a finite type subgroup of a hyperbolic gr...
sphere packing concerns the question of how a finite number of equally-sized spheres can be most efficiently packed. The question of packing finitely
A "ham sandwich" theorem is established for n quaternionic Borel measures on quaternionic space H^n. For each finite subgroup G of S^3, it is shown that there is a quaternionic hyperplane H and a corresponding tiling of H^n into |G| fundamental regio...