Results 61 to 70 of about 92,710 (270)

Exploiting Two‐Photon Lithography, Deposition, and Processing to Realize Complex 3D Magnetic Nanostructures

Advanced Functional Materials, EarlyView.
Two‐photon lithography (TPL) enables 3D magnetic nanostructures with unmatched freedom in geometry and material choice. Advances in voxel control, deposition, and functionalization open pathways to artificial spin ices, racetracks, microrobots, and a number of additional technological applications.
Joseph Askey, Arjen van den Berg, Sandra Ruiz Gomez, Claire Donnelly, Dirk Grundler, Sam Ladak   +5 more
wiley   +1 more source

Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
We continue the investigation of parameterized extensions of Linear Temporal Logic (LTL) that retain the attractive algorithmic properties of LTL: a polynomial space model checking algorithm and a doubly-exponential time algorithm for solving games. Alur
Martin Zimmermann
doaj   +1 more source

In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device

Advanced Functional Materials, EarlyView.
In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang, Rohan Dhall, Matthew M. Schneider, Cun Li, Chengyu Song, Sundar Kunwar, Hongyi Dou, Natanii R. Yazzie, Henry Tran, Daniel Appuing, Jim Ciston, Nicholas G. Cucciniello, Pinku Roy, Michael T. Pettes, John Watt, Winson Kuo, Haiyan Wang, Ye Cao, Rodney J. McCabe, Aiping Chen   +19 more
wiley   +1 more source

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive ontological entities.
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco   +4 more
doaj   +1 more source

High‐Entropy Perovskite Nanofibers for Bifunctional Air Electrodes in Reversible Protonic Ceramic Electrochemical Cells

Advanced Functional Materials, EarlyView.
High‐entropy perovskite nanofibers serve as robust and active bifunctional air electrodes in reversible protonic ceramic electrochemical cells. Their compositional complexity stabilizes the lattice, enriches oxygen vacancies, and accelerates surface exchange.
Hyeonggeun Kim, Incheol Jeong, Seeun Oh, Dongyeon Kim, Kang Taek Lee   +4 more
wiley   +1 more source

Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces

Advanced Functional Materials, EarlyView.
A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai, Yi Ning Zheng, Lei Zhang, Xiao Qing Chen, Giuseppe Castaldi, Tie Jun Cui, Vincenzo Galdi   +6 more
wiley   +1 more source

Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications

Logics
We present Stratified Metric Temporal Logic (SMTL), a novel formalism for specifying and verifying the properties of complex cyber–physical systems that exhibit behaviors across multiple temporal and abstraction scales.
Ali Baheri, Peng Wei
doaj   +1 more source

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

Gentzen and Temporal Sequents

Studies in Logic, Grammar and Rhetoric
The paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The
Indrzejczak Andrzej
doaj   +1 more source

Pointwise-in-Time Explanation for Linear Temporal Logic Rules [PDF]

, 2023
Noel Brindise, Cédric Langbort
openalex   +1 more source