Results 1 to 10 of about 324,979 (280)
Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising [PDF]
, 2005 In this paper, we prove the strong normalisation for Martin-L\"{o}f's Logical Framework, and suggest that {}``correct arity'', a condition weaker than well-typedness, will also guarantee the strong normalisation.Comment: 19 ...
Luo, Yong
core +4 more sources
BIO Web of Conferences, 2023 En 2015, l’ONU a établi l’Agenda 2030 en fusionnant l’agenda du développement et celui des Sommets de la Terre. Il s’organise autour des « 5P » Planète, Populations, Prospérité, Paix et Partenariats.
Chabin Yann, Rochard Joël
doaj +1 more source
L’effet-Sanremo. Dénoncer le viol, normaliser le sexisme
Actes Sémiotiques, 2021 Le Festival de la chanson de Sanremo est l’un des événements médiatique plus importants d’Italie. L’édition 2020, centrée sur le thème de la violence faite aux femmes, s’est déroulée sous le feu d’une controverse qui a conduit présentateurs et ...
Carlo Andrea Tassinari
doaj +1 more source
Everyday literacy practices: Normalising the school literate child
South African Journal of Childhood Education, 2021 Background: One can argue that literacy practices work to produce forms of literacy knowledge and literate children in early childhood contexts. However, one needs to interrogate how these literacy practices create technologies of power that construct ...
Colwyn D. Martin
doaj +1 more source
Recognition of human Iris for biometric identification using Daugman’s method
IET Biometrics, 2022 Iris identification is a well‐known technology used to detect striking biometric identification procedures for recognizing human beings based on physical behaviour.
Reend Tawfik Mohammed +3 more
doaj +1 more source
Frontiers in Oncology, 2021 BackgroundNormalising tumour vessels had become a significant research focus in tumour treatment research in recent years. Curcumae rhizoma (CR) is an essential plant in traditional Chinese medicine as it promotes blood circulation and removes blood ...
Yewen Feng +6 more
doaj +1 more source
ISPRS International Journal of Geo-Information, 2021 Geodiversity is the variety of natural elements that are excluded from biodiversity, such as: geological, geomorphological, and soil features including their properties, systems, and relationships.
Márton Pál, Gáspár Albert
doaj +1 more source
Comparability of web and telephone survey modes for the measurement of subjective well-being
Survey Research Methods, 2017 We compare subjective well-being measures collected with a web and telephone surveys to test whether survey mode affects people's evaluations of their well-being.
Francesco Sarracino +2 more
doaj +1 more source
Garside and quadratic normalisation: a survey [PDF]
, 2015 Starting from the seminal example of the greedy normal norm in braid monoids, we analyse the mechanism of the normal form in a Garside monoid and explain how it extends to the more general framework of Garside families. Extending the viewpoint even more,
A Cain +17 more
core +1 more source
Preparation of bibliometrics papers [PDF]
Anais da Academia Brasileira de Ciências, 2020 Suggestions are made on how to write papers on bibliometrics.
GRANT LEWISON
doaj +1 more source