The MIR research on jingju (also known as Beijing or Peking opera) music has taken audio as the main source of information. Music scores are an important resource for the musicological research of this tradition, but no machine readable ones have been available for computational analysis. In order to explore the potential of symbolic score data for jingju music research, we have expanded the Co...

n the last few years, the applicability and functionality of systems for collaboration support has expanded, leading to their growing application in cooperation, communication, and organizational processes. This expansion provides opportunities to study their social, business and technical impacts. Usually an integration of novel emerging technologies with existing organizational practices is v...

As the demands for real-time distributed systems increase, the needs for programming tools useful in development of such application systems are becoming increasingly acute. An issue that the research community has long recognized as an important technological challenge but has not shown much progress in meeting the challenge is to guarantee response times of real-time distributed systems. Two ...

In order for organizations to survive on increasingly competitive and global markets, adequate management of intellectual capital is essential. Although increasingly more information is found in electronic formats, turning this information into valuable knowledge is still the responsibility of people by applying it in professional situations to generate value. In this paper, we describe an appr...

Music21 is an object-oriented toolkit for analyzing, searching, and transforming music in symbolic (scorebased) forms. The modular approach of the project allows musicians and researchers to write simple scripts rapidly and reuse them in other projects. The toolkit aims to provide powerful software tools integrated with sophisticated musical knowledge to both musicians with little programming e...

Modeling and simulation in pharmacokinetics has has turned into the focus of pharmaceutical companies, driven by the emerging consensus that in silico predictions combined with in vitro data have the potential of significantly increasing insight into pharmacokinetic processes. To adequately support in silico methodology, software tools need to be user-friendly and, at the same time, flexible. I...

IT departments are adopting service orientation by implementing IT service management (ITSM) frameworks. Most organisations are hesitant to discuss their ITSM performance measurement practices, tending to focus more on challenges. However there are good practices that are found amidst the challenges. We present a case study that provides an account of the performance measurement practices in th...

We present a new tool for molecule design called ADMET SketcherTM. The tool allows chemists to draw any number of molecules inside of a canvas, and immediately obtain predicted values of dozens of key ADMET properties from our best-in-class ADMET PredictorTM software package. The sketcher itself includes a number of novel capabilities, including a feature to modify both the bond angles and tors...

................................................................................................................................................. 3 Acknowledgements ................................................................................................................................ 5 Table of

We devise a theoretical foundation of directed rewriting, a term rewriting strategy for logics of partial functions, inspired by term rewriting in the Rodin platform. We prove that directed rewriting is sound and show how to supply new rewrite rules in a soundness preserving fashion. In the context of Rodin, we show that directed rewriting makes a significant number of conditional rewrite rules...