Three-way concept analysis (3WCA), a combination of three-way decision and formal analysis, is widely used in the field knowledge discovery. Generally, constructing lattices requires original context its complement simultaneously. Additionally, existing lattice construction algorithms focus on static context, cannot cope with dynamic that an essential representation social networks. Toward this...

Vulnerability analysis using dynamic attack graphs, dynamic binary analysis for mobile code security, incre-mental bisimulation algorithm. Development of algorithms for incremental evaluation of tabled logic programs and its application to program analysis, generation and analysis of multiple counterexamples for error cause localization, model checking security-relevant properties of sequential...

Vulnerability analysis using dynamic attack graphs, dynamic binary analysis for mobile code security, incre-mental bisimulation algorithm. Development of algorithms for incremental evaluation of tabled logic programs and its application to program analysis, generation and analysis of multiple counterexamples for error cause localization, model checking security-relevant properties of sequential...

Knowledge reduction of dynamic covering information systems involves with the time in practical situations. In this paper, we provide incremental approaches to computing the type-1 and type-2 characteristic matrices of dynamic coverings because of varying attribute values. Then we present incremental algorithms of constructing the second and sixth approximations of sets by using characteristic ...

Impact analysis – determining the potential effects of changes on a software system – plays an important role in helping engineers re-validate modified software. In previous work we presented a new impact analysis technique, PathImpact, for performing dynamic impact analysis at the level of procedures, and we showed empirically that the technique can be cost-effective in comparison to prominent...

This paper investigates the applicabilty of an innovative bracing, called Articulated Quadrilateral (AQ) bracing system, which uses shape memory alloys (SMAs), for retroffiting low-rise to high-rise vulnerable SMFRs against strong ground motions. The paper investigates brace fundamental engineering characteristics, design of the system and also configuration of the brace (the proportion of SMA ...

Voxelization is the transformation of geometric surfaces into voxels. Up to date this process has been done, essentially using incremental algorithms. Incremental algorithms have the reputation of being very eÆcient but they lack an important property: robustness. The voxelized representation should envelop its continuous model. However, without robust methods this cannot be guaranteed. This te...