Results 41 to 50 of about 72,973 (263)

Quantitative Reasoning Learning Progressions for Environmental Science: Developing a Framework

Numeracy, 2013
Quantitative reasoning is a complex concept with many definitions and a diverse account in the literature. The purpose of this article is to establish a working definition of quantitative reasoning within the context of science, construct a quantitative ...
Robert L. Mayes, Franziska Peterson, Rachel Bonilla   +2 more
doaj   +1 more source

Quantitative Reasoning Learning Progression: The Matrix

Numeracy, 2014
The NSF Pathways Project studied the development of environmental literacy in students from grades six through high school. Learning progressions for environmental literacy were developed to explicate the trajectory of learning.
Robert L. Mayes, Jennifer Forrester, Jennifer Schuttlefield Christus, Franziska Peterson, Rachel Walker   +4 more
doaj   +1 more source

Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation

FEBS Letters, EarlyView.
Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe, Tanmay Kumar Mohanty, Rashna Bhandari, Dorothea Fiedler   +3 more
wiley   +1 more source

Quantitative Reasoning for Proving Lock-Freedom [PDF]

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
This article describes a novel quantitative proof technique for the modular and local verification of lock-freedom. In contrast to proofs based on temporal rely-guarantee requirements, this new quantitative reasoning method can be directly integrated in modern program logics that are designed for the verification of safety properties.
Jan Hoffmann 0002, Michael Marmar, Zhong Shao 0001   +2 more
openaire   +1 more source

Calpain small subunit homodimerization is robust and calcium‐independent

FEBS Letters, EarlyView.
Calpains dimerize via penta‐EF‐hand (PEF) domains. Using single‐molecule force spectroscopy, we measured the strength and kinetics of PEF–PEF homodimer binding. The interaction is robust, shows a transient conformational step before dissociation, and remains largely insensitive to Ca2+.
Nesha May O. Andoy, Trina Dykstra‐MacPherson, Mathias A. Bell, Peter L. Davies, Ruby May A. Sullan   +4 more
wiley   +1 more source

Valosin‐containing protein counteracts ATP‐driven dissolution of FUS condensates through its ATPase activity in vitro

FEBS Letters, EarlyView.
Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura, Shin‐ichi Tate, Kyota Yasuda   +2 more
wiley   +1 more source

Threshold Concepts in Quantitative Reasoning

Numeracy
The idea of “threshold concepts” has been used to identify discipline-based concepts that are critical to that academic area. Threshold concepts are often difficult for students to assimilate in a meaningful way but, once done, can be powerful for the ...
Judith Canner, Jennifer Clinkenbeard
doaj   +1 more source

Does Completion of Quantitative Courses Predict Better Quantitative Reasoning-in-Writing Proficiency?

Numeracy, 2013
Using data from Carleton College, this study explores the connection between students’ completion of a range of quantitative courses and the quality of their quantitative reasoning in writing (QRW) as exhibited in courses throughout the undergraduate ...
Nathan D. Grawe
doaj   +1 more source

Organizing the interface—Plasma membrane architecture and receptor dynamics in virus‐cell interactions

FEBS Letters, EarlyView.
Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley   +1 more source

Quantitative Equational Reasoning

, 2020
Equational logic has been a central theme in mathematical reasoning and in reasoning about programs. We introduce a quantitative analogue of equational reasoning that allows one to reason about approximate equality. The equality symbol is annotated with a real number that describes how far apart two terms can be. We develop the counterparts of standard
Bacci, Giorgio; id_orcid 0000-0003-4004-6049, Mardare, Radu, Panangaden, Prakash, Plotkin, Gordon D.   +3 more
openaire   +1 more source