Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo

This articles is a structured bibliography on theorem provers, approaches to theorem proving, and theorem proving applications inspired from Satchmo, the model generation theorem prover developed in the mid 80es of the 20th century at ECRC, the European Computer- Industry Research Centre. Note that the bibliography given in this article is not exhaustive

Social Categorization of Op Ed Discourse in Harry Potter

This study investigated the process of social categorization present in the public discourse surrounding the Harry Potter phenomenon as a piece of convergent media. The study's research questions asked which social categories were present in op-ed treatments of the topic, how each category is perceived, and which major strategies are used in relation to those perceived categories. Research questions were addressed with discourse analysis of op-ed pieces from large circulation mass media articles. It found the social categories of child and adult fans, casual readers, non-participators, stewards and commentators. These social categories were shown to fit together to represent membership categorization devices. Rules and boundaries created by those devices influenced authors' claimed self-identities

An Interactive Augmented Reality Alphabet 3-Dimensional Pop-up Book For learning and Recognizing the English Alphabet

This document describes the process developing an Augmented Reality (AR) alphabet book mobile application. Using only an android phone camera, the child could view the superimposed virtual alphabet 3 dimensional objects in a fun and interactive manner using the marker-less physical alphabet book as the interaction tool. The reason behind choosing alphabet teaching as the topic of the book is that the Alphabet knowledge is the core knowledge of any language. It is a jump-start for children to start reading and recognizing words and sentences, thus learning the alphabet is extremely important, for many researchers, emphasizing on how early, child’s education shapes the child’s successful future. Though there are, a great deal of technology based alphabet books; parents still prefer buying the old style physical books or some might use a virtual technology based book application. The problem is that though the physical book possesses many benefits, that our generation and the generations long before us, have experienced, yet from the current generation children’s point of view, they may in fact find it dull and boring. For, it is commonly recognized, that the current generation children are surrounded all around by technology and gadgets, that can make them board, easily distracted, and may refuse to willingly use a plain non-technology book to learn, and if using a virtual application, they will lose the benefits offered by a physical book. Knowing this, the use of Augmented Reality should solve such a problem. For Augmented Reality (AR) is considered the best of both worlds, where, real and virtual objects are combined in the real environment, that will allow the use of both technology based application and a traditional physical book, combining the benefits of both and meeting the child and the parent midway. Although AR technology is not new, its possible potential in education is just beginning to be investigated. The main aim of this research is to develop an interactive 3-Dimentional alphabet pop-up book, and using digital storytelling, to help teach children to learn and recognize the alphabets. The objectives of the study are to enhance the interactions of the alphabet book, by creating an android application that contains animated interactive 3-Dimentional models, interactive sounds, songs and music. Furthermore, to investigate the use of digital storytelling (music, sounds), interactions and animation effect in learning engagement, through using the augmented reality technology. The scope of this project and research is very wide, it includes the 3D modeling, texturing, rigging & animation, book design and content decision research, furthermore, Augmented Reality and Android applicatio

Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation

Minimal Herbrand models of sets of first-order clauses are useful in several areas of computer science, e.g. automated theorem proving, program verification, logic programming, databases, and artificial intelligence. In most cases, the conventional model generation algorithms are inappropriate because they generate nonminimal Herbrand models and can be inefficient. This article describes an approach for generating the minimal Herbrand models of sets of first-order clauses. The approach builds upon positive unit hyperresolution (PUHR) tableaux, that are in general smaller than conventional tableaux. PUHR tableaux formalize the approach initially introduced with the theorem prover SATCHMO. Two minimal model generation procedures are described. The first one expands PUHR tableaux depth-first relying on a complement splitting expansion rule and on a form of backtracking involving constraints. A Prolog implementation, named MM-SATCHMO, of this procedure is given and its performance on benchmark suites is reported. The second minimal model generation procedure performs a breadth-first, constrained expansion of PUHR (complement) tableaux. Both procedures are optimal in the sense that each minimal model is constructed only once, and the construction of nonminimal models is interrupted as soon as possible. They are complete in the following sense The depth-first minimal model generation procedure computes all minimal Herbrand models of the considered clauses provided these models are all finite. The breadth-first minimal model generation procedure computes all finite minimal Herbrand models of the set of clauses under consideration. The proposed procedures are compared with related work in terms of both principles and performance on benchmark problems

The Kids are Driving the Bus

A full-length play with elements of music and audience participation. Ms. McShizzle has to decide how far she will go to challenge the educational system and empower her students to pursue their dreams. When confronting her nemesis, an audacious Clown with a harmful neurosis, McShizzle struggles to build the school community for good

A relevance restriction strategy for automated deduction

Identifying relevant clauses before attempting a proof may lead to more efficient automated theorem proving. Relevance is here defined relative to a given set of clause

An Investigation of exemplary teaching practices of teachers of Native American students

