نتایج جستجو برای: property hs
تعداد نتایج: 172264 فیلتر نتایج به سال:
Superheavy elements owe their existence exclusively to nuclear shell effects which stabilize them against spontaneous fission (SF). Theoretical predictions locate the center of stability at the hypothetical doubly-magic spherical nucleus with Z=114 and N=184 [1]. Calculations with the inclusion of higher orders of deformation [2] suggest the ground state shell correction energy of deformed nucl...
Preprint No. 1199, Department of Mathematics, University of Utrecht, June 2001. Submitted to IMA J. Numer. Anal. We construct locally supported, continuous wavelets on manifolds Γ that are given as the closure of a disjoint union of general smooth parametric images of an n-simplex. The wavelets are proven to generate Riesz bases for Sobolev spaces Hs(Γ) when s ∈ (−1, 3 2 ), if not limited by th...
This paper proposes a novel methodology for AMS SoC formal verification based on Hybrid Scheme combined with symbolic computing and LHPN model, FV-HS. The paper is concerned with a class of AMS designs, continuous-time AMS designs i.e., tunnel diode oscillator for research target. Firstly, Labeled Hybrid Petri Net model is established for safety property verification of tunnel diode oscillator,...
Abstract Strong and tough materials are desired for lightweight, energy efficient applications such as electric cars aerospace applications. Recently, heterostructures found to produce unprecedented strength ductility that considered impossible based on the science in our textbooks. Such superior mechanical properties enabled by a new scientific principle: hetero-deformation-induced (HDI) stren...
Model checking allows one to automatically verify a specification of the expected properties ofa system against a formal model of its behaviour (generally, a Kripke structure). Point-basedtemporal logics, such as LTL, CTL, and CTL∗, that describe how the system evolves state-by-state,are commonly used as specification languages. They proved themselves quite successful in a variety<l...
Background: To evaluate the association between pre/post-procedural high sensitive C-reactive protein (hs-CRP) level and hs-CRP difference, and the risk of major adverse cardiovascular events (MACE) or new diffusion-weighted MRI lesions after carotid angioplasty and stenting (CAS). Methods: In this study, conducted in 2016 in Shiraz (Iran), patients who underwent diagnostic angiography and CAS...
Recently, Zhang 2006 proposed a three-term modified HS TTHS method for unconstrained optimization problems. An attractive property of the TTHS method is that the direction generated by the method is always descent. This property is independent of the line search used. In order to obtain the global convergence of the TTHS method, Zhang proposed a truncated TTHS method. A drawback is that the num...
چکیده زمینه و هدف: c reactive protein (crp) یک پروتئین پلاسمایی حساس به التهاب در انسان است و اخیراً مشخص شده که با افزایش ریسک انفارکتوس و آنژین قلبی و مرگ ناگهانی کرونری و هیپرتانسیون و دیابت قندی همراه است. مطالعات در مورد سطح سرمی و نقش crpدر copd متعدد است. نقش احتمالی crp در پاتوژنز آسم در مطالعات مطرح شده است. پدیده التهاب موضعی در آسم ثابت شده است ولی شواهد مستدل در مورد درگیر بودن التها...
We find a sufficient condition that H is not level based on a reduction number. In particular, we prove that a graded Artinian algebra of codimension 3 with Hilbert function H = (h0, h1, . . . , hd−1 > hd = hd+1) cannot be level if hd ≤ 2d + 3, and that there exists a level Osequence of codimension 3 of type H for hd ≥ 2d+k for k ≥ 4. Furthermore, we show that H is not level if β1,d+2(I ) = β2,...
One of the crucial problems in the field of knowledge discovery is development of good interestingness measures for evaluation of the discovered patterns. In this paper, we consider quantitative, objective interestingness measures for "if. . . , then. . ." association rules. We focus on three popular interestingness measures, namely rule interest function of Piatetsky-Shapiro, gain measure of F...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید