We describe a data-mining approach to creating central parts of loop invariants. The approach is based on producing a trace table by recording the values of program variables each time the condition of a loop is evaluated. From this trace table, functional dependencies between program variables can be extracted which may play a vital role in loop invariants. The extraction process is accomplish...

A machine learning system is only as good as its features, the representative properties of a phenomenon that are used as input to a machine learning algorithm. Developing features, or feature engineering, can be a lengthy, human-in-the-loop process, requiring many time-consuming cycles of writing feature code, extracting features from raw data, and model training. However, many opportunities e...

We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formulas of loops with no external support can be computed in polynomial time, and if the given program has no constraints, an iterative procedure based on these formulas, the program completion, and unit propagation compute...

This paper presents a multithreading runtime library that provides uniied support for loop and functional parallelisms. It implements a queue-based dynamic load-balancing scheme to exploit arbitrarily nested or disjointed parallel constructs, while keeping its overhead competitive with simpler conventional libraries. The library also provides support for the recently adopted industry standard: ...

This paper argues that it is important to study issues concerning trust and reliance when developing systems that are intended to augment cognition. Operators often under-rely on the help of a support system that provides advice or that performs certain cognitive tasks autonomously. The decision to rely on support seems to be largely determined by the notion of relative trust. However, this dec...

This paper aims to show that Intelligent Products may be used to facilitate closed-loop reverse logistics processes. An analysis of the actors and processes in reverse logistics processes is presented to identify requirements towards the characteristics of a technical concept suitable to support closed-loop reverse logistics processes. That Intelligent Products fulfill the requirements is shown...

in this paper, distributed parameter process systems behavior is studied in frequency domain. based on the dominant gain concept that is developed for such studies, a method is presented to control distributed parameter process systems. by using dominant gain concept, the location of open loop zeros, resulted from the time delay parameter in the process model, were changed from the right half p...

To the engineer a closed-loop control system refers to using a controller with a feedback loop to control states or outputs of a dynamic system. That dynamic system might be the cruise (speed) control on your automobile, maintaining a patient’s paO 2 with a ventilator, controlling depth of anesthesia with an anesthesia machine, or controlling arterial blood pressure with medications from an IV ...