In discrete mathematics, predicates and quantifiers are fundamental concepts that allow us to express statements about sets, elements, and their relationships in a formal and logical manner. These ...

student(lukasz). student(william). class(discreet_mathematics). class(large_system_development). class(system_integration). room(1). room(2). room(3). date(20092017 ...

Abstract: The diagnosability problem of faults is studied in the framework of vector discrete-event system (VDES). A VDES is a discrete-event system model in which a system state is represented by a ...

Abstract: Discrete-event systems are studied, treating the state space as the fundamental modeling concept. The control of discrete-event systems using predicates and predicate transformers is treated ...

Modern relational database systems are beginning to support ad hoc queries on mining models. In this paper, we explore novel techniques for optimizing queries that apply mining models to relational ...