نتایج جستجو برای: channel confluence

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

Journal: :Electronic Proceedings in Theoretical Computer Science 2016

Journal: :European review for medical and pharmacological sciences 2015
Y Z Jiang Q Lan Q H Wang S Z Wang H Lu W J Wu

OBJECTIVE Complex vertebral confluence aneurysms remain clinically challenging despite the rapid technological advances in endovascular technology. Therefore, animal confluence aneurysm models are urgently needed for the preclinical development of related medical devices and training clinicians. This study aimed to establish canine confluence aneurysm model and evaluate hemodynamics in this mod...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه ارومیه 1390

با توجه به پیشرفت روز افزون سیستم های دیجیتال در همه زمینه های فناوری از جمله مخابرات مدرن و از طرف دیگر ماهیت آنالوگ سیگنالهای موجود در طبیعت نیاز بسیار وسیعی به مبدلهای آنالوگ به دیجیتال و دیجیتال به آنالوگ با مشخصات دینامیک و استاتیک مختلف وجود دارد. از آنجا که مبدلهای آنالوگ به دیجیتال مهمترین گلوگاه در مدارات دیجیتال با ورودی آنالوگ محسوب می شوند از این رو تلاشهای فراوانی برای افزایش سرعت ...

Journal: :Logical Methods in Computer Science 2017
Julian Nagele Bertram Felgenhauer Harald Zankl

The rule labeling heuristic aims to establish confluence of (left-)linear term rewrite systems via decreasing diagrams. We present a formalization of a confluence criterion based on the interplay of relative termination and the rule labeling in the theorem prover Isabelle. Moreover, we report on the integration of this result into the certifier CeTA, facilitating the checking of confluence cert...

2007
Michael J. Pelsmajer Marcus Schaefer Kevin Stern

In this paper we extend the concept of ∆-confluence to ∆k-confluence by allowing more generalized junctions, called ∆k-junctions. We present an algorithm for recognizing graphs that are ∆k-confluent. We then generalize ∆k-confluence to Ok-confluence by allowing non-intersecting chords within a junction, resulting in Ok-junctions. We present an algorithm for recognizing graphs that are Ok-conflu...

Journal: :Optics letters 2008
Tom Robinson Prashant Valluri Hugh B Manning Dylan M Owen Ian Munro Clifford B Talbot Christopher Dunsby John F Eccleston Geoff S Baldwin Mark A A Neil Andrew J de Mello Paul M W French

Fluorescence lifetime imaging (FLIM) is used to quantitatively map the concentration of a small molecule in three dimensions in a microfluidic mixing device. The resulting experimental data are compared with computational fluid-dynamics (CFD) simulations. A line-scanning semiconfocal FLIM microscope allows the full mixing profile to be imaged in a single scan with submicrometer resolution over ...

2005
DAVID L. GALAT CHARLES R. BERRY WILLIAM M. GARDNER JEFF C. HENDRICKSON GERALD E. MESTL MATTHEW R. WINSTON

—The longest river in North America, the Missouri, trends southeast from Montana across the mid continent of the United States, 3,768 km to its confluence with the Mississippi River near St. Louis, Missouri. Frequent flooding, a shifting, braided channel, and high turbidity characterized the precontrol “Big Muddy.” Major alterations occurred over the past century primarily for flood protection,...

Journal: :Departures in Critical Qualitative Research 2020

2016
Russell J. Composto

The effect of grating textures on the alignment of cell shape and intracellular actin cytoskeleton has been investigated in bovine aortic endothelial cells (BAECs) cultured on a model cross-linked poly(dimethylsiloxane) (PDMS). Grating-textured PDMS substrates, having a variation in channel depths of 200 nm, 500 nm, 1 pm and 5 pm, were coated with fibronectin (Fn) to promote endothelial cell ad...

Journal: :Theoretical Computer Science 1994

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

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