نتایج جستجو برای: natural semantic metalanguage nsm
تعداد نتایج: 576549 فیلتر نتایج به سال:
Near-surface mounted (NSM) bars have been used for flexural strengthening of reinforced concrete members. The data available on this type of reinforcement technique are limited and typically, the bars or strips are embedded using an epoxy. Long term durability, abrasion resistance, and compatibility of the repair are important issues with this type of repair. One untested option for embedding t...
PURPOSE: Complications of nipple-sparing mastectomy (NSM) include necrosis of the nipple-areolar complex (NAC) or mastectomy skin flaps. NAC and mastectomy flap delay procedures are novel techniques designed to avoid these complications, and may be combined with retroareolar biopsy when performed prior to NSM. We performed a systematic review of the literature to evaluate techniques for NAC and...
An object-oriented language with automatic synthesis of methods (programs) and transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are considered. Automatic synthesis of methods (Proof-As-Program approach) is based on in-tuitionistic propositional calculus. The metalanguage expresses general knowledge related to classes and objects and it is used for describing t...
In this paper, the difference between the Alternating Direction Method (ADM) and the Non-Splitting Method (NSM) is investigated, while both methods applied to the simulations for 2-D multimaterial radiation diffusion issues. Although the ADM have the same accuracy orders with the NSM on the uniform meshes, the accuracy of ADM will decrease on the distorted meshes or the boundary of domain. Nume...
BACKGROUND Localization and interaction studies of viral proteins provide important information about their replication in their host plants. Tospoviruses (Family Bunyaviridae) are economically important viruses affecting numerous field and horticultural crops. Iris yellow spot virus (IYSV), one of the tospoviruses, has recently emerged as an important viral pathogen of Allium spp. in many part...
با توجه به آثار زیانبار آلایندههای ورودی به منابع آبی که ناشی از فعالیتهای انسانی میباشد، انجام مطالعات در زمینه پیشبینی غلظت این آلایندهها به منظور انجام اقدامات مقتضی برای کنترل، ضروری به نظر میرسد. بدین منظور مدلهای انتقال جرم متعددی برای پیشبینی غلظت محلول در آبراهههای طبیعی ارائه شدهاند. این مدلها به ندرت دارای حل تحلیلی بوده و عمدتاً با استفاده از روشهای عددی حل میشوند. در ای...
This paper aims to investigate the effect of using different configurations near-surface mounted carbon-fiber-reinforced polymer (NSM-CFRP) strips on shear strength strengthened and rehabilitated reinforced concrete (RC) T-beams with internal stirrup spacing. The spacing was 50 150 mm. NSM-CFRP were at an inclination 45° spaced 75 A total eight beams tested in this study: two without as control...
This paper introduces a formal metalanguage called the lambda-q calculus for the specification of quantum programming languages. This metalanguage is an extension of the lambda calculus, which provides a formal setting for the specification of classical programming languages. As an intermediary step, we introduce a formal metalanguage called the lambdap calculus for the specification of program...
We propose, for the first time, neural space-mapping (NSM) optimization for electromagnetic-based design. NSM optimization exploits our space-mapping (SM)-based neuromodeling techniques to efficiently approximate the mapping. A novel procedure that does not require troublesome parameter extraction to predict the next point is proposed. The initial mapping is established by performing upfront fi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید