نتایج جستجو برای: johansens co
تعداد نتایج: 333022 فیلتر نتایج به سال:
Despite of the well-known state-explosion problem, certain simple but important data-flow analysis problems known as gen/kill problems can be solved efficiently and completely for parallel programs with a shared state [7, 6, 2, 3, 13]. This paper shows that, in all probability, these surprising results cannot be generalized to significantly larger classes of data-flow analysis problems. More sp...
Let A be a 0 − 1 matrix with precisely two 1’s in each column and let 1 be the all-one vector. We show that the problems of deciding whether the linear system Ax ≥ 1, x ≥ 0 (1) defines an integral polyhedron, (2) is totally dual integral (TDI), and (3) is box-totally dual integral (box-TDI) are all co-NP-complete, thereby confirming the conjecture on NP-hardness of recognizing TDI systems made ...
Comparisons of aircraft measurements of carbon monoxide (CO) to the retrievals of CO using observations from the Measurements of Pollution in The Troposphere (MOPITT) instrument onboard the Terra satellite are presented. Observations made as part of the NASA INTEXB and NSF MIRAGE field campaigns during March–May 2006 are used to validate the MOPITT CO retrievals, along with routine samples from...
Argument Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Much work has focused on the so-called preferred extensions of such systems, which define the maximal (with respect to ⊆) collectively defensible subsets of arguments within a given system of arguments and attack rel...
In this work we introduce the class of graphs with bounded induced distance of order k, (BID(k) for short). A graph G belongs to BID(k) if the distance between any two nodes in every connected induced subgraph of G is at most k times their distance in G. These graphs can model communication networks in which node failures may occur: at a given time, if sender and receiver are still connected, a...
We study the difference between the standard seeded model of tile self-assembly, and the “seedless” two-handed model of tile self-assembly. Most of our results suggest that the two-handed model is more powerful. In particular, we show how to simulate any seeded system with a two-handed system that is essentially just a constant factor larger. We exhibit finite shapes with a busy-beaver separati...
To investigate secular changes in CO and CH4, we examined monthly means of tropospheric measurements made from samples collected at 19 ®xed sites in the National Oceanic and Atmospheric Administration (NOAA) Climate Monitoring and Diagnostics Laboratory (CMDL) global cooperative ̄ask sampling network. The CH4 data are available for the period 1984±1995. A somewhat shorter time series is availab...
Qualitative coalitional games (QCGs) are a variation of conventional coalitional games in which each coalition may choose to cooperate in a number of different ways, with different choices resulting in potentially different sets of goals being achieved; each agent is associated with a set of goals, the intuition being that an agent is “satisfied” if any of its goals are achieved, but is indiffe...
اغلب مولکول های آلاینده نظیر co، co2 و nox دارای خطوط جذبی پرشدتی در ناحیه ی فروسرخ و به ویژه، فروسرخ میانه (mir) هستند. بنابراین با استفاده از یک چشمه ی لیزری مناسب در این ناحیه، می توان این مولکول ها را ردیابی کرد. گرچه منابع لیزری در ناحیه ی فروسرخ میانه، محدود می شوند، اما دارای ویژگی های مهمی همچون حساسیت، به-گزینی و زمان پاسخ سریع هستند که آن ها را از دیگر لیزرها متمایز نموده است. یکی از ...
در میان اکسیدهای فلزات واسطه، تترا اکسید تری کبالت (co3o4) دارای ساختار اسپینل نرمال و یک نیم رسانا از نوع p-است که به طورگستردهای مورد توجه قرار گرفته است. این اکسید معدنی دارای کاربردهای زیادی از جمله: وسایل الکتروکرومیک، کاتالیزور هتروژن، ذخیره انرژی خورشیدی و مواد مغناطیسی است.در میان روشهای زیادی که برای تهیه این نانو مواد وجود دارد، روش میکروویو به دلیل داشتن نتایج منحصر به فرد مانند کارک...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید