Real-world applications often require the joint use of datadriven and knowledge-based models. While data-driven models are learned from available process data, knowledge-based models are able to provide additional information not contained in the data. In this contribution, we propose a method to divide the input space on the basis of the validity ranges of the knowledge-based models. By doing ...

In this project we implemented Leak Finder, a tool for examining how Android applications use their granted permissions. Leak Finder instruments Android applications with custom log code, then it collects the logs from actual user application runs and uses these logs to create an execution graph. Auditors can use the executing graph to examine when an applications tends to use its permissions. ...

Knowledge Acquisition (KA) Scripts capture typical modification sequences that users follow when they modify knowledge bases. KA tools can use these Scripts to guide users in making these modifications, ensuring that they follow all the ramifications of the change until it is completed. This paper describes our approach to design, develop, and organize a library of KA Scripts. We report the res...

We will neglect so called quasi-problems of knowledge management, such as: group knowledge, organizational memory or organizational learning. The thing that is not a quasi-problem, but is not considered at all is the question: How much influence does the group/organization have on expert/decision makers learning? This question could be also examined using knowledge-based system, similarly as Ko...

Objective: We studied finder needle use in Internal Jugular Vein (IJV) catheterization and complications rate in adult cardiac surgery. Methods: A prospective study was carried out for 3 month period from august to November 2007 and all patients older than 18 years who underwent elective cardiac surgery were studied. Data were collected about using finder needle, patient position, success rate,...

Based on the social network perspective and work group perspective, this study brings social interaction tie and membership esteem together as the mediating variables between knowledge contribution and social identity to construct an inductive route model, aiming to understand how social identity and self-identity form based on knowledge contribution behaviors in virtual communities. To assess ...

The key design challenges in the construction of a SAT-based relational model finder are described, and novel techniques are proposed to address them. An efficient model finder must have a mechanism for specifying partial solutions, an effective symmetry detection and breaking scheme, and an economical translation from relational to boolean logic. These desiderata are addressed with three new t...