The technique of reflection is a way to automate proof construction in type theoretical proof assistants. Reflection is based on the definition of a type of syntactic expressions that gets interpreted in the domain of discourse. By allowing the interpretation function to be partial or even a relation one gets a more general method known as “partial reflection”. In this paper we show how one can...

CONTEXT Reflection and reflective practice have become popular topics of scholarly dialogue in medical education. This popularity has given rise to checklists, portfolios and other tools to inspire and document reflection. We argue that some of the common ways in which reflection has been applied are influenced by broader discourses of assessment and evidence, and divorced from original theorie...

all along history, the art and society always have interplayed. literary works especially novel are rooted in contemporary society and tell us about social, political, cultural and historical issues of a society. a realistic novel may reflect realities of its time like a mirror. the sociology of literature is aimed to explain the links between society and literature and clarifying the quality o...

Static program analyses and transformations for Java face many problems when analyzing programs that use reflection or custom class loaders: How can a static analysis know which reflective calls the program will execute? How can it get hold of classes that the program loads from remote locations or even generates on the fly? And if the analysis transforms classes, how can these classes be re-in...

The healthcare professional in our age needs to PERFORM in complex and challenging healthcare environments. The importance of reflection, reflective practice and teaching and training to develop a reflective practitioner is frequently established in the literature. In fact, recent research on pedagogy stresses the importance of establishing a link between reflective learning and reflective prac...

We developed a conceptual tool intended to help teachers make a good start in using digital games in the classroom. The tool is a matrix of questions based on a literature search and an empirical study with teachers. Its primary aim is to foster self-reflection and communication with other practitioners or designers. It was produced in the context of the GEL Theme Team of the STELLAR European N...

iran is a society with religious infrastructure, in which islam and shiism have had great influence. meanwhile culture and iranian literature, especially poetry has a great position in reflecting religious symbols. ghajarid era is one of the persian literature periods in which religion, especially shiism has great reflection. in this era, by reinforcing religious bases of poems, poets try to tr...