Abstract Minimally invasive approaches are increasingly being used for the correction of abdominal wall hernias. Although laparoscopy presents as a greater technical challenge compared to classical techniques, once learning curve is overcome, advantages multiple: less postoperative pain, shorter hospital stay, faster return daily/professional activities and lower rate surgical site infection. T...

Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 584 Step 1: developing the study question . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 584 Defining the study question . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...

Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this paper we discuss how these ingredients do not interact well with user interfaces based on the same interaction paradigm of Proof General (the de facto standard in this field), identifying in the coarse-grainedness of tacti...

In this paper the current stage o f the Uppsala Word Aligner (UWA) is described. The system is developed within the project on parallel texts, PLUG, which has its focus on the analysis o f bi-lingual text collections with Swedish either as the source or the target language. UWA comprises a set o f knowledgelite approaches' for word alignment and lexicon extraction. A distinctive feature is its ...

The behavior of reactive systems is typically specified by state machines. This results in an operational description of how a system produces its output. An alternative and more abstract approach is to just specify the relation between the input and output histories of a system. In this work, we propose a way to combine state-based and history-based specifications: Abstract communication histo...