Results 111 to 120 of about 14,414,832 (247)
Invariant-free deduction for CTL*: the tableau method
, 2010 We define a classical style, one-pass tableau for the full branching-time logic CTL?. This work extends previously defined tableau technique for propositional linear-time temporal logic, PLTL, giving a new decision procedure for CTL?.
Lucio, P., Bolotov, A., Gaintzarain, J.
core
Mathematical Modelling and AnalysisIn this paper, we address a composite optimization problem in which the objective function consists of two terms: the first presents a function with a gradient that satisfies a Lipschitz–Hölder composition, while the second one is a convex function ...
Vitaliano Amaral
doaj +1 more source
Smaller is better: nanobodies meet NMR
FEBS Letters, EarlyView.Nanobodies are single‐domain antigen‐binding fragments derived from camelid heavy chain antibodies. Their small size, high stability, and exceptional specificity make nanobodies uniquely useful probes for NMR studies of protein dynamics, transient conformational states, and protein–protein interactions.
Oleg Y. Dmitriev
wiley +1 more source
Membrane composition and thermodynamic identity as boundaries of life for synthetic cell research
FEBS Letters, EarlyView.What makes a cell a cell? The boundary of a living cell is not just a wall. Read as a Markov blanket, the membrane separates internal from external states, generating identity and non‐equilibrium order. Can this identity be rebuilt from scratch in a synthetic cell?
Caterina Presutti, Bert Poolman
wiley +1 more source
Columbus Free Press newsletter
, 1978 Newsletter sent to Columbus Free Press staff and volunteers, documenting the current financial status of the newspaper and relevant news. The Columbus Free Press began as a bi-weekly publication in Columbus, Ohio, in 1970.
Columbus Free Press (Publisher)
core
Inhibition of dipeptidyl peptidase 7 impairs lysophagy in LLOMe‐treated HepG2 cells
FEBS Letters, EarlyView.DPP7 inhibition delays ubiquitin‐dependent lysophagy by attenuating ubiquitin accumulation and the recruitment of SQSTM1 and LC3 to damaged lysosomes, resulting in delayed clearance of damaged lysosomes and impaired restoration of lysosomal homeostasis. Created using FigureLabs (Certificate ID: FL‐PUB‐20260922‐Z99XNX).
Na Yeon Park +8 more
wiley +1 more source
Tissue-direct PCR, a rapid and extraction-free method for barcoding of ferns
, 2012 Tissue-direct PCR, a rapid and extraction-free method for barcoding of ferns
core +1 more source
The role of miR‐335‐5p in the redifferentiation of BRAF p.V600E thyroid cancers
Molecular Oncology, EarlyView.The BRAF p.V600E mutation promotes thyroid cancer dedifferentiation and radioiodine resistance. Using a network approach, we identified miR‐335‐5p as a key regulator of BRAF‐mutated thyroid tumors. Restoring miR‐335‐5p increased thyroid‐specific gene expression and iodine uptake in cells and organoids.
Valeria Pecce +11 more
wiley +1 more source
Tumour–host interactions in Drosophila: mechanisms in the tumour micro‐ and macroenvironment
Molecular Oncology, EarlyView.This review examines how tumour–host crosstalk takes place at multiple levels of biological organisation, from local cell competition and immune crosstalk to organism‐wide metabolic and physiological collapse. Here, we integrate findings from Drosophila melanogaster studies that reveal conserved mechanisms through which tumours hijack host systems to ...
José Teles‐Reis, Tor Erik Rusten
wiley +1 more source
Columbus Free Press subscription form
, 1990 Order form encouraging subscription to and financial support for the Columbus Free Press. It also announces that the newspaper will no longer be available for free, but can be obtained by subscription or for $1 per copy at Free Press newsboxes.
Columbus Free Press (Publisher)
core