A unified method for statistical anomaly detection in intrusion detection systems is theoretically introduced. It is based on estimating a dispersion measure of numerical or symbolic data on successive moving windows in time and finding the times when a relative change of the dispersion measure is significant. Appropriate dispersion measures, relative differences, moving windows, as well as tec...

conclusions it may be concluded based on the results of this study that unified transdiagnostic treatment is effective on recovery of social anxiety and negative and positive affects among the students. therefore, clinical therapists are advised to use this intervention. results results showed a significant difference between experimental and control groups in terms of social anxiety and negati...

Der Vortrag berichtet über ein föderales Großprojekt, in dem Anforderungen als Steuerungsinstrument für eine agile Projektabwicklung genutzt werden. Diese Projektsteuerungsmechanismen lassen sich am ehesten mit ”‘Feature Driven Development”’ (FDD, [3]) vergleichen, haben aber auch einige Gemeinsamkeiten mit der ”‘Dynamic System Development Method”’ (DSDM, [4], und sind konform mit dem ”‘Vorgehe...

In the actual knowledge extraction system, different applications have entity classes and relationship schema, so generalization migration ability of are very important. By training a model in source domain applying to an arbitrary target directly, open technology becomes crucial mitigate issues. Traditional models cannot be directly transferred new domains also extract undefined relation types...

While refinement gives a formal underpinning to the development of dependable control systems, such models are difficult to communicate and reason about in a non-formal sense, particularly for validation by non-specialist industrial partners. Here we present a visualisation of event B refinement using a specialisation of UML statemachines. The specialisation will be incorporated into the UML-B ...