We provide unconditional constructions of concurrent statistical zero-knowledge proofs for a variety of non-trivial problems (not known to have probabilistic polynomial-time algorithms). The problems include Graph Isomorphism, Graph Nonisomorphism, Quadratic Residuosity, Quadratic Nonresiduosity, a restricted version of Statistical Difference, and approximate versions of the (coNP forms of the)...

A great share of applications in modern information technology can benefit from large coverage, machine accessible knowledge bases. However, the bigger part of todays knowledge is provided in the form of unstructured data, mostly plain text. As an initial step to exploit such data, we present Wanderlust, an algorithm that automatically extracts semantic relations from natural language text. The...

The popularization of parallelism is arguably the most fundamental computing challenge for years to come. We present an approach where parallel programming takes place in a restricted (sub-Turing-complete), logic-based declarative language, embedded in Java. Our logic-based language, PQL, can express the parallel elements of a computing task, while regular Java code captures sequential elements...

PEGs are a formal grammar foundation for describing syntax, and are not hard to generate parsers with a plain recursive decent parsing. However, the large amount of C-stack consumption in the recursive parsing is not acceptable especially in resource-restricted embedded systems. Alternatively, we have attempted the machine virtualization approach to PEG-based parsing. MiniNez, our implemented v...

Association rule mining is an important data mining problem. Since its inception, different variants of rules has been proposed in the literature. In each case, different attributes (e.g., weight and quantity) are considered to obtain more informative rules. To our knowledge, each proposal is based on the Apriori algorithm that is, in modern context, inefficient. Methods that outperform the Apr...

The potential of wind power as a global source of electricity is assessed by using winds derived through assimilation of data from a variety of meteorological sources. The analysis indicates that a network of land-based 2.5-megawatt (MW) turbines restricted to nonforested, ice-free, nonurban areas operating at as little as 20% of their rated capacity could supply >40 times current worldwide con...

We present a concurrent higher-order programming language called Plain and a concomitant static type system. Plain is based on logic variables and computes with possibly partial data structures. The data structures of Plain are procedures, cells, and records. Plain’s type system features record-based subtyping, bounded existential polymorphism, and access modalities distinguishing between readi...

On occasion gastric ulcers may be recognized on plain abdominal radiographs. A case in which a gastric ulcer was diagnosed on the plain abdominal radiograph, illustrating the importance of careful scrutiny of the plain film in all cases of acute abdomen, is presented. The existence of the lesser curvature ulcer was confirmed on barium contrast studies.