Results 11 to 20 of about 1,454,061 (346)
Data-Centric Engineering, 2020 Aircraft performance models play a key role in airline operations, especially in planning a fuel-efficient flight. In practice, manufacturers provide guidelines which are slightly modified throughout the aircraft life cycle via the tuning of a single ...
Florent Dewez +2 more
doaj +1 more source
Jurnal Akuntansi Aktual, 2018 This research aims to produce a deep understanding of accountability in the public service sector The Local Government District of Malang. This research uses a qualitative research approach with the phenomenology of Martin Heidegger (interpretive ...
Ardy Fariyansyah +2 more
doaj +1 more source
Structural Refinement for the Modal nu-Calculus [PDF]
, 2014 We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification
A.N. Prior +20 more
core +4 more sources
Thermal Resistance of Gray Modal and Micromodal Socks
AUTEX Research Journal, 2022 Men's socks were produced on a Lonati circular knitting machine in 18 different combinations in multi-plated plain jersey from basic modal and basic micro modal yarn with the addition of cotton or PA multifilament yarn and elastane yarn in the sock cuff.
Skenderi Zenun +3 more
doaj +1 more source
Modal Verb “Shall” in Contemporary American English: A Corpus-Based Study
Respectus Philologicus, 2022 This paper explored the modal verb shall in formal and informal writings in academic and fiction registers. It focused on the frequencies of shall across academic and fiction domains in contemporary American English and the differences in the usage of ...
Maria Caroline Samodra, Barli Bram
doaj +1 more source
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
Graphical dynamic trends for earthquake incidence response of plan-asymmetric systems [PDF]
, 2015 A Graphical Dynamic model is derived to describe the directional earthquake response of two-ways plan-asymmetric systems, which retains the insightful educational evidence of traditional graphical static methods and the accuracy of computational methods ...
Faggella, Marco +3 more
core +2 more sources
Revista Alicantina de Estudios Ingleses, 1998 This paper sets out to reasess some relevance-theoretic analyses of the English modals, in particular Walton (1988), Groefsema(1995), Klinge (1993) and Berbeira Gardón (1996a), and show how a unified treatment of modal verbs is possible within the framework of Sperber and Wilson's Relevance Theory.
openaire +5 more sources
A mitigator in Mandarin: the sentence-final particle ba (吧)
Open Linguistics, 2020 It has been widely claimed in the literature that the sentence-final particle ba in Mandarin Chinese is a modal element. This article argues against this claim and shows that ba is an element that has a unified mitigating function with scope over the ...
Fang Hongmei, Hengeveld Kees
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