Results 51 to 60 of about 354,024 (279)

Hybrid artificial intelligence: Application in the banking sector

Revista de Ciencias Sociales
The integration of smart technologies, from data mining to Artificial Intelligence, has revolutionized the way financial institutions manage and use information.
Daniel Corral de La Mata, María García de Blanes Sebastián, Marisol Carvajal Camperos   +2 more
doaj   +1 more source

Photoswitching Conduction in Framework Materials

Advanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez, Stefan Hecht, Wolfgang Wenzel, Lars Heinke, Mariana Kozlowska   +4 more
wiley   +1 more source

From Wafers to Electrodes: Transferring Automatic Optical Inspection (AOI) for Multiscale Characterization of Smart Battery Manufacturing

Advanced Functional Materials, EarlyView.
Automat optical inspection (AOI) techniques in semiconductor fabrication can be leveraged in battery manufacturing, enabling scalable detection and analysis of electrode‐ and cell‐level imperfections through AI‐driven analytics and a digital‐twin framework.
Jianyu Li, Ertao Hu, Wei Wei, Feifei Shi
wiley   +1 more source

Is new technology always good? Artificial intelligence and corporate tax avoidance: Evidence from China

International Review of Economics & Finance
Corporate tax avoidance is an enduring topic. With the advent of the intelligent era, how artificial intelligence affects corporate tax avoidance has become an important topic of existing researches.
Guimin Qu, Hao Jing
doaj   +1 more source

Logical methods in artificial intelligence applications

Journal of Applied Logic, 2017
Peer ...
Armengol Voltas, Eva, Boixader Ibáñez, Dionís, Grimado, Francisco   +2 more
openaire   +4 more sources

Completeness of Flat Coalgebraic Fixpoint Logics

, 2010
Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P., Laroussinie, F., Schröder, L., Venema, Y.   +3 more
core   +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

Automated search for several alternative logical inferences in a mivar knowledge base [PDF]

E3S Web of Conferences
This paper describes an approach to the automatic generation of a mivar knowledge base of a three-dimensional logic space. This knowledge base is created to provide three-dimensional robot movement.
Kotsenko Anton, Bazanova Anastasiia, Kim Radmir, Andreev Aleksandr, Aladin Dmitry, Todua David, Marushchenko Aleksei, Varlamov Oleg   +7 more
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

Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic

, 2018
Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms and inferring ...
Geck, Gaetano, Ljulin, Artur, Peter, Sebastian, Schmidt, Jonas, Vehlken, Fabian, Zeume, Thomas   +5 more
core   +1 more source