Results 51 to 60 of about 547,797 (285)

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

The Logic of Time: from Aristotle to Computer Science [PDF]

, 2017
Charla tipo conferencia-seminario dada para alumnos de un másterThis short course will explore that continuous thread which connects the discussion about time in philosophy with the modern use of temporal logic in computer science. It will go through the
Bresolin, Davide
core  

Multi‐Functional ZnO–Te Heterojunction Devices Enabling Compact Frequency Quadrupler

Advanced Functional Materials, EarlyView.
Wafer‐scale ZnO–Te heterojunction devices featuring tunable double negative differential transconductance (D‐NDT) are demonstrated at ≤ 200°C. Leveraging this unique characteristic, a single‐stage frequency quadrupler is realized, achieving a 64%–75% reduction in device count.
Jae Hyeon Jun, Byeong Gwan Kim, Min Seo Kang, Ui Gwan Shin, Minjae Kim, Kiyung Kim, Hae‐Won Lee, Yongsu Lee, Byoung Hun Lee   +8 more
wiley   +1 more source

Unlocking Photodetection Mode Switching from a Simple Lateral Design

Advanced Functional Materials, EarlyView.
A simple lateral 2D perovskite photodetector capable of switching among transient, continuous, and dual transient/continuous photoresponse modes is achieved by integrating photoconductive effects with capacitive coupling from the SiO2/Si substrate. Such light‐programmable photodetection mode switching enables triple‐channel information transmission and
Zijun (June) Yong, Keng‐Te Lin, Joel van Embden, Taimur Ahmed, Yumeng Du, Dashen Dong, Yiwen Mai, Junlin Lu, Sumeet Walia, Baohua Jia, Tianyi Ma   +10 more
wiley   +1 more source

A system for deduction-based formal verification of workflow-oriented software models

International Journal of Applied Mathematics and Computer Science, 2014
The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered.
Klimek Radosław
doaj   +1 more source

Laser‐Assisted Processing and Modification of Bioactive Glasses: A Review

Advanced Healthcare Materials, EarlyView.
Laser technologies provide powerful tools to process and transform bioactive glasses for advanced biomedical applications. This review discusses laser‐matter interaction mechanisms, laser surface engineering, and laser‐assisted fabrication of scaffolds and nanofibers.
Antonio Riveiro, Mario González‐Quintas, Mónica Fernández‐Arias, Jesús del Val, Félix Quintero, Rafael Comesaña, Fernando Lusquiños, Julian R. Jones, Juan Pou   +8 more
wiley   +1 more source

Respiratory Organ‐on‐a‐Chip for Disease Modeling: From Architecture to Functional Integration

Advanced Healthcare Materials, EarlyView.
Respiratory organ‐on‐a‐chip (ROC) models capture key mechanical and cellular cues of the human respiratory system, enabling quantitative dissection of disease mechanisms. This review links ROC architectures to disease modeling, functional integration, and commercialization, and proposes a decision framework that aligns model complexity with mechanistic
Jinzhuo Hu, Yongjie Tang, Sidi Liu, Tao Xu, Qian Liu   +4 more
wiley   +1 more source

Representation of the program model using predicates

Радіоелектронні і комп'ютерні системи
The object of research in this article is the process of modeling programs and their subsequent development. The purpose of this article is to develop a methodology for describing and building software models in the form of nondeterministic finite ...
Serhii Holub, Volodymyr Salapatov, Vadym Nemchenko   +2 more
doaj   +1 more source

Recapitulating Endochondral Ossification for Bone Repair: From Development to Engineering Strategy

Advanced Healthcare Materials, EarlyView.
This review summarizes the developmental basis of endochondral ossification (ECO) and its applications in bone tissue engineering (BTE). It first outlines the key biological processes and signaling pathways underlying ECO, then discusses biomaterial‐based engineering strategies derived from these principles, and finally highlights future directions for
Yiqi Su, Zihao He, Qianqian Chen, Long Chen, Caiyi Wei, Zijin Zhou, Jianhao Lin, Hui Li, Dan Xing   +8 more
wiley   +1 more source

On the Model Checking Problem for Some Extension of CTL*

Моделирование и анализ информационных систем, 2020
Sequential reactive systems include programs and devices that work with two streams of data and convert input streams of data into output streams. Such information processing systems include controllers, device drivers, computer interpreters.
Anton Romanovich Gnatenko, Vladimir Anatolyevich Zakharov   +1 more
doaj   +1 more source