This document summarizes the proofs made during a Coq development inSummer 2015. This development investigates the function G introduced by Hofstadter in his famous"G{\"o}del, Escher, Bach"book as well as a related infinite tree. The left/right flipped variantof this G tree has also been studied here, following Hofstadter's"problem for the curious reader".The initial G function is refered as se...

In this paper an improved current comparator is using flipped voltage follower (FVF) to obtain the single supply voltage. This circuit has short propagation delay and occupies a small chip area. All circuits have been simulated employing Tanner EDA Tool 14.1v for 90nm CMOS technology and a comparison has been performed with its non FVF counterpart to contrast its effectiveness, simplicity, comp...

Individual DNA bases are known to be able to flip out of the helical stack, providing enzymes with access to the genetic information otherwise hidden inside the helix. Consequently, base flipping is a necessary first step to many more complex biological processes such as DNA transcription or replication. Much remains unknown about this elementary step, despite a wealth of experimental and theor...

We present a systematic classification of field directions for the string– derived flipped SU(5) model that are D– and F–flat to all orders. Properties of the flipped SU(5) model with field values in these directions are compared to those associated with other flat directions that have been shown to be F–flat to specific finite orders in the superpotential. We discuss the phenomenological Higgs...

Suppose for simplicity that our system consists of a single qubit. We start with errors we are familiar with from the classical setting – bit-flips. Such an error converts the original state, say α|0〉+β |1〉, into α|1〉+β |0〉. We can correct these kind of errors using classical error correcting codes. For example, we may use a repetition code, i.e., encoding |0〉 as |000〉 and |1〉 as |111〉. Thus, w...

Universities face the challenge of increasing numbers of students leading to increasingly large lectures, and therefore decreasing interaction and collaboration, which are important factors for individual learning success and satisfaction. With this researchin-progress, we therefore propose a conceptual framework for a blended learning flipped classroom to redesign large-scale IS lectures, reco...

Flipped-class teaching has a great potential to replace traditional lectures in medical education. This study was designed to explore attitude of undergraduate medical students from Pakistan towards flipped-class. Five flipped classes were conducted in third year MBBS by a single teacher for a class of 100 students. Quantitative data was collected through a survey questionnaire to assess studen...

“Flipping the classroom” is gaining in popularity. The flipped classroom permits active learning and student engagement whereby the traditional class time is transformed into an active learning experience in which students can apply knowledge and interact with their peers and perform “hands-on” activities. This descriptive phenomenological study focused on the lived experiences of nursing facul...

Flipped instruction is gaining popularity in medical schools, but there are unanswered questions such as the optimum amount of the curriculum to flip and whether flipped sessions should be mandatory. We were in a unique position to evaluate feedback from first-year medical students who had experienced both flipped and lecture-based courses during their first semester of medical school. A key fi...