Results 61 to 70 of about 6,301,735 (343)

Productive Corecursion in Logic Programming [PDF]

, 2017
Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task.
Komendantskaya, Ekaterina, Li, Yue
core   +2 more sources

CALPHAD‐Guided Prediction and Interpretation of Phase Formation in Ta–Mo–Cr–Ti–Al Refractory High‐Entropy Alloys

Advanced Engineering Materials, EarlyView.
This study designs Ta–Mo–Cr–Ti–Al refractory high‐entropy alloys with a disordered body‐centered‐cubic A2 crystal structure aiming for improved ductility, lower density, and oxidation resistance. Four alloy compositions are identified by thermodynamic calculations.
Kateryna Khanchych, Chongchong Tang, Carsten Schroer, Björn Schäfer, Judith Jung, Michael Dürrschnabel, Ute Jäntsch, Bronislava Gorr   +7 more
wiley   +1 more source

Answer Set Programming for Regular Inference

Applied Sciences, 2020
We propose an approach to non-deterministic finite automaton (NFA) inductive synthesis that is based on answer set programming (ASP) solvers. To that end, we explain how an NFA and its response to input samples can be encoded as rules in a logic program.
Wojciech Wieczorek, Tomasz Jastrzab, Olgierd Unold   +2 more
doaj   +1 more source

In Situ Formation of a Melt‐Solid Interface Toward Stable Oxygen Reduction in Protonic Ceramic Fuel Cells

Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.
Protonic ceramic fuel cells offer a promising route to generate power efficiently but face critical challenges in achieving industrially viable activity and stability at their cathodes in CO2‐containing air. This report proposes a new cathode material design strategy to enable the cathode to be both catalytically active and CO2 tolerant through the ...
Desheng Feng, Mengran Li, Vanessa K. Peterson, Rijia Lin, Anita D'Angelo, Olexandra Marenych, Anya Yago, Dominique Appadoo, Tianjiu Zhu, Muhammad Yazid Bin Zulkifli, Shuai Gao, Yuming Wu, Xiaohe Tian, Xiaoyang Du, Zhonghua Zhu   +14 more
wiley   +1 more source

Lambda Calculus for Engineers [PDF]

, 2007
In pure functional programming it is awkward to use a stateful sub-computation in a predominantly stateless computation. The problem is that the state of the subcomputation has to be passed around using ugly plumbing.
Hartel, P.H., Vree, W.G.
core   +1 more source

Model Checking Linear Logic Specifications [PDF]

, 2003
The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core   +1 more source

Synchrotron Radiation for Quantum Technology

Advanced Functional Materials, EarlyView.
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader, Sakura Pascarelli, Klaus Attenkofer, Anna A. Makarova, Karsten Holldack, Kai Rossnagel, Kristiaan Temst, George Kourousias, Stefano Carretta, Caterina Biscari, Helmut Dosch   +10 more
wiley   +1 more source

XAI Human-Machine collaboration applied to network security

Frontiers in Computer Science
Cyber attacking is easier than cyber defending—attackers only need to find one breach, while the defenders must successfully repel all attacks. This research demonstrates how cyber defenders can increase their capabilities by joining forces with ...
Steve Moyle, Andrew Martin, Nicholas Allott   +2 more
doaj   +1 more source

Design and Implementation of Switched Capacitor Banks Controlled by a Programmable Logic Controller for Power Factor Improvement of Three-Phase Induction Motors

NUML International Journal of Engineering and Computing, 2023
Industries widely use three-phase inductive loads, such as induction motors, due to their cost-effectiveness, low maintenance, reliability, and durability.
Amir Hamza, Muhammad Awais, Mohammad Hamza, Faiza Ahmad, Zahid ur Rehman   +4 more
doaj   +1 more source

Self‐supportive Three‐Way Photoelectrochemical System Achieving Uranium Recycling, Organic Oxidation, and Electricity Generation in Complex Waters

Advanced Functional Materials, EarlyView.
A self‐sustaining solar photoelectrochemical cell (SS‐PEC) is developed to recover uranium from aqueous UO22+ with concurrent organic oxidation and electricity production. The monolithical photoanode directly captures electrons from organic compounds, leading to the oxidation of organic compounds and the decomposition of uranium‐organic complexes ...
Yumei Wang, Qingming Zeng, Haodong Ji, Rongzhong Wang, Jiachen Wang, Yanjun Wen, Wonyong Choi, Qingyi Zeng   +7 more
wiley   +1 more source