相关论文: FTheoryTools: Advancing Computational Capabilities…

The most general gauge-invariant marginal deformation of four-dimensional abelian BF-type topological field theory is studied. It is shown that the deformed quantum field theory is topological and that its observables compute, in addition…

This thesis presents several new insights on the interface between mathematics and theoretical physics, with a central role for fermions on Riemann surfaces. First of all, the duality between Vafa-Witten theory and WZW models is embedded…

The layering approach used in fused filament fabrication (FFF) enables creation of complex designs generated by topology optimization. Defects associated with the layer-by-layer process, introduce considerable random variability to the…

Many interesting phenomena are characterized by the complex interaction of different physical processes, each often best modeled numerically via a specific approach. In this paper, we present the design and implementation of an…

Fourier solvers have become efficient tools to establish structure-property relations in heterogeneous materials. Introduced as an alternative to the Finite Element (FE) method, they are based on fixed-point solutions of the…

Finding an appropriate turbulence model for a given flow case usually calls for extensive experimentation with both models and numerical solution methods. This work presents the design and implementation of a flexible, programmable software…

Compared to overlay-based tensor architectures like VTA or Gemmini, compilers that directly translate machine learning models into a dataflow architecture as HLS code, such as HLS4ML and FINN, generally can achieve lower latency by…

The simulation of fracture using continuum ductile damage models attains a pathological discretization dependence caused by strain localization, after loss of ellipticity of the problem, in regions whose size is connected to the spatial…

$\textit{A priori}$ prediction of phase stability of materials is a challenging practice, requiring knowledge of all energetically-competing structures at formation conditions. Large materials repositories $\unicode{x2014}$ housing…

This paper covers two major subjects: First, the presentation of a new open-source library called FMI.jl for integrating FMI into the Julia programming environment by providing the possibility to load, parameterize and simulate FMUs.…

The goal of this study is to introduce a unified computational framework for simulating random iteration equations (RIE), understood as iteration equations containing random variables. The novelty of this work is that full probability…

The ability to represent perturbative expansions of interacting quantum field theories in terms of simple diagrammatic rules has revolutionized calculations in particle physics (and elsewhere). Moreover, these rules are readily automated, a…

We explain how, starting with a stack of D4-branes ending on an NS5-brane in type IIA string theory, one can, via T-duality and the topological-holomorphic nature of the relevant worldvolume theories, relate (i) the lattice models realized…

FourNetFlows, the abbreviation of Fourier Neural Network for Airfoil Flows, is an efficient model that provides quick and accurate predictions of steady airfoil flows. We choose the Fourier Neural Operator (FNO) as the backbone architecture…

The idea of assisting teachers with technological tools is not new. Mathematics in general, and geometry in particular, provide interesting challenges when developing educative softwares, both in the education and computer science aspects.…

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

Flutter stability is a dominant design constraint of modern gas and steam turbines. To further increase the feasible design space, flutter-tolerant designs are currently explored, which may undergo Limit Cycle Oscillations (LCOs) of…

The realization of novel technological opportunities given by computational and autonomous materials design requires efficient and effective frameworks. For more than two decades, aflow++ (Automatic-Flow Framework for Materials Discovery)…

Uncovering rationales behind predictions of graph neural networks (GNNs) has received increasing attention over the years. Existing literature mainly focus on selecting a subgraph, through combinatorial optimization, to provide faithful…

We study heterotic $E_8\times E_8$ models that are dual to compactifications of F-theory and type IIA string on certain classes of elliptically fibered Calabi-Yau manifolds. Different choices for the specific torus in the fibration have…