Results 51 to 60 of about 761,639 (265)

Encapsulation for Practical Simplification Procedures [PDF]

, 2003
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a resolution/paramodulation theorem proving system. Term rewriting is at the core
Matlin, Olga Shumsky, McCune, William
core   +2 more sources

Mapping the evolution of mitochondrial complex I through structural variation

FEBS Letters, EarlyView.
Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin, Tingting Chen, James A. Letts   +2 more
wiley   +1 more source

Synchronization and simplification

Discrete Mathematics, 1979
AbstractWe describe the notions of synchronization and simplification with respect to a given subsemigroup P of a semigroup S in terms of the syntactic semigroup of P. These notions derive from coding theory, which corresponds to the case where P is a free subsemigroup of a free semigroup; we apply the results to give a unified account of several ...
DE LUCA, ALDO, D. PERRIN, A. RESTIVO, S. TERMINI   +3 more
openaire   +2 more sources

Reciprocal control of viral infection and phosphoinositide dynamics

FEBS Letters, EarlyView.
Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley   +1 more source

Simplified Integrity Checking for an Expressive Class of Denial Constraints

Algorithms
Data integrity is crucial for ensuring data correctness and quality and is maintained through integrity constraints that must be continuously checked, especially in data-intensive systems like OLTP.
Davide Martinenghi
doaj   +1 more source

BLEU is Not Suitable for the Evaluation of Text Simplification

, 2018
BLEU is widely considered to be an informative metric for text-to-text generation, including Text Simplification (TS). TS includes both lexical and structural aspects.
Abend, Omri, Rappoport, Ari, Sulem, Elior   +2 more
core   +1 more source

CAD model simplification using feature simplifications

Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2016
We propose an enhanced method for feature-based simplification of feature-based CAD models. In previous feature-based simplification methods, a CAD model is progressively simplified by suppressing individual features with low importance one at a time, whereas in the proposed method, each feature itself is progressively simplified based on its feature ...
Yeoun YOON, Byung Chul KIM
openaire   +3 more sources

By dawn or dusk—how circadian timing rewrites bacterial infection outcomes

FEBS Letters, EarlyView.
The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo, Catherine S. Palmer, Jacqueline M. Kimmey   +2 more
wiley   +1 more source

Disordered but rhythmic—the role of intrinsic protein disorder in eukaryotic circadian timing

FEBS Letters, EarlyView.
Unstructured domains known as intrinsically disordered regions (IDRs) are present in nearly every part of the eukaryotic core circadian oscillator. IDRs enable many diverse inter‐ and intramolecular interactions that support clock function. IDR conformations are highly tunable by post‐translational modifications and environmental conditions, which ...
Emery T. Usher, Jacqueline F. Pelham
wiley   +1 more source

The newfound relationship between extrachromosomal DNAs and excised signal circles

FEBS Letters, EarlyView.
Extrachromosomal DNAs (ecDNAs) contribute to the progression of many human cancers. In addition, circular DNA by‐products of V(D)J recombination, excised signal circles (ESCs), have roles in cancer progression but have largely been overlooked. In this Review, we explore the roles of ecDNAs and ESCs in cancer development, and highlight why these ...
Dylan Casey, Zeqian Gao, Joan Boyes
wiley   +1 more source