Results 81 to 90 of about 11,983,929 (288)
k-Step Relative Inductive Generalization [PDF]
, 2010 We introduce a new form of SAT-based symbolic model checking. One common idea in SAT-based symbolic model checking is to generate new clauses from states that can lead to property violations.
Bradley, Aaron R.
core
Survival in equilibrium step fluctuations
, 2004 We report the results of analytic and numerical investigations of the time scale of survival or non-zero-crossing probability $S(t)$ in equilibrium step fluctuations described by Langevin equations appropriate for attachment/detachment and edge-diffusion
B. Yurke +18 more
core +2 more sources
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
Analysis and Experimental of HXD1 Electric Locomotive Steps Fracture
机车电传动, 2018 The investigation processes and results of the electric locomotive steps fracture were presented. A locomotive suffered from serious vibration problem was chosen for the test and its normal operations were kept during the test. The wheel out-of-roundness
WANG Linfeng +3 more
doaj
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
Soil bacterial diversity mediated by microscale aqueous-phase processes across biomes
Nature Communications, 2020 Numerous micro- and macro-scale factors influence soil microbial diversity. Here the authors create a model to demonstrate that fine scale soil moisture influences the carrying capacity of microbes, which then scales up to larger biogeographic patterns.
Samuel Bickel, Dani Or
doaj +1 more source
, 2010 The heat capacity of the mass selected Na41+ cluster has been measured using a differential nanocalorimetry method. A two-peak structure appears in the heat capacity curve of Na41+, whereas Schmidt and co-workers [ M. Schmidt, J. Donges, Th. Hippler, and
Chirot, Fabien +3 more
core +3 more sources
FEBS Letters, EarlyView.This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source
More Than One Step to Financial Stability [PDF]
Visiting Scholar Garry Schinasi examines the European proposals for the creation of both a European Systemic Risk Board (ESRB) to oversee macroprudential regulation and a European System of Financial Supervision (ESFS) to strengthen microprudential ...
Unknown
core +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 +11 more
wiley +1 more source