In FOCS 2001 Barak et al. conjectured the existence of zero-knowledge arguments that remain secure against resetting provers and resetting verifiers. The conjecture was proven true by Deng et al. in FOCS 2009 under various complexity assumptions and requiring a polynomial number of rounds. Later on in FOCS 2013 Chung et al. improved the assumptions requiring one-way functions only but still wit...

To the Editor In an article entitled “Prognostic Significance of CXCL12 Expression in Patients With Colorectal Carcinoma,”1 we found that the authors may have inadvertently annotated CAM5.2 as cytokeratins (CKs) 8 and 18 by using a pair of square brackets to reference some reports, which might suggest that CAM5.2 is identical to CK8 and CK18. Becton Dickinson (BD) Biosciences revised the data s...

1 Institute of Statistics, National Central University, Chung-Li, Taiwan, ROC 2 Institute of Space Science, National Central University, Chung-Li, Taiwan, ROC 3 Center for Remote Sensing and Space Researches, National Central University, Chung-Li, Taiwan, ROC 4 Institute of Geophysics, National Central University, Chung-Li, Taiwan, ROC * Corresponding author address: Dr. Yuh-Ing Chen, Institute...

The (q, r)-Eulerian polynomials are the (maj−exc, fix, exc) enumerative polynomials of permutations. Using Shareshian and Wachs’ exponential generating function of these Eulerian polynomials, Chung and Graham proved two symmetrical q-Eulerian identities and asked for bijective proofs. We provide such proofs using Foata and Han’s three-variable statistic (inv−lec, pix, lec). We also prove a new ...

195 1Center of General Education, Chung-Yuan Christian University, Chung-Li, Taiwan 2Atmospheric Sciences Research Center, State University of New York, at Albany, New York, USA *Corresponding author address: Prof. Ho-Ching Lee, Center of General Education, Chung-Yuan Christian University, Chung-Li, Taiwan, ROC; E-mail: [email protected] Aviation emissions of trace gases (NO x , CO, H 2 O, an...

Haviland and Thomason and Chung and Graham were the first to investigate systematically some properties of quasi-random hypergraphs. In particular, in a series of articles, Chung and Graham considered several quite disparate properties of random-like hypergraphs of density 1/2 and proved that they are in fact equivalent. The central concept in their work turned out to be the so called deviation...

Supervisory control of discrete event systems using limited lookahead has been studied by Chung-Lafortune-Lin, where control is computed by truncating the plant behavior up to the limited lookahead window. We present a modification of this approach in which the control is computed by extending the plant behavior by arbitrary traces beyond the limited lookahead window. The proposed supervisor av...

Nowadays, blockchain is an upcoming area for researchers from different research fields. Bitcoin, as the first successful cryptocurrency, has accumulated numerous data after its existence. Here, Bitcoin transaction graph a theory perspective investigated with more available given now. This paper mainly focuses on and provides both practical theoretical sides of data. Several existent measuremen...