This paper presents reconfigurable computing strategies for a Shape-Adaptive Template Matching (SA-TM) method to retrieve arbitrarily shaped objects within images or video frames. A generic systolic array architecture is proposed as the basis for comparing three designs: a static design where the configuration does not change after compilation, a partially-dynamic design where a static circuit ...

Policy inconsistencies may arise between safety and utility policies due to their opposite objectives. In this work we provide a formal examination of policy inconsistencies resolution for the coexistence of static separation-of-duty (SSoD) policies and strict availability (SA) policies. Firstly, we reduce the complexity of reasoning about policy inconsistencies by static pruning technique and ...

The errors in BPEL processes that are only detected at runtime are expensive to fix. Several modelers and process engines for BPEL exist, and the standard defines basic static analysis (SA) rules as a detection mechanism for invalid processes, but the actual conformance of BPEL modelers and engines regarding these rules is unknown. We propose to develop test cases to evaluate the conformance of...

This paper presents the results of experimental testing crack resistance specimens taken from a welded plate made steel SA-387 Gr. 91, while taking into account different filler materials and welding procedures that were used. type steels is typically used in pressure vessels, pipelines gas installations chemical petrochemical industry, as well thermal installations. Since it operating under ex...

In this work we apply the simulated annealing (SA) inversion method to the reconstruction of permittivity images from electrical capacitance tomography (ECT) data. We test the SA inversion method using static physical models simulating some typical distribution patterns of two and three-component flows. The SA-based permittivity inversions have some advantages over other approaches based on lin...

Methods We wanted to assess the interrater reliability of viability assessment in a hybrid PET/MR system, to assess if it could have additional value for patients prior revascularization. Therefore we examined 9 patients, scheduled for viability assessment by PET as a simultaneous PET/MR examination (mMR Biograph, Siemens, Erlangen, Germany). All patients were examined 50-60’after i.v. applicat...

Software security has become a crucial component of any software system in today’s market. However, the development of secure software is still a maturing process. Software architecture (SA) assessment methods have gained increasing attention in recent years. Most of these evaluation techniques are scenario-based, and thus depend heavily on the quality of the scenarios selected for their evalua...

Sensitivity Analysis (SA) investigates how the variation in the output of a numerical model can be attributed to variations of its input factors. SA is increasingly being used in environmental modelling for a variety of purposes, including uncertainty assessment, model calibration and diagnostic evaluation, dominant control analysis and robust decision-making. In this paper we review the SA lit...

To predict changes of situation awareness (SA) for pilot operating with different display interfaces and tasks, a qualitative analysis and quantitative calculation joint SA model was proposed. Based on the situational awareness model according to the attention allocation built previously, the pilot cognitive process for the situation elements was analyzed according to the ACT-R (Adaptive Contro...

Sensitivity Analysis (SA) is a key element in the Performance Assessment (PA) of a Radioactive High Level Waste (HLW) Repository. It helps gaining information about the system, understanding the relation between input parameters and output variables and steering new experimental and theoretical research to increase the degree of knowledge about the system. The Integrated Project (IP) PAMINA is ...