Results 51 to 60 of about 123,099 (101)

Estimation of Power System Inertia Using Nonlinear Koopman Modes

, 2018
We report a new approach to estimating power system inertia directly from time-series data on power system dynamics. The approach is based on the so-called Koopman Mode Decomposition (KMD) of such dynamic data, which is a nonlinear generalization of ...
Hamasaki, Ryo, Ishigame, Atsushi, Susuki, Yoshihiko   +2 more
core   +1 more source

Social Mapping: Analisis Aktor dan Potensi Sosial Pada Masyarakat Kelurahan Karangsentul Kabupaten Purbalingga

Indonesian Community Development Journal, 2022
Social mapping digunakan untuk menggambarkan wilayah tertentu, baik pada analisis aktor dan potensi sosial wilayah tertentu. Penelitian ini bertujuan mengetahui pemetaan sosial pada analysis aktor dan potensi sosial pada masyarakat Kelurahan ...
Fitria Zana Kumala, Muhammad Ulil Albab
doaj  

Logical consequence in modal logic II: Some semantic systems for S4 [PDF]

, 1974
: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain
Weaver, George
core  

Probabilistic Justification Logic

Philosophies, 2018
Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification.
Joseph Lurie
doaj   +1 more source

Evaluation of the Dynamic Behavior and Vibrations of the Operator-Vehicle Assembly in Electric Agricultural Tractor Operations: A Simulation Approach for Sustainable Transport Systems

Systems
This study presents an advanced simulation-based methodology for evaluating the dynamic vibrational behavior of the operator–vehicle assembly in autonomous electric agricultural tractors.
Teofil-Alin Oncescu, Ilona Madalina Costea, Ștefan Constantin Burciu, Cristian Alexandru Rentea   +3 more
doaj   +1 more source

PEMODELAN PASAR KEUANGAN DENGAN MEKANIKA KUANTUM [PDF]

, 2009
Mekanika Kuantum dicoba untuk digunakan dalam pemodelan pasar keuangan. Pasar finansial tersusun atas pelaku pasar, jumlah uang yang dimiliki penanam modal, sekuritas dan harga sekuritas. Penyusun pasar finansial tersebut dapat menjadi basis lengkap yang
Dwi, Satya Palupi
core  

Boolean basis, formula size, and number of modal operators [PDF]

Logical Methods in Computer Science
Is it possible to write significantly smaller formulae when using Boolean operators other than those of the De Morgan basis (and, or, not, and the constants)?
Christoph Berkholz, Dietrich Kuske, Christian Schwarz   +2 more
doaj   +1 more source

Bi-objective optimization for multi-modal transportation routing planning problem based on Pareto optimality

Journal of Industrial Engineering and Management, 2015
Purpose: The purpose of study is to solve the multi-modal transportation routing planning problem that aims to select an optimal route to move a consignment of goods from its origin to its destination through the multi-modal transportation network.
Yan Sun, Maoxiang Lang
doaj   +1 more source

Succinctness in subsystems of the spatial mu-calculus

, 2017
In this paper we systematically explore questions of succinctness in modal logics employed in spatial reasoning. We show that the closure operator, despite being less expressive, is exponentially more succinct than the limit-point operator, and that the $
Fernández-Duque, David, Iliev, Petar
core  

A Nonmonotonic Sequent Calculus for Inferentialist Expressivists [PDF]

, 2016
I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical ...
Hlobil, Ulf
core