Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,436,966 papers from all fields of science
Search
Sign In
Create Free Account
StyleType
Known as:
Style Type
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Mosquito : an implementation of higher-order logic ( Rough diamond )
Dominic P. Mulligan
2017
Corpus ID: 7210951
We present Mosquito: an experimental stateless, pure, largely total lcf-style implementation of higher-order logic using Haskell…
Expand
2016
2016
PENERAPAN MODEL KOOPERATIF TIPE MISSOURI MATHEMATICS PROJECT (MMP) TERMODIFIKASI DENGAN MEMPERHATIKAN GAYA KOGNITIF(Studi Eksperimen pada Materi Garis dan Sudut Kelas VII MTs. Muallimin Muhammadiyah…
Nur Iffah
2016
Corpus ID: 189003708
ABSTRACT The Research is Quasi Experiment which aims to discover whether learning model and cognitive style influenced…
Expand
Review
2009
Review
2009
Culture 1 Are There Cultural Differences in Learning Style ?
Simy Joy
,
D. Kolb
2009
Corpus ID: 16875543
This study examines the role that culture plays in the way individuals learn. Experiential learning theory is used to describe…
Expand
2008
2008
IMPLICATIONS OF LEARNING STYLE FOR THE CHOICE OF A PRIMARY CARE CAREER IN MEDICAL SCHOOL Amid a national debate concerning the types of physicians
A. P. Sloan
2008
Corpus ID: 51783849
Conceptualization Figure 1. Learning Styles and the Learning Process . The Converger is defined as having dominant learning modes…
Expand
2004
2004
Evaluation of Prey-Stage Preference as an Indicator of Life-Style Type in Phytoseiid Mites
J. Blackwood
,
H. Luh
,
B. Croft
Experimental & applied acarology
2004
Corpus ID: 10409362
Discriminant analysis (DA) models were developed and applied to examine the use of prey-stage preference (Tetranychus urticae…
Expand
1999
1999
A Functional View of Join
Martin Odersky
,
Matthias Zenger
,
Gang Chen
,
C. Zenger
1999
Corpus ID: 6843862
Join calculus, usually presented as a process calculus, is suitable as a foundation of both sequential and concurrent programming…
Expand
1995
1995
Open and Closed World Types in NLP Systems
D. Gerdemann
1995
Corpus ID: 16013165
1995
1995
Healthy and unhealthy caring: towards a constructivist analysis of carers of the aged
Christine Gillies
1995
Corpus ID: 142785355
Using a constructivist framework, ideas about healthy and unhealthy caring, from a number of populations, were drawn together and…
Expand
1990
1990
The Nimble Type Inferencer for Common Lisp-84
H. Baker
1990
Corpus ID: 353902
interpretation is the name given to the generic process of "executing" a program on a lattice which is much simpler than the…
Expand
1984
1984
The Master of Ballantrae
J. Hammond
1984
Corpus ID: 164197301
The idea for a new novel, The Master of Ballantrae, came to Stevenson in December 1887 while pacing the verandah of the house…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE