We introduce a new class VPSPACE of families of polynomials. Roughly speaking, a family of polynomials is in VPSPACE if its
coefficients can be computed in polynomial space. Our main theorem is that if (uniform, constant-free) VPSPACE families can
be evaluated efficiently then the class
\sf PAR\mathbb R\sf {PAR}_{\mathbb {R}} of decision problems that can be solved in parallel polynomial time over the real numbers collapses to
\sfP\mathbb R\sf{P}_{\mathbb {R}}. As a result, one must first be able to show that there are VPSPACE families which are hard to evaluate in order to separate
\sfP\mathbb R\sf{P}_{\mathbb {R}} from
\sfNP\mathbb R\sf{NP}_{\mathbb {R}}, or even from
\sfPAR\mathbb R\sf{PAR}_{\mathbb {R}}. 相似文献
OBJECTIVE: To determine if antenatal vitamin K and phenobarbital therapy affect coagulation studies in umbilical blood at birth, and to provide 95% reference ranges for umbilical blood coagulation parameters in premature gestations. METHODS: Patients at imminent risk for spontaneous or indicated premature delivery less than 34 weeks' gestation were randomized to receive either placebo or vitamin K and phenobarbital. Prothrombin time (PT), activated partial thromboplastin time (PTT), functional coagulation factors, and decarboxylated prothrombin assays were performed on umbilical blood specimens. Decarboxylated prothrombin, also known as "protein induced by vitamin K absence-factor II" or precursor prothrombin, is a sensitive marker for vitamin K deficiency. Standardized values of PT and PTT are reported in seconds and standardized values of factor assays in percentage of normal adult functional activity (mean +/- one standard deviation). RESULTS: Newborns in the placebo and treatment groups had similar umbilical blood PT (12.6 +/- 1.2 versus 12.7 +/- 1.4 seconds), PTT (48.8 +/- 13.4 versus 49.6 +/- 13.8 seconds), and functional activity of factor II (40.3 +/- 12.5 versus 42.0 +/- 12.1%), factor VII (67.0 +/- 20.9 versus 66.8 +/- 18.9%), factor IX (27.4 +/- 12.8 versus 25.8 +/- 8.9%), and factor X (47.0 +/- 12.8 versus 49.2 +/- 11.6%). Newborns in the treatment group were about half as likely as those in the placebo group to have detectable decarboxylated prothrombin levels in umbilical blood at birth (gestational age-adjusted odds ratio 0.47, 95% confidence interval 0.22-1.01; P = .05). CONCLUSIONS: Combined maternal therapy with vitamin K and phenobarbital before premature delivery does not affect umbilical blood PT, PTT, or functional activity of vitamin K-dependent coagulation factors II, VII, IX, and X. However, it is associated with the reduced presence of decarboxylated prothrombin in umbilical blood at birth. There is significant improvement in umbilical blood coagulation tests as gestational age advances from 24 to 34 weeks. 相似文献
Photo- and charge-carrier-induced ion migration is a major challenge when utilizing metal halide perovskite semiconductors for optoelectronic applications. For mixed iodide/bromide perovskites, the compositional instability due to light- or electrical bias induced phase-segregation restricts the exploitation of the entire bandgap range. Previous experimental and theoretical work suggests that excited states or charge carriers trigger the process, but the exact mechanism is still under debate. To identify the mechanism and cause of light-induced phase-segregation phenomena, the full compositional range of methylammonium lead bromide/iodide samples are investigated, MAPb(BrxI1-x)3 with x = 0…1, by simultaneous in situ X-ray diffraction (XRD) and photoluminescence (PL) spectroscopy during illumination. The quantitative comparison of composition-dependent in situ XRD and PL shows that at excitation densities of 1 sun, only the initial stage of photo-segregation is rationalized with the previously established thermodynamic models. However, a progression of the phase segregation is observed that is rationalized by considering long-lived accumulative photo-induced material alterations. It is suggested that (additional) photo-induced defects, possibly halide vacancies and interstitials, need to be considered to fully rationalize light-induced phase segregation and anticipate the findings to provide crucial insight for the development of more sophisticated models. 相似文献
Wireless Personal Communications - The Invisible Internet Project (I2P) as a secure protocol uses robust mechanisms and strong algorithms to reinforce the security and the anonymity of the... 相似文献
The joint estimation of the location vector and the shape matrix of a set of independent and identically Complex Elliptically Symmetric (CES) distributed observations is investigated from both the theoretical and computational viewpoints. This joint estimation problem is framed in the original context of semiparametric models allowing us to handle the (generally unknown) density generator as an infinite-dimensional nuisance parameter. In the first part of the paper, a computationally efficient and memory saving implementation of the robust and semiparmaetric efficient R-estimator for shape matrices is derived. Building upon this result, in the second part, a joint estimator, relying on the Tyler’s M-estimator of location and on the R-estimator of shape matrix, is proposed and its Mean Squared Error (MSE) performance compared with the Semiparametric Cramér-Rao Bound (SCRB).
Journal of Automated Reasoning - Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its... 相似文献
Recent advances in design theory help clarify the logic, forms and conditions of generativity. In particular, the formal model of forcing predicts that high-level generativity (so-called generic generativity) can only be reached if the knowledge structure meets the ‘splitting condition’. We test this hypothesis for the case of Bauhaus (1919–1933), where we can expect strong generativity and where we have access to the structures of knowledge provided by teaching. We analyse teaching at Bauhaus by focusing on the courses of Itten and Klee. We show that these courses aimed to increase students’ creative design capabilities by providing the students with methods of building a knowledge base with two critical features: (1) a knowledge structure that is characterized by non-determinism and non-modularity and (2) a design process that helps students progressively ‘superimpose’ languages on the object. From the results of the study, we confirm the hypothesis deduced from design theory; we reveal unexpected conditions on the knowledge structure required for generativity and show that the structure is different from the knowledge structure and design process of engineering systematic design and show that the conditions required for generativity, which can appear as a limit on generativity, can also be positively interpreted. The example of Bauhaus shows that enabling a splitting condition is a powerful way to increase designers’ generativity. 相似文献
Rat adrenal chromaffin cells attached to either collagen-coated dextran (Cytodex 3) or glass bead microcarriers, both of 90-200 microns diameter, were used as dopamine-secreting implants in the caudate-putamen of rats with 6-hydroxydopamine-induced unilateral lesions of the substantia nigra. As controls, beads without cells and cells in suspension alone were implanted. Chromaffin cells adhered to microcarriers reduced apomorphine-induced rotation by 75% in lesioned animals. Animals that were lesioned but not receiving cell implants or receiving beads alone showed no reduction. Animals implanted with cells not attached to beads also showed a reduction in rotation but this effect lasted less than three months. Microcarrier-attached cells, however, maintained their effect in reducing rotation for at least eight months (rotations were reduced from a control mean of 10.9 +/- 1.4 to 3.6 +/- 1.1 turns/min) without any "drop-off" of the effect. Histological examination showed that eight months post-implant the cells pre-adhered to beads were still present and could be stained by anti-tyrosine hydroxylase antibody. Sections stained with hematoxylin-eosin showed no signs of an inflammatory response. In contrast to beads implanted into the striatum, Cytodex bead implants injected into the lateral ventricle induced a histopathological response appearing to involve the ependyma and choroid plexus. Results suggest that the striatal parenchyma but not the ventricle is amenable to studies using the microcarrier approach to transplantation. 相似文献
Male rats have been observed to display erections when exposed to inaccessible estrous females, and it was suggested that these "noncontact erections" (NCEs) represent a species-typical response that may index sexual arousal. Initial efforts in other laboratories to repeat and extend this research were unsuccessful, and it appeared that differences in the rat strains being used might be responsible. To address this question NCE tests were given to rats of two albino strains, Wistar and Sprague-Dawley, and two pigmented strains, hooded Long-Evans and inbred Brown Norway. A high proportion of Long-Evans and Brown Norway rats displayed NCEs, whereas Wistar and Sprague-Dawley albino rats rarely did. Additional experiments did not reveal the reasons for the strain difference in NCE, but they provided evidence against hypotheses based on the relative erectogenic effect of albino and hooded estrous females, the attention paid to estrous females, the motor repertoire, or erectile function per se. Albinism-related neural pathology, possibly outside of the visual system, may contribute to the deficit in NCE in albino rats. 相似文献
This paper proposes to decompose the nonlinear dynamic of a chaotic system with Chebyshev polynomials to improve performances
of its estimator. More widely than synchronization of chaotic systems, this algorithm is compared to other nonlinear stochastic
estimator such as Extended Kalman Filter (EKF) and Unscented Kalman Filter (UKF). Chebyshev polynomials orthogonality properties
is used to fit a polynomial to a nonlinear function. This polynomial is then used in an Exact Polynomial Kalman Filter (ExPKF)
to run real time state estimation. The ExPKF offers mean square error optimality because it can estimate exact statistics
of transformed variables through the polynomial function. Analytical expressions of those statistics are derived so as to
lower ExPKF algorithm computation complexity and allow real time applications. Simulations under the Additive White Gaussian
Noise (AWGN) hypothesis, show relevant performances of this algorithm compared to classical nonlinear estimators. 相似文献