Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems. Then statistical model checking is used to analyze the dependability of the constructed model. Our verification framework allows users to express a wide r...

assessment of the correlation between rock brittleness and rock fracture toughness has been the subject of extensive research works in the recent years. unfortunately, the brittleness measurement methods have not yet been standardized, and rock fracture toughness cannot be estimated satisfactorily by the proposed indices. in the present study, statistical analyses are performed on some data col...

We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation of prior knowledge. The logical constraints deduced from ontologies can be utilized to enhance and control the learning task by enforcing description logic satisfiability in a latent multi-relational graphical model. To demons...

Grouping people into clusters based on the items they have purchased allows accurate recommendations of new items for purchase: If you and I have liked many of the same movies, then I will probably enjoy other movies that you like. Recommending items based on similarity of interest (a.k.a. collaborative ltering) is attractive for many domains: books, CDs, movies, etc., but does not always work ...

Abstract Over the past several years, a multitude of methods to measure fairness machine learning model have been proposed. However, despite growing number publications and implementations, there is still critical lack literature that explains interplay fair with social sciences philosophy, sociology, law. We hope remedy this issue by accumulating expounding upon thoughts discussions produced b...