Learning to teach is a culturally situated activity. As teachers learn, it is important to understand not only what teachers learn, but how they learn. This article describes a qualitative case study of a subset of four teachers’ learning during a professional development surrounding a plate tectonics curriculum. Using qualitative methods, this study tells the story of how the four teachers negotiated professional vision for science teaching around dilemmas that emerged throughout the professional development. By taking a sociocultural perspective on professional vision, researchers can gain insight into how and what teachers learn in professional develop- ment settings because it renders teacher learning complex and nuanced. Additionally, we argue negotiating professional vision parallels sensemak- ing. Sensemaking around science teaching includes grappling with epis- temic issues of science in addition to pedagogy and curriculum. Implications for science teacher education are discussed. Specifically, we argue learning to teach requires teachers to engage in conversations that create opportunities to “get somewhere” in relation to dilemmas they have about teaching. In this way, professional vision is an ongoing process of learning that has no endpoint or ideal articulation of teaching or science. Therefore, by framing professional vision as a process of learning we are able to push back on simplistic descriptions of teaching and science.
more »
« less
Reinforcement Learning with Guarantees that Hold for Ever
Reinforcement learning is a successful explore-and-exploit approach, where a controller tries to learn how to navigate an unknown environment. The principle approach is for an intelligent agent to learn how to maximise expected rewards. But what happens if the objective refers to non-terminating systems? We can obviously not wait until an infinite amount of time has passed, assess the success, and update. But what can we do? This talk will tell.
more »
« less
- PAR ID:
- 10417919
- Editor(s):
- Groote, J.F.; Huisman, M.
- Date Published:
- Journal Name:
- Formal Methods for Industrial Critical Systems. FMICS 2022
- Volume:
- 13487
- Page Range / eLocation ID:
- 3-7
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
What do high school students learn from a two-day datathon during which they tackle data to visualize the impact of biased data on healthcare decisions? How do they interact with their team of high school students, data scientists, clinicians, and teachers? What did we, the developers and leaders of the datathon, learn? How would we approach it differently next year? Our goal is to answer these questions plus share lessons learned. We will then divide the audience into teams to brainstorm ways to approach and solve some of the problems we experienced and hopefully recruit some audience members to participate in our June 2025 Brown University Health Artificial Intelligence (AI) Systems Thinking for Equity (HASTE) Datathon in Providence, Rhode Island (Brown University Datathon, 2024).more » « less
-
Fast linear transforms are ubiquitous in machine learning, including the discrete Fourier transform, discrete cosine transform, and other structured transformations such as convolutions. All of these transforms can be represented by dense matrix-vector multiplication, yet each has a specialized and highly efficient (subquadratic) algorithm. We ask to what extent hand-crafting these algorithms and implementations is necessary, what structural prior they encode, and how much knowledge is required to automatically learn a fast algorithm for a provided structured transform. Motivated by a characterization of fast matrix-vector multiplication as products of sparse matrices, we introduce a parameterization of divide-and-conquer methods that is capable of representing a large class of transforms. This generic formulation can automatically learn an efficient algorithm for many important transforms; for example, it recovers the O(N logN) Cooley-Tukey FFT algorithm to machine precision, for dimensions N up to 1024. Furthermore, our method can be incorporated as a lightweight replacement of generic matrices in machine learning pipelines to learn efficient and compressible transformations. On a standard task of compressing a single hidden-layer network, our method exceeds the classification accuracy of unconstrained matrices on CIFAR-10 by 3.9 points—the first time a structured approach has done so—with 4X faster inference speed and 40X fewer parameters.more » « less
-
Lamberg, T; Moss, D (Ed.)Mathematics teachers make numerous decisions that form lessons that in turn greatly influence what students learn. In making these decisions, teachers rely on their curricular reasoning (CR) to decide on what mathematics to teach, how to structure their lesson, and what problems or tasks to use to achieve their lesson goals. However, teachers differ with respect to the sophistication of their CR and the diversity of CR aspects used in their reasoning. In this paper, we detail two ways to classify teachers’ CR: a leveled approach to capture the increasing sophistication of teachers’ CR, and a heat map approach that highlights the extent to which teacher use various CR aspects in their planning. These methods provide stakeholders avenues by which CR can be studied and that teachers’ CR abilities can be further developed.more » « less
-
Lamberg, T; Moss, D (Ed.)Mathematics teachers make numerous decisions that form lessons that in turn greatly influence what students learn. In making these decisions, teachers rely on their curricular reasoning (CR) to decide on what mathematics to teach, how to structure their lesson, and what problems or tasks to use to achieve their lesson goals. However, teachers differ with respect to the sophistication of their CR and the diversity of CR aspects used in their reasoning. In this paper, we detail two ways to classify teachers’ CR: a leveled approach to capture the increasing sophistication of teachers’ CR, and a heat map approach that highlights the extent to which teacher use various CR aspects in their planning. These methods provide stakeholders avenues by which CR can be studied and that teachers’ CR abilities can be further developed.more » « less
An official website of the United States government

