Results 71 to 80 of about 494,310 (275)

SAT-Based Optimization Framework for Electric Vehicle Charging Station Routing Under Real-World Constraints

World Electric Vehicle Journal
With the rapid adoption of electric vehicles (EVs), optimizing charging infrastructure and route planning has become increasingly crucial. Traditional methods such as Linear Programming (LP) have been widely used to address these challenges.
Shiva Sai Rama Krishna Ravipati, Srinivasa Rao Jalluri, Srikanth Kunta   +2 more
doaj   +1 more source

α‐Synuclein aggregation landscape from phase separation to neurotoxic intermediates

FEBS Letters, EarlyView.
Alpha‐synuclein aggregation in Parkinson's disease involves a complex landscape of transient intermediates, including oligomers, fibrils and liquid–liquid phase separation (LLPS). A view is emerging in which LLPS maturation into solid‐like condensates may contribute to the formation of neurotoxic species.
Silvia Arino, Giuliana Fusco, Alfonso De Simone   +2 more
wiley   +1 more source

Modelling stem cell differentiation related processes—A practical overview for biologists

FEBS Letters, EarlyView.
Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar, Xinqi Yan, Lucas Jansen Klomp, Stefano Schivo, Janine N. Post   +4 more
wiley   +1 more source

On Conjunctive Normal Form Satisfiability

, 1991
This paper focuses on algorithms that solve CSAT (conjunctive normal form satisfiability) by searching for a satisfying truth assignment for the given formula F.
Freeman, Jon
core  

On the orthogonalization of arbitrary Boolean formulae [PDF]

, 2004
The orthogonal conjunctive normal form of a Boolean function is a conjunctive normal form in which any two clauses contain at least a pair of complementary literals. Orthogonal disjunctive normal form is defined similarly.
BRUNI, Renato, Renato Bruni
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, Simone Bini, Marialuisa Sponziello, Giorgio Grani, Giulia Fiscon, Paola Paci, Lorenzo Farina, Rosa Falcone, Valentina Maggisano, Sebastiano Filetti, Cosimo Durante, Antonella Verrienti   +11 more
wiley   +1 more source

TRAIL‐PEG‐Apt‐PLGA nanosystem as an aptamer‐targeted drug delivery system potential for triple‐negative breast cancer therapy using in vivo mouse model

Molecular Oncology, EarlyView.
Aptamers are used both therapeutically and as targeting agents in cancer treatment. We developed an aptamer‐targeted PLGA–TRAIL nanosystem that exhibited superior therapeutic efficacy in NOD/SCID breast cancer models. This nanosystem represents a novel biotechnological drug candidate for suppressing resistance development in breast cancer.
Gulen Melike Demirbolat, Aslihan Kucuk, Omer Erdogan, Samed Ozer, Bensu Kozan, Tugba Cuceli, Erkan Gumus, Evrim Cevik, Ozge Cevik   +8 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

Minimization of conjunctive normal forms of boolean functions by combinatorial method

Technology audit and production reserves, 2018
The object of research is the combinatorial method of minimizing conjunctive normal forms (CNF) of Boolean functions in order to reduce its algorithmic complexity. One of the most places to minimize CNF of Boolean functions is the complexity of the minimization algorithm and the guarantee of obtaining the minimum function. In the course of the study,
Riznyk, Volodymyr, Solomko, Mykhailo
openaire   +3 more sources

Dimethyl fumarate combined with cisplatin at subcytotoxic doses sensitizes cervical cancer toward ferroptosis and apoptosis through GSH restriction and p53 (re)activation

Molecular Oncology, EarlyView.
Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano, Giuseppina Minopoli, Simona Romano, Laura Marrone, Katia Aquilano, Maria Lina Tornesello, Raffaella Faraonio   +6 more
wiley   +1 more source