Sage Journals: Discover world-class research

Open access

Research article

First published 2012-2

Universal Guards,Relativization of Quantifiers,and Failure Models in Model Checking Modulo Theories

Francesco Alberti, Silvio Ghilardi, Elena Pagani [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2026-4

Quantifier-Specific Usage Patterns Shape Learning—A Corpus Analysis on Universal Quantifiers in English and Dutch Child-Directed Language

Mieke Sarah Slim, Elizabeth Tobyn, Caroline F. Rowland

First Language

Open access

Research article

First published 2012-2

Encoding Nested Boolean Functions as Quantified Boolean Formulas

Uwe Bubeck, Hans Kleine Büning

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Other

First published 2010-9

A Framework to Develop Task Complexity

Elizabeth H. Lazzara, Davin Pavlas, Stephen Fiore [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2007-04

Talking about literacy: A cultural model of teaching and learning untangled

Mary Louise Gomez, Amy Suzanne Johnson, Karen Gisladottir

Journal of Early Childhood Literacy

Retricted access

Research article

First published 2022-1

What Might Books Be Teaching Young Children About Gender?

Molly Lewis, Matt Cooper Borkenhagen, Ellen Converse [...]

Psychological Science

Retricted access

Research article

First published 2015-8

Making data mining a natural part of life: Physical retailing,customer surveillance and the 21st century social imaginary

Joseph Turow, Lee McGuigan, Elena R Maris

European Journal of Cultural Studies

Retricted access

Research article

First published 2007-12

The Grammaticalization of Small Size Nouns

Lieselotte Brems

Journal of English Linguistics

Open access

Research article

First published 2017

Digital health and the biopolitics of the Quantified Self

Btihaj Ajana

DIGITAL HEALTH

Retricted access

Research article

First published 1992-10

Incident Retrieval from NASA's Aviation Safety Reporting System

Sheryl L. Chappell, Richard J. Tarrel

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Search results