Skills-Based Grading: a novel approach to teaching formal semantics

Skills-Based Grading: a novel approach to teaching formal semantics

This paper reports an implementation of ‘Skills-Based Grading’ (SBG) in a formal semantics course. In traditional grading, every part of every assignment contributes to the final grade. Students are required to progress along a uniform timeline, with partial credit as a safety net. In SBG, by contra...

書誌詳細
主要な著者:	O'Leary, M, Stockwell, R
フォーマット:	Conference item
言語:	English
出版事項:	Linguistics Society of America 2021

類似資料

Implementing skills-based grading in a linguistics course
著者:: O'Leary, M, 等
出版事項: (2022)

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
著者:: O'Leary, J, 等
出版事項: (2013)

Relational STE and theorem proving for formal verification of industrial circuit designs
著者:: O'Leary, J, 等
出版事項: (2013)

Practical Formal Verification in Microprocessor Design
著者:: Jones, R, 等
出版事項: (2015)

An inlining approach to formal hardware semantics
著者:: Choi, Joonwon
出版事項: (2016)

A Formal Semantics of UML: The ASM Approach
著者:: Cavarra, A
出版事項: (2000)

A formal, scalable approach to semantic interoperability
著者:: Davies, J, 等
出版事項: (2020)

Formal Component-Based Semantics
著者:: Ken Madlener, 等
出版事項: (2011-08-01)

Formal semantics for VHDL /
著者:: Kloos, Carlos Delgado, 等
出版事項: (1995)

An Industrially Effective Environment for Formal Hardware Verification
著者:: Seger, C, 等
出版事項: (2005)

Teaching semantics and skills for human-robot collaboration
著者:: Angleraud Alexandre, 等
出版事項: (2019-09-01)

Classroom observation : a guide to the effective observation of teaching and learning /
著者:: O'Leary, Matt 548930
出版事項: (2014)

Formal semantics : the essential readings /
著者:: Portner, Paul, 等
出版事項: (2002)

Issues in the formal semantics of referentiality
著者:: Henriëtte de Swart, 等
出版事項: (2015-06-01)

The lexical and formal semantics of distributivity
著者:: Lelia Glass
出版事項: (2021-03-01)

Intuitions and Competence in Formal Semantics
著者:: Martin Stokhof
出版事項: (2010-12-01)

Formal semantics for natural language
著者:: Kepa Korta, 等
出版事項: (1993-04-01)

Formal semantics for propositional attitudes
著者:: Daniel Vanderveken
出版事項: (2011-06-01)

Microsoft Excel 2010 : a case approach /
著者:: O'Leary, Timothy J., 1947-, 等
出版事項: (c201)

Microsoft Access 2010 : a case approach /
著者:: O'Leary, Timothy J., 1947-, 等
出版事項: (c201)

Microsoft Office 2013 : a case approach /
著者:: O'Leary, Timothy J., 1947-, 等
出版事項: (2014)

Lexical and semantic skills of fourth grade students used in communication by writing
著者:: Danuta Piórkowska-Poniewierska, 等
出版事項: (2020-06-01)

Microsoft Office Word 2013 : a case approach /
著者:: O'Leary, Timothy J., 1947-, 等
出版事項: (2014)

Microsoft Office Excel 2013 : a case approach /
著者:: O'Leary, Timothy J., 1947-, 等
出版事項: (2014)

Microsoft Office Powerpoint 2013 : a case approach /
著者:: O'Leary, Timothy J., 1947-, 等
出版事項: (2014)

A formal CHERI-C semantics for verification
著者:: Park, SH, 等
出版事項: (2023)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
著者:: Tim Prudhomme, 等
出版事項: (2025-02-01)

Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications
著者:: Adam Procter, 等
出版事項: (2012-11-01)

Experimental biological protocols with formal semantics
著者:: Abate, A, 等
出版事項: (2018)

On the Formal Semantics of the Cognitive Middleware AWDRAT
著者:: Khan, Muhammad Taimoor, 等
出版事項: (2015)

Overview of Thirty Semantic Formalisms for Reo
著者:: S.-S. T.Q. Jongmans, 等
出版事項: (2012-06-01)

Implicit, Formal, and Powerful Semantics in Geoinformation
著者:: Gloria Bordogna, 等
出版事項: (2021-05-01)

Formal Language Decomposition into Semantic Primes
著者:: Johannes FÄHNDRICH, 等
出版事項: (2014-10-01)

Formal and Computational Semantics: a Case Study
著者:: Pulman, S
出版事項: (2007)

A Formalization of Document Models with Semantic Modelling
著者:: A.V. Mantsivoda, 等
出版事項: (2019-03-01)

Teaching reading in a multi-grade class: Teachers’ adaptive skills and teacher agency in teaching across grade R and grade 1
著者:: Labby Ramrathan, 等
出版事項: (2016-07-01)

‘Enlightened change agents with leadership skills’: A scoping review of competency-based curricula in public health PhD education
著者:: Noreen O’Leary, 等
出版事項: (2024-12-01)

Counselling couples and families : a person-centered approach /
著者:: O'Leary, Charles J.
出版事項: (1999)

A Formal Model for Semantic Computing Based on Generalized Probabilistic Automata
著者:: Guangjian Huang, 等
出版事項: (2019-09-01)

Semantic processing skills of Grade 1 English language learners in two educational contexts
著者:: Heila Jordaan
出版事項: (2011-01-01)