It is shown that, with respect to a random oracle, EXP \ P=poly and EXP ? P=poly do not have resource-bounded measure zero in EXP:

Abstract Let $X \subset \mathbb{C}^{n}$ be an algebraic variety, and let $\Lambda a discrete subgroup whose real complex spans agree. We describe the topological closure of image $X$ in $\mathbb{C}^{n} / \Lambda $, thereby extending result Peterzil–Starchenko case when $ is cocompact. also obtain similar extension $X\subset \mathbb{R}^{n}$ definable o-minimal structure with no restrictions on a...

Every model of I∆0 is the tally part of a model of the stringlanguage theory Th-FO (a main feature of which consists in having induction on notation restricted to certain AC sets). We show how to “smoothly” introduce in Th-FO the binary length function, whereby it is possible to make exponential assumptions in models of Th-FO. These considerations entail that every model of I∆0 + ¬exp is a prop...

We present a static analysis technique for the verification of cryptographic protocols, specified in a process calculus. Rather than assuming a specific, fixed set of cryptographic primitives, we only require them to be specified through a term rewriting system, with no restrictions. Examples are provided to support our analysis. First, we tackle forward secrecy for a Diffie-Hellman-based proto...

The goal of online prediction with expert advice is to find a decision strategy which will perform almost as well as the best expert in a given pool of experts, on any sequence of outcomes. This problem has been widely studied and O( √ T ) and O(log T ) regret bounds can be achieved for convex losses (Zinkevich (2003)) and strictly convex losses with bounded first and second derivatives (Hazan ...

We investigate the lower bounds of queries required by the polynomial time Turing reductions from exponential time classes to the sets of small density. For complexity classes E= DTIME(2 O(n)) and EXP=DTIME(2 n O(1)), the following results are shown in this paper. (1) For any a < 1, every EXP-P n a ?T-hard set is exponentially dense. This yields EXP6 6 P n a ?T (SPARSE) for all a < 1. (2)For an...

ObjectivesTwo configurations of TTTTA/TTTCA expansion in SAMD12 have been identified familial cortical myoclonic tremor with epilepsy type 1 (FCMTE1). This study investigated the clinical and neurophysiological features FCMTE1 their association patterns.MethodsIn total, 76 patients from 20 Chinese pedigrees were enrolled. Genetic (TTTTA/TTTCA configuration), (e.g., onset, medication, prognosis,...

A coupled atmosphere–ocean data assimilation system, the Meteorological Research Institute-Coupled Data Assimilation System Version 1 (MRI-CDA1), was developed based on general circulation model and separate atmosphere ocean analysis routines operated by Japan Agency (JMA). To implement assimilation, 6-hr cycles with in outer loop are adopted atmospheric whereas incremental updates 10-day assim...

The objective of this research was to examine the effect of high concentrations of nonprotein nitrogen (NPN) on the voluntary food intake of sheep fed high-quality grasses. Wether lambs (n = 6 per treatment) were fed dried switchgrass (Panicum virgatum L.; Exp. 1) or dried tall fescue (Festuca arundinacea Schreb.; Exp. 2). In both experiments, urea was added to the dried forage at 0 (control), ...