We present the tool Kato which is, to the best of our knowledge, the first tool for plagiarism detection that is directly tailored for answer-set programming (ASP). Kato aims at finding similarities between (segments of) logic programs to help detecting cases of plagiarism. Currently, the tool is realised for DLV programs but it is designed to handle various logic-programming syntax versions. W...

In this paper we generalize the concept of Koliha-Drazin invertible operators by introducing generalized Drazin-1-meromorphic operators. A bounded linear operator T on a Banach space X is said to be 1-meromorphic if every non-zero point its spectrum an isolated point. For say that it there exists S acting such TS = ST, STS S, TST ? 1-meromorphic, while admits Kato-1-meromorphic decomposition pa...

Let E be an elliptic curve over Q and A another elliptic curve over a real quadratic number field. We construct a Q-motive of rank 8, together with a distinguished class in the associated Bloch–Kato Selmer group, using Hirzebruch–Zagier cycles, that is, graphs of Hirzebruch–Zagier morphisms. We show that, under certain assumptions on E and A, the non-vanishing of the central critical value of t...

In this paper we show that the existence of algebro-geometrical analogs of the higher Morava K-theories satisfying some basic properties would imply the Bloch-Kato conjecture with Z/2-coefficients for fields which admit resolution of singularities (see [2] for a precise formulation of this condition). Our approach is inspired by two different ideas. The first is the use of algebraic K-theory an...

In this article, we study the Beilinson–Bloch–Kato conjecture for motives associated to Rankin–Selberg products of conjugate self-dual automorphic representations, within framework Gan–Gross–Prasad conjecture. We show that if central critical value L-function does not vanish, then Bloch–Kato Selmer group with coefficients in a favorable field corresponding motive vanishes. also class constructe...

s untimely death will ultimately leave a void with those who were fortunate to know him personally and those who worked with him professionally. Dr. Kato leaves behind a lasting legacy as a clinician, administrator and mentor in the field of reproductive medicine and will be remembered as a pioneer and statesman in the developments of natural and mild stimulation cycle IVF, vitrification of unf...

BACKGROUND In some tropical countries, such as Brazil, schistosomiasis control programs have led to a significant reduction in the prevalence and parasite burden of endemic populations. In this setting, the Kato-Katz technique, as the standard diagnostic method for the diagnosis of Schistosoma mansoni infections, which involves the analysis of two slides from one fecal sample, loses its sensiti...

in this paper, a thermoelasticity solution for steady state response of thick cylinders which are subjected to pressure and external heat flux in inner surface is presented. displacement field obeys the kinematics of the first order shear deformation theory (fsdt). it is assumed that the temperature varies both along the length and the thickness. the variation of the temperature occurs linearly...

An extension of Kato’s stability condition for nonautonomous Cauchy problems is presented. It is proved that in the commutative case this condition and a mild regularity assumption imply wellposedness. If one supposes the Kato-stability, then the solutions are given by an integral formula. By means of examples we show that in general these stability conditions cannot be omitted in our results. ...

Received: November 10, 2010 Accepted: December 15, 2010 Correspondence: Dr. Noriko Kato, Department of Health Promotion, National Institute of Public Health, 2-3-6 Minami, Wako-shi, Saitama 351-0197, Japan E-mail: [email protected] Supported by a grant from the Ministry of Health, Labour and Welfare of Japan. The Cubic Functions for Spline Smoothed L, S and M Values for BMI Reference Data of Japa...