Results 1 to 10 of about 160 (71)
Solving Quantitative Reasoning Problems with Language Models [PDF]
Neural Information Processing Systems, 2022 Language models have achieved remarkable performance on a wide range of tasks that require natural language understanding. Nevertheless, state-of-the-art models have generally struggled with tasks that require quantitative reasoning, such as solving ...
Aitor Lewkowycz +13 more
semanticscholar +1 more source
Current Issues in Middle Level Education, 2021 This manuscript shares the implementation of an after-school literacy in STEM (science, technology, engineering, and mathematics) program designed for middle grades students to increase their interest in science and mathematics learning. This program was
Shelli L. Casler-Failing +2 more
semanticscholar +1 more source
Education, 2023 Socio-scientific reasoning (SSR) is the capacity of students to engage with socio-scientific issues, encompassing four dimensions: complexity, perspective-taking, inquiry, and scepticism. Previous research has typically evaluated SSR into levels. In this
Fadhlan Muchlas Abrori +2 more
semanticscholar +1 more source
Towards a Social-Ecological-Entropy Perspective of Sustainable Exploitation of Natural Resources
Foundations, 2022 An innovative and integrative modeling strategy for assessing the sustainability and resilience of social-ecological systems (SES) is presented by introducing a social-ecological entropy production (SEEP) method.
Sebastián Michel-Mata +3 more
semanticscholar +1 more source
Computational And Experimental Research In Materials And Renewable Energy, 2022 The effective use of waste biomass is an important factor for sustainability and global energy consciousness. Unsurprisingly, tree wastes such as leaves, petiole and branch are plentiful during trimming or autumn season which offer an economical source ...
A. Nurhayati +2 more
semanticscholar +1 more source
Cogent Education, 2023 This study is an exploration of the prerequisites in Swedish teacher education policy for teacher educators’ dual didactic task of developing student teachers’ professional digital competence to such a level that they are capable of developing K–12 ...
Maria Lindfors, Anders D. Olofsson
semanticscholar +1 more source
Teaching a Formalized Logical Calculus [PDF]
ThEdu@CADE, 2020 Classical first-order logic is in many ways central to work in mathematics, linguistics, computer science and artificial intelligence, so it is worthwhile to define it in full detail. We present soundness and completeness proofs of a sequent calculus for
Asta Halkjær From +3 more
semanticscholar +1 more source
Journal of Scientific Computing, 2022 The 12th international symposium, The Vigier Centenary - 3rd Regime Natural Science Towards a Physics of The Observer: Honoring Noted Mathematical Physicist Jean-Pierre Vigier, 20-23 September 2021, was postponed three times due to travel restrictions ...
O. Pironneau +2 more
semanticscholar +1 more source
IMPROVING THE QUALITY OF RICE THROUGH THE PROCESS OF PARBOILED GRAIN TO BE HEALTHY RICE
AGROLAND The Agricultural Sciences Journal (e-Journal), 2021 Rice is one of the staple food in Indonesia which is easy to serve and contain high level carbohydrate, thus influenced the daily activities and human health.
Eko Priyantono +2 more
semanticscholar +1 more source
Journal of Open Source Software, 2021 1 Department of Physics and Astronomy, Bates College 2 Department of Mathematics, MIT 3 School of Natural Sciences, Institute for Advanced Study 4 CIERA, Northwestern University 5 Department of Astrophysical and Planetary Sciences, University of Colorado,
J. Oishi +6 more
semanticscholar +1 more source