The paper presents a methodology by which documents authored with the Nested Context Model (NCM) are automatically translated into a RT-LOTOS specification. The latter is then checked against intrinsic and extrinsic consistencies using standard RT-LOTOS reachability analysis.

In this paper we present the Cervantine activity of Serbian literary historian and comparatist Milan Marković. Marković developed his work during 1930s. He authored a Cervantes’ biography four articles published in reviews.

Petri Parvinen works as Professor of Sales Management at the Aalto University School of Business, Helsinki, Finland. In his academic research, Dr. Parvinen has concentrated on explaining growth and profitability at the business unit level. Parvinen has produced over 50 different academic publications, scholarly articles having appeared in e.g. Journal of Management Studies, Industrial Marketing...

The aim of this paper is to compare matrixand list-based configuration rule visualization methods in order to find the effects of using a certain visualization method. Especially, the visualizations’ impact on readability and how the configuration rules are authored are studied. A case study was conducted at two automotive manufacturing companies. The research method included to observe users a...

highly cited papers are mostly authored in international collaboration. it is expected that   co-authored papers bring more citations. on the other hand, it is inevitable that a part of citations is self-citation. this study investigates 134 and 236 highly cited papers in iran and turkey, respectively, to determine the extent to which highly cited papers are affected by author self-citation. a ...

This thesis presents the LiquiMedia operating system architecture. LiquiMedia is specialized to schedule multimedia applications. Because they generate output for a human observer, multimedia applications such as video games, video conferencing and video players have both unique scheduling requirements and unique allowances: a multimedia stream must synchronize sub-streams generated for differe...

We address the issue of human subjectivity when authoring summaries, aiming at a simple, robust evaluation of machine generated summaries. Applying a cross comprehension test on human authored short summaries from broadcast news, the level of subjectivity is gauged among four authors. The instruction set is simple, thus there is enough room for subjectivity. However the approach is robust becau...

Purpose As the police service across England and Wales moves towards degree-level study for new recruits as a component of recognising profession policing, this paper describes discusses introduction Police Constable Degree Apprenticeship (PCDA) core skills evidence-based policing (EBP) an educational theme solving work-based problems. Design/methodology/approach Authored by both practitioners ...

s: Articles should not include an abstract. Please note that we will consider articles outside of the theme.The Residents’ Journal accepts manuscripts authored by medical students, resident physicians, and fellows; manuscripts authored by members of faculty cannot be accepted. To submit a manuscript, please visit http://mc.manuscriptcentral.com/appi-ajp, and select “Residents” in the manusc...