Results 21 to 30 of about 1,520,948 (343)
International Journal of Surgery, 2016 The incidental detection of small renal masses on imaging undertaken to evaluate unrelated symptoms or conditions is an increasingly common occurrence. Accurate imaging characterisation is fundamental to determining optimum patient management. The goals of imaging small renal masses include determining whether a lesion is solid or cystic, if there are ...
Alison, Elstob +2 more
openaire +2 more sources
The expressive power of modal logic with inclusion atoms [PDF]
, 2015 Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset of its domain. In this paper we give a complete characterisation for the
Hella, Lauri, Stumpf, Johanna
core +2 more sources
Nordlyd: Tromsø University Working Papers on Language & Linguistics, 2020 A new set of modals is appearing in contemporary English. The epistemic modals with perfect have are forming a new class including mighta, coulda, woulda, shoulda, and musta, when they are used with an additional have and without a (present) perfect ...
Elly van Gelderen
doaj +1 more source
, 2009 Just as Boolean rules define Boolean categories, the Boolean operators define higher-order Boolean categories referred to as modal categories. We examine the similarity order between these categories and the standard category of logical identity (i.e ...
Vigo , Dr. Ronaldo
core +1 more source
Reflexive insensitive modal logics [PDF]
, 2015 We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem ...
Gilbert, David, Venturi, Giorgio
core +2 more sources
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 +2 more sources
Faktor-Faktor Keterbengkalaian Benteng Toboali Sebagai Bangunan Bersejarah
Jurnal Pembangunan Wilayah dan Kota, 2014 Buildings and areas that have historical significance should essentially be seen as an object of cultural heritage that needs to be protected and preserved.
Ari Sutanto
doaj +1 more source
La separación de las Formas platónicas: una crítica a la interpretación de Gail Fine
Praxis Filosófica, 2022 Según Aristóteles, las Formas platónicas son problemáticas porque son separadas de sus participantes. Una interpretación reciente de Gail Fine propone que, para Aristóteles, dicha separación no es categórica, como se ha mantenido ...
Jesús Alfonso Peña Raigoza
doaj +1 more source
Arena Produksi Kultural Kerajinan Kulit di Surakarta Dalam Tren Ekonomi Kreatif
Jurnal Socius: Journal of Sociology Research and Education, 2020 Penelitian ini bertujuan untuk menjelaskan tentang; (1) hubungan antara produksi sub sektor kriya dengan naiknya kelas sosial pemuda; (2) cara-cara yang ditempuh oleh pengrajin untuk mengatasi persoalan terkait dengan produksi kriya kulit.
Lisa Elfena +2 more
doaj +1 more source
Revista IBRACON de Estruturas e Materiais, 2021 The continuous development of smartphones has garnered considered research attention owing to the possibility of its use in different engineering applications. MEMS accelerometers available on smartphones are useful for structural health monitoring. This
Jorge Dalmas Braido +1 more
doaj +1 more source