نتایج جستجو برای: flexible
تعداد نتایج: 114905 فیلتر نتایج به سال:
The veri cation of timed systems is extremely important but also extremely di cult Several methods have been proposed to assist in this task including extensions to symbolic model checking One possible use of model checking to analyze timed systems is by modeling passage of time as the number of taken transitions and ap plying quantitative algorithms to determine the timing parameters of the sy...
We introduce the FronTier-Lite software package and its adaptation to the TSTT geometry and mesh entity data interface. This package is extracted from the original front tracking code for general purpose scientific and engineering applications. The package contains a static interface library and a dynamic front propagation library. It can be used in research of different scientific problems. We...
Graphene is a highly promising candidate to replace oxide-based conducting materials for fabrication of transparent electrodes used in flexible displays and electronic devices. However, so far an appropriate method is still not found to provide high-quality, low-cost graphene in a large quantity. To overcome this issue, we demonstrate that massive graphene sheets can be synthesized by electroch...
BACKGROUND Flexible cystoscopy (FC) is one of the most frequently performed urological intervention. Cumulative sum analysis (CUSUM) allows objective assessment of a proceduralist's performance to ensure acceptable outcomes. This study investigated the application of CUSUM to assess a trainee's learning curve and maintenance of competence in performing FC. METHODS A single urology trainee, wi...
Colorectal cancer is the third most frequent cancer, yet screening rates for this cancer remain low. This study was designed to identify factors associated with family physicians' rates of recommending or providing flexible sigmoidoscopy. We applied a behavioral model consisting of three components: physician attitude toward providing the test, facilitating conditions, and reinforcing condition...
A new technique is proposed for paratubal electromyography, using a surface, non-invasive, electrode applied transnasally under nasopharyngoscope guidance. This electrode records activity of the tensor veli palatini muscle during swallowing. This technique is of interest for two reasons: endoscopic guidance offers the possibility to check correct positioning of the electrode recording at tensor...
Damage, failure, and other configuration variety of aircraft would make the model parameters changed uncertainly, and lead to unknown deviations of the equilibrium points and unexpected coupling characters. One type of fault-tolerant flight controller which contains model reference adaptive theory is released for dealing with these problems. Design requirement for fault-tolerant flight controll...
This paper studies the optimal investment strategy of a firm having the managerial freedom to acquire both flexible or dedicated production capacity. Flexible Capacity is more expensive but allows the firm to switch costlessly between products and handle changes in relative volumes among products in a given product mix. Dedicated capacities restrict to manufacture one specific product but for l...
IMPORTANCE AND AIMS The role of CT colonography (CTC) as a colorectal cancer (CRC) screening test is uncertain. The aim of our trial was to compare participation and detection rate (DR) with sigmoidoscopy (flexible sigmoidoscopy (FS)) and CTC in a screening setting. DESIGN SETTING AND PARTICIPANTS We conducted two randomised clinical trials (RCTs). (1) Participation RCT: individuals, aged 58 ...
A vision shAred by mAny experts is thAt future communities (residential and commercial developments, university and industrial campuses, military installations, and so on) will be self-sufficient with respect to energy production and will adopt microgrids. With power generation capacities of 10–50 mW, microgrids are usually intended for the local production of power with islanding capabilities ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید