Results 51 to 60 of about 68,456 (257)
Integrating AI and Multi-objective Optimization for Enhanced Microgrid Energy Management Using Quadratic Programming [PDF]
E3S Web of ConferencesUsing the AI approaches and the quadratic programming driven multiobjective optimisation, this paper proposes a universal framework for smart microgrid energy management.
Agrawal Priyanka +5 more
doaj +1 more source
Advanced Energy Materials, EarlyView.A superionic conductivity of 42 mS cm−1 at 298 K is reported for Li2.55Sc0.15Sb, which exceeds the highest ionic conductivity reported for a solid Li‐ion conductor to date by 10 mS cm−1. In the series Li3−3xScxSb (0 < x ≤ 0.15), the gradual incorporation of Sc facilitates vacancy formation, converting pristine Li3Sb from an electrical to an ionic ...
Jingwen Jiang +9 more
wiley +1 more source
The Logic of Logic Programming
, 2023 Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and how
Denecker, Marc, Warren, David S.
core
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.This review aims to provide a broad understanding for interdisciplinary researchers in engineering and clinical applications. It addresses the development and control of magnetic actuation systems (MASs) in clinical surgeries and their revolutionary effects in multiple clinical applications.
Yingxin Huo +3 more
wiley +1 more source
Structural abstract interpretation, A formal study using Coq [PDF]
, 2008 interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based theorem
Bertot, Yves
core +3 more sources
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
Advancements in Machine Learning for Microrobotics in Biomedicine
Advanced Intelligent Systems, EarlyView.Microrobotics is an innovative technology with great potential for noninvasive medical interventions. However, controlling and imaging microrobots pose significant challenges in complex environments and in living organisms. This review explores how machine learning algorithms can address these issues, offering solutions for adaptive motion control and ...
Amar Salehi +6 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
Advances in 3D and 4D Printing of Soft Robotics and Their Applications
Advanced Intelligent Systems, EarlyView.This article summarizes the development of 3D‐printed soft robotics in the recent decade. The article discusses the printing capabilities of different additive manufacturing technologies in terms of soft polymers, multimaterial printability, soft robotic printing, and 4D printing.
Hao Liu +5 more
wiley +1 more source
Meta-Interpretive LEarning with Reuse
MathematicsInductive Logic Programming (ILP) is a research field at the intersection between machine learning and logic programming, focusing on developing a formal framework for inductively learning relational descriptions in the form of logic programs from ...
Rong Wang +3 more
doaj +1 more source