Results 111 to 120 of about 11,792,067 (380)

Fixed-Point Posets in Theories of Truth [PDF]

, 2019
We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model.
Mackereth, Stephen
core  

A renormalization fixed point for Lorenz maps

, 2010
A Lorenz map is a Poincar\'e map for a three-dimensional Lorenz flow. We describe the theory of renormalization for Lorenz maps with a critical point and prove that a restriction of the renormalization operator acting on such maps has a hyperbolic fixed ...
Björn Winckler, de Melo W, Guckenheimer J, Hirsch M W, Keller G, St Pierre M, Williams R F   +6 more
core   +1 more source

An Optimal Pursuit Differential Game Problem with One Evader and Many Pursuers

Mathematics, 2019
The objective of this paper is to study a pursuit differential game with finite or countably number of pursuers and one evader. The game is described by differential equations in l 2 -space, and integral constraints are imposed on the control ...
Idris Ahmed, Poom Kumam, Gafurjan Ibragimov, Jewaidu Rilwan, Wiyada Kumam   +4 more
doaj   +1 more source

A Weak Convergence Self-Adaptive Method for Solving Pseudomonotone Equilibrium Problems in a Real Hilbert Space

Mathematics, 2020
In this paper, we presented a modification of the extragradient method to solve pseudomonotone equilibrium problems involving the Lipschitz-type condition in a real Hilbert space.
Pasakorn Yordsorn, Poom Kumam, Habib ur Rehman, Abdulkarim Hassan Ibrahim   +3 more
doaj   +1 more source

Thermostable neutral metalloprotease from Geobacillus sp. EA1 does not share thermolysin's preference for substrates with leucine at the P1′ position

FEBS Letters, EarlyView.
Knowing how proteases recognise preferred substrates facilitates matching proteases to applications. The S1′ pocket of protease EA1 directs cleavage to the N‐terminal side of hydrophobic residues, particularly leucine. The S1′ pocket of thermolysin differs from EA's at only one position (leucine in place of phenylalanine), which decreases cleavage ...
Grant R. Broomfield, Torsten Kleffmann, David J. Saul, Sigurd M. Wilbanks   +3 more
wiley   +1 more source

Exploring lipid diversity and minimalism to define membrane requirements for synthetic cells

FEBS Letters, EarlyView.
Designing the lipid membrane of synthetic cells is a complex task, in which its various roles (among them solute transport, membrane protein support, and self‐replication) should all be integrated. In this review, we report the latest top‐down and bottom‐up advances and discuss compatibility and complexity issues of current engineering approaches ...
Sergiy Gan, Victoria Scarpelli, Marten Exterkate   +2 more
wiley   +1 more source

Intuitionistic fixed point theories over Heyting arithmetic [PDF]

, 2010
In this paper we show that an intuitionistic theory for fixed points is conservative over the Heyting arithmetic with respect to a certain class of formulas. This extends partly the result of mine.
Arai, Toshiyasu
core  

Examination of fractional order model for the population of diabetes and the effects of changes in lifestyle on remission

Mathematical and Computer Modelling of Dynamical Systems
Diabetes can always be avoided or controlled by maintaining a balanced diet and exercising regularly. Recent studies have shown that putting a diabetic patient into remission through a strict lifestyle modification programme can help their blood glucose ...
Kanokwan Kratuloek, Poom Kumam, Vishal Nikam, Dhananjay Gopal, Thidaporn Seangwattana   +4 more
doaj   +1 more source

Brownian Motion and Thermophoresis Effects on MHD Three Dimensional Nanofluid Flow with Slip Conditions and Joule Dissipation Due to Porous Rotating Disk

Molecules, 2020
This paper examines the time independent and incompressible flow of magnetohydrodynamic (MHD) nanofluid through a porous rotating disc with velocity slip conditions. The mass and heat transmission with viscous dissipation is scrutinized.
Nasser Aedh Alreshidi, Zahir Shah, Abdullah Dawar, Poom Kumam, Meshal Shutaywi, Wiboonsak Watthayu   +5 more
doaj   +1 more source

C‐mannosylation promotes ADAMTS1 activation and secretion in human testicular germ cell tumor NEC8 cells

FEBS Letters, EarlyView.
C‐mannosylation is a unique form of protein glycosylation. In this study, we demonstrated that ADAMTS1 is C‐mannosylated at Trp562 and Trp565 in human testicular germ cell tumor NEC8 cells. We found that C‐mannosylation of ADAMTS1 is essential for its secretion, processing, enzymatic activity, and ability to promote vasculogenic mimicry. These findings
Takato Kobayashi, Takehiro Suzuki, Ryota Kawahara, Natsumi Harai, Naoshi Dohmae, Siro Simizu   +5 more
wiley   +1 more source