In reinforcement learning, the classic objectives of maximizing discounted and finite-horizon cumulative rewards are PAC-learnable: There algorithms that learn a near-optimal policy with high probability using finite amount samples computation. recent years, researchers have introduced corresponding reinforcement-learning beyond rewards, such as specified linear temporal logic formulas. However...

We consider the educational objective of learning how to prove a statement in a mathematically rigorous way and we break down this educational objective into several partial objectives following the standard taxonomy of Bloom, 1956]. Three advantages stem from this approach: rst, the partial objectives are more manageable in the process of curriculum development; second, it is easier to individ...

Contribution: This article provides evidence that perceived learning has a relationship and influences the way students evaluate laboratory experiments, facilities, demonstrators. Background: Debate continues on capability and/or reliability of to teaching learning. Understanding such relationships can help educators decode evaluation data develop more effective experiences. Research Question: ...

There has been a surge of research interest in developing tools and analysis for Bayesian optimization, the task of finding the global maximizer of an unknown, expensive function through sequential evaluation using Bayesian decision theory. However, many interesting problems involve optimizing multiple, expensive to evaluate objectives simultaneously, and relatively little research has addresse...

Cellular Physiology 1. Define the distribution of solutes between the intracellular and extracellular compartments. 2. Define passive, active and secondary active transport across the cell membrane. 3. Define the equation and the variables that determine the flux of an uncharged solute by simple diffusion, i.e. Fick’s law of diffusion. 4. Define the role of membrane voltage, concentration gradi...

This paper outlines different objectives for testing, and surveys some relevant techniques and tools used to address some of those objectives. The overview is conducted in the perspective of transferring this body of knowledge to the emerging domain of technology enhanced learning. Some specific techniques under investigation within the frame of the European FP6 project TELCERT are summarized.