Results 81 to 90 of about 698,739 (268)
CoRR, 2013 This paper proposes a new logic RoCTL* to model robustness in concurrent systems. RoCTL* extends CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. We present a number of examples of problems to which RoCTL* can be applied. The core result of this paper is to
John Christopher McCabe-Dansted +3 more
openaire +2 more sources
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source
Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations
FEBS Letters, EarlyView.The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas +6 more
wiley +1 more source
Distributed robust RLS estimation algorithm over sensor networks
Dianxin kexue, 2019 In the parameter estimation of the sensor network, there may be impact noise or pulse interference in the measurement environment, which leads to the outliers that greatly deviate from the actual range, so that the effective parameter estimation problem ...
Kaikai KANG, Zhaoting LIU, Yingbiao YAO
doaj
Vietnam Journal of Computer ScienceTransfer-based attacks, a type of adversarial attack, have become a growing threat in recent years with the proliferation of cloud services. Deep neural networks that exploit human cognitive bias (Loosely Symmetric-Deep Neural Network, LS-DNN) are known ...
Yuuki Ogasawara +2 more
doaj +1 more source
The ubiquitin‐proteasome system and autophagy as guardians of the cellular proteome
FEBS Letters, EarlyView.This Perspective covers the three principles governing the crosstalk between the ubiquitin‐proteasome system and autophagy in cellular proteostasis: (1) a shared ubiquitin code routing substrates via shuttle factors or autophagy receptors; (2) spatial compartmentalization into phase‐separated degradation hubs and organelle‐specific modules (exemplified
Ivan Dikic
wiley +1 more source
Robust digital watermark method based on PDF417 two-dimension code
网络与信息安全学报, 2016 A digital watermark method based on the bar-block-margin characteristics of PDF417 two-dimension code was presented.The proposed method prejudges the watermark information to choose the suitable embedding positions.According to the watermark,the ...
Cui-ling JIANG +5 more
doaj
FEBS Letters, EarlyView.An unexpected alternative interaction site for ethyl viologen was identified in formate dehydrogenase 1 from Methylorubrum extorquens. Combined mutagenesis, kinetic analysis, and docking revealed that aromatic residues near an iron–sulfur cluster enable flavin mononucleotide‐independent electron transfer, offering a framework for engineering improved ...
Eleni G. Poloniataki, Yong Hwan Kim
wiley +1 more source
Ubiquitination of secretory granules promotes their crinophagic degradation in Drosophila
FEBS Letters, EarlyView.Ubiquitination of secretory granules in Drosophila larval salivary glands is a critical molecular trigger for crinophagy, the lysosomal degradation of unreleased, or low‐quality granules. The E3 ubiquitin ligase Cnot4 is recruited to the surface of secretory granules to induce crinophagy.
Tamás Csizmadia +6 more
wiley +1 more source
Tumour–host interactions in Drosophila: mechanisms in the tumour micro‐ and macroenvironment
Molecular Oncology, EarlyView.This review examines how tumour–host crosstalk takes place at multiple levels of biological organisation, from local cell competition and immune crosstalk to organism‐wide metabolic and physiological collapse. Here, we integrate findings from Drosophila melanogaster studies that reveal conserved mechanisms through which tumours hijack host systems to ...
José Teles‐Reis, Tor Erik Rusten
wiley +1 more source