Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,335,416 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.
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
2014
2014
Kinetic Analysis of The Oxidation of Nitrate Ion By Methylthioninium Chloride In Acid Medium
U. Ese
,
Faruruwa
2014
Corpus ID: 94582554
The kinetic analysis of the oxidation of nitrate ion by methylthioninium chloride in acid medium was studied using large excess…
Expand
2012
2012
Preliminary results of stratification study in Sembrong Reservoir, Peninsular Malaysia
N. B. Baharim
,
Z. Yusop
,
+4 authors
M. Z. Abidin
2012
Corpus ID: 73650301
The possible occurrence of stratification was assessed in Sembrong reservoir located in Kluang, Johor, Peninsular Malaysia. It is…
Expand
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
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
1999
1999
A Full-Scale Combined Anaerobic-Aerobic System for Treatment of Melamine Formaldehyde Wastewater
A. M. Lai
1999
Corpus ID: 92047712
The objective of this full scale study is to determine the effectiveness of the combined two stage anaerobic-aerobic processes…
Expand
1999
1999
Compressible effects on a temporal direct numerical simulation
R. Sauvage
,
A. Kourta
1999
Corpus ID: 55420854
Direct numerical simulation of a temporal compressible mixing layer has been performed through the mixing layer transition at…
Expand