نتایج جستجو برای: establishes a counter

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

Journal: :British Journal of Anaesthesia 1955

Journal: :Journal of Foreign Legislation and Comparative Law 2018

2007
Aarnoud Hoekstra

In this paper we present an alternative approach to the problem of spot counting in interphase cell nuclei. Spot counting is a technique to detect defects of chromosomes in cells. By counting the number of spots which are labeled (read coloured) chromosomes one is able to indicate whether this cell has abberation that indicates a serious illness. We will not focus on the staining techniques use...

2003
Erling Røed Larsen

Growth studies show, counter to intuition, that the discovery of a natural resource may be a curse rather than a blessing since resource-rich countries grow slower than others. Moreover, resource abundance may involve a displacement of a growth-essential manufacturing sector, leading to Dutch Disease. Norway is an important exception to the curse and the disease. Since oil production started in...

2013
Ravichandhran Madhavan Viktor Kuncak

We present an approach for inferring rich invariants involving user-defined recursive functions over numerical and algebraic data types. In our approach, the developer provides the desired shape of the invariant using a set of templates. The templates are quantifier-free affine predicates with unknown coefficients. We also provide an enumeration based strategy for automatically inferring some o...

Journal: :SIAM J. Control and Optimization 2014
Richard B. Vinter

Since Clarke’s 1973 proof of the Hamiltonian inclusion for optimal control problems with convex velocity sets, there has been speculation (and, more recently, speculation relating to a stronger, partially convexified version of the Hamiltonian inclusion) as to whether these necessary conditions are valid in the absence of the convexity hypothesis. The issue was in part resolved by Clarke himsel...

200420052006200720082009201020112012201320142015201620172018201920202021202220230400000800000

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

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