Results 11 to 20 of about 877,501 (328)
Sound and Complete Typing for lambda-mu [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In this paper we define intersection and union type assignment for Parigot's calculus lambda-mu. We show that this notion is complete (i.e. closed under subject-expansion), and show also that it is sound (i.e. closed under subject-reduction).
Steffen van Bakel
doaj +1 more source
Noncommutative complete intersections
Journal of Algebra, 2015 Several generalizations of a commutative ring that is a graded complete intersection are proposed for a noncommutative graded $k$-algebra; these notions are justified by examples from noncommutative invariant theory.
Kirkman, E. +2 more
openaire +3 more sources
ELLIPTIC GENERA OF COMPLETE INTERSECTIONS [PDF]
International Journal of Mathematics, 2005 We propose a new definition of the elliptic genera for complete intersections, not necessarily nonsingular, in projective spaces. We also prove they coincide with the expressions obtained from Landau–Ginzburg model by an elementary argument.
Ma, Xiaoguang, Zhou, Jian
openaire +3 more sources
Inhabitation for Non-idempotent Intersection Types [PDF]
Logical Methods in Computer Science, 2018 The inhabitation problem for intersection types in the lambda-calculus is known to be undecidable. We study the problem in the case of non-idempotent intersection, considering several type assignment systems, which characterize the solvable or the ...
Antonio Bucciarelli +2 more
doaj +1 more source
Complete Intersection Fibers in F-Theory [PDF]
, 2015 Global F-theory compactifications whose fibers are realized as complete intersections form a richer set of models than just hypersurfaces. The detailed study of the physics associated with such geometries depends crucially on being able to put the ...
Braun, Volker +2 more
core +3 more sources
Heterotic instanton superpotentials from complete intersection Calabi-Yau manifolds
Journal of High Energy Physics, 2017 We study Pfaffians that appear in non-perturbative superpotential terms arising from worldsheet instantons in heterotic theories. A result by Beasley and Witten shows that these instanton contributions cancel among curves within a given homology class ...
Evgeny Buchbinder +3 more
doaj +1 more source
ICIoU: Improved Loss Based on Complete Intersection Over Union for Bounding Box Regression
IEEE Access, 2021 An object detector based on convolutional neural network (CNN) has been widely used in the field of computer vision because of its simplicity and efficiency.
Xufei Wang, Jeongyoung Song
doaj +1 more source
Isotrivial VMRT-structures of complete intersection type [PDF]
, 2017 The family of varieties of minimal rational tangents on a quasi-homogeneous projective manifold is isotrivial. Conversely, are projective manifolds with isotrivial varieties of minimal rational tangents quasi-homogenous?
Fu, B., Hwang, J.
core +3 more sources
SET-THEORETIC COMPLETE INTERSECTIONS ON BINOMIALS, THE SIMPLICIAL TORIC CASE
Pesquimat, 2014 Let V be a simplicial toric variety of codimension r over a field of any characteristic. We completely characterize the implicial toric varieties that are set-theoretic complete intersections on binomials. In particular we prove that: 1.
Margherita Barile +2 more
doaj +1 more source
Complete Call-by-Value Calculi of Control Operators II: Strong Termination [PDF]
Logical Methods in Computer Science, 2021 We provide characterization of the strong termination property of the CCV (complete call-by-value) lambda-mu calculus introduced in the first part of this series of the paper.
Ryu Hasegawa
doaj +1 more source