Results 31 to 40 of about 14,196 (285)

First steps in synthetic guarded domain theory: step-indexing in the topos of trees [PDF]

, 2006
We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on predicates and types, which serve as guards in recursive definitions of terms,
Jan Schwinghammer, Kristian Støvring, Lars Birkedal, Patrick Baillot, Rasmus Møgelberg   +4 more
core   +7 more sources

Graphical approach to the study of fixed point results involving hybrid contractions

Results in Control and Optimization
In this work, a new class of general contractive mappings, with the name Jaggi-Suzuki-type hybrid (K-α-ϕ)-contractive mapping is discussed in metric space equipped with a graph and new criteria for which the mapping is a Picard operator are studied.
Jamilu Abubakar Jiddah, Mohammed Shehu Shagari   +1 more
doaj   +1 more source

Convergence analysis of a family of robust Kalman filters based on the contraction principle

, 2017
In this paper we analyze the convergence of a family of robust Kalman filters. For each filter of this family the model uncertainty is tuned according to the so called tolerance parameter.
Zorzi, Mattia
core   +1 more source

Self-adjoint Lyapunov variables, temporal ordering and irreversible representations of Schroedinger evolution

, 2009
In non relativistic quantum mechanics time enters as a parameter in the Schroedinger equation. However, there are various situations where the need arises to view time as a dynamical variable.
Busch P., Busch P., Duren P. L., Egusquiza I. L., Hoffman K., Holevo A., Koosis P., Lax P. D., Nagy B. Sz., Nikol’skiĭ N. K., Paley R. E. A. C., Pauli W., Prigogine I., Rosenblum M., Y. Strauss   +14 more
core   +1 more source

Disordered but rhythmic—the role of intrinsic protein disorder in eukaryotic circadian timing

FEBS Letters, EarlyView.
Unstructured domains known as intrinsically disordered regions (IDRs) are present in nearly every part of the eukaryotic core circadian oscillator. IDRs enable many diverse inter‐ and intramolecular interactions that support clock function. IDR conformations are highly tunable by post‐translational modifications and environmental conditions, which ...
Emery T. Usher, Jacqueline F. Pelham
wiley   +1 more source

Discussion on Generalized-(αψ, βφ)-Contractive Mappings via Generalized Altering Distance Function and Related Fixed Point Theorems

Abstract and Applied Analysis, 2014
We extend the notion of (αψ, βφ)-contractive mapping, a very recent concept by Berzig and Karapinar. This allows us to consider contractive conditions that generalize a wide range of nonexpansive mappings in the setting of metric spaces provided with ...
Maher Berzig, Erdal Karapınar, Antonio-Francisco Roldán-López-de-Hierro   +2 more
doaj   +1 more source

Partial metric spaces with negative distances and fixed point theorems [PDF]

, 2015
In this paper we consider partial metric spaces in the sense of O'Neill. We introduce the notions of strong partial metric spaces and Cauchy functions.
Assaf, Samer, Pal, Koushik
core  

Time after time – circadian clocks through the lens of oscillator theory

FEBS Letters, EarlyView.
Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo, Carolin Ector, Hanspeter Herzel   +2 more
wiley   +1 more source

Structural instability impairs function of the UDP‐xylose synthase 1 Ile181Asn variant associated with short‐stature genetic syndrome in humans

FEBS Letters, EarlyView.
The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li, Pedro A. Sánchez‐Murcia, Bernd Nidetzky   +2 more
wiley   +1 more source

A strong convergence theorem on generalized equilibrium problems and strictly pseudocontractive mappings; pp. 12–24 [PDF]

Proceedings of the Estonian Academy of Sciences, 2011
In this paper, we consider a general iterative process for a generalized equilibrium problem and a strictly pseudo-contractive mapping. A strong convergence theorem of common elements of the fixed point sets of the strictly pseudocontractive mapping and ...
Yan Hao
doaj   +1 more source