Results 81 to 90 of about 235,564 (296)
Engineering peptides into antibodies—opportunities and strategies for therapeutic innovation
FEBS Letters, EarlyView.Peptides and antibodies occupy complementary therapeutic niches. Peptides recognize difficult targets in a compact format, while antibodies add specificity, long half‐life, and effector functions. This review examines strategies that merge both modalities—peptide grafting into loops, terminal and Fc fusions, and bioconjugation—highlighting how ...
Jinling Wang +2 more
wiley +1 more source
On the Configuration of SAT Formulae [PDF]
, 2019 It is well-known that the order in which clauses and literals are listed in a SAT formulae can have a strong impact on solvers’ performance.
Mauro Vallati, Marco Maratea
openaire +3 more sources
Interpolant Learning and Reuse in SAT-Based Model Checking
, 2007 Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed significant performance gains and, as a consequence, a large number of commercial ...
Marques-Silva, Joao
core +1 more source
LIPIcs, Volume 271, SAT 2023, Complete Volume
, 2023 LIPIcs, Volume 271, SAT 2023, Complete ...
Slivovsky, Friedrich, Mahajan, Meena
core +1 more source
The microbiome in human skin aging
FEBS Letters, EarlyView.Age‐related skin changes encompass the well‐known visible phenotypic alterations, together with microbiome dysbiosis and a series of molecular aging hallmarks. These hallmarks characterize not only a fully stablished aged phenotype but also the skin aging process itself.
Manuel Huerta Arana +3 more
wiley +1 more source
FEBS Letters, EarlyView.This review focuses on the role of autophagy and mitophagy in maintaining pancreatic β‐cell function and homeostasis. We discuss how genetic defects affecting these pathways contribute to the development of type 1, type 2, monogenic, and gestational diabetes. We further explore their potential as therapeutic targets. Created in BioRender.
Yunkyeong Lee +2 more
wiley +1 more source
International Journal of Built Environment and Sustainability, 2018 Urban population in Indian cities is encouraging auto reliance and having unsafe economic, social and environmental consequences. Land-use-change patterns are the outcome of the complex relations between the human and the physical surroundings.
Sat Pal
doaj +1 more source
On the Regularity of Random 2-SAT and 3-SAT
CoRRWe consider the random $k$-SAT problem with $n$ variables, $m=m(n)$ clauses, and clause density $α=\lim_{n\to\infty}m/n$ for $k=2,3$. It is known that if $α$ is small enough, then the random $k$-SAT problem admits a solution with high probability, which we interpret as the problem being under-constrained.
Andreas Basse-O'Connor +2 more
openaire +3 more sources
FEBS Letters, EarlyView.Obesity raises blood levels of PAI‐1, a protein linked to metabolic dysfunction‐associated steatotic liver disease in people with obesity. In female mice fed a high‐fat diet, partially lowering PAI‐1 led to smaller subcutaneous fat cells and lower liver cholesterol, without changing body weight or insulin sensitivity.
Claudia E. Ramirez Bustamante +10 more
wiley +1 more source
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem [PDF]
, 2010 The Task Graph Cost-Optimal Scheduling Problem consists in scheduling a certain number of interdependent tasks onto a set of heterogeneous processors (characterized by idle and running rates per time unit), minimizing the cost of the entire process. This
Sergio Nocco +3 more
core +1 more source