We study the nondeterministic cell-probe complexity of static data structures. We introduce cell-probe proofs (CPP), a proof system for the cell-probe model, which describes verifications instead of computations in the cell-probe model. We present a combinatorial characterization of CPP. With this novel tool, we prove the following lower bounds for the nondeterministic cell-probe complexity of ...

the present meta-analysis was conducted to provide a quantitative measure of the overall effects of task complexity on chinese efl learners’ language production. based on the strict inclusion criteria, 12 primary studies were synthesized according to key features. eleven of them were meta-analyzed to investigate effects of raising the resource-directing task complexity. results revealed that ...

In the problem of perfectly reliable message transmission (PRMT), a sender S and a receiver R are connected by n bidirectional synchronous channels. A mixed adversary A(tb,tf ,tp) with infinite computing power controls tb, tf and tp channels in Byzantine, failstop and passive fashion respectively. Inspite of the presence of A(tb,tf ,tp), S wants to reliably send a message m to R, using some pro...

In this paper, a complexity factor is devised for non-static cylindrical system in the framework of massive Brans–Dicke theory. The definition developed by taking into account essential physical characteristics (such as anisotropy and inhomogeneity.) system. order to determine self-gravitating object, we acquire structure scalars from orthogonal splitting Riemann tensor. Moreover, discuss two p...

Abstract: This paper proposes a novel scheme for multi-static passive radar processing, based on soft-input soft-output processing and Bayesian sparse estimation. In this scheme, each receiver estimates the probability of target presence based on its received signal and the prior information received from a central processor. The resulting posterior target probabilities are transmitted to the c...

Manufacturing systems are complex. They consist of many interrelated subsystems and elements. This study proposes and tests a quantitative measure for the manufacturing complexity that results from system design, referred to as internal static manufacturing complexity. The quantitative measure, ISMC, consisting of eight measurable factors identified from the literature. A large set of simulatio...

The purpose of this paper is to examine the multidisciplinary design optimization (MDO) of a reentry vehicle. In this paper, optimization of a RV based on, minimization of heat flux integral and minimization of axial force coefficient integral and maximization of static margin integral along reentry trajectory is carried out. The classic optimization methods are not applicable here due to the c...

We present iSAPP (Imperative Static Analyser for Probabilistic Polynomial Time), a complexity verifier tool that is sound and extensionally complete for the Probabilistic Polynomial Time (PP) complexity class. iSAPP works on an imperative programming language for stack machines. The certificate of polynomiality can be built in polytime, with respect to the number of stacks used. 1998 ACM Subjec...

background & aim: increasing economic role of medicinal herbs in recent society and complexity of modern technologies in production (planting and harvesting), transportation, storage, processing, quality evaluation, distribution, marketing and consumption of these products require a thorough understanding of their physical properties. coefficient of friction of plant on the various surfaces...