Results 61 to 70 of about 125,965 (208)

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

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

Screening and Development of Sacrificial Cathode Additives for Lithium‐Ion Batteries

Advanced Energy Materials, EarlyView.
This work presents a computational screening approach to identify Li‐rich transition‐metal oxide sacrificial cathode additives and provides experimental validation of antifluorite‐structured Li6MnO4 as a potential candidate. Abstract This work presents a computational screening approach to identify Li‐rich transition‐metal oxide sacrificial cathode ...
Haegyeom Kim, KyuJung Jun, Nathan Szymanski, Venkata Sai Avvaru, Zijian Cai, Matthew Crafton, Gi‐Hyeok Lee, Stephen E. Trask, Finn Babbe, Young‐Woon Byeon, Peichen Zhong, Donghun Lee, Byungchun Park, Wangmo Jung, Bryan D. McCloskey, Wanli Yang   +15 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

Logic Programming Applications: What Are the Abstractions and Implementations? [PDF]

In M. Kifer and Y.A. Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications, Chapter 10, pages 519-557, ACM and Morgan & Claypool, 2018, 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 essential implementations are for-loops, fixed points, and backtracking, respectively.
arxiv   +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

Alternative Solid‐State Synthesis Route for Highly Fluorinated Disordered Rock‐Salt Cathode Materials for High‐Energy Lithium‐Ion Batteries

Advanced Energy Materials, EarlyView.
This work presents a tailored solid‐state route to enhance DRX fluorination and electrochemical performance. Using unconventional precursors, Li6MnO4, MnF2, and TiO2, prevents Mn‐based intermediates, which do not accommodate fluorines, enabling the formation of highly fluorinated DRX with a composition of Li1.23Mn0.40Ti0.37O2−yFy (y = 0.29–0.34 ...
Venkata Sai Avvaru, Tianyu Li, Gi‐Hyeok Lee, Young‐Woon Byeon, Krishna Prasad Koirala, Otavio Jovino Marques, Bernardine L. D. Rinkel, Yanbao Fu, David Milsted, Seonghun Jeong, Nathan J. Szymanski, Martin Kunz, Finn Babbe, Eunryeol Lee, Vincent Battaglia, Bryan D. McCloskey, Johanna Nelson Weker, Chongmin Wang, Wanli Yang, Raphaële J. Clément, Haegyeom Kim   +20 more
wiley   +1 more source

Meta-Interpretive LEarning with Reuse

Mathematics
Inductive 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, Jun Sun, Cong Tian, Zhenhua Duan   +3 more
doaj   +1 more source

A Logic for Non-Monotone Inductive Definitions [PDF]

arXiv, 2005
Well-known principles of induction include monotone induction and different sorts of non-monotone induction such as inflationary induction, induction over well-founded sets and iterated induction. In this work, we define a logic formalizing induction over well-founded sets and monotone and iterated induction. Just as the principle of positive induction
arxiv  

Integrating Aggregate Materials and Machine Learning Algorithms: Advancing Detection of Pathogen‐Derived Extracellular Vesicles

Aggregate, EarlyView.
Pathogen‐derived extracellular vesicle detection: theoretical insights and advanced methodologies: This review explores the theoretical foundations and practical applications of pEV detection, emphasizing the challenges and innovative strategies involving novel aggregate materials and machine learning for enhanced diagnostic accuracy.
Lihan Lai, Yun Su, Cong Hu, Zehong Peng, Wei Xue, Liang Dong, Tony Y. Hu   +6 more
wiley   +1 more source