Sage Journals: Discover world-class research

Retricted access

Research article

First published 2001-2

Strong Normalisation of Cut-Elimination in Classical Logic

C. Urban, G.M. Bierman

Fundamenta Informaticae

Retricted access

Research article

First published 2019

The Duality of Classical Intersection and Union Types

Paul Downen, Zena M. Ariola, Silvia Ghilezan

Fundamenta Informaticae

Retricted access

Research article

First published 2013

Traffic Signal Timing Optimization

Ali Hajbabaie, Rahim F. (Ray) Benekohal

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2007-5

Arithmetical Proofs of Strong Normalization Results for Symmetric λ-calculi

René David, Karim Nour

Fundamenta Informaticae

Retricted access

Research article

First published 1999-04

Simulating conversations in oral-proficiency assessment: a conversation analysis of role plays and non-scripted interviews in language exams

Judit Kormos

Language Testing

Retricted access

Research article

First published 1998-3

Shape Control and Kinematic Waves in Large Statically Determinate Structures in Space

V.I. Bujakas

International Journal of Space Structures

Retricted access

Research article

First published 1986-11

On the Analysis and Design of the End Notched Flexure (ENF) Specimen for Mode II Testing

L.A. Carlsson, J.W. Gillespie, R.B. Pipes

Journal of Composite Materials

Retricted access

Research article

First published 2019-5

Supporting successful interpretations of covariation data: Beneficial effects of variable symmetry and problem context

Christopher Osterhaus, Jaclyn Magee, Andrea Saffran [...]

Quarterly Journal of Experimental Psychology

Retricted access

Research article

First published 2001-5

Attractiveness of Facial Averageness and Symmetry in Non-Western Cultures: In Search of Biologically Based Standards of Beauty

Gillian Rhodes, Sakiko Yoshikawa, Alison Clark [...]

Perception

Retricted access

Research article

First published 1989-10

Designing Screen Icons: Ranking and Matching Studies

Peter R. Nolan

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Search results