This dissertation traces the historical roots of indigenous education from the violation of treaty rights of the late 1800\u27s to the staggering rates of non-persistency facing Native American students today. While many factors are outside of the classroom teacher\u27s scope of influence, teacher candidates should be trained in culturally responsive methods to address factors that are within their control and which can be addressed in the classroom. The study was conducted using a mixed-methods design employing Creswell\u27s (2008a) sequential transformative strategy. STS is a multi-phase study with an implicit theoretical lens. In this study the researcher is situated at an intersection between reform of current educational practice using the work of Demmert, Ladson-Billings and Haberman and equity for all students using the work of Villegas, Sheets, and Hermes. The researcher employed a phase I survey instrument to gather data from 122 certified teachers at an elementary, middle, and high school site to examine characteristics of exemplary teachers. Using data from the first phase the researcher developed an interview protocol and selected participants for an in-depth qualitative interview. The researcher, using this study, and the emergent the conceptual model, as a blueprint, found that four significant implications for teacher education. The four implications are: relationship building; reframing race and poverty; exposing teacher candidates\u27 views of the other; and, examination of self through reflection. Classroom and subsequent academic change for teachers will necessitate their coming to terms with new strategies. The starting point for reform lies squarely in the preparation of teacher candidates at the preservice level if reform is to be achieved. The implications for teacher education presented here contributed to the development of teacher candidates that could gain the characteristics necessary to use the emergent conceptual model. This conceptual model recognizes the important of the representative characteristics of caring educators and is further concerned with the process of how those characteristics are utilized to impact academic success. A process orientated model is presented that uses the characteristics of effective teaching, the humanistic, instructional, and the academic, in concert to ultimately gain the product of persistency and academic success for Native American students

Analysis of the Validity of the Torrance Tests of Creative Thinking

Housing, Interior Design, and Consumer Studie

Beyond the "Angelina Effect": A Longitudinal Analysis of Celebrity Breast Cancer Disclosures' Impact on News Media and Public Breast Cancer Information Seeking Outcomes

University of Minnesota Ph.D. dissertation. July 2017. Major: Journalism. Advisors: Rebekah Nagler, Marco Yzer. 1 computer file (PDF); xi, 247 pages.A long research tradition exists investigating the content of news coverage of celebrity breast cancer disclosures and, to a greater extent, the impact these personal health narratives have on public cancer-related outcomes. However, the bulk of this research focuses on specific, large-scale media events, such as Angelina Jolie’s 2013 BRCA disclosure. The attention to individual disclosures provide insight about the specific media event, but does not further knowledge about the larger phenomenon of celebrity cancer disclosures. To go beyond the Angelina effect, this dissertation addresses three overarching research questions: 1) What breast cancer-related messages are present in media coverage of celebrity breast cancer disclosures; 2) do these messages impact public cancer-related behavioral outcomes (i.e., online breast cancer information seeking); and 3) are there attributes of the celebrity that predict media and public outcomes? To address these questions, first, 110 individual celebrity breast cancer disclosures between 2005 and 2016 were systematically identified. Then, two longitudinal studies were conducted. To address the first question, Study 1 used computer assisted and hand coded procedures to assess the presence of episodic frames (defined as containing information specific to the celebrity and her experience with breast cancer) and thematic frames (defined as including population and subpopulation breast cancer information [e.g., prevalance, risk, survial rates]). In addition, the presence of seven content categories classified as misinformation (defined as information which is innaccurate, misleading, or oversimplified) in news coverage was assessed. Results demonstrated that 80% of the news articles were written with an episodic frame, and 20% were written with a thematic frame, indicating very little information beyond the celebrity’s own experience with breast cancer was conveyed to the public. However, misinformation was largely absent in the news coverage—only misinformation pertaining to early breast cancer detection and mastectomy decisions was present in 10% or more of the news coverage. Study 2 attempts to determine if news content impacts information seeking by using the framing outcomes from Study 1 to predict Google Trends search query outcomes. Due to the disparate rates in the presence of episodic and thematic frames this dissertation is unable to provide support linking content and online breast cancer information seeking outcomes. However, time series models suggest that media coverage of celebrity breast cancer disclosures in the aggregate have a distal impact on the public’s breast cancer information seeking outcomes. For example, some analyses suggested effects happened as late as 17 months after news coverage of the disclosure. Yet the nature of these trends may be a function of the data. Establishing if celebrity attributes can predict media and public outcomes was done through a moderation analysis of the results of Study 1 and Study 2. Specifically, the extent to which the presence of episodic and thematic and misinformation were present and statistically significant information seeking models were examined as a function of the celebrity’s age, career type, breast cancer-event type, and level of celebrity status (defined as the degree of fame the celebrity achieved at the time of disclosure). Eighty-seven percent of thematic frames present were in news coverage of celebrities at the highest levels of fame. Specific categories in the age, career-type, and level of celebrity status variables predicted the presence of misinformation. Some preliminary evidence suggests level of celebrity status may predict online breast cancer information seeking outcomes. The implications of the dissertation’s findings for health communication research, mass media effects research, and professional health communicators are discussed