相关论文: Spectral Synthesis on Continuous Images
In the field of image processing, applying intricate semantic modifications within existing images remains an enduring challenge. This paper introduces a pioneering framework that integrates viewpoint information to enhance the control of…
We introduce a synthetic aperture imaging framework that takes into consideration directional dependence of the reflectivity that is to be imaged, as well as its frequency dependence. We use an $\ell_1$ minimization approach that is…
We show equivalence of pure point diffraction and pure point dynamical spectrum for measurable dynamical systems build from locally finite measures on locally compact Abelian groups. This generalizes all earlier results of this type. Our…
Decidability and synthesis of inductive invariants ranging in a given domain play an important role in many software and hardware verification systems. We consider here inductive invariants belonging to an abstract domain $A$ as defined in…
Categorical spectra are spectrum objects in pointed $(\infty,\infty)$-categories: sequences $(X_n)$ equipped with equivalences $X_n\simeq \Omega X_{n+1}$. This thesis develops foundations for categorical spectra and constructs their tensor…
We give sufficient conditions for homotopical localization functors to preserve algebras over coloured operads in monoidal model categories. Our approach encompasses a number of previous results about preservation of structures under…
Let $A$ and $B$ be abelian varieties defined over the function field $k(S)$ of a smooth algebraic variety $S/k.$ We establish criteria, in terms of restriction maps to subvarieties of $S,$ for existence of various important classes of…
This paper introduces the notion of local spectral expansion of a simplicial complex as a possible analogue of spectral expansion defined for graphs. We show the condition of local spectral expansion has several nice implications. For…
This study investigates identity-preserving image synthesis, an intriguing task in image generation that seeks to maintain a subject's identity while adding a personalized, stylistic touch. Traditional methods, such as Textual Inversion and…
To achieve visual consistency in composite images, recent image harmonization methods typically summarize the appearance pattern of global background and apply it to the global foreground without location discrepancy. However, for a real…
One common task in image forensics is to detect spliced images, where multiple source images are composed to one output image. Most of the currently best performing splicing detectors leverage high-frequency artifacts. However, after an…
While the quality of GAN image synthesis has improved tremendously in recent years, our ability to control and condition the output is still limited. Focusing on StyleGAN, we introduce a simple and effective method for making local,…
Spatial variables can be observed in many different forms, such as regularly sampled random fields (lattice data), point processes, and randomly sampled spatial processes. Joint analysis of such collections of observations is clearly…
A rigorous homogenization theory is derived to describe the effective admittivity of cell suspensions. A new formula is reported for dilute cases that gives the frequency-dependent effective admittivity with respect to the membrane…
If two signals are phase synchronous then the respective Fourier component at each spectral band should exhibit certain properties. In a pair of artificially generated phase synchronous signals the phase difference at each frequency band…
Consider the wave equation with heterogeneous coefficients in the homogenization regime. At large times, the wave interacts in a nontrivial way with the heterogeneities, giving rise to effective dispersive effects. The main achievement of…
In earlier papers it was shown that the generic tropical variety of an ideal can contain information on algebraic invariants as for example the depth in a direct way. The existence of generic tropical varieties has so far been proved in the…
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…
In recent years the topic of localized wave solutions of the homogeneous scalar wave equation, i.e., the wave fields that propagate without any appreciable spread or drop in intensity, has been discussed in many aspects in numerous…
We define the concept of an affinized projective variety and show how one can, in principle, obtain q-identities by different ways of computing the Hilbert series of such a variety. We carry out this program for projective varieties…