نتایج جستجو برای: is not logically valid

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

Journal: :CoRR 2013
Piotr Beling

template typename s td : : e n a b l e i f< ! s td : : i s t r i v i a l l y c o p y a s s i g n a b l e : : va lue > : : type mycopy( const T∗ source , T∗ dest , s td : : s i z e t count ) { for ( s td : : s i z e t i = 0 ; i < count ; ++i ) ∗ dest++ = ∗ source++; } Gdy pierwszym argumentem szablonu std :: enable if jest true, to zawiera on pole type określające typ drugiego ar...

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

‘romanticism’ and ‘romantic’ are among the most controversial terms in literature. most readers, when encountering these words, would think of the well-known period of romanticism of the first three decades of the nineteenth century and the great six english poets known as ‘the big six’ of this period. however, romanticism does not belong to certain artists in a special period; one may seek ele...

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

chapter one is devotod to collect some notion and background informations, which are needed in the next chapters. it also contains some important statements which will be proved in a more general context later in this thesis. in chapter two, we show that if the marginal factor-group is of order np1...pk,n>1, then we obtain a bound for the order of the verbal subgroup. also a bound for the bear-...

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

in chapter one we will describe definitions and preliminary results to provide the global context of our own results to be presented in detail in the subsequent chapters in chapter two we consider degree-one maps of the circle and we study their rotation set. our main result in this chapter says that if the map is topologically mixing then its rotation interval is nontrivial (that is, not reduc...

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

in reality, most structures involved in geotechnical engineering are three dimensional in nature, and although in many, plane strain or axisymmetric approximations are reasonable, there are some, for which 3-d treatment is required. the quantity of data, and the size of the various vectors and matrices involved in such analysis, increase dramatically. this has sever implications for computer r...

1996
Ho Ngoc Duc

jekt die notwendige Folgerung vollzieht, dann weit (glaubt) es auch die Konklusion. Um diese Idee zu formalisieren, schlage ich v or, die epis-temische Logik zu \dynamisieren", d.h., eine dynamische Komponente in die Sprache einzuf uhren. An einem Beispiel wird erl autert, wie die \Dynamisierung" der epistemischen Logik realisiert werden kann. Die Arbeit ist eine erweiterte Fassung meiner Pub...

1993
Alec F. Yasinsac William A. Wulf

Cryptographic Protocol (CP) analysis is a topic of intense research. Meadows describes four approaches for CP verification under investigation in [MEA92] and several authors have categorized protocols based on types of errors they are subject to [BIRD92], [SYV93a],[SYV93b]. This paper addresses the weakness injected into protocols when information is passed in the clear or encrypted only under ...

The misinterpretation and misuse of p-value have been increasing for decades. In March 2016, the American Statistical Association released a statement to warn about the use and interpretation of p-value. In this study, we provided a definition and discussion of p-value and emphasized the importance of its accurate interpretation. &nbsp; &nbsp;

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

foreign policy takes root from complicated matters. however, this issue may be more truth about armenia. although the new government of armenia is less than 20 years, people of this territory are the first ones who officially accepted christianity. in very past times, these people were a part of great emperors like iran, rome, and byzantium.armenia is regarded as a nation with a privileged hist...

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

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