Related papers: Blowing up Stringy Canonical Forms: An Algorithm t…
In this paper a technique is given to recover the classical order of the method when explicit exponential Runge-Kutta methods integrate reaction-diffusion problems. Although methods of high stiff order for problems with vanishing boundary…
We consider anti-unification for simply typed lambda terms in associative, commutative, and associative-commutative theories and develop a sound and complete algorithm which takes two lambda terms and computes their generalizations in the…
This paper presents high-order integral equation methods for evaluation of electromagnetic wave scattering by dielectric bumps and dielectric cavities on perfectly conducting or dielectric half-planes. In detail, the algorithms introduced…
Localization properties of fields in compact extra dimensions are crucial ingredients for string model building, particularly in the framework of orbifold compactifications. Realistic models often require a slight deviation from the…
Finding all the words on a Boggle board is a classic computer programming problem. With a fast Boggle solver, local optimization techniques such as hillclimbing and simulated annealing can be used to find particularly high-scoring boards.…
A formalism based on the complex-scaling method is presented to solve the few particle scattering problem in configuration space using bound state techniques with trivial boundary conditions. Several applications to A=3,4 systems are…
This paper is concerned with blow-up solutions of the 4-dimensional energy critical heat equation $u_t=\Delta u + u^3$. Our main result is to show that the existence of type II blowup solutions, and…
This paper introduces an extension of the Morley element for approximating solutions to biharmonic equations. Traditionally limited to piecewise quadratic polynomials on triangular elements, the extension leverages weak Galerkin finite…
This paper is concerned with blow-up phenomena and global existence for a periodic two-component Hunter-Saxton system. We first derive the precise blow-up scenario for strong solutions to the system. Then, we present several new blow-up…
The $\lambda$-superposition calculus is a successful approach to proving higher-order formulas. However, some parts of the calculus are extremely explosive, notably due to the higher-order unifier enumeration and the functional…
The present paper is mainly concerned with the blow-up phenomena and exponential decay of solution for a three-component Camassa-Holm equation. Comparing with the result of Hu, ect. in the paper[1], a new wave-breaking solution is obtained.…
In this paper we show a general method to compactify certain open varieties by adding normal crossing divisors. This is done by proving that {\it blowing up along an arrangement of subvarieties} can be carried out. Important examples such…
A high-order numerical method is developed for solving the Cahn-Hilliard-Navier-Stokes equations with the Flory-Huggins potential. The scheme is based on the $Q_k$ finite element with mass lumping on rectangular grids, the second-order…
Product formula methods, particularly the second-order Suzuki decomposition, are an important tool for simulating quantum dynamics on quantum computers due to their simplicity and unitarity preservation. While higher-order schemes have been…
We investigate the folding problem that asks if a polygon P can be folded to a polyhedron Q for given P and Q. Recently, an efficient algorithm for this problem has been developed when Q is a box. We extend this idea to regular polyhedra,…
The higher order matching problem is the problem of determining whether a term is an instance of another in the simply typed $\lambda$-calculus, i.e. to solve the equation a = b where a and b are simply typed $\lambda$-terms and b is…
Cluster analysis plays an important role in decision making process for many knowledge-based systems. There exist a wide variety of different approaches for clustering applications including the heuristic techniques, probabilistic models,…
Building upon works of Hironaka, Bierstone-Milman, Villamayor and Wlodarczyk, we give an a priori estimate for the complexity of the simplified Hironaka algorithm. As a consequence of this result, we show that there exists canonical…
Several methods to improve the parton-shower description of hard processes by an injection of matrix-element-based information have been presented over the years. In this article we study (re)weighting schemes for the first/hardest…
The use of multivariate classifiers, especially neural networks and decision trees, has become commonplace in particle physics. Typically, a series of classifiers is trained rather than just one to enhance the performance; this is known as…