Related papers: Effective methods for plane quartics, their theta …
This volume contains papers presented at WLPE 2005, 15th International Workshop on Logic-based methods in Programming Environments. The aim of the workshop is to provide an informal meeting for the researchers working on logic-based tools…
This volume contains a selection of the papers presented at the 2nd International Workshop on Linearity (LINEARITY'2012), which took place 1 April 2012 in Tallinn, Estonia. The workshop was a one-day satellite event of ETAPS 2012, the 15th…
Aspects of the properties, enumeration and construction of points on diagonal and Hermitian surfaces have been considered extensively in the literature and are further considered here. The zeta function of diagonal surfaces is given as a…
The article is devoted to the searches for new particles predicted by physics beyond the Standard Model through the b-tagging algorithm. The dependence of b-tagging efficiency on the jet identification, impact parameter identification,…
In this article we explore compactifications of cluster varieties of finite type in complex dimension two. Cluster varieties can be viewed as the spec of a ring generated by theta functions and a compactification of such varieties can be…
In this workshop, we discuss several algorithms for mathematical programs with equilibrium constraints (MPECs). The unifying theme is that MPECs are optimization problems whose feasible set contains a lower-level equilibrium system, often…
This paper describes new techniques for learning atlas-like representations of 3D surfaces, i.e. homeomorphic transformations from a 2D domain to surfaces. Compared to prior work, we propose two major contributions. First, instead of…
We evaluate regularized theta lifts for Lorentzian lattices in three different ways. In particular, we obtain formulas for their values at special points involving coefficients of mock theta functions. By comparing the different…
We investigate the impact of topology on the phase structure of four-dimensional Causal Dynamical Triangulations (CDT). Using numerical Monte Carlo simulations we study CDT with toroidal spatial topology. We confirm existence of all four…
Segre surfaces in the title mean quartic surfaces in $\mathbb{CP}^4$ which are the images of weak del Pezzo surfaces of degree four under the anti-canonical map. We first show that minimal minitwistor spaces with genus one are exactly Segre…
In this paper we present an algorithm for computing a matrix representation for a surface in P^3 parametrized over a 2-dimensional toric variety T. This algorithm follows the ideas of [Botbol-Dickenstein-Dohm-09] and it was implemented in…
This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria. The workshop was a one-day satellite event of FLoC 2014, the sixth Federated Logic…
We introduce a generalized attention mechanism for spherical domains, enabling Transformer architectures to natively process data defined on the two-dimensional sphere - a critical need in fields such as atmospheric physics, cosmology, and…
We study the properties of $\text{CAT}(\kappa)$ surfaces: length metric spaces homeomorphic to a surface having curvature bounded above in the sense of satisfying the $\text{CAT}(\kappa)$ condition locally. The main facts about…
We derive formulas for the number of points on the basic stratum of certain Kottwitz varieties in terms of automorphic representations and certain explicit polynomials, for which we present efficient algorithms for computation. We obtain…
Complex engineering problems can be modelled as optimisation problems. For instance, optimising engines, materials, components, structure, aerodynamics, navigation, control, logistics, and planning is essential in aerospace. Metaheuristics…
The present paper introduces the $\eta$ and {\eta} connections in order to add regional information on $\lambda$-flat zones, which only take into account a local information. A top-down approach is considered. First $\lambda$-flat zones are…
The International Workshop on Locational Analysis and Related Problems will take place during January 30-February 1, 2019 in C\'adiz (Spain). It is organized by the Spanish Location Network and Location Group GELOCA (SEIO). GELOCA is a…
The article explores an encoding and structural information processing approach using sparse bit vectors and fixed-length linear vectors. The following are presented: a discrete method of speculative stochastic dimensionality reduction of…
Our research is motivated by recent work of Cook II, Harbourne, Migliore, and Nagel on configurations of points in the projective plane with properties that are unexpected from the point of view of the postulation theory. In this note, we…