Results 61 to 70 of about 3,379,264 (310)

Time after time – circadian clocks through the lens of oscillator theory

FEBS Letters, EarlyView.
Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo, Carolin Ector, Hanspeter Herzel   +2 more
wiley   +1 more source

SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks

Transactions on Cryptographic Hardware and Embedded Systems, 2018
In this paper, we introduce the Satisfiability Modulo Theory (SMT) attack on obfuscated circuits. The proposed attack is the superset of Satisfiability (SAT) attack, with many additional features.
Kimia Zamiri Azar, Hadi Mardani Kamali, Houman Homayoun, Avesta Sasan   +3 more
doaj   +1 more source

Automated Benchmarking of Incremental SAT and QBF Solvers

, 2015
Incremental SAT and QBF solving potentially yields improvements when sequences of related formulas are solved. An incremental application is usually tailored towards some specific solver and decomposes a problem into incremental solver calls.
A Biere, A Nadel, C Miller, F Lonsing, G Audemard, J-M Lagniez, N Eén, N Eén, U Egly   +8 more
core   +1 more source

ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver

Journal on Satisfiability, Boolean Modeling and Computation, 2014
Branch and bound (BnB) solvers for Max-SAT count at each node of the search tree the number of disjoint inconsistent subsets to compute the lower bound. In the last ten years, important advances have been made regarding the lower bound computation.
André Abramé, Djamal Habet
semanticscholar   +1 more source

Multiple ETS family transcription factors bind mutant p53 via distinct interaction regions

FEBS Letters, EarlyView.
Mutant p53 gain‐of‐function is thought to be mediated by interaction with other transcription factors. We identify multiple ETS transcription factors that can bind mutant p53 and found that this interaction can be promoted by a PXXPP motif. ETS proteins that strongly bound mutant p53 were upregulated in ovarian cancer compared to ETS proteins that ...
Stephanie A. Metcalf, Nicholas F. Downing, Kaitlyn M. Mills, Samuel C. Metcalfe, Alexander E. Kritzer, Lindsey D. Mayo, Peter C. Hollenhorst   +6 more
wiley   +1 more source

Conserved structural motifs in PAS, LOV, and CRY proteins regulate circadian rhythms and are therapeutic targets

FEBS Letters, EarlyView.
Cryptochrome and PAS/LOV proteins play intricate roles in circadian clocks where they act as both sensors and mediators of protein–protein interactions. Their ubiquitous presence in signaling networks has positioned them as targets for small‐molecule therapeutics. This review provides a structural introduction to these protein families.
Eric D. Brinckman, Anna E. Lester, Brian D. Zoltowski   +2 more
wiley   +1 more source

In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS

FEBS Letters, EarlyView.
We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka, Yuxi Liu, Stefano Maggi, Debnath Ghosal, Jue Wang, Prashant P. Damke, Stephen D. Carter, Wei Zhao, Sukhithasri Vijayrajratnam, Joseph P. Vogel, Carrie L. Shaffer, Grant J. Jensen   +11 more
wiley   +1 more source

Sequence determinants of RNA G‐quadruplex unfolding by Arg‐rich regions

FEBS Letters, EarlyView.
We show that Arg‐rich peptides selectively unfold RNA G‐quadruplexes, but not RNA stem‐loops or DNA/RNA duplexes. This length‐dependent activity is inhibited by acidic residues and is conserved among SR and SR‐related proteins (SRSF1, SRSF3, SRSF9, U1‐70K, and U2AF1).
Naiduwadura Ivon Upekala De Silva, Puspa Kunwar, Md Ibnul Rifat Rahman, Joanna Koryo Kwao, Nathan Lehman, Zihan Zhang, Trenton Paul, Claire Cheng, Nicholas Truex, Hui‐Ting Lee, Jun Zhang   +10 more
wiley   +1 more source

Strengthening Crypto-1 Cipher Against Algebraic Attacks

Journal of ICT Research and Applications, 2015
In the last few years, several studies addressed the problem of data security in Mifare Classic. One of its weaknesses is the low random number quality. This causes SAT solver attacks to have lower complexity.
Farah Afianti, Ari M. Barmawi
doaj   +1 more source

QMaxSAT: A Partial Max-SAT Solver

Journal on Satisfiability, Boolean Modeling and Computation, 2012
We present a partial Max-SAT solver QMaxSAT which uses CNF encoding of Boolean cardinality constraints. The old version 0.1 was obtained by adapting a CDCL based SAT solver MiniSat to manage cardinality constraints.
Miyuki Koshimura, Tong Zhang, H. Fujita, R. Hasegawa   +3 more
semanticscholar   +1 more source