Results 41 to 50 of about 1,814,894 (278)

Predicting the Future Burden of Renal Replacement Therapy in Türkiye Using National Registry Data and Comparative Modeling Approaches

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Chronic kidney disease is a growing public health problem worldwide, and the number of patients requiring renal replacement therapy is steadily increasing. Türkiye has experienced a similar rise in both the incidence and prevalence of renal replacement therapy over the past decades; however, national‐level projections of future ...
Arzu Akgül, Neriman Sıla Koç, Berrak Itır Aylı   +2 more
wiley   +1 more source

Function‐driven design of a surrogate interleukin‐2 receptor ligand

FEBS Letters, EarlyView.
Interleukin (IL)‐2 signaling can be achieved and precisely fine‐tuned through the affinity, distance, and orientation of the heterodimeric receptors with their ligands. We designed a biased IL‐2 surrogate ligand that selectively promotes effector T and natural killer cell activation and differentiation. Interleukin (IL) receptors play a pivotal role in
Ziwei Tang, Zelin Cheng, Teng Li, Fulian Wang, Liangminghui Zhang, Xiuxiu He, Lili Liu, Wei Wang, Aibin Liang, Guang Yang   +9 more
wiley   +1 more source

LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics

Revista Facultad de Ingeniería Universidad de Antioquia, 2012
The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia, Felipe M. Menchaca García, Rolando Menchaca Méndez   +2 more
doaj   +1 more source

MocNet Simulation Specification [PDF]

, 2011
This document outlines the simulation to be developed in the MocNet project. It will be a discrete event simulation using next-event incrementing to advance time.
Gestrelius, Sara
core   +1 more source

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

Influence of bamboo fiber reinforcement on the mechanical behavior of soft soil

Discover Civil Engineering
Soft soils, characterized by low strength and high compressibility, pose significant challenges to civil engineering projects, often leading to excessive settlement and structural instability.
Robi Sonkor Mozumder, Manik Chandra Bhumik, Peash Sheikh   +2 more
doaj   +1 more source

Specificity Distinctions

Journal of Semantics, 2001
This paper is concerned with semantic noun phrase typology, focusing on the question of how to draw fine-grained distinctions necessary for an accurate account of natural language phenomena. In the extensive literature on this topic, the most commonly encountered parameters of classification concern the semantic type of the denotation of the noun ...
openaire   +3 more sources

The (Glg)ABCs of cyanobacteria: modelling of glycogen synthesis and functional divergence of glycogen synthases in Synechocystis sp. PCC 6803

FEBS Letters, EarlyView.
We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee, Dimitrios Bekiari, Sofia Doello, Karl Forchhammer   +3 more
wiley   +1 more source

Invariant Elimination of Definite Iterations over Arrays in C Programs Verification

Моделирование и анализ информационных систем, 2017
This work represents the further development of the method for definite iteration verification [7]. It extends the mixed axiomatic semantics method [1] suggested for C-light program verification. This extension includes a verification method for definite
Ilya V. Maryasov, Valery A. Nepomniaschy, Dmitry A. Kondratyev   +2 more
doaj   +1 more source

Formal Specification and Testing of a Management Architecture [PDF]

, 1997
The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities.
C Wezeman, D Carrington, E Cusack, E Cusack, GH Rafsanjani, GP Fernandes, HB Zadeh, HM Horcher, IU Recommendation, J Derrick, JM Stepney, L Simon, ND North, P Stocks, R Duke, S Rudkin, S Stepney   +16 more
core   +3 more sources