نتایج جستجو برای: natural semantic metalanguage nsm

تعداد نتایج: 576549  

2008
Antonis Michael

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...

2017
Katelyn G. Bennett Ji Qi Hyungjin M. Kim Jennifer B. Hamill Andrea L. Pucic Edwin G. Wilkins Babak J. Mehrara Jeffrey H. Kozlow

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...

1994
Mihhail Matskin Jan Komorowski

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...

2012
Ren Jian Yang Shulin

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...

2015
Diwaker Tripathi Gaurav Raikhy Michael M. Goodin Ralf G. Dietzgen Hanu R. Pappu

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...

ژورنال: هیدرولیک 2019

با توجه به آثار زیان‌بار آلاینده‌های ورودی به منابع آبی که ناشی از فعالیت‌های انسانی می‌باشد، انجام مطالعات در زمینه پیش‌بینی غلظت این آلاینده‌ها به منظور انجام اقدامات مقتضی برای کنترل، ضروری به نظر می‌رسد. بدین منظور مدل‌های انتقال جرم متعددی برای پیش‌بینی غلظت محلول در آبراهه‌های طبیعی ارائه شده‌اند. این مدل‌ها به ندرت دارای حل تحلیلی بوده و عمدتاً با استفاده از روش‌های عددی حل می‌شوند. در ای...

Journal: :International Journal of Pure and Apllied Mathematics 2016

Journal: :Fibers 2022

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...

2008
Philip Maymin

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...

2000
Mohamed H. Bakr John W. Bandler Mostafa A. Ismail José Ernesto Rayas-Sánchez

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید