Results 91 to 100 of about 246,520 (298)
Going viral − Virus‐targeting nanobodies for research, diagnostics and therapy
FEBS Letters, EarlyView.The increasing prevalence of viral diseases represents a major threat for global human health. Nanobodies, small binding fragments derived from camelid heavy‐chain antibodies, offer versatile tools for viral research, diagnostics, and antiviral therapy.
Domenic Ebert, Ulrich Rothbauer
wiley +1 more source
Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method
IEEE Access, 2018 The reconvergence-phenomenon is common in modern circuit design. It occurs when the signal reconvenes at a certain point through multiple sensitized paths. It affects the soft error estimation and hardening. It is complicated to analyze the reconvergence-
Chang Liu, Long Zhang, Xu He, Yang Guo
doaj +1 more source
FEBS Letters, EarlyView.Vacuolar H+‐ATPase (V‐ATPase) is a multisubunit rotary proton pump that acidifies intracellular compartments. Using elastic network models, we identified conserved hinge residues that govern its large‐scale functional motions. We show that intrinsically encoded ‘soft modes’ drive critical functional transitions, including rotary catalysis and ...
Diksha Parwana +3 more
wiley +1 more source
Comparing the paths of Hedgehog release in artificial and natural settings
FEBS Letters, EarlyView.Hh morphogens require solubilization factors to overcome their tight association with the plasma membrane and signal to distant cells, but the precise functions of these factors are controversial. Here, we use published in vivo observations as the most relevant evidence to test their suggested functions and discuss contradictions and gaps between in ...
Janna Puschmann, Kay Grobe
wiley +1 more source
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
International Journal of Computational Intelligence Systems, 2019 Decision heuristic strategy can be viewed as one of the most central features of state-of-the-art conflict-driven clause-learning SAT solvers. Variable state independent decaying sum (VSIDS) still is the dominant branching heuristics because of its low ...
Wenjing Chang, Yang Xu, Shuwei Chen
doaj +1 more source
Mitochondrial translation and coordinated cytosolic translation in metabolic homeostasis and disease
FEBS Letters, EarlyView.Mitochondrial function depends on coordinated protein production from the nuclear and mitochondrial genomes. This review highlights how cytosolic and mitochondrial translation, mRNA localization, protein import, and respiratory complex assembly are integrated to maintain mitochondrial proteostasis and function.
Boseon Kim +4 more
wiley +1 more source
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
Molecular Oncology, EarlyView.LUNAR is a liver‐specific long noncoding RNA (lncRNA) that is highly expressed in normal liver but becomes epigenetically silenced in hepatocellular carcinoma through promoter hypermethylation. Loss of LUNAR is associated with NOTCH activation, epithelial–mesenchymal transition, and metastasis, whereas restoring LUNAR restrains metastatic progression ...
Se Ha Jang +9 more
wiley +1 more source
Shared SAT Solvers and SAT Memory in Distributed Business Applications
, 2022 We propose a software architecture where SAT solvers act as a shared network resource for distributed business applications. There can be multiple parallel SAT solvers running either on dedicated hardware (a multi-processor system or a system with a specific GPU) or in the cloud.
openaire +4 more sources
Molecular Oncology, EarlyView.In head and neck squamous cell carcinoma (HNSCC) p53 and p63 exert opposite roles on the transcription regulation of the lncRNA NEAT1. Under basal conditions, p53 levels are low and p63 represses NEAT1 expression. Upon genotoxic stress, p53 is rapidly induced, displacing p63 from the NEAT1 promoter leading to NEAT1 transcriptional activation and ...
Sara De Domenico +5 more
wiley +1 more source