This work explores the effects of using automatically generated hints in problem solving tutor environments. Generating hints automatically removes a large amount of development time for new tutors, and it also useful for already existing computer-aided instruction systems that lack intelligent feedback. We focus on a series of problems, after which, previous analysis showed the control group i...

Many tutoring systems allow students to ask for hints when they need help solving problems, and this has been shown to be helpful. However, many students have trouble knowing when to ask for help or they prefer to guess rather than ask for and read a hint. Is it better to give a hint when a student makes an error or wait until the student asks for a hint? This paper describes a study that compa...

Exact image reconstruction from limited projection data has been a central topic in the computed tomography (CT) field. In this paper, we present a general region-of-interest/volume-of-interest (ROI/VOI) reconstruction approach using a truly truncated Hilbert transform on a line-segment inside a compactly supported object aided by partial knowledge on one or both neighboring intervals of that s...

The importance of hints in an intelligent tutoring system is well understood. The problems however related to their delivering are quite a few. In this paper we propose delivering of hints to be based on considering their usefulness. By this we mean that a hint is regarded as useful to a student if the student has succeeded to solve a problem after the hint was suggested to her/him. Methods fro...

I present a list of hints for writing speci cations I address high level issues like learning to abstract and low level issues like getting the details of logical expressions right This paper should be of interest not only to students of formal methods but also to their teachers This research is sponsored by the Wright Laboratory Aeronautical Systems Center Air Force Materiel Com mand USAF and ...

We have augmented the Deep Thought logic tutor with a Hint Factory that generates data-driven, context-specific hints for an existing computer aided instructional tool. We investigate the impact of the Hint Factory’s automatically generated hints on educational outcomes in a switching replications experiment that shows that hints help students persist in a deductive logic proofs tutor. Three in...

Test Case Prioritization (TCP) techniques aim at proposing new test case execution orders to favor the achievement of certain testing goal, such as fault detection. Current TCP research focus mainly on code-based regression testing; however in the Model-Based Testing (MBT) context, we still need more investigation. General TCP techniques do not use historical information, since this information...

In this review, we focus on cyclic voltammetry as a reliable electrochemical technique to study mechanisms, kinetics and thermodynamics of various types of drug-drug interactions. While we present and discuss six theoretical models relevant to analyze drug-drug (or drug-DNA) interactions, we also give hints about recent experimental achievements in this field. In addition, we provide the reader...