Results 71 to 80 of about 134,060 (299)
Inductive assertion method for logic programs [PDF]
Theoretical Computer Science, 1988 Certain properties of logic programs are inexpressible in terms of their declarative semantics. One example of such properties would be the actual form of procedure calls and successes which occur during computations of a program. They are often used by programmers in their informal reasoning.
Wlodzimierz Drabent, Jan Maluszynski
openaire +2 more sources
Advanced Science, EarlyView.Recent advances in materials and device engineering enable continuous, real‐time monitoring of muscle activity via wearable and implantable systems. This review critically summarizes emerging technologies for tracking electrophysiological, biomechanical, and oxygenation signals, outlines fundamental principles, and highlights key challenges and ...
Zhengwei Liao +4 more
wiley +1 more source
Harnessing Phenonium Ions in Synthesis
Angewandte Chemie, EarlyView.Phenonium ions have frequently been viewed as intermediates of theoretical interest, but whose synthetic utility was limited. This minireview outlines how physical‐organic characterization has led to a better understanding of controlling their formation, which has resulted in modern strategies to form phenonium ions straightforwardly and use them in a ...
Robert J. Mayer, David Lebœuf
wiley +2 more sources
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
Monolithically‐Integrated van der Waals Synaptic Memory via Bulk Nano‐Crystallization
Advanced Science, EarlyView.Monolithically‐integrated van der Waals synaptic memory is presented via bulk nano‐crystallization, which overcomes the conventional limitations of 3D device integration technologies. Furthermore, bipolar resistive switching (LRS/HRS) dynamics is spatially resolved with conductive atomic force microscopy, scanning‐transmission electron microscopy, and ...
Jinhyoung Lee +34 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
Advanced Science, EarlyView.DNA‐based hydrogels serve dual roles as structural scaffolds and therapeutic platforms, offering innovative solutions for musculoskeletal regeneration with multifunctional abilities. Abstract Musculoskeletal disorders, including bone fractures, osteoarthritis, and muscle injuries, represent a leading cause of global disability, revealing the urgency ...
Ruijianghan Shi +4 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
Schema induction for logic program synthesis
Artificial Intelligence, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Advanced Science, EarlyView.The introduction of atomically dispersed Zr‐N moieties adjacent to Fe‐N4 centers forms a bimetallic coordination configuration. This structure modifies the local electronic environment of the Fe sites, weakening the adsorption of OH intermediates, suppressing Fe agglomeration and dissolution, and consequently enhancing both the catalytic activity and ...
Siqi Qiu +9 more
wiley +1 more source