Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,513 papers from all fields of science
Search
Sign In
Create Free Account
Kappa calculus
In mathematical logic, category theory, andcomputer science, kappa calculus is aformal system for defining first-orderfunctions. Unlike lambda…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Arrow (computer science)
Category theory
Computer science
First-class function
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Predicting Future Land Use Change Using Support Vector Machine Based GIS Cellular Automata: A Case of Lagos, Nigeria
O. Okwuashi
,
J. Mcconchie
,
+5 authors
Aniekan Danny Ekpo
2012
Corpus ID: 55091514
Lagos has undergone an unprecedented urban expansion. Contemporary findings favour the integration of cellular automata and…
Expand
2011
2011
Relations in the tautological ring
R. Pandharipande
,
A. Pixton
2011
Corpus ID: 118901212
These notes cover our series of three lectures at Humboldt University in Berlin for the October 2010 conference "Intersection…
Expand
Review
2011
Review
2011
Are elderly people with comorbidities involved adequately in medical decision making when hospitalised ? A cross-sectional survey
A. Ekdahl
,
L. Andersson
,
A. Wiréhn
,
Maria Friedrichsen
2011
Corpus ID: 37999085
Background: Medical decision making has long been in focus, but little is known of the preferences and conditions for elderly…
Expand
2009
2009
Flood Early Warning with Integration of Hydrologic and Hydraulic Models, RS and GIS (Case Study: Madarsoo basin, Iran)
A. Matkan
,
A. Shakiba
,
H. Pourali
,
H. Azari
2009
Corpus ID: 18688341
Flood warning and forecasting could be one of the most effective non-structural procedures in managing floods that decreases the…
Expand
2005
2005
On the importance of oxidizable structures in bleached kraft pulps
O. Sevastyanova
2005
Corpus ID: 85559254
After cooking, kraft pulps always contain not only residual lignin but also significant amounts of hexenuronic acid and other non…
Expand
2005
2005
Amélioration de l’aptitude à la coagulation du lait cameline (Camelus dromedarius) : utilisation d’extraits enzymatiques coagulants gastriques de dromadaires
O. Siboukeur
,
A. Mati
,
Brahim Hessas
2005
Corpus ID: 83665931
La transformation du lait de chamelle en fromage presente des difficultes ayant pour origine une teneur reduite en caseine Kappa…
Expand
1998
1998
Rapid screening test evaluation for microalbuminuria in diabetes mellitus
I. F. Fernández
,
J. Pinto
,
T. H. Bono
,
P. Garijo
,
M. A. O. Camúñez
,
M. Delgado
Acta Diabetologica
1998
Corpus ID: 1288940
Microalbuminuria predicts clinical nephropathy and cardiovascular disease in diabetes mellitus. This study was undertaken to…
Expand
1989
1989
Microparticulate feeds for Penaeid larvae
A. Kanazawa
1989
Corpus ID: 62816996
The mass production of penaeid larvae still depends on live foods such as diatoms, Chlorella and Artemia . However, it requires…
Expand
Highly Cited
1980
Highly Cited
1980
Continuous production of ethanol using immobilized growing yeast cells
M. Wada
,
J. Kato
,
I. Chibata
European Journal of Applied Microbiology and…
1980
Corpus ID: 43356904
SummaryImmobilized growing yeast cells were prepared in kappa-carra-geenan gel. Gel beads containing a small number of cells were…
Expand
1975
1975
Deductive Techniques for Simulating Logic Circuits
Herbert Y. Chang
,
S. Chappell
Computer
1975
Corpus ID: 8955822
The use of logic simulation to facilitate the development of computers, telephone switching processors, and other digital systems…
Expand