Results 141 to 150 of about 2,887,711 (311)

Fast, Verified Computation for HOL ITPs

Journal of Automated Reasoning
Abstract We add an efficient function for computation to the kernels of higher-order logic interactive theorem provers. First, we develop and prove sound our approach for Candle. Candle is a port of HOL Light which has been proved sound with respect to the inference rules of its higher-order logic; we extend its implementation and soundness ...
Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Hrutvik Kanabar, Johannes Åman Pohjola   +4 more
openaire   +1 more source

Septin 9 PB domains coordinate centrosome positioning and microtubule acetylation to control epithelial polarity

FEBS Letters, EarlyView.
Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai, Mohyeddine Omrane, Nassima Benzoubir, Didier Samuel, Ama Gassama‐Diagne   +4 more
wiley   +1 more source

Degradation mechanism of the von Willebrand factor A2 domain by nattokinase

FEBS Letters, EarlyView.
Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto, Masatomo So, Ayako Furukawa, Kenji Sugase   +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, Brigitta Maruzs, Zsófia E. Kálmán, Tomas Klumpler, Gyula Batta, Bálint Péterfia, Zoltán Gáspári   +6 more
wiley   +1 more source

Information-Theoretic Privacy in Verifiable Outsourced Computation [PDF]

, 2019
Today, it is common practice to outsource time-consuming computations to the cloud. Using the cloud allows anyone to process large quantities of data without having to invest in the necessary hardware, significantly lowering cost requirements.
Schabhüser, Lucas
core  

Efficient and fine-grained access control with fully-hidden policies for cloud-enabled IoT

Digital Communications and Networks
Ciphertext-Policy Attribute-Based Encryption (CP-ABE) enables fine-grained access control on ciphertexts, making it a promising approach for managing data stored in the cloud-enabled Internet of Things.
Qi Li, Gaozhan Liu, Qianqian Zhang, Lidong Han, Wei Chen, Rui Li, Jinbo Xiong   +6 more
doaj   +1 more source

An unexpected alternative viologen electron mediator site in tungsten‐containing formate dehydrogenase

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

Towards verifiable resource accounting for outsourced computation

, 2013
Outsourced computation services should ideally only charge cus-tomers for the resources used by their applications. Unfortunately, no verifiable basis for service providers and customers to recon-cile resource accounting exists today.
Chen Chen, Vyas Sekar, Adrian Perrig, Amit Vasudevan, Petros Maniatis   +4 more
core   +1 more source

Salmonella lipopolysaccharide‐containing supported lipid bilayers as platforms to study bacteriophage interactions

FEBS Letters, EarlyView.
We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace, Alyssa Borges, Charles Arnaud, Tove Karlsson, Nina K. Bröker, Stefanie Barbirz, Marta Bally   +6 more
wiley   +1 more source

From mice to humans—divergent strategies for intestinal homeostasis and regeneration

FEBS Letters, EarlyView.
Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa, Shinya Sugimoto, Toshiro Sato   +2 more
wiley   +1 more source