Works matching DE "HEAPS (Mathematics)"

Results: 27

Segregation and stability of a binary granular heap.

Published in:

Granular Matter, 2009, v. 11, n. 3, p. 185, doi. 10.1007/s10035-009-0135-5

By:

Swartz, A. G.;
Kalmbach, J. B.;
Olson, J.;
Zieve, R. J.

Publication type:

Article

Quantitative Analysis for Symbolic Heap Bounds of CPS Software.

Published in:

Computer Science & Information Systems, 2011, v. 8, n. 4, p. 1251, doi. 10.2298/CSIS110302054L

By:

Renjian Li;
Ji Wang;
Liqian Chen;
Wanwei Liu;
Dengping Wei

Publication type:

Article

THE STABILITY OF THE HEAP BRANCH II COROIEȘTI - E.P.C.V.J. VULCAN.

Published in:

Mining Revue / Revista Minelor, 2012, v. 18, n. 3, p. 28

By:

IONICĂ, Cristina;
ARAD, Victor

Publication type:

Article

The Relaxed Hilberg Conjecture: A Review and New Experimental Support.

Published in:

Journal of Quantitative Linguistics, 2015, v. 22, n. 4, p. 311, doi. 10.1080/09296174.2015.1106268

By:

Dębowski, Łukasz

Publication type:

Article

Near Optimal β Heap.

Published in:

Computer Journal, 1999, v. 42, n. 5, p. 391, doi. 10.1093/comjnl/42.5.391

By:

Luk, R. W. P.

Publication type:

Article

Heap-abstraction for an object-oriented calculus with thread classes.

Published in:

Software & Systems Modeling, 2008, v. 7, n. 2, p. 177, doi. 10.1007/s10270-007-0065-9

By:

Ábrahám, Erika;
Grüner, Andreas;
Steffen, Martin

Publication type:

Article

Against the Vagueness Argument.

Published in:

Philosophia, 2009, v. 37, n. 2, p. 335, doi. 10.1007/s11406-008-9172-2

By:

Tahko, Tuomas

Publication type:

Article

Zipf's, Heaps' and Taylor's Laws are Determined by the Expansion into the Adjacent Possible.

Published in:

Entropy, 2018, v. 20, n. 10, p. 752, doi. 10.3390/e20100752

By:

Tria, Francesca;
Loreto, Vittorio;
Servedio, Vito D. P.

Publication type:

Article

Verification of heap manipulating programs with ordered data by extended forest automata.

Published in:

Acta Informatica, 2016, v. 53, n. 4, p. 357, doi. 10.1007/s00236-015-0235-0

By:

Abdulla, Parosh;
Holík, Lukáš;
Jonsson, Bengt;
Lengál, Ondřej;
Trinh, Cong;
Vojnar, Tomáš

Publication type:

Article

BEAT THE HEAP: AN IMPUTATION STRATEGY FOR VALID INFERENCES FROM ROUNDED INCOME DATA.

Published in:

Journal of Survey Statistics & Methodology, 2016, v. 4, n. 1, p. 22, doi. 10.1093/jssam/smv032

By:

DRECHSLER, JÖORG;
KIESL, HANS

Publication type:

Article

Mask Formulas for Cograssmannian Kazhdan-Lusztig Polynomials.

Published in:

Annals of Combinatorics, 2013, v. 17, n. 1, p. 151, doi. 10.1007/s00026-012-0172-3

By:

Jones, Brant;
Woo, Alexander

Publication type:

Article

Separation Logic with One Quantified Variable.

Published in:

Theory of Computing Systems, 2017, v. 61, n. 2, p. 371, doi. 10.1007/s00224-016-9713-1

By:

Demri, Stéphane;
Galmiche, Didier;
Méry, Daniel;
Larchey-Wendling, Dominique

Publication type:

Article

Optimizing Binary Heaps.

Published in:

Theory of Computing Systems, 2017, v. 61, n. 2, p. 606, doi. 10.1007/s00224-017-9760-2

