نتایج جستجو برای: optimized ctod formula
تعداد نتایج: 183871 فیلتر نتایج به سال:
In this article,the dissolution of Boric acid in different temperature conditions, with density functional theory (DFT) is studied. the Boric acid with chemical formula H3BO3 (sometimes written B(OH)3), and exists in the form of colorless crystals or a white powder that dis...
The calibration and performance of the opposite-side flavour tagging algorithms used for the measurements of time-dependent asymmetries at the LHCb experiment are described. The algorithms have been developed using simulated events and optimized and calibrated with B+→J/ψK+, B0→J/ψK∗0 and B0→D∗-μ+νμ decay modes with 0.37 fb-1 of data collected in pp collisions at [Formula: see text] during the ...
Combined the data of irrigation experiments in Hebei Province, The paper built an integrated system which integrates data input and output, management, analysis and decision. The system is based on GIS (Geographic Information System), DSS (Decision Support System) and crop water production formula. With the establishment of the system, the modern management level of non-full irrigation will be ...
A fuzzy clustering algorithm for intrusion detection based on heterogeneous attributes is proposed in this paper. Firstly, the algorithm modifies the comparability measurement for the categorical attributes according to the formula of Hemingway; then, for the shortages of fuzzy Cmeans clustering algorithm: initialize sensitively and easy to get into the local optimum, the presented new algorith...
We construct a strong physical unclonable function (PUF) with provable security against machine learning (ML) attacks on both classical and quantum computers. The is guaranteed by the cryptographic hardness of decryption functions public-key cryptosystems, learning-with-errors (LWE) problem defined integer lattices. call our construction lattice PUF. PUF physically obfuscated key an LWE block. ...
In this paper we present a fast tableau saturation strategy which can be used as an optimized decision procedure for some fragments of set theory. Such a strategy is based on the use of a model checking technique which guides the saturation process. As a result, it turns out that the saturation process converges much faster than previous decision algorithms either to a closed tableau or to a mo...
The crystal structure of tricaesium citrate monohydrate, 3Cs+·C6H5O73-·H2O, has been solved and refined using laboratory X-ray single-crystal diffraction data, and optimized using density functional techniques. This compound is isostructural to the K+ and Rb+ compounds with the same formula. The three independent Cs cations are eight-, eight-, and seven-coordinate, with bond-valence sums of 0.9...
Optimized design of the optical filters inside integrated color pixels (ICPs) for complementary metal-oxide semiconductor image sensors requires analytical models. ICP optical filters consist of subwavelength patterned metal layers. We show that a one-mode model, in which subwavelength gaps in the metal layer are described in terms of single-mode waveguides, suffices to predict the salient feat...
We discuss an adaptation of the technique of saturation up to redundancy, as introduced by Bachmair and Ganzinger [1], to tableau and sequent calculi for classical first-order logic. This technique can be used to easily show the completeness of optimized calculi that contain destructive rules e.g. for simplification, rewriting with equalities, etc., which is not easily done with a standard Hint...
In this paper, we investigate the relationship between the squared Weil/Tate pairing and the plain Weil/Tate pairing. Along these lines, we first show that the squared pairing for arbitrary chosen point can be transformed into a plain pairing for the trace zero point which has a special form to compute them more efficiently. This transformation requires only a cost of some Frobenius actions. Ad...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید