Results 11 to 20 of about 1,218 (187)
Model-theoretic Forcing in Transition Algebra
We study Löwenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions, and transitive closures of transition relations, which are treated similarly to actions in dynamic logics to define ...
Hashimoto Go, Daniel Gaina
openaire +3 more sources
The present paper describes, in a theoretical fashion, a variational approach to formulate fourth-order dynamical systems on differentiable manifolds on the basis of the Hamilton–d’Alembert principle of analytic mechanics.
Simone Fiori
doaj +1 more source
DRL-enabled secure uplink transmission for MIMO-OFDM IoT systems against intelligent eavesdroppers
Physical layer security has emerged as a promising approach to counter eavesdropping threats in the Internet of Things (IoT). With the advancement of technology, eavesdroppers (Eves) are increasingly sophisticated, exacerbating the difficulties in ...
Yingzhen Wu +5 more
doaj +1 more source
Degradation mechanism of the von Willebrand factor A2 domain by nattokinase
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 +3 more
wiley +1 more source
Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
Time‐resolved X‐ray solution scattering captures how proteins change shape in real time under near‐native conditions. This article presents a practical workflow for light‐triggered TR‐XSS experiments, from data collection to structural refinement. Using a calcium‐transporting membrane protein as an example, the approach can be broadly applied to study ...
Fatemeh Sabzian‐Molaei +3 more
wiley +1 more source
Amino acids sequence of two different proteins with the same sequence (chameleon sequence—black boxes) represent in 3D structure of the proteins different secondary structures: HHHH—helical and BBB—Beta‐structural. The chains folded in water environment adopt different III‐order structures in which the chameleon fragments appear to adopt similar status
Irena Roterman +4 more
wiley +1 more source
BackgroundTwo critical factors in the success of the response to a threatening epidemic outbreak are the degree of responsibility of the main political actors involved in the response and the population compliance to the proposed measures.
Alessio Carrozzo Magli +4 more
doaj +1 more source
Evolutionary analysis across 32 placental mammals identified positive selection at residues H148 and W149 in the immune receptor FcγR1. Ancestral reconstruction combined with molecular dynamics simulations reveals how these mutations may influence receptor structure and dynamics, providing insight into the evolution of antibody recognition and immune ...
David A. Young +7 more
wiley +1 more source
Abruptly changing from aerobic to anaerobic conditions (sudden anaerobization) induced growth inhibition and a significant increase in intracellular labile ferrous iron in the aerotolerant anaerobe Amphibacillus xylanus. We found that free flavins mediate efficient electron transfer from NADH to ferric iron under anaerobic conditions, suggesting that ...
Shinya Kimata +13 more
wiley +1 more source

