A recently introduced framework of semidiscretisations for hyperbolic conservation laws known as correction procedure via reconstruction (CPR, also known as flux reconstruction) is considered in the extended setting of summation-by-parts (SBP) operators using simultaneous approximation terms (SATs). This reformulation can yield stable semidiscretisations for linear advection and Burgers’ equati...

We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular, we present XMC, an XSBbased local model checker for a CCS-like value-passing language and the alternation-free fragment of the modal mu-calculus. XMC is written in under 200 lines of XSB code, which constitute a decl...

Let L be a language containing the modal operator B – for full belief. An information model is a set E of stable L-theories ([19], [21], [30], [27]). A sentence is valid if it is accepted in all theories of every model. We show that a formula A is valid if and only if it is a theorem of the modal system S5. The second part of the paper considers the possibility of providing probabilistic founda...

Simultaneous learning of multiple functions is one of the fundamental issues not only to design intelligent robots but also to understand human’s cognitive developmental process since we, human, do so in our daily lives but we do not know how to do. Drawing an analogy to the well-known bias in child language development, we propose the mutual exclusivity selection principle (μX principle) for l...

In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languages and models. In this article, we continue this work by employing theories from Formal Ontology, Cognitive Psychology and Philosophical Logic to systematically investigate some important modal aspects of the ontologi...

We introduce a version of the probabilistic μ-calculus (PMC) built on top of a probabilistic modal logic that allows encoding n-ary inequational conditions on transition probabilities. PMC extends previously studied calculi and we prove that, despite its expressiveness, it enjoys a series of good metaproperties. Firstly, we prove the decidability of satisfiability checking by establishing the s...

investigations on vibration behaviors of railway track systems were attempted in this research. this was made by conducting a comprehensive field investigation into the free vibration of track systems and response of tracks to train moving loads. in-situ modal analysis was used in a railway track field as an efficient method of investigating dynamic properties of railway track systems. natural ...

Penelitian ini bertujuan menganalisis pengaruh jumlah penduduk, penanaman modal asing dan dalam negeri terhadap pertumbuhan ekonomi kesempatan kerja di Samarinda. Data penelitian time series tahun 2008-2018, dengan alat analisis regresi dua tahap. Hasil menunjukkan penduduk berpengaruh positif signifikan ekonomi, tidak kerja, langsung melalui akan tetapi

The modal analysis, which decouples the contact wire and rail track conductors, is used to develop an integrated model of single rail track and contact wire. The characteristic impedance and propagation constant matrices of integrated model have been computed. The authors have studied effects of various parameters of interest on characteristic impedance and propagation constant using sensitivit...

The authors of the theory of reasoned action (TRA) and its extension, the theory of planned behaviour (TPB) recommend that researchers who use these theories to investigate the determinants of a given behaviour should first conduct an elicitation study to identify the modal salient beliefs in the target population. In spite of the importance accorded to salient beliefs by the TRA/TPB, the elici...