نتایج جستجو برای: stratified l
تعداد نتایج: 661239 فیلتر نتایج به سال:
Type and effect systems are a tool to analyse statically the behaviour of programs witheffects. We present a proof based on the so called reducibility candidates that a suitablestratification of the type and effect system entails the termination of the typable programs.The proof technique covers a simply typed, multi-threaded, call-by-value lambda-calculus,equipped with a va...
Two stage random digit dialing procedures as developed by Mitofsky and elaborated by Waksberg are widely used in telephone sampling of the U.S. household population. Current alternative approaches have, relative to this procedure, coverage and cost deficiencies. These deficiencies are addressed through telephone sample designs which use listed number information to improve the cost-efficiency o...
There is an increasingly extensive literature on the problem of describing connection (monodromy) groups and automorphism families polytopes maniplexes that are not regular or reflexible. Many such arise as result constructions truncations products. Here we show for a wide variety these constructions, group output can be described in nice way terms input. We call operations stratified. Moreover...
Microalbuminuria is a strong indicator of the risk of future cardiovascular disease and renal dysfunction. Slightly increased levels of homocysteine, an independent risk factor for atherothrombotic disease, have recently been found to be associated with the presence of (micro)albuminuria. However, it is unknown whether increased homocysteine levels precede the occurrence of (micro)albuminuria. ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید