نتایج جستجو برای: sect incani

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

Journal: :Ukrainian Religious Studies 1999

2014
John S. Fitzgerald Kenneth Pierce

This chapter introduces the first basic concepts of co-modelling and co-simulation, including notions of system, model and co-model, simulation and co-simulation, etc. It also describes the ways in which co-modelling and co-simulation can be integrated with established development processes such as IEEE 15288 (Systems and Software Engineering—System Life Cycle Processes, [45]) and IEEE 12207 (S...

Journal: :Proceedings of the National Academy of Sciences of the United States of America 1998
P Vargas B G Baldwin L Constance

Results from phylogenetic analysis of nuclear rDNA internal transcribed spacer (ITS) sequences from a worldwide sample of Sanicula indicate that Hawaiian sanicles (Sanicula sect. Sandwicenses) constitute a monophyletic group that descended from a western North American ancestor in Sanicula sect. Sanicoria, a paraphyletic assemblage of mostly Californian species. A monophyletic group comprising ...

Journal: :CoRR 2014
Arkadii G. D'yachkov

Preface Designing Screening Experiments (DSE) is a class of information-theoretical models for multiple-access channels (MAC). In Sect. 2-4, we discuss the combinatorial model of DSE called a disjunct channel model. This model is the most important for applications and closely connected with the superimposed code concept. In Sect. 2, we give a detailed survey of lower and upper bounds on the ra...

2005
Annie A.M. Cuyt Brigitte M. Verdonk

Pad6 approximants are a frequently used tool for the solution of mathematical problems. One of the main drawbacks of their use for multivariate functions is the calculation of the derivatives of f ( x 1 .... ,xp). Therefore multivariate Newton-Pad6 approximants are introduced; their computation will only use the value of f at some points. In Sect. 1 we shall repeat the univariate Newton-Pad6 ap...

2007
Andrea Vedaldi

We describe an implementation of the Maximally Stable Extremal Region ([3], Sect. 2, MSER) feature detector and an immediate multi-dimensional generalization ([1], Sect. 2). We propose an algorithm (Sect. 3) that is essentially uniontree with path-compression and union-by-rank (see for instance [4]). However we do not use the N-tree graph of [4] as for the purpose of fitting ellipses to the MSE...

ژورنال: :مجله گیاهشناسی ایران 2000
دینا عزیزیان جمال کسائیان محبوبه خاتم ساز

ساختار تشریحی گونه های مورد مطالعه از جنس onosma l. در ایران نشان می دهد که نوع کرک ها یکی از صفات مشخص در شناسایی گونه ها و تفکیک بخش ها در جنس onosma می باشد ساختمان درونی پهنک برگ نیز دو گروه را بخوبی مشخص می سازد، در بخش های sect. podonosma و sect. protonosma دارای مزوفیل یک طرفه (پارانشیم نرده ای فقط زیر اپیدرم فوقانی) است ولی در بخش sect. onosma مزوفیل برگ به صورت دو طرفه با لایه های پارا...

2003
Jürgen Giesl René Thiemann Peter Schneider-Kamp Stephan Falke

The system AProVE (Automated Program Verification Environment) can be used for automated termination and innermost termination proofs of (conditional) term rewrite systems (TRSs). AProVE currently offers the techniques of recursive path orders possibly with status [3] (Sect. 2), dependency pairs including recent refinements such as narrowing, rewriting, and instantiation of dependency pairs [1,...

2002
Wolfgang Spohn

The paper attempts to rationalize cooperation in the one-shot prisoners’ dilemma (PD). It starts by introducing (and preliminarily investigating) a new kind of equilibrium (differing from Aumann’s correlated equilibria) according to which the players’ actions may be correlated (sect. 2). In PD the Pareto-optimal among these equilibria is joint cooperation. Since these equilibria seem to contrad...

ژورنال: The Iranian Journal of Botany 2003

دو گونه Acantholimon bakhtiaricum و A. mirtadzadinii از ایران نامگذاری و معرفی می‌گردند. گونه A. bakhtiaricum  متعلق به بخش sect. Microstegia و گونه A. mirtadzadinii متعلق به بخش sect. Acantholimon  است. گونه A. bakhtiaricum با گونه A. austro-iranicum قرابت زیادی دارد، لیکن در پوشش کرکی و شکل و اندازه برگک با آن تفاوت فاحشی دارد. گونه A. mirtadzadinii با گونه A. demavendicum  شبیه است. تفاوت عم...

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

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