Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,148,344 papers from all fields of science
Search
Sign In
Create Free Account
Idris
Idris is a general-purpose purely functional programming language with dependent types. The type system is similar to the one used by Agda. The…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
36 relations
Agda
Cheney's algorithm
Coq (software)
Dependent type
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Collapsibility of PMMA Based Material in Direct Investment Casting
M. Shukri
,
O. Marwah
,
M. Ibrahim
,
S. Sharif
,
E. J. Mohamad
,
M. Y. Hashim
2018
Corpus ID: 55061546
Over recent years, the rapid growth of Additive manufacturing (AM) has benefits the Direct Investment Casting (DIC) process for…
Expand
2016
2016
Wear Behavior of Basalt Powder Reinforced Phenolic Resin Matrix Composites Brake Lining Pads
K. Atmika
,
Wayan Nata Setiadi
,
M. Parwata
2016
Corpus ID: 73543095
This paper explain the wear behaviour of composites phenolic resin with basalt powder reinforced on brake lining pads. Composite…
Expand
2014
2014
A Multiscale Test of Spatial Stationarity for Textured Images in R
M. Nunes
,
Sarah L. Taylor
,
I. Eckley
The R Journal
2014
Corpus ID: 11690013
The ability to automatically identify areas of homogeneous texture present within a greyscale image is an important feature of…
Expand
2010
2010
Photo Enforcement Programs: Are They Permissible Under the United States Constitution?, 43 J. Marshall L. Rev. 463 (2010)
P. McNaughton
2010
Corpus ID: 152628290
2009
2009
Digital Restoration of Ancient Papyri
Amelia Carolina Sparavigna
arXiv.org
2009
Corpus ID: 2322127
Image processing can be used for digital restoration of ancient papyri, that is, for a restoration performed on their digital…
Expand
Review
2008
Review
2008
SCIENTIFIC HIGHLIGHT OF THE MONTH : ” Optical Properties of Correlated Materials – or Why Intelligent Windows may look Dirty ” Optical Properties of Correlated Materials – or Why Intelligent Windows…
J. M. Tomczak
,
S. Biermann
2008
Corpus ID: 6942417
Materials with strong electronic Coulomb correlations play an increasing role in modern materials applications. “Thermochromic…
Expand
2006
2006
Lifestyle Intervention Improved Nutritional Knowledge, Dietary Composition and Health Status of Midlife Malaysian Women
Noor-Aini My
,
L. Pon
,
+8 authors
J. R. Muda
2006
Corpus ID: 55319919
Lifestyle has been shown to exert a major impact on the quality of life and health in mid-life women coping with menopausal…
Expand
2005
2005
Transferability of SSR markers from lychee (Litchi chinensis Sonn.) to pulasan (Nephelium ramboutan-ake L.)
C. Sim
,
M. C. Mahani
,
C. Choong
,
I. Salma
2005
Corpus ID: 53329282
Introduction. Pulasan and lychee are from the same family and closely related, therefore the SSR markers are expected to be…
Expand
2000
2000
Enhancements to the GW space-time method
L. Steinbecka
,
A. Rubiob
,
L. Reiningc
,
M. Torrentc
,
I. D. Whited
,
R. W. Godbya
2000
Corpus ID: 56512105
We describe the following new features which significantly enhance the power of the recently developed real-space imaginary…
Expand
1995
1995
Determination of dietary fibre in selected fruits and vegetables by Prosky method
B. T. Lim
,
I. Khatijah
1995
Corpus ID: 92986773
The total dietary fibre (TDF), soluble dietary fibre (SDF) and insoluble dietary fibre (IDF) of selected fruits and vegetables…
Expand