Results 191 to 200 of about 658,465 (305)

Proving Termination via Measure Transfer in Equivalence Checking

Program verification can benefit from proofs with varied induction schemas. A natural class of induction schemas, functional induction, consists of those derived from definitions of functions.
Kunčak, Viktor, Bucev, Mario, Fuhs, Carsten, Milovančević, Dragana   +3 more
core  

Fluorination: A strategy to tune the interactions of molecules and nanoscale systems with biological matter

FEBS Open Bio, EarlyView.
This minireview explores fluorination as a key strategy to optimize therapeutic molecules and nanocarriers. By incorporating different fluorinated motifs—from single atoms to linear and branched chains—drug delivery, cellular uptake, and colloidal stability can be improved and fine‐tuned.
Martina Beccalli, Beatrice Lucia Bona, Francesca Baldelli Bombelli   +2 more
wiley   +1 more source

Introducing Crack-Termination Sites to Improve the Resistance of Polycarbonate on Environmental Stress Cracking. [PDF]

Polymers (Basel)
Ma M, Huang Q, Wang P, Ai J, Liang H, Yu L, Peng M, Cen Y.   +7 more
europepmc   +1 more source

Dactolisib outperforms Rapamycin in potentiating apoptosis induced by XPO1, Bcl‐2 and Mcl‐1 blockade in preclinical glioblastoma models

FEBS Open Bio, EarlyView.
The PAM pathway and its impact on cellular metabolism. Color‐coded key symbols represent Rapamycin (R, orange, targeting mTOR) and Dactolisib (D, green, targeting PI3K/mTOR), indicating their sites of action. Created with BioRenders.com. Glioblastoma resists therapy through interconnected survival programs.
Kai Zhao, Leonie Meyer, Madita Braun, Katharina Otte, Celine Bitter, Maite Pawlik, Hartmann Raifer, Frederik Helmprobst, Axel Pagenstecher, Hans Urban, Michael C. Burger, Michael W. Ronellenfitsch, Joachim P. Steinbach, Jarmila Jedelská, Shamim Bagheri, Behrooz H. Yousefi, Pietro Di Fazio, Markus Luster, Andreas H. Mahnken, Andreas Neubauer, Andreas Burchert, Christopher Nimsky, Jörg W. Bartsch, Tillmann Rusch   +23 more
wiley   +1 more source

Tuning CO₂ electroreduction to methane <i>via</i> oxygen termination of M₂BO₂ (M = V, Cr, Hf, Mo, Ta, W) MBene catalysts: a DFT + U investigation. [PDF]

RSC Adv
Ali JM, Obodo KO, Mohammed AM, Mekonnen YS.   +3 more
europepmc   +1 more source

Hydrogel platforms for 3D cardiac tissue engineering and fibrotic disease modelling

FEBS Open Bio, EarlyView.
Hydrogel‐based cardiac tissue models are advancing our understanding of heart health and disease. By incorporating electrical conductivity, aligned structures, and tunable mechanical properties, these platforms better replicate the complex environment of native heart tissue.
Harrison Porritt, Annika Winbo, Jenny Malmström   +2 more
wiley   +1 more source

Redefining just cause for contract termination in FIFA's RSTP: striking a fair balance between player rights and club interests in light of the interim regulatory framework. [PDF]

Front Sports Act Living
Ben Salah W, AlOmran N, Alhendi N, Nouri Z.   +3 more
europepmc   +1 more source

Chronobiology of Cancer: How Aging Fuels Oncogenesis at the Molecular Level

Aging and Cancer, EarlyView.
This graphical abstract illustrates the key biological pathways linking aging with cancer development and progression. In the upper left, cumulative exposure to ultraviolet radiation, toxins, and reactive oxygen species (ROS) causes DNA damage and genomic instability, whereas age‐related decline in repair mechanisms, such as ATM/ATR, BER, and NER ...
Anu Singh, Aroonima Misra, Sufian Zaheer
wiley   +1 more source