Results 21 to 30 of about 1,487,216 (331)
Modalities in homotopy type theory
, 2020 Univalent homotopy type theory (HoTT) may be seen as a language for the category of $\infty$-groupoids. It is being developed as a new foundation for mathematics and as an internal language for (elementary) higher toposes.
Rijke, Egbert +2 more
core +1 more source
Bioengineering, 2022 Traditional dilated ophthalmoscopy can reveal diseases, such as age-related macular degeneration (AMD), diabetic retinopathy (DR), diabetic macular edema (DME), retinal tear, epiretinal membrane, macular hole, retinal detachment, retinitis pigmentosa ...
Gehad A. Saleh +10 more
doaj +1 more source
Diagnostic Criteria and Treatment Modalities of Ectopic Pregnancies: A Literature Review
European Medical Journal Reproductive Health, 2021 Background: Ruptured ectopic or extrauterine pregnancy (EP) is responsible for 6% of maternal deaths in the first trimester. This review was designed to summarise the diagnostic criteria and treatment modalities of EPs.
Ibrahim A. Abdelazim +3 more
doaj
Book review: Al-Khunaji’s Logic (Fallahi, Asadollah, (2013), Al-Khunaji’s Logic, The Iranian Institute of Philosophy, Tehran) [PDF]
حکمت معاصر, 2020 Khunaji’s logic deal with the logical novelties Afzal al-din al-Khunaji in his Kashf al-asrar an ghawamiz al-afkar. Among all the novelties of Kashf on concepts, defintion, propositons, and categorical and hypothetical syllogisms, Khunaji’s logic just ...
Asadollah Fallahi
doaj +1 more source
Mathematical Structures in Computer Science, 2020 AbstractAny modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal factorization system associated with any modality, of which the left class is the class of ○-equivalences and the right class is the class of ○-étale maps.
Felix Cherubini, Egbert Rijke
openaire +3 more sources
Is Ontological Modality Distinct from Logical Modality? Tracing the Dispute on Wujub, Imkan and Imtinaʿ in Kalam from Adud al-Din al-Iji to ʿAli Qushji [PDF]
Nazariyat: Journal for the History of Islamic Philosophy and SciencesIn his al-Mawāqif fī ʿilm al-kalām, ʿAḍud al-Dīn al-Ījī argues that the concepts of wujūb (necessity), imkān (possibility), and imtināʿ (impossibility) as analyzed in the general ontology (al-umūr al-ʿāmma) sections of later books are not the same as the
Ömer Türker
doaj +1 more source
Sign Systems Studies, 2017 The essay deals with the formation of the Greimassian thought from its earliest origins in his young years at Kaunas University, i.e. his connections with Wilhelm Sesemann, Lev Karsavin and Russian formalism, to the rise of structuralism in Paris.
Eero Tarasti
doaj +1 more source
Revue Internationale Animation, Territoires et Pratiques Socioculturelles, 2020 Quels sont les objectifs assignés à la médiation culturelle dans les organismes de production et de diffusion de la musique au Québec ? Comment ces activités sont-elles mises en oeuvre ?
Irina Kirchberg
doaj +1 more source
Journal of Pure and Applied Algebra, 2011 43 pages, minor ...
Zoran Petric, Kosta Došen
openaire +3 more sources
Effects of force-torque and tactile haptic modalities on classifying the success of robot manipulation tasks [PDF]
, 2019 We investigate which haptic sensing modalities, or combination of haptic sensing modalities, best enable a robot to determine whether it successfully completed a manipulation task.
Chan, Yukyu +2 more
core +1 more source