Results 81 to 90 of about 201,128 (321)

High Risk Artificial Intelligence Systems and Legal Doctrine of Essential Facilities: in Search for a Dynamic Model [PDF]

Interdisciplinary Description of Complex Systems
The Regulation of the European Parliament and of the Council on laying down harmonised rules on Artificial Intelligence and amending certain Union Legislative Acts (Artificial Intelligence Act) targets high risk artificial intelligence systems as one of ...
Dominik Vuletić
doaj   +1 more source

Logic Programming Applications: What Are the Abstractions and Implementations?

, 2018
This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their
Liu, Yanhong A.
core   +1 more source

Inductive Completeness of Logics of Programs

Electronic Notes in Theoretical Computer Science, 2009
AbstractWe propose a new approach to delineating logics of programs, based directly on inductive definition of program semantics. The ingredients are elementary and well-known, but their fusion yields a simple yet powerful approach, surprisingly overlooked for decades.The denotational semantics of a regular program can be construed as a relation ...
openaire   +2 more sources

Microwave‐Assisted Synthesis of Cu/Co‐Based Nanoheterostructures for High‐Efficiency Alcohol Oxidation

Advanced Science, EarlyView.
Cu/Co‐based core‐shell nanocrystals (NCs) enable efficient hybrid water splitting via methanol and ethanol oxidation (MOR and EOR), outperforming traditional oxygen evolution reaction (OER). Synthesized via a one‐pot microwave process, the NCs evolve into oxide clusters that deliver high electrocatalytic activity and stability, enabling effective ...
Xuesong Zhang, Jaume Gázquez, Arturo Pajares, Dino Tonti, Pablo Guardia   +4 more
wiley   +1 more source

Integrating AI and Multi-objective Optimization for Enhanced Microgrid Energy Management Using Quadratic Programming [PDF]

E3S Web of Conferences
Using the AI approaches and the quadratic programming driven multiobjective optimisation, this paper proposes a universal framework for smart microgrid energy management.
Agrawal Priyanka, Thethi H. Pal, Mohammad Q., Gupta Navya, Asha V., Reddy K. Jyothsna   +5 more
doaj   +1 more source

Iridium Oxide Shell Structure on Rutile Titanium Oxide for Efficient Supported Catalyst for the Oxygen Evolution Reaction

Advanced Science, EarlyView.
Core–shell and decorated iridium oxide on titanium oxide are formed on spherical supports designed. The core–shell material presents performance similar to that of unsupported materials and does not present the electronic limitations usually present for supported materials with non‐conductive supports.
Elena Cazzulani, Camille Roiron, Lindsay Zhang, Giovanni Ferro, Alasdair Fairhurst, Pierangela Cristiani, Gian Luca Chiarello, Plamen Atanassov   +7 more
wiley   +1 more source

Synaptic Function in Memristor Devices for Neuromorphic Circuit Applications

Advanced Electronic Materials, EarlyView.
Discover how neuromorphic devices mimic brain‐like learning: this article explores how ionic and electronic conduction processes enable artificial synapses to adapt across time scales. Uncover the essential ingredients—state‐variable dynamics, rectification, and memory—and how they can be probed through nonlinear diagnostics to engineer smarter, more ...
Juan Bisquert, Wooyoung Shim, So‐Yeon Kim, Bernabe Linares‐Barranco   +3 more
wiley   +1 more source

MeSH Now: automatic MeSH indexing at PubMed scale via learning to rank

Journal of Biomedical Semantics, 2017
Background MeSH indexing is the task of assigning relevant MeSH terms based on a manual reading of scholarly publications by human indexers. The task is highly important for improving literature retrieval and many other scientific investigations in ...
Yuqing Mao, Zhiyong Lu
doaj   +1 more source

Heterogeneity of the Dominant Causes of Performance Loss in End‐of‐Life Cathodes and Their Consequences for Direct Recycling

Advanced Energy Materials, EarlyView.
Direct recyling of Li‐ion battery materials promises a low‐cost path towards a secure domestic supply of critical materials for batteries. Using cathode material from an end‐of‐life commercial Li‐ion cell, this work identifies the primary degradation mechanisms that diminish the performance of directly reused cathode materials and includes a discussion
Melissa Popeil, Francois L.E. Usseglio‐Viretta, Xiaofei Pu, Paul Gasper, Nikita Dutta, Evelyna Wang, Eva Allen, John S. Mangum, Nathaniel Sunderlin, Kae Fink, Jeffery M. Allen, Peter J. Weddle, Steven C. DeCaluwe, Donal P. Finegan   +13 more
wiley   +1 more source

Automatic TV Broadcast Structuring

International Journal of Digital Multimedia Broadcasting, 2010
TV broadcast structuring is needed to precisely extract long useful programs. These can be either archived as part of our audio-visual heritage or used to build added-value novel TV services like TVoD or Catch-up-TV.
Gaël Manson, Sid-Ahmed Berrani
doaj   +1 more source