Results 51 to 60 of about 4,414,858 (168)
Reliability analysis of mooring chains for floating offshore wind turbines
Frontiers in Built EnvironmentAs offshore wind farms move into deeper waters, around 80 m, the high costs necessitate replacing bottom-fixed turbines with floating offshore wind turbines, which require mooring systems to maintain stability within design limits.
Guangming Li +3 more
doaj +1 more source
Therapeutic efficacy of plant-based hydrogels in burn wound healing: focus on Satureja montana L. and Origanum vulgare L [PDF]
Scripta MedicaBackground/Aim: Burn injuries present a critical issue for healthcare systems worldwide. They often lead to numerous complications, including persistent inflammation, impaired healing and heightened infection risks.
Demyashkin Grigory A. +6 more
doaj +1 more source
Bulletin of Computational Applied Mathematics, 2018 The authors of this article deal with a first order non-linear Volterra integro-differential equation (NVIDE). To this end, the conditions are obtained which are sufficient for stability (S), boundedness (B), and for every solution x of (NVIDE) is ...
Cemil Tunç, Osman Tunç
doaj
First-Order Decomposition Trees
CoRR, 2013 Lifting attempts to speed up probabilistic inference by exploiting symmetries in the model. Exact lifted inference methods, like their propositional counterparts, work by recursively decomposing the model and the problem. In the propositional case, there exist formal structures, such as decomposition trees (dtrees), that represent such a decomposition ...
Nima Taghipour +2 more
openaire +3 more sources
Journal of Applied Pharmaceutical ResearchBackground: The design of the current research work was to formulate mouth-dissolving films (MDFs) of aceclofenac (ACF) to improve patient compliance and convenience for older and younger patients, ultimately leading to improved therapeutic outcomes ...
Chandra Sekhar Naik D +3 more
doaj +1 more source
Artificial Intelligence, 2017 Distributed First Order Logic (DFOL) has been introduced more than ten years ago with the purpose of formalising distributed knowledge-based systems, where knowledge about heterogeneous domains is scattered into a set of interconnected modules.
Chiara Ghidini, Luciano Serafini
openaire +3 more sources
Admissibility, compatibility, and deducibility in first-order sequent logics [PDF]
Computer Science Journal of Moldova, 2015 The paper is about the notions of admissibility and compatibility and their significance for deducibility in different sequent logics including first-order classical and intuitionistic ones both without and with equality and, possibly, with modal rules.
Alexander Lyaletski
doaj
First order formalism for generalized vortices
Nuclear Physics B, 2018 This work develops a procedure to find classes of Lagrangian densities that describe generalizations of the Abelian Maxwell–Higgs, the Chern–Simons–Higgs and the Maxwell–Chern–Simons–Higgs models.
D. Bazeia +4 more
doaj +1 more source
Interpolation for first order S5 [PDF]
Journal of Symbolic Logic, 2002 AbstractAn interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first order S5 interpolation theorem can be proved provided the logic is extended to contain propositional quantifiers. A proper statement of the result involves some subtleties,
openaire +2 more sources
Analytical Deriving of Second Order Model of Payne from First Order Lighthil-Whitham-Richards Model
Cybernetics and Information Technologies, 2013 Analytical deriving has been realized to obtain the second order Payne model from the first order Lighthil-Witham-Richards model.
Stoilova Vasilka +2 more
doaj +1 more source