Results 81 to 90 of about 693,962 (268)
Program Synthesis in Saturation
, 2023 AbstractWe present an automated reasoning framework for synthesizing recursion-free programs using saturation-based theorem proving. Given a functional specification encoded as a first-order logical formula, we use a first-order theorem prover to both establish validity of this formula and discover program fragments satisfying the specification.
Petra Hozzová +3 more
openaire +2 more sources
FEBS Open Bio, EarlyView.Evolutionary analysis across 32 placental mammals identified positive selection at residues H148 and W149 in the immune receptor FcγR1. Ancestral reconstruction combined with molecular dynamics simulations reveals how these mutations may influence receptor structure and dynamics, providing insight into the evolution of antibody recognition and immune ...
David A. Young +7 more
wiley +1 more source
Applied SciencesIn response to the fairness issue arising from the unequal delay of vehicles in different phases at intersections and considering the actual situation of small and variable delays for vehicles in low-saturation intersection phases, this paper proposes ...
Lingxiang Zhu, Lujing Yu, Liang Zou
doaj +1 more source
FEBS Open Bio, EarlyView.Drugs previously repurposed to target blood cancers reduced neuroblastoma and glioblastoma cell growth and viability. However, their levels of anticancer activity were different and their clinical application may be problematic due to side effects at effective doses.
Abhishek Kharawatkar +4 more
wiley +1 more source
FEBS Open Bio, EarlyView.In a murine model of myocardial ischemia and reperfusion (MI/R), the CD36 azapeptide ligand MPE‐298 reduces cardiac injury and transiently lowers left ventricular long‐chain fatty acids (LCFAs) accumulation 3 h after reperfusion, accompanied by a decrease of oxidative stress and inflammation‐associated genes' expression in the heart and adipose tissue.
Jade Gauvin +12 more
wiley +1 more source
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
SATURATION FOR THE BUTTERFLY POSET [PDF]
Mathematika, 2020 Given a finite poset $\mathcal P$, we call a family $\mathcal F$ of subsets of $[n]$ $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The induced saturated number of $\mathcal P$, denoted by $\text{sat}^*(n,\mathcal P)$, is the size
openaire +3 more sources
FEBS Open Bio, EarlyView.TisIBP8, a fungal‐derived hyperactive ice‐binding protein, helps Caenorhabditis elegans survive dehydration. It localizes near cell membranes, reduces cell damage, and helps maintain membrane structure during drying. These results suggest that ice‐binding proteins can protect cells from dehydration stress as well as freezing stress.
Daiki Shimose +9 more
wiley +1 more source
Evaluating the involvement of autolysosomes in the nuclear translocation of fluorescent proteins
FEBS Open Bio, EarlyView.Endogenously expressed fluorescent proteins can be degraded by autophagy and transported to cell nuclei via the nuclear pore complex. But in some cell lines, for example, HeLa cells which are positive for immunoreactivity of a receptor ligand, such as UCN I, in cell nuclei, fusion of autolysosome with the nuclear envelope is involved in the nuclear ...
Keiichi Ikeda
wiley +1 more source