The flipped classroom is a reversal of conventional teaching models: learners obtain first exposure to material through independent study and then in-class time is dedicated to activities for learners to apply the knowledge. Cards are a novel method of “flipping the classroom” using adaptive multiple-choice questions with patient cases containing randomized demographic data. The purpose of this...

Security protocols based on smart cards lack formal analysis. The theoretic analysis by Bellare & Rogaway is the best example in this small eld. We propose an alternative approach obtained as an extension to Paulson's Inductive Approach, which is based on theorem proving. Our model certainly relies on a consistently smaller formal overhead, but carries adequate expressiveness allowing smart car...

The paper describes the status of a joint project between Gemplus and ONERA. Gemplus developed an electronic purse running on Java enabled smart cards. The project goal is to verify security properties that should be enforced by the applets involved in this application. A security policy has been deened that associates levels to applet attributes and methods and deenes authorized ows between le...

By a well-known result of Bayer and Diaconis, the maximum entropy model of the common riffle shuffle implies that the number of riffle shuffles necessary to mix a standard deck of 52 cards is either 7 or 11 — with the former number applying when the metric used to define mixing is the total variation distance and the later when it is the separation distance. This and other related results assum...

BACKGROUND Although any travel harbors potential health problems, travel across water poses the additional risk of involuntary contact with water in the event of an emergency. Studies suggest that fatal boat-related accidents have occurred due to the passengers' inability to don their life jackets. With the dramatic increase of long-haul flights, it was decided to investigate if potential safet...

CRC-cards have been adopted by many educators to teach early design in their object-oriented programming courses. In this paper we discuss our experiences using the CRC-card approach in upper secondary school and undergraduate programming courses. Although our experiences are generally positive, we have noticed many problems and issues that have largely gone unnoticed in the literature. It is t...

This report researches the use of a standard deck of playing cards in entry-level college mathematics classrooms. The study looks at published research on the use of cards, and reviews pedagogic concerns directly related to the implementation of playing cards in the classroom--including the appropriateness of manipulatives, the link to cooperative learning, and societal perceptions of card play...

In this paper, we develop a newsvendor model in which the retailer gives ‘‘free’’ gift cards to consumers who purchase a regularly priced product at the end of the selling season instead of discounting the product. The model is developed for a market with patient consumers. We derive the sufficient optimality condition for the retailer’s stocking level in the first period and the optimal gift c...

SIGNIFICANCE This report describes the first clinical use of the Ohio Contrast Cards, a new test that measures the maximum spatial contrast sensitivity of low-vision patients who cannot recognize and identify optotypes and for whom the spatial frequency of maximum contrast sensitivity is unknown. PURPOSE To compare measurements of the Ohio Contrast Cards to measurements of three other vision ...