Results 111 to 120 of about 213,974 (315)
Critical Point Theory on Partially Ordered Hilbert Spaces
Journal of Functional Analysis, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
FEBS Open Bio, EarlyView.The cytoskeleton‐mediated transport of mitochondria via tunnelling nanotubes restores respiration, increases ATP production, rescues cells from apoptosis, activates the AKT/mTOR signalling pathway, promotes cell migration and invasiveness, contributes to cancer progression and treatment resistance.
Stanislava Martínková, Jan Trnka
wiley +1 more source
Partial order reductions for timed systems [PDF]
, 1998 In this paper, we present a partial-order reduction method for timed systems based on a local-time semantics for networks of timed automata. The main idea is to remove the implicit clock synchronization between processes in a network by letting local ...
Lilius, J, +3 more
core
Demonstratio MathematicaThis article is devoted to exploring the solutions of several systems of the first-order partial differential difference equations (PDDEs) with product type u(z+c)[α1u(z)+β1uz1+γ1uz2+α2v(z)+β2vz1+γ2vz2]=1,v(z+c)[α1v(z)+β1vz1+γ1vz2+α2u(z)+β2uz1+γ2uz2]=1 ...
Liu Xiao Lan +3 more
doaj +1 more source
Evaluating the effect of γ‐oryzanol on MASLD pathology using a medaka fish model
FEBS Open Bio, EarlyView.This study explores a liver disease called MASLD, which is increasing worldwide and can lead to serious damage. Researchers used medaka fish instead of rodents to test a food compound, γ‐oryzanol. Fish fed this compound had less liver fat and healthier gut bacteria.
Yukako Ito +7 more
wiley +1 more source
On bisimulation and model-checking for concurrent systems with partial order semantics [PDF]
, 2011 EP/G012962/1In concurrency theory—the branch of (theoretical) computer science that studies the logical and mathematical foundations of parallel computation—there are two main formal ways of modelling the behaviour of systems where multiple actions or ...
Gutierrez, Julian
core
Nonlinear Neumann problems on bounded Lipschitz domains
Electronic Journal of Differential Equations, 2005 We prove existence and uniqueness, up to a constant, of an entropy solution to the nonlinear and non homogeneous Neumann problem $$displaylines{ -mathop{ m div}[ mathbf{a}(., abla u)] +eta (u)=f quadhbox{ in } Omega cr frac{partial u}{partial u _ ...
Abdelmajid Siai
doaj
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Introduction Progressive Supranuclear Palsy (PSP) is a neurodegenerative ‘tauopathy’ with predominating pathology in the basal ganglia and midbrain. Caudal tau spread frequently implicates the cerebellum; however, the pattern of atrophy remains equivocal.
Chloe Spiegel +8 more
wiley +1 more source
Equational specification of partial higher-order algebras [PDF]
, 1988 The theory of algebraic abstract types specified by positive conditional formulas formed of equations and a definedness predicate is outlined and extended to hierarchical types with “noustrict” operations, partial and even infinite objects.
Broy, Manfred
core +1 more source
Isomorphism Theorems on Quasi Module
Discussiones Mathematicae - General Algebra and Applications, 2019 A quasimodel is an algebraic axiomatisation of the hyperspace structure based on a module. We initiated this structure in our paper [2]. It is a generalisation of the module structure in the sense that every module can be embedded into a quasi module and
Jana Sandip, Mazumder Supriyo
doaj +1 more source