نتایج جستجو برای: hercynian early kimmerian cover berberian

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

2005
Isabella Velicogna John Wahr

[1] We use 22 monthly GRACE (Gravity Recovery and Climate Experiment) gravity fields to estimate the linear trend in Greenland ice mass during 2002–2004. We recover a decrease in total ice mass of 82 ± 28 km of ice per year, consistent with estimates from other techniques. Our uncertainty estimate is dominated by the effects of GRACE measurement errors and errors in our post glacial rebound (PG...

2007
Mayank Maheshwari Dan Rosendorf Shuchi Chawla

15.

Journal: :Ann. Pure Appl. Logic 2012
Thomas F. Kent Andrew E. M. Lewis Andrea Sorbi

We construct a Π2 enumeration degree which is a strong minimal cover.

Journal: :CoRR 2016
David M. Howard Noah Streib William T. Trotter Bartosz Walczak Ruidong Wang

It has been known for more than 40 years that there are posets with planar cover graphs and arbitrarily large dimension. Recently, Streib and Trotter proved that such posets must have large height. In fact, all known constructions of such posets have two large disjoint chains with all points in one chain incomparable with all points in the other. Gutowski and Krawczyk conjectured that this feat...

2006
ANDREW E.M. LEWIS

An old question of Yates as to whether all minimal degrees have a strong minimal cover remains one of the longstanding problems of degree theory, apparently largely impervious to present techniques. We survey existing results in this area, focussing especially on some recent progress.

Journal: :Combinatorica 1986
Noga Alon

An equivalence graph is a vertex disjoint union of complete graphs. For a graph G, let eq(G) be the irdnimum number of equivalence subgraphs of G needed to cover all edges of G. Similarly, let cc(G) be the minimum number of complete subgraphs of G needed to cover all its edges. Let H be a graph on n vertices with ma,'dmal degree _~d (and minimal degree --~ 1), and let G=I~ be its complement. We...

2008
E. Bueler

Introduction Conclusions References Tables Figures ◭ ◮ ◭ ◮ Back Close Full Screen / Esc Abstract Introduction Conclusions References

2014
Irfan Sljivo Barbara Gallina Jan Carlson Hans A. Hansson

Composable safety certification envisions reuse of safety case argument-fragments together with safety-relevant components in order to reduce the cost and time needed to achieve certification. The argumentfragments could cover safety aspects relevant for different contexts in which the component can be used. Creating argument-fragments for the out-of-context components is time-consuming and cur...

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

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