منابع مشابه
Birationality of Pluricanonical Systems
By using the theory of AZD originated by the author, I prove that for every smooth projective n-fold X of general type and every
متن کاملEnhancing Patching Performance Through Double Patching
Patching is an efficient bandwidth-sharing technique for video-on-demand systems. Its performance, however, has limitation: as the time distance to the last regular multicast enlarges, the patching cost for new requests increases and eventually, a new regular multicast must be scheduled to balance the cost. In this paper, we address this problem by proposing a new technique called Double Patchi...
متن کاملPlanning and Patching Proof
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fails, these failures can be analyzed and a patch formulated and applied. We also describe rippling: a powerful proof method used in proof planning. We pose and answer a number of common questions about proof planning a...
متن کاملBirationality of étale maps via surgery
We use a counting argument and surgery theory to show that if D is a sufficiently general algebraic hypersurface in C, then any local diffeomorphism F : X → C of simply connected manifolds which is a d-sheeted cover away from D has degree d = 1 or d = ∞ (however all degrees d > 1 are possible if F fails to be a local diffeomorphism at even a single point). In particular, any étale morphism F : ...
متن کاملTractability of Theory Patching
In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled training examples for the domain concept. The theory patching problem is to revise only the indicated components of the theory, such that the resulting theory correctly classiies all the training examples. Theory patchi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1994
ISSN: 0021-8693
DOI: 10.1006/jabr.1994.1023