Results 21 to 30 of about 65,002 (306)
Practical Data-in-Use Protection Using Binary Decision Diagrams
IEEE Access, 2020 Protection of data-in-use, contrary to the protection of data-at-rest or data-in-transit, remains a challenge. Cryptography advances such as Fully Homomorphic Encryption (FHE) provide theoretical, albeit impractical, solutions to functionally-complete ...
Oleg Mazonka +4 more
doaj +1 more source
A Decision Diagram Operation for Reachability
, 2023 Saturation is considered the state-of-the-art method for computing fixpoints with decision diagrams. We present a relatively simple decision diagram operation called REACH that also computes fixpoints. In contrast to saturation, it does not require a partitioning of the transition relation.
Brand, Sebastiaan +2 more
openaire +5 more sources
Warning Decision-Making for Landslide Dam Breaching Flood Using Influence Diagrams
Frontiers in Earth Science, 2021 Warning and evacuation are among the most effective ways for saving human lives and properties from landslide dam hazards. A new warning decision model for landslide dam break is developed using Influence Diagrams to minimize the total losses.
Yan Zhu +6 more
doaj +1 more source
Discrete Optimization with Decision Diagrams [PDF]
INFORMS Journal on Computing, 2016 We propose a general branch-and-bound algorithm for discrete optimization in which binary decision diagrams (BDDs) play the role of the traditional linear programming relaxation. In particular, relaxed BDD representations of the problem provide bounds and guidance for branching, and restricted BDDs supply a primal heuristic.
David Bergman +3 more
openaire +2 more sources
Visualizing Sets with Linear Diagrams [PDF]
, 2015 This paper presents the first design principles that optimize the visualization of sets using linear diagrams. These principles are justified through empirical studies that evaluate the impact of graphical features on task performance.
Rodgers, Peter +5 more
core +1 more source
Three-Way Concept Acquisition and Attribute Characteristic Analysis Based on Pictorial Diagrams [PDF]
Jisuanji kexue yu tansuo, 2022 Three-way concepts analysis, an effective tool for knowledge discovery, is a combination of three-way decision and formal concept analysis. Based on the connections between three-way concepts and formal concepts, the method of obtaining three-way ...
WAN Qing, MA Yingcang, LI Jinhai
doaj +1 more source
What Can Spider Diagrams Say? [PDF]
, 2004 Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalent in expressive power to the spider diagram language.
Howse, John +7 more
core +1 more source
On the expressiveness of spider diagrams and commutative star-free regular languages [PDF]
, 2013 Spider diagrams provide a visual logic to express relations between sets and their elements, extending the expressiveness of Venn diagrams. Sound and complete inference systems for spider diagrams have been developed and it is known that they are ...
Taylor, John +3 more
core +1 more source
Software-based self-test generation for microprocessors with high-level decision diagrams; pp. 48–61 [PDF]
Proceedings of the Estonian Academy of Sciences, 2014 This paper presents a novel approach to automated behavioural level test program generation for microprocessors using the model of high-level decision diagrams (HLDD) for representing instruction sets.
Artjom Jasnetski +3 more
doaj +1 more source
Monitoring the daily evolution and extent of snow drought [PDF]
Natural Hazards and Earth System Sciences, 2022 Snow droughts are commonly defined as below-average snowpack at a point in time, typically 1 April in the western United States (wUS). This definition is valuable for interpreting the state of the snowpack but obscures the temporal evolution of snow ...
B. J. Hatchett +2 more
doaj +1 more source