Results 1 to 10 of about 16,427,329 (274)
Tree-width for first order formulae [PDF]
Logical Methods in Computer Science, 2012 We introduce tree-width for first order formulae \phi, fotw(\phi). We show that computing fotw is fixed-parameter tractable with parameter fotw. Moreover, we show that on classes of formulae of bounded fotw, model checking is fixed parameter tractable ...
Isolde Adler, Mark Weyer
doaj +4 more sources
Oscillation conditions for difference equations with several variable delays [PDF]
Opuscula Mathematica, 2023 A technique is developed to establish a new oscillation criterion for a first-order linear difference equation with several delays and non-negative coefficients.
Bassant M. El-Matary +3 more
doaj +1 more source
Mathematics, 2022 In this article, a scalar nonlinear integro-differential equation of second order and a non-linear system of integro-differential equations with infinite delays are considered.
Cemil Tunç, Osman Tunç
doaj +1 more source
Aceh International Journal of Science and Technology, 2020 This research aims to study the first-order kinetics of biodiesel production from used frying oil (UFO) through transesterification with methanol. Used frying oil was collected from fried peddlers around the campus of the University of Lampung. Technical
Agus Haryanto +3 more
doaj +1 more source
On the stability of first order impulsive evolution equations [PDF]
Opuscula Mathematica, 2014 In this paper, concepts of Ulam-Hyers stability, generalized Ulam-Hyers stability, Ulam-Hyers-Rassias stability and generalized Ulam-Hyers-Rassias stability for impulsive evolution equations are raised.
JinRong Wang, Michal Fečkan, Yong Zhou
doaj +1 more source
World Electric Vehicle Journal, 2023 The primary indicator of battery level in a battery management system (BMS) is the state of charge, which plays a crucial role in enhancing safety in terms of energy transfer.
Dewi Anggraeni +3 more
doaj +1 more source
Metals, 2023 In this study, the isothermal reduction of bauxite residue-calcite sintered pellets by hydrogen at elevated temperatures and different gas flow rates was investigated.
Manish Kumar Kar +2 more
doaj +1 more source
Kinetic evaluation of L-Dopa loaded WGA-grafted nanoparticles
Medicine Science, 2020 Drug release is a critical parameter in the discipline of drug delivery for years. The determination of in vitro release kinetics of active substances from drug systems plays a critical role in predicting and managing of both efficacy and safety ...
Sema Arisoy, Tansel Comoglu
doaj +1 more source
Kinetics of Phenolic Compounds Modification during Maize Flour Fermentation
Molecules, 2021 This study aimed to investigate the kinetics of phenolic compound modification during the fermentation of maize flour at different times. Maize was spontaneously fermented into sourdough at varying times (24, 48, 72, 96, and 120 h) and, at each point ...
Oluwafemi Ayodeji Adebo +8 more
doaj +1 more source
Order-Invariant First-Order Logic over Hollow Trees [PDF]
, 2020 We show that the expressive power of order-invariant first-order logic collapses to first-order logic over hollow trees. A hollow tree is an unranked ordered tree where every non leaf node has at most four adjacent nodes: two siblings (left and right ...
Grange, Julien, Segoufin, Luc
core +4 more sources