نتایج جستجو برای: the sharper

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

2017
Takamasa Okudono Yuki Nishida Kensuke Kojima Kohei Suenaga Kengo Kido Ichiro Hasuo

Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al. that combines real algebraic geometry and SDP optimization in synthesis of polynomial interpolants, the current paper contributes its enhancement that yields sharper and simpler interpolants. The enhan...

Journal: :Japanese journal of mathematics. New series 1991

Journal: :The British journal of ophthalmology 1968
D G Durham M H Luntz

SURGEONS have always searched for sharper cutting instruments whether it be needles, scissors, or knives. The stainless steel blade has until recently been the sharpest knifeedge, but diamond knives$ are much sharper. The diamonds are of gem quality and the blades were developed originally for sectioning biological materials especially for electron microscopy. This paper presents their use in m...

Journal: :Soft Matter 2021

In turbulent flows, internal friction renders the distribution of polymer extensions steeper and thus makes coil–stretch transition sharper.

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

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