The use of computer algebra systems in Mathematics education could and should in uence the future curriculum how to teach integration. The traditional way only brie y touches the area problem, to switch very quickly to antidi erentiation. Graphical representations as well as symbolic and numeric capabilities of modern computer algebra systems like DERIVE enable enhanced teaching techniques: stu...

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...

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...

Advancement and application of rule-based expert systems have been a key research area in explainable artificial intelligence (XAI) because the rule-base is one most common natural frameworks for knowledge representation. The present work aims to design novel system, called Cumulative Belief Rule-Based System (CBRBS), by establishing efficient modeling inference procedures, where procedure incl...