Welcome again to " Hey — it works! " , a column devoted to (L A)T E X and META tips and tricks. This issue is devoted to a single topic, a sequel to an earlier article on creating ornamental rules: we show how to construct ornamental boxes out of individual symbols. Please note that I have moved. My new contact details are given at the end of this article. Unfortunately , mail is not being forw...

The present work is an overview of the main pitfalls which may occur when a researcher performs a meta-analysis. The main goal is to help clinicians evaluate published research results. Organizing and carrying out a meta-analysis is hard work, but the findings can be significant. Meta-analysis is a powerful tool to cumulate and summarize the knowledge in a research field, and to identify the ov...

Interactive proofs are often considered as costs of formal modelling activity. In an incremental development environment such as the Rodin platform for Event-B, information from proof attempts is important input for adapting the model. This paper considers the idea of using interactive proofs to " improve " the model, in particular, to convert them into automatic ones. We propose to lift some e...

The Map Labelling Problem appears in several applications, mainly in Cartography. Although much research on this problem has been done, it is interesting to note that map-labelling processes in commercial fields are very often executed manually or with little support of automatic tools. In general, practical map-labelling problems involve human subjective domain knowledge about label placement ...