Results 41 to 50 of about 6,373,106 (283)
Bounded-oscillation Pushdown Automata [PDF]
We present an underapproximation for context-free languages by filtering out runs of the underlying pushdown automaton depending on how the stack height evolves over time. In particular, we assign to each run a number quantifying the oscillating behavior
Pierre Ganty, Damir Valput
doaj +1 more source
Investigation into the Strouhal numbers associated with vortex shedding from parallel-plate thermoacoustic stacks in oscillatory flow conditions [PDF]
This paper investigates vortex shedding processes occurring at the end of a stack of parallel plates, due to an oscillating flow induced by an acoustic standing wave.
Yu, Z. +11 more
core +1 more source
A cold roll-bonding (CRB) process is applied to study the effects of stacking number on the microstructure and mechanical properties of roll-bonded and age-treated Al sheets. Commercial AA1050 and AA6061 sheets with a thickness of 2 mm were stacked alternately on each other to two and four layers, and roll-bonded by multi-pass cold rolling.
openaire +1 more source
Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura +2 more
wiley +1 more source
tum-gis/tum-gis-iot-stack-k8s: tum-gis-iot-stack-k8s-0.10.0
Helm Chart for the TUM-GI IoT ...
Benedikt Schwab +2 more
core +1 more source
Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation
Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz +11 more
wiley +1 more source
Numerical simulation of pollutant dispersion near obstacle based on k - ɛ turbulence closure scheme
To simulate the wind field, pollutant transport and dispersion near an obstacle a numerical code based on the k - Ɛ turbulence model has been built. Beside the standerd k - Ɛ, two other modifications proposed by Detering & Etling and Duynkerke are also ...
Duong Ngoc Hai, Nguyen The Duc
doaj +1 more source
Multi-moduli NTTs for Saber on Cortex-M3 and Cortex-M4
The U.S. National Institute of Standards and Technology (NIST) has designated ARM microcontrollers as an important benchmarking platform for its Post-Quantum Cryptography standardization process (NISTPQC).
Amin Abdulrahman +5 more
doaj +1 more source
tum-gis/tum-gis-iot-stack-k8s: tum-gis-iot-stack-k8s-0.9.8
Helm Chart for the TUM-GI IoT ...
Benedikt Schwab +2 more
core +1 more source
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

