Results 111 to 120 of about 482,320 (285)
Beating the Productivity Checker Using Embedded Languages
, 2010 Some total languages, like Agda and Coq, allow the use of guarded corecursion to construct infinite values and proofs. Guarded corecursion is a form of recursion in which arbitrary recursive calls are allowed, as long as they are guarded by a coinductive
Danielsson, Nils Anders
core +5 more sources
NFS1 Regulates IDH2 to Attenuate Abdominal Aortic Aneurysms via Interacting With SP2
Advanced Science, EarlyView.The loss of NFS1 leads to its reduced binding with the transcription factor SP2, resulting in decreased expression of the downstream gene Idh2. This causes a shift in energy supply toward glycolysis in VSMCs, ultimately contributing to the occurrence and progression of AAA.
Luzheng Zhang +9 more
wiley +1 more source
BASED ON THE NUMERICAL SIMULATION OF COLD ROLL-BEATING FORMING RESIDUAL STRESS RESEARCH
Jixie qiangdu, 2019 When the load to be lifted after cold roll-beating forming the residual stress will appear, in order to effectively control its impact on the forming precision, now the relationship between roll-beating depth and the residual stresses were studied ...
CUI LiMu, XIAO JiMing
doaj
The Effect of Temperature on Refining [PDF]
, 1972 The results of this work indicate that elevated beating temperature drastically increases beating time and produces detrimental effects on the physical characteristics of the formed sheet as evaluated by wet web strength, tear and tensile.
Granger, Richard
core +1 more source
, 2010 We present a theoretical study of magnetoplasmon spectrum of a two-dimensional electron gas in the presence of Rashba spin-orbit interaction (RSOI), one-dimensional weak electric modulation and a perpendicular magnetic field.
Beenakker +33 more
core +1 more source
Midbrain PAG Astrocytes Modulate Mouse Defensive and Panic‐Like Behaviors
Advanced Science, EarlyView.Astrocytes in the midbrain periaqueductal gray (PAG) dynamically encode threat intensity and shape defensive action selection in mice. Real‐time Ca2+ imaging reveals robust astrocytic activation during predator odor and CO2 exposure. Aberrant astrocytic Ca2+ overactivation disrupts goal‐directed escape, biases behavior toward freezing, and induces ...
Ellane Barcelon +10 more
wiley +1 more source
MathematicsWe examine stochastic phase models for the community effect of cardiac muscle cells. Our model extends the stochastic integrate-and-fire model by incorporating irreversibility after beating, induced beating, and refractoriness.
Guanyu Zhou +2 more
doaj +1 more source
Advanced Science, EarlyView.Enabled by the distinctive inter‐ and intra‐chain siloxane exchange in commercially available silicones as the dielectric layer, the omni‐adaptive robotic skin (OmniAdapt) integrates multiple advanced functionalities: programmable sensing performance via the self‐stiffening dielectric material, application as BPM sensor, shape adaptivity for electronic
Wusha Miao +7 more
wiley +1 more source
Advanced Science, EarlyView.A flexible broadband photodetector is realized by integrating a perovskite with an organic bulk‐heterojunction. It achieves high external quantum efficiency (EQE) (>80% visible, >60% near‐infrared (NIR)), ultralow dark current, and fast response, enabling self‐powered, high‐detectivity operation.
Xin Hong +9 more
wiley +1 more source