Results 1 to 10 of about 4,324,056 (270)
Tarski's influence on computer science [PDF]
Logical Methods in Computer Science, 2006 The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of ...
Solomon Feferman
doaj +2 more sources
Comparing Academic Performance of Elementary Education Majors in General Education Science Courses. [PDF]
PLoS OneIt is important for elementary teachers to understand the content they are responsible for teaching their students, known as content knowledge. In the content area of science, elementary teacher preparation programs often expect preservice teachers to ...
Nixon RS, Bailey EG.
europepmc +2 more sources
Girls Get WISE—A programming model for engaging girls+ in STEM
Frontiers in Psychology, 2022 The majority of STEM disciplines in Canada are male-dominated and there is a significant lack of programming available to girls. The Girls Get WISE program is a university-based program that is funded by the federal government, the university, and ...
Tamara A. Franz-Odendaal, Sally Marchand
doaj +1 more source
Defining Science Literacy in General Education Courses for Undergraduate Non-Science Majors
Journal of the Scholarship of Teaching and Learning, 2020 This article describes a project focused on identifying science instructors’ conceptions of science literacy and using these conceptions to develop a brief science literacy student self-assessment (SCILIT). We present the rationale and process we used to
Eleanor V.H. Vandegrift +5 more
doaj +1 more source
Science in Russia and Kazakhstan: General and Special [PDF]
Научно-аналитический вестник Института Европы РАН, 2019 The article is devoted to the comparative analysis of the current functioning of science in Russia and Kazakhstan. The author proposes a triad of comparison of national sciences, consisting of scientometric indicators, ways of organizing the research ...
Elena Vodopianova
doaj +1 more source
On the commutativity of the powerspace constructions [PDF]
Logical Methods in Computer Science, 2019 We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that this ...
Matthew de Brecht, Tatsuji Kawai
doaj +1 more source
Domain Representations Induced by Dyadic Subbases [PDF]
Logical Methods in Computer Science, 2015 We study domain representations induced by dyadic subbases and show that a proper dyadic subbase S of a second-countable regular space X induces an embedding of X in the set of minimal limit elements of a subdomain D of $\{0,1,\perp\}\omega$.
Hideki Tsuiki, Yasuyuki Tsukamoyo
doaj +1 more source
A generalization of a theorem of Hurewicz for quasi-Polish spaces [PDF]
Logical Methods in Computer Science, 2018 We identify four countable topological spaces $S_2$, $S_1$, $S_D$, and $S_0$ which serve as canonical examples of topological spaces which fail to be quasi-Polish. These four spaces respectively correspond to the $T_2$, $T_1$, $T_D$, and $T_0$-separation
Matthew de Brecht
doaj +1 more source
Toward a new “Fractals-General Science”
Alexandria Engineering Journal, 2014 A recent study has shown that everywhere real systems follow common “fractals-general stacking behavior” during their change pathways (or evolutionary life cycles).
Hassen Taher Dorrah
doaj +1 more source
Perspectives on blended learning through the on-line platform, LabLessons, for Chemistry
Journal of Technology and Science Education, 2018 The effectiveness of blended learning was evaluated through the integration of an online chemistry platform, LabLessons. Two modules, Titration and Formation of Hydrogen, were designed by college mentors alongside classroom chemistry teachers to engage ...
Teeba Jihad +6 more
doaj +1 more source