Experimental algorithmics yields large amounts of data that depends on many parameters. This paper collects a number of rules for presenting this data in concise, meaningful, understandable diagrams that have suuciently high quality to be printed in scientiic journals. The focus is on common sense rules that are frequently useful and can be easily implemented using tools such as gnuplot 1 .

Binary decision diagrams have been shown as a powerful paradigm in handling Boolean functions and have been applied to many fields such as VLSI CAD, AI, combinatorics, etc. This paper proposes a new operation on an ordered binary decision diagram (OBDD), called reordering, and demonstrates its usefulness with presenting an extended algorithmic framework of applying OBDDs to combinatorial graph ...

Since there is no standard formalism for defining software metrics, many of the measures that exist have some ambiguity in their definitions which hinders their comparison and implementation. We address this problem by presenting an approach for defining software metrics. This approach is based on expressing the measures as Object Constraint Language queries over a language metamodel. To illust...

The development of an object-oriented information model for an industrial product requires analysis and design which result in a set of entities and objects. Common tools provide lists or symbolic diagrams with boxes and arrows to visualise the design. A more illustrative visualisation of the objects presenting the modelled industrial components would be a great help during the development. We ...

<abstract><p>Presenting systems of differential equations in the form diagrams has become common certain parts physics, especially electromagnetism and computational physics. In this work, we aim to put such use on a firm mathematical footing, while also systematizing broadly applicable framework reason formally about their solutions. Our main tools are category-theoretic diagrams, ...

Systematic reviews provide a critical summary of body knowledge that links research to decision making, whether inform public health, clinical medicine, medical education, system-level changes, or advocacy. Good are accessed by wide range audiences, including health service users, providers, and policy makers. Because the topics studied, thinking behind review questions, analytical plan, review...

We propose here a mathematical framework for incremental software construction and controlled software evolution. The framework allows incremental changes of a software system to be described on a high architecture level, but still with mathematical precision so that we can reason about the correctness of the changes. The framework introduces refinement diagrams as a visual way of presenting th...

In this study, two CCCT diagrams are drawn to be compared with a CCT diagram. The CCCT diagrams represent continuous cooling transformations in stress assisted state. The increased Md and Bd temperatures of CCCT diagrams were also compared with those of the CCT diagrams and the cause was investigated from both thermodynamic and metallurgical viewpoints. Thermodynamic examinations revealed that ...

The goal of this analysis is to search for a plausible explanation the rules followed by Pacheco in Libro de las grandezas la espada construct footwork theory explained it. For purpose, we are going geometrically analyse diagrams presented treatise, studying it order concepts treatise: presentation rigid and an apparently low-consistent application through diagrams. Thus, will compile data pres...