Results 61 to 70 of about 47,118 (229)
Ranking Functions for Size-Change Termination II
, 2009 Size-Change Termination is an increasingly-popular technique for verifying program termination. These termination proofs are deduced from an abstract representation of the program in the form of "size-change graphs".
Ben-Amram, Amir M., Lee, Chin Soon
core +2 more sources
Advanced Functional Materials, EarlyView.It is reported that the ferroelectric switching behavior of rhombohedral (3R) phase transition metal dichalcogenide (TMD) bilayers strongly depends on their domain structures. Single‐domain TMDs (SD‐TMDs) with domain‐wall‐free structures exhibit robust and stable polarization switching, whereas poly‐domain TMDs (PD‐TMDs) with randomly distributed ...
Ji‐Hwan Baek +8 more
wiley +1 more source
Worlds of compliance: Why leading approaches to the implementation of EU legislation are only 'sometimes-true theories' [PDF]
This paper summarises the main theoretical findings of a large-scale qualitative project on the transposition, enforcement and application of six EU labour law Directives in fifteen member states.
Gerda Falkner +2 more
core
Quantum cloning machines for equatorial qubits
, 2001 Quantum cloning machines for equatorial qubits are studied. For the case of 1 to 2 phase-covariant quantum cloning machine, we present the networks consisting of quantum gates to realize the quantum cloning transformations.
A. Peres +22 more
core +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 +6 more
wiley +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 +18 more
wiley +1 more source
, 2014 We introduce a monoidal category whose morphisms are finite partial orders, with chosen minimal and maximal elements as source and target respectively.
Mimram, Samuel
core +4 more sources
Integrative Approaches for DNA Sequence‐Controlled Functional Materials
Advanced Functional Materials, EarlyView.DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo +4 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang +5 more
wiley +1 more source
Alkali Ion‐Incorporated HfO2 Dielectrics for Reconfigurable Neuromorphic Computing
Advanced Functional Materials, EarlyView.This work presents an indium gallium zinc oxide (IGZO) transistor with an alkali cation‐integrated hafnium dioxide (HfO2) dielectric exhibiting synaptic behavior via ion retention. The solution‐based film fabrication strategy overcomes the limitations of atomic layer deposition (ALD) and precursor coating, enabling the control of synaptic retention ...
Seung Yeon Ki +7 more
wiley +1 more source