Results 81 to 90 of about 1,704,944 (274)

Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Technologies
The increasing interest in automated code conversion and transcompilation—driven by the need to support multiple platforms efficiently—has raised new challenges in verifying that translated codes preserve the intended behaviors of the originals. Although
Ahmad Ahmad Muhammad, Mahitap Ayman, Samer A. Elhossany, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Axel Jantsch, Nahla Elaraby   +8 more
doaj   +1 more source

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

Markov Logic Based Inference Engine for CDSS [PDF]

Mehran University Research Journal of Engineering and Technology, 2017
CDSS (Clinical Decision Support System) is typically a diagnostic application and a modern technology that can be employed to provide standardized and quality medical facilities to the medical patients especially when expert doctors are not available ...
IMRAN SARWAR BAJWA, BUSHRA RAMZAN, SHABANA RAMZAN   +2 more
doaj  

Critical Role of Polymer Gate Dielectrics on the Charge Carrier Transport in Perovskite Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
Charge transport in 2D tin perovskite FETs is shown to be governed by dielectric interface behavior. Polar polymer dielectrics induce dipolar disorder that localizes carriers, whereas nonpolar polymers suppress trapping and enable superior charge transport, ensuring stable and reliable transistor operation. ABSTRACT Understanding the role of interfaces
Chongyao Li, Zhitian Ling, Pawel Czulkin, Paul W. M. Blom, Wojciech Pisula, Tomasz Marszalek   +5 more
wiley   +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

Encoding TLA+ set theory into many-sorted first-order logic [PDF]

, 2015
We present an encoding of Zermelo-Fraenkel set theory into many-sorted first-order logic, the input language of state-of-the-art SMT solvers.
Merz, Stephan, Vanzetto, Hernán
core   +3 more sources

Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies

Applied Sciences
Current imitation learning approaches, predominantly based on deep neural networks (DNNs), offer efficient mechanisms for learning driving policies from real-world datasets.
Iman Sharifi, Mustafa Yildirim, Saber Fallah   +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

A first-order Temporal Logic for Actions

, 2006
We present a multi-modal action logic with first-order modalities, which contain terms which can be unified with the terms inside the subsequent formulas and which can be quantified. This makes it possible to handle simultaneously time and states.
Schwind, Camilla
core   +1 more source