نتایج جستجو برای: abs algorithms
تعداد نتایج: 334491 فیلتر نتایج به سال:
<span lang="EN-US">The regenerative braking effectiveness of electric vehicles (EVs), with <br /> 8-25% range, requires designers to produce better systems. The antilock system (ABS) was chosen because it offers various advantages, such as enhanced safety considerations, vehicle maneuverability, and so on. measurement findings revealed that ABS took longer stop the wheels same wheel...
OBJECTIVES: To study the effect of supplementation with an association of small physiological amounts of antioxidant nutrients upon biochemical parameters and indicators of oxidative stress and antioxidant enzymes. DESIGN: The study included a double-blind placebo-controlled design. SUBJECTS: 575 elderly long term hospitalized subjects aged 65-103 years. INTERVENTION: Four groups were compared....
The activities of liver, muscle, and red blood cell enzymes involved in the degradation of purine were assayed in zinc deficient (ZD), pair-fed control (PF) and ad libitum-fed control (Ad lib) rats. Diets (1.5 ppm of zinc in ZD diet and 110 ppm in control diet) were fed to rats for 6 weeks after which they were sacrificed and tissues isolated for several assays. Results indicated a significant ...
Calcium elenolate is a multifunctional monoterpene which can be isolated from acid-hydrolyzed aqueous extracts of various parts of olive plants. Viruses tested in this study were: Coxackievirus A21, parainfluenza 3 virus, herpesvirus (MRS), pseudorabies virus, vesicular stomatitis virus, encephalomyocarditis virus, Newcastle virus (GB), poliovirus 1,2,and 3, influenza A virus (PR8), Sindbis vir...
We present KeY-ABS, a tool for deductive verification of concurrent and distributed programs written in ABS. KeY-ABS allows to verify data dependent and history-based functional properties of ABS models. In this paper we give a glimpse of system workflow, tool architecture, and the usage of KeY-ABS. In addition, we briefly present the syntax, semantics and calculus of KeY-ABS Dynamic Logic (ABS...
s ...................................................................................................................................19 R. Arvidson: Mars Exploration and Importance of Spectroscopic Observations [abs. 2003] J. Bishop, M. Lane, E. Murad: The Power of Combining Multiple Spectroscopic Techniques for Mineral Identification on Mars and the Necessity of Lab and Field Study of Analog M...
We give a Johnson-Lindenstrauss transform with column sparsity s = Θ(ε−1 log(1/δ)) into optimal dimension k = O(ε−2 log(1/δ)) to achieve distortion 1±ε with success probability 1−δ. This is the first distribution to provide an asymptotic improvement over the Θ(k) sparsity bound for all values of ε, δ. Previous work of [Dasgupta-Kumar-Sarlós, STOC 2010] gave a distribution with s = Õ(ε−1 log(1/δ...
Traditional development methodologies that separate software design from application deployment have been replaced by approaches such as continuous delivery or DevOps, according to which deployment issues should be taken into account already at the early stages of development. This calls for the definition of new modeling and specification languages. In this paper we show how deployment can be ...
رزینهای اپوکسی یک دسته مهم از پلیمرهای گرماسخت هستند که بدلیل خواص مناسب الکتریکی، مکانیکی و مقاومت بالای شیمیایی بطور وسیعی در روکشهای محافظ سطح، کامپوزیتهای با کارآیی بالا، ریخته گری، ابزارسازی، چسب و کاربردهای الکتریکی مورد استفاده قرار می گیرند. در بحث خواص مکانیکی پائین بودن استحکام ضربه ای و مقاومت شکست و مقاومت کم در برابر گسترش پارگی بعنوان مهمترین نقص آنها تلقی می شود. هدف اصلی این کار...
A container used in contact lens cleaning requires a Pt plating weight of 1.5 mg for H₂O₂ decomposition although Pt is an expensive material. Techniques that decrease the amount of Pt are therefore needed. In this study, Pt nanoparticles instead of Pt plating film were supported on a substrate of acrylonitrile-butadiene-styrene copolymer (ABS). This was achieved by the reduction of Pt ions in a...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید