Results 121 to 130 of about 246,520 (298)

Hyperactive ice‐binding proteins stabilize cell membranes and improve resistance to dehydration stress in Caenorhabditis elegans

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, Kotaro Ozaki, Ryohei Kuriyama, Yuka Ikemoto, Kazuhiro Mio, Yuji C. Sasaki, Tatsuya Arai, Sakae Tsuda, Yoichi Shinkai, Masahiro Kuramochi   +9 more
wiley   +1 more source

MILP-SAT-GNN: Yet Another Neural SAT Solver

CoRR
We proposes a novel method that enables Graph Neural Networks (GNNs) to solve SAT problems by leveraging a technique developed for applying GNNs to Mixed Integer Linear Programming (MILP). Specifically, k-CNF formulae are mapped into MILP problems, which are then encoded as weighted bipartite graphs and subsequently fed into a GNN for training and ...
Cardillo, Franco Alberto, Khyari, Hamza, Straccia, Umberto   +2 more
openaire   +2 more sources

A Max-SAT solver with lazy data structures

, 2004
. We present a new branch and bound algorithm for Max-SAT which incorporates original lazy data structures, a new variable selection heuristics and a lower bound of better quality.
Felip Manyà, Teresa Alsinet, Jordi Planes   +2 more
core   +1 more source

Molecular characterization of covRS mutations in M1UK Streptococcus pyogenes

FEBS Open Bio, EarlyView.
Group A Streptococcus (GAS) acquires covRS mutations driving a hypervirulent bacterial state, frequently associated with invasive disease‐like necrotizing fasciitis. We demonstrate that the newly emerged M1UK GAS lineage can also acquire these mutations.
Jarrad Pritchard, Emma‐Jayne Proctor, Jiawa Wang, Nikolas P. Johnston, Andrew Hayes, Georgia McCorkell, Haibo Yu, Jai Tree, Mark R. Davies, Mark J. Walker, Ronald Sluyter, Stephan Brouwer, Martina L. Sanderson‐Smith   +12 more
wiley   +1 more source

Hyperosmotic stress‐induced redistribution of pre‐mRNA cleavage factor I subunits is associated with shifts in alternative polyadenylation

FEBS Open Bio, EarlyView.
Hyperosmotic stress triggers the relocation of the CFIm complex from the nucleus to the cytoplasm. This shift creates a nuclear ‘stoichiometric bottleneck’, limiting CFIm availability for mRNA processing. Consequently, specific mRNAs like NUDT21 and DICER1 undergo targeted 3′UTR shortening, demonstrating how spatial protein dynamics drive rapid ...
Hitomi Soumiya, Masatake Osawa, Hidefumi Fukumitsu   +2 more
wiley   +1 more source

Efficient Quantum Answer Set Programming Solver Using Partial Diffusion and Entanglement

IEEE Access
The relation between answer set programming (ASP) and combinatorial problems, especially the satisfiability problem (SAT), has attracted significant interest in the academic literature.
Esraa Ebdelrehime, Ahmed Younes, Islam Elkabani   +2 more
doaj   +1 more source

Yeast Gcn2 retains activity following humanization of its auto‐phosphorylation region

FEBS Open Bio, EarlyView.
Using Saccharomyces cerevisiae as a model to study Gcn2 activation and regulation is limited by the lack of antibodies detecting phosphorylated Gcn2. To overcome this, we engineered Gcn2‐HsC, a yeast Gcn2 variant recognizable by commercial anti‐human phospho‐GCN2 antibodies.
Reuben A. Anderson, Anja H. Schiemann, Evelyn Sattlegger   +2 more
wiley   +1 more source

SAT Solver dengan DPLL dalam Pemrograman Deklaratif

, 2018
SAT Solver adalah perangkat lunak untuk menyelesaikan SAT Problem. Penelitian ini bertujuan membangun SAT Solver dengan konsep pemrograman deklaratif dan bahasa pemrograman Prolog dengan menggunakan Algoritma DPLL.
Hidayat, Taufiq, Irhasni, Agung Bahariyanto   +1 more
core  

Effect of terahertz irradiation on DNA damage repair in living cells

FEBS Open Bio, EarlyView.
We investigated the effect of terahertz (THz) wave irradiation on DNA double‐strand break (DSB) repair in living cells. We found that THz irradiation enhanced DSB repair at specific frequencies, whereas heat treatment inhibited it, indicating that this effect is nonthermal and frequency‐specific.
Yuya Ueno, Shota Yamazaki, Hiromichi Hoshina, Masahiko Harata   +3 more
wiley   +1 more source

Application of Constraint Programming with Satisfiability in Nurse Scheduling

Engineering Proceedings
We applied the Google OR-Tools Constraint Programming with Satisfiability (CP-SAT) solver to the nurse scheduling problem (NSP) to efficiently generate feasible and high-quality schedules under complex real-world constraints.
Jehn-Ruey Jiang, Bo-Rong Chen, Wei-Hsiang Kao   +2 more
doaj   +1 more source