Results 81 to 90 of about 4,810,089 (329)

Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?

Advanced Functional Materials, EarlyView.
This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee, Yunseo Kim, Hyeong‐ku Jo, Dongjoon Yoon, Byeonghyeok Im, WonJeong Yu, Eui‐Rim On, Changhwan Lee   +7 more
wiley   +1 more source

A High-Level LTL Synthesis Format: TLSF v1.1 [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high-level constructs, such as sets and ...
Swen Jacobs, Felix Klein, Sebastian Schirmer   +2 more
doaj   +1 more source

Input Synthesis for Sampled Data Systems by Program Logic

, 2015
Inspired by a concrete industry problem we consider the input synthesis problem for hybrid systems: given a hybrid system that is subject to input from outside (also called disturbance or noise), find an input sequence that steers the system to the ...
Akazaki, Takumi, Hasuo, Ichiro, Suenaga, Kohei   +2 more
core   +2 more sources

Shape‐Controlled Guanine Self‐Assemblies for Stable and Fast‐Ion Solid–Electrolyte Interphases in Sustainable Li Metal Batteries

Advanced Functional Materials, EarlyView.
The shape of guanine self‐assemblies is tuned by introducing alkyl (G8), fluoroalkyl (G8f), and oligoether (G8g) side chains into the G moiety. The scanning tunneling microscopy results and calculations show that the presence and type of the side chain strongly affect the G self‐assembly network.
So‐Huei Kang, So‐Dam Sohn, Kyung Min Lee, Seok‐Kyu Cho, Byongkyu Lee, Ji Eun Lee, Sang‐Young Lee, Sang Kyu Kwak, Hyung‐Joon Shin, Changduk Yang   +9 more
wiley   +1 more source

Toward Stable Multivalent Metal Batteries: Understanding the Interfacial Chemistry for Magnesium and Calcium Metal Anodes

Advanced Functional Materials, EarlyView.
Interphase chemistry governs the stability of multivalent metal batteries. We summarize state‐of‐the‐art developments in calcium and magnesium metal batteries by focusing on the correlation among electrolytes, interphase layers, and the electrochemical performance of corresponding metal anodes.
Huijun Lin, Qi Meng, Juncai Long, Chuheng Cao, Zheng‐Long Xu   +4 more
wiley   +1 more source

Real-Time Model-Checking: Parameters everywhere [PDF]

Logical Methods in Computer Science, 2007
In this paper, we study the model-checking and parameter synthesis problems of the logic TCTL over discrete-timed automata where parameters are allowed both in the model (timed automaton) and in the property (temporal formula). Our results are as follows.
Veronique Bruyere, Jean-Francois Raskin
doaj   +1 more source

Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems

Advanced Functional Materials, EarlyView.
MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley   +1 more source

Atomic Layer Deposition in Transistors and Monolithic 3D Integration

Advanced Functional Materials, EarlyView.
Transistors are fundamental building blocks of modern electronics. This review summarizes recent progress in atomic layer deposition (ALD) for the synthesis of two‐dimensional (2D) metal oxides and transition‐metal dichalcogenides (TMDCs), with particular emphasis on their enabling role in monolithic three‐dimensional (M3D) integration for next ...
Yue Liu, Taoyu Zou, Cheng‐Yan Xu, Liang Zhen, Yang Li, Yong‐Young Noh   +5 more
wiley   +1 more source

Directed Acyclic Graph-Based Datapath Synthesis Using Graph Isomorphism and Gate Reconfiguration

Chips
Datapath synthesis is a crucial step in synthesis flow and aims at globally minimizing an area by identifying shareable logic structures. This paper introduces a novel Directed Acyclic Graph (DAG)-based datapath synthesis method based on graph ...
Liuting Shang, Sheng Lu, Yichen Zhang, Sungyong Jung, Chenyun Pan   +4 more
doaj   +1 more source

Binary decision diagram‐based synthesis technique for improved mapping of Boolean functions inside memristive crossbar‐slices

IET Computers & Digital Techniques, 2021
Memristors are two‐terminal nano‐electronic devices that make it possible to design non‐volatile memory and logic circuits with high integration density.
Anindita Chakraborty, Vivek Maurya, Sneha Prasad, Suryansh Gupta, Rajat Subhra Chakraborty, Hafizur Rahaman   +5 more
doaj   +1 more source