Related papers: FTheoryTools: Advancing Computational Capabilities…
We investigate the physics of the E-string theory and its compactifications as well as their applications to four-dimensional topology. In particular, we compute the partition function of the topologically twisted theory on $M_4\times T^2$,…
MatchingTools is a Python library for doing symbolic calculations in effective field theory. It provides the tools to construct general models by defining their field content and their interaction Lagrangian. Once a model is given, the…
Sequence theories are an extension of theories of strings with an infinite alphabet of letters, together with a corresponding alphabet theory (e.g. linear integer arithmetic). Sequences are natural abstractions of extendable arrays, which…
The present research aims to provide a practical numerical tool for the mechanical analysis of nanoscale trusses with similar accuracy to molecular dynamics (MD). As a first step, MD simulations of uniaxial tensile and compression tests of…
With the growth of large language models, now incorporating billions of parameters, the hardware prerequisites for their training and deployment have seen a corresponding increase. Although existing tools facilitate model parallelization…
Structural identifiability and observability are desirable properties of systems biology models. Many software toolboxes have been developed for their analysis in the last decades. STRIKE-GOLDD is a generally applicable tool that can…
We study F-theory duals of six dimensional heterotic vacua in extreme regions of moduli space where the heterotic string is very strongly coupled. We demonstrate how to use orientifold limits of these F-theory duals to regain a perturbative…
I make a novel contact between string theory and degenerate fermion dynamics in thin semiconductors. Utilizing AdS/CFT correspondence in string theory and tunability of coupling parameters in condensed matter systems, I focus on the…
FeynRules is a Mathematica-based package which addresses the implementation of particle physics models, which are given in the form of a list of fields, parameters and a Lagrangian, into high-energy physics tools. It calculates the…
By algorithmic metatheorems for a model checking problem P over infinite-state systems we mean generic results that can be used to infer decidability (possibly complexity) of P not only over a specific class of infinite systems, but over a…
Trusses are load-carrying light-weight structures consisting of bars connected at joints ubiquitously applied in a variety of engineering scenarios. Designing optimal trusses that satisfy functional specifications with a minimal amount of…
Decades accumulation of theory simulations lead to boom in material database, which combined with machine learning methods has been a valuable driver for the data-intensive material discovery, i.e., the fourth research paradigm. However,…
We propose a simple extension of top-down decision tree learning heuristics such as ID3, C4.5, and CART. Our algorithm achieves provable guarantees for all target functions $f: \{-1,1\}^n \to \{-1,1\}$ with respect to the uniform…
One of the dualities in string theory, the F-theory/heterotic string duality in eight dimensions, predicts an interesting correspondence between two seemingly disparate geometrical objects. On one side of the duality there are elliptically…
The synergy between deep learning models and traditional automation tools, such as built-in tactics of the proof assistant and off-the-shelf automated theorem provers, plays a crucial role in developing robust and efficient neural theorem…
Semantic text matching is a critical problem in information retrieval. Recently, deep learning techniques have been widely used in this area and obtained significant performance improvements. However, most models are black boxes and it is…
Deterministic and nondeterministic finite automata (DFAs and NFAs) are abstract models of computation commonly taught in introductory computing theory courses. These models have important applications (such as fast regular expression…
This thesis is concerned with the geometry of toroidal orbifolds and their applications in string theory. By resolving the orbifold singularities via blow-ups, one arrives at a smooth Calabi-Yau manifold. The systematic method to do so is…
This thesis is almost entirely devoted to studying string theory backgrounds characterized by simple geometrical and integrability properties. The archetype of this type of system is given by Wess-Zumino-Witten models, describing string…
The rigorous solution to the grating diffraction problem is a cornerstone step in many scientific fields and industrial applications ranging from the study of the fundamental properties of metasurfaces to the simulation of photolithography…