By:

Edelkamp, Stefan;
Elmasry, Amr;
Katajainen, Jyrki

Publication type:

Article

All-in-one implementation framework for binary heaps.

Published in:

Software: Practice & Experience, 2017, v. 47, n. 4, p. 523, doi. 10.1002/spe.2423

By:

Katajainen, Jyrki

Publication type:

Article

Advantages of online spellchecking: a Croatian example.

Published in:

Software: Practice & Experience, 2011, v. 41, n. 11, p. 1203, doi. 10.1002/spe.1037

By:

Dembitz, Šandor;
Randić, Mirko;
Gledec, Gordan

Publication type:

Article

Flocks, groups and heaps, joined with semilattices.

Published in:

Quasigroups & Related Systems, 2016, v. 24, n. 1, p. 43

By:

Knoebel, Arthur

Publication type:

Article

Hyperheaps.

Published in:

International Journal of Philosophical Studies, 2007, v. 15, n. 1, p. 121, doi. 10.1080/09672550601143250

By:

Hart, W. D.

Publication type:

Article

Q-Systems, Heaps, Paths and Cluster Positivity.

Published in:

Communications in Mathematical Physics, 2010, v. 293, n. 3, p. 727, doi. 10.1007/s00220-009-0947-5

By:

Di Francesco, Philippe;
Kedem, Rinat

Publication type:

Article

Properties Preserved by Some Smoothing Functions.

Published in:

Journal of the American Statistical Association, 1976, v. 71, n. 355, p. 763, doi. 10.1080/01621459.1976.10481564

By:

Hobson, Richard

Publication type:

Article

Impartial poker nim.

Published in:

International Journal of Game Theory, 2018, v. 47, n. 2, p. 695, doi. 10.1007/s00182-016-0559-1

By:

Tennenhouse, Craig

Publication type:

Article

Measures and tests of heaping in discrete quantitative distributions.

Published in:

Journal of Applied Statistics, 2001, v. 28, n. 7, p. 887, doi. 10.1080/02664760120074960

By:

Roberts, John M.;
Brewer, Devon D.

Publication type:

Article

BIPARTITE BINOMIAL HEAPS.

Published in:

RAIRO - Theoretical Informatics & Applications, 2017, v. 51, n. 3, p. 121, doi. 10.1051/ita/2017010

By:

ELMASRY, AMR;
JENSEN, CLAUS;
KATAJAINEN, JYRKI

Publication type:

Article

A Toy Model for Torsorial Nature of Representations.

Published in:

Information (2078-2489), 2012, v. 3, n. 4, p. 546, doi. 10.3390/info3040546

By:

Yoshitake, Makoto

Publication type:

Article

EFFECT OF STORAGE AND REINSTATEMENT PROCEDURES ON EARTHWORM POPULATIONS IN SOILS AFFECTED BY OPENCAST COAL MINING.

Published in:

Journal of Applied Ecology, 1988, v. 25, n. 1, p. 233, doi. 10.2307/2403621

By:

Scullion, J.;
Mohammed, A. R. A.;
Richardson, H.

Publication type:

Article

Speeding Up Dynamic Shortest-Path Algorithms.

Published in:

INFORMS Journal on Computing, 2008, v. 20, n. 2, p. 191, doi. 10.1287/ijoc.1070.0231

By:

Buriol, Luciana S.;
Resende, Mauricio G. C.;
Thorup, Mikkel

Publication type:

Article

Borel on the Heap.

Published in:

Erkenntnis, 2014, v. 79, p. 1043, doi. 10.1007/s10670-013-9596-3

By:

Égré, Paul;
Barberousse, Anouk

Publication type:

Article

HEAPS AND UNPOINTED STABLE HOMOTOPY THEORY.

Published in:

Archivum Mathematicum, 2014, v. 50, n. 5, p. 323, doi. 10.5817/AM2014-5-323

By:

VOKŘÍNEK, LUKÁŠ

Publication type:

Article