𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Aspects of Correctness and Optimality of Interval Computations

✍ Scribed by Regivan H. Nunes Santiago; Benjamín R. Callejas Bedregal; Benedito Melo Acióly


Publisher
Springer
Year
2006
Tongue
English
Weight
156 KB
Volume
18
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Combinatorial Aspects of Interval Orders
✍ William T. Trotter 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 28 KB

We survey recent research on combinatorial properties of interval orders and interval graphs. Topics include: optimization with an uncooperative partner, ramsey trails, sorting with partial information, tree width and graph decompositions, combinatorial extremal problems, shift graphs, Dedekind's en

97/00118 Macroeconomic aspects of coal q
📂 Article 📅 1997 🏛 Elsevier Science ⚖ 169 KB

52, (5). 24-28. (In Polish) Presents the criteria for the coal fuel selection for the cement industry. Coal meets the requirements of ecological and economic profitability. Quality requirements for fuels used for clinker production are analysed. Examples of the calculations of technological paramete