相关论文: A numerical toolkit for multiprojective varieties

We define a quasi--projective reduction of a complex algebraic variety $X$ to be a regular map from $X$ to a quasi--projective variety that is universal with respect to regular maps from $X$ to quasi--projective varieties. A toric…

Neural Sequence-to-Sequence models have proven to be accurate and robust for many sequence prediction tasks, and have become the standard approach for automatic translation of text. The models work in a five stage blackbox process that…

Optical projection tomography (OPT) is a powerful tool for biomedical studies. It achieves 3D visualization of mesoscopic biological samples with high spatial resolution using conventional tomographic-reconstruction algorithms. However,…

This paper presents a methodology that forms an automated tool for robot kinematic representation conversion, called the RobKin Interpreter. It is a set of analytical algorithms that apply basic linear algebra tools that can analyze an…

The ever-growing appearance of infinitely divisible laws and related processes in various areas, such as physics, mathematical biology, finance and economics, has fuelled an increasing demand for numerical methods of sampling and sample…

Today, one's disposes of large datasets composed of thousands of geographic objects. However, for many processes, which require the appraisal of an expert or much computational time, only a small part of these objects can be taken into…

The output of an automated theorem prover is usually presented by using a text format, they are often too heavy to be understood. In model checking setting, it would be helpful if one can observe the structure of models and the verification…

In this paper, we ask if it is possible to increase the interpretability in multivariate analysis by aligning and projecting covariates onto comparative subspaces. We demonstrate our method as well as the interpretative power of PLS…

For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick…

We develop a `universal' support theory for derived categories of constructible (analytic or \'etale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated…

We construct some irreducible representations of the Leavitt path algebra of an arbitrary quiver. The constructed representations are associated to certain algebraic branching systems. For a row-finite quiver, we classify algebraic…

In this paper, we present a supervised learning technique that utilizes artificial neural networks to design new collective entanglement witnesses for two-qubit and qubit-qutrit systems. Machine-designed collective entanglement witnesses…

Few-shot object detection aims to detect instances of specific categories in a query image with only a handful of support samples. Although this takes less effort than obtaining enough annotated images for supervised object detection, it…

We describe a method for an explicit determination of indecomposable preprojective and preinjective representations for extended Dynkin quivers by vector spaces and matrices. This method uses tilting theory and the explicit knowledge of…

Class-agnostic counting (CAC) aims to count objects of interest from a query image given few exemplars. This task is typically addressed by extracting the features of query image and exemplars respectively and then matching their feature…

Inside a product of projective spaces, we try to understand which Chow classes come from irreducible subvarieties. The answer is closely related to the theory of integer polymatroids. The support of a representable class can be (partially)…

Modern java programs consist of large number of classes as well as vast amount of objects instantiated during program execution. Software developers are always keen to know the number of objects created for each class. This information is…

Recent object detection systems rely on two critical steps: (1) a set of object proposals is predicted as efficiently as possible, and (2) this set of candidate proposals is then passed to an object classifier. Such approaches have been…

Projections onto sets are used in a wide variety of methods in optimization theory but not every method that uses projections really belongs to the class of projection methods as we mean it here. Here projection methods are iterative…

Training object detection models usually requires instance-level annotations, such as the positions and labels of all objects present in each image. Such supervision is unfortunately not always available and, more often, only image-level…