A growing and important area of Model-Based Development (MBD) is model evolution. Despite this, very little research on the evolution of Simulink models has been conducted. This is in contrast to the notable amount of research on UML models, which di↵er significantly from Simulink. Code clones and their evolution across system versions have been used to learn about source-code evolution. We pos...

This paper introduces an encoding of Model Based Diagnosis (MBD) to Boolean Satisfaction (SAT) focusing on minimal cardinality diagnosis. The encoding is based on a combination of sophisticated MBD preprocessing algorithms and SAT compilation techniques which together provide concise CNF formula. Experimental evidence indicates that our approach is superior to all published algorithms for minim...

In this article, principles of architectures relating to normative agents are evaluated with regard to the question whether and to what extend results of empirical research are incorporated in the architecture. In the human sciences, internalisation is a crucial element within the concept of norms. Internalisation distinguishes normative behaviour regulation from mere coercion. The aim of this ...

S20 photocathodes have been grown by solid-source molecular-beam deposition (MBD). The unactivated absorbing layer exhibits a maximum response of 29 mA/W at 430 nm while the photocathode shows a sensitivity and a quantum efficiency of 74 mA/W and 22% at 430 nm. This corresponds to a white sensitivity of 200 mA/lm which is already comparable to commercial S20 photocathodes. In addition, the MBD ...

There has been much interest generated in the recovery of nanoparticulate (nanoparticle) bioproducts(Second generation of biotechnological products) such as plasmid DNA and viruses as putative gene therapyvectors, macromolecular assemblies as drug delivery vehicles and virus-like particles as vaccine components.Such product must be manufactured in advanced stages of purity, ma...

Structural repetitive subsequences are most important portion of biological sequences, which play crucial roles on corresponding sequence’s fold and functionality. Biggest class of the repetitive subsequences is “Transposable Elements” which has its own sub-classes upon contexts’ structures. Many researches have been performed to criticality determine the structure and function of repetitiv...

MBD and breast cancer risk Elevated MBD is considered one of the strongest risk factors for breast cancer regardless of whether it is assessed as a categorical or quantitative measure.6 Women in the highest categories of breast density have a 4to 6-fold increased breast cancer risk compared with women in the lowest categories. MBD has been shown to be a stronger risk factor for breast cancer th...

The design of learning environments is a fundamental part of education research today. In this article, we put forth a design method, medium-based design (MBD), to create useful learning environments that foster inquiry, support artifact construction, and enable interaction with targeted learning content through a medium.

This paper describes a technique for formalizing metrics for COTS-based architectures. This technique is built upon the UML 2.0 metamodel and uses OCL as a metrics definition language. As a proof of concept, an example based upon a set of reusability metrics for fine-grained JavaBeans components is presented.

Qualitative models are often more suitable than classical quantitative models in tasks such as Model-based Diagnosis (MBD), explaining system behavior, and designing novel devices from first principles. Monotonicity is an important feature to leverage when constructing qualitative models. Detecting monotonic pieces robustly and efficiently from sensor or simulation data remains an open problem....