LazySets.jl is a Julia library that provides ways to symbolically represent sets of points as geometric shapes, with special focus on convex and polyhedral approximations. LazySets methods apply common set operations, convert between different representations, efficiently compute in high dimensions using specialized algorithms based the types. core JuliaReach, cutting-edge software addressing f...

Uncertainty arises in many compelling real-world applications of planning. There is a large body of work on propositional uncertainty where actions have non-deterministic outcomes. However handling numeric uncertainty has been given less consideration. In this paper, we present a novel offline policy-building approach for problems with numeric uncertainty. In particular, inspired by the planner...

When synthesizing complex digital circuits, it is extremely important to have high conndence in the library of components and functions. This paper deals with the validation of two standardized VHDL packages that were developed for circuit synthesis and which, at the same time, are compatible with enhanced multi-valued simulation tools. The Boyer-Moore theorem prover has been used for this purp...

This paper presents a non-numeric approach to uncertain reasoning by extending the incidence calculus. In parallel to the well known fuzzy, belief/plausibility, probability, and necessity/possibility measures, the corresponding classes of non-numeric functions are examined. A method of constructing non-numeric functions is discussed using the notion of compatibility relations. Non-numeric funct...

Digital technology encourages hope of searching across and between different media forms (text, sound, image, numeric data). We describe topic searches in two different media: text files and socio-economic numeric databases and also for transverse searching, whereby retrieved text is used to find topically related numeric data and vice versa. Direct transverse searching across different media i...

Many real-world problems can be expressed in terms of states and actions that modify the world to reach a certain goal. Such problems can be solved by automated planning. Numeric planning supports numeric quantities such as resources or physical properties in addition to the propositional variables from classical planning. We approach numeric planning with heuristic search and introduce adaptat...

BACKGROUND Computerized physician order entry (CPOE) system with embedded clinical decision support (CDS) can significantly reduce certain types of prescription error. However, prescription errors still occur. Various factors such as the numeric inputting methods in human computer interaction (HCI) produce different error rates and types, but has received relatively little attention. OBJECTIV...