نتایج جستجو برای: smv

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

Journal: :HPB Surgery 1997
J. Michael Henderson

Kanaya, So-i. and Katoh, H. (1995) Long-term evaluation of distal splenorenal shunt with splenopancreatic and gastie disconnection. Surgery; 118." 29-35. Background: This study was aimed at evaluating advantages of distal splenorenal shunt (DSRS) with splenopancreatic and gastric disconnection (DSRS-SPGD) over DSRS with splenopancreatic disconnection (DSRS-SPD) and standard DSRS (S-DSRS). Metho...

Journal: :Journal of the American College of Cardiology 2001
A Fraisse P J del Nido J Gaudart T Geva

OBJECTIVES This study sought to characterize the echocardiographic features of straddling mitral valve (SMV) and to determine its surgical implications and midterm outcome in a large clinical cohort. BACKGROUND Despite a relatively large body of literature on the postmortem anatomy of SMV, there is a paucity of information regarding its echocardiographic features, surgical implications and pr...

Journal: :European journal of orthodontics 2005
Siddik Malkoc Zafer Sari Serdar Usumez Alp Erdin Koyuturk

The aim of this study was to identify the potential projection errors of lateral, postero-anterior (PA) and submentovertex (SMV) cephalometric radiographs due to head rotation in the vertical z-axis. For this investigation, a complete human dry skull of an adult was used. The skull was rotated from 0 to +/-14 degrees at 2 degree intervals. A vertical axis, the z-axis, was used as the rotational...

2010
Lucien Ngalamou

This paper presents a preliminary study of an approach that models programmable logic controllers (PLCs) for their effective deployment in industrial control processes. A working model is developed for automatic allocation of PLCs and also a formal verification of Ladder Diagram representations of control processes using the Symbolic Model Verifier (SMV) tool. Automatic resource allocation is a...

2014
Agnieszka Ścibior Dorota Gołębiowska Agnieszka Adamczyk Irmina Niedźwiecka Emilia Fornal

The alterations in the levels/activities of selected biomarkers for detecting kidney toxicity and in the levels of some oxidative stress (OS) markers and elements were studied in male rats to evaluate biochemically the degree of kidney damage, investigate the role of OS in the mechanism of functional renal disorders, reveal potential biomarkers of renal function, and assess the renal mineral ch...

Journal: :Journal of the American Academy of Audiology 2009
Carol L Mackersie Yingyong Qi Arthur Boothroyd Nicole Conrad

PURPOSE To compare multichannel amplification within a cellular phone system to a standard cellular phone response. RESEARCH DESIGN Three cellular phone speech-encoding strategies were evaluated: a narrow-band (3.5 kHz upper cutoff) enhanced variable-rate coder (EVRC), a narrow-band selectable mode vocoder (SMV), and a wide-band SMV (7.5 kHz cutoff). Because the SMV encoding strategies are no...

2014
Jang-Kyun Seo Sun-Jung Kwon Won Kyong Cho Hong-Soo Choi Kook-Hyung Kim

Effector-triggered immunity (ETI) is an active immune response triggered by interactions between host resistance proteins and their cognate effectors. Although ETI is often associated with the hypersensitive response (HR), various R genes mediate an HR-independent process known as extreme resistance (ER). In the soybean-Soybean mosaic virus (SMV) pathosystem, the strain-specific CI protein of S...

2017
Yuji Kaneda Hiroshi Noda Yuhei Endo Nao Kakizawa Kosuke Ichida Fumiaki Watanabe Takaharu Kato Yasuyuki Miyakura Koichi Suzuki Toshiki Rikiyama

AIM To assess the usefulness of en bloc right hemicolectomy with pancreaticoduodenectomy (RHCPD) for locally advanced right-sided colon cancer (LARCC). METHODS We retrospectively reviewed the database of Saitama Medical Center, Jichi Medical University, between January 2009 and December 2016. During this time, 299 patients underwent radical right hemicolectomy for right-sided colon cancer. Am...

Journal: :Crop Breeding and Applied Biotechnology 2016

2007
M. Sirjani A. Movaghar H. Iravanchi M. Jaghoori A. Shali

Object-based modelling is known to be an appropriate approach for representing concurrent and distributed systems. Besides having an appropriate and efficient way for modelling these systems, one needs a formal verification approach for ensuring their correctness. We have developed a tool for translating our actor-based model, Rebeca, to SMV. It enables us to model check Rebeca codes. We also s...

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

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