有界活性的可证明的正确的自适应单纯形结构

IF 1.3 4区物理与天体物理 Q4 PHYSICS, APPLIED

Spin Pub Date : 2023-01-01 DOI:10.1007/978-3-031-32157-3_8

Benedikt Maderbacher, Stefan Schupp, E. Bartocci, Roderick Bloem, D. Ničković, Bettina Könighofer

引用次数: 1

摘要

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Spin Materials Science-Electronic, Optical and Magnetic Materials

CiteScore

2.10

自引率

11.10%

发文量

期刊介绍： Spin electronics encompasses a multidisciplinary research effort involving magnetism, semiconductor electronics, materials science, chemistry and biology. SPIN aims to provide a forum for the presentation of research and review articles of interest to all researchers in the field. The scope of the journal includes (but is not necessarily limited to) the following topics: *Materials: -Metals -Heusler compounds -Complex oxides: antiferromagnetic, ferromagnetic -Dilute magnetic semiconductors -Dilute magnetic oxides -High performance and emerging magnetic materials *Semiconductor electronics *Nanodevices: -Fabrication -Characterization *Spin injection *Spin transport *Spin transfer torque *Spin torque oscillators *Electrical control of magnetic properties *Organic spintronics *Optical phenomena and optoelectronic spin manipulation *Applications and devices: -Novel memories and logic devices -Lab-on-a-chip -Others *Fundamental and interdisciplinary studies: -Spin in low dimensional system -Spin in medical sciences -Spin in other fields -Computational materials discovery