Results 61 to 70 of about 201,128 (321)

Inductive Logic Programming for Symbol Recognition

2009 10th International Conference on Document Analysis and Recognition, 2009
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial de- scriptions of symbols, based on a formal description. This work is a first step in this direction and is rather a proof of concept, rather than a fully operational and robust frame- work.
K.C., Santosh, Lamiroy, Bart, Ropers, Jean - Philippe   +2 more
openaire   +3 more sources

Nonreciprocal Spin Waves in Nanoscale Hybrid Néel–Bloch–Néel Domain Walls Detected by Scanning X‐Ray Microscopy in Perpendicular Magnetic Anisotropic Fe/Gd Multilayers

Advanced Materials, EarlyView.
Using scanning transmission X‐ray microscopy, nonreciprocal spin‐wave behavior is revealed in real space in Fe/Gd multilayers with perpendicular magnetic anisotropy, highlighting their functionality for magnonic logic circuits operating at GHz frequencies.
Ping Che, Axel J. M. Deenen, Andrea Mucchietto, Joachim Gräfe, Michael Heigl, Korbinian Baumgaertl, Markus Weigand, Michael Bechtel, Sabri Koraltan, Gisela Schütz, Dieter Suess, Manfred Albrecht, Dirk Grundler   +12 more
wiley   +1 more source

XAI Human-Machine collaboration applied to network security

Frontiers in Computer Science
Cyber attacking is easier than cyber defending—attackers only need to find one breach, while the defenders must successfully repel all attacks. This research demonstrates how cyber defenders can increase their capabilities by joining forces with ...
Steve Moyle, Andrew Martin, Nicholas Allott   +2 more
doaj   +1 more source

Bootstrapping Knowledge Graphs From Images and Text

Frontiers in Neurorobotics, 2019
The problem of generating structured Knowledge Graphs (KGs) is difficult and open but relevant to a range of tasks related to decision making and information augmentation.
Jiayuan Mao, Yuan Yao, Stefan Heinrich, Tobias Hinz, Cornelius Weber, Stefan Wermter, Zhiyuan Liu, Maosong Sun   +7 more
doaj   +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

Structural Resolution with Co-inductive Loop Detection [PDF]

, 2017
A way to combine co-SLD style loop detection with structural resolution was found and is introduced in this work, to extend structural resolution with co-induction.
Li, Yue
core   +2 more sources

Advanced Optical Integration Processes for Photonic‐Integrated Circuit Packaging

Advanced Materials Technologies, EarlyView.
Photonic integrated chip packaging is a growing technology that helps make devices faster, more efficient, and more compact by using light instead of electricity. This review highlights recent progress in making these chips work better at different levels, discusses current challenges like heat and alignment, and looks at future possibilities for ...
Keuntae Baek, Minhyeok Kim, Hak‐Sung Kim, Jinho Ahn, Hongyun So   +4 more
wiley   +1 more source

Bicyclic Selenenyl Sulfides with Tuned Bioreductive Step Rates Reveal Constraints for Probes Targeting Thioredoxin Reductase

Angewandte Chemie, EarlyView.
Thiol reductants activate dichalcogenide probes by a cascade of partly reversible steps. Careful dichalcogenide engineering can tune the rates of these steps separately, to aim at probes that are kinetically selective for specific oxidoreductases in live cells.
Lukas Zeisel, Lucas Dessen Weissenhorn, Karoline C. Scholzen, Andrea Madabeni, Laura Orian, Elias S. J. Arnér, Oliver Thorn‐Seshold   +6 more
wiley   +2 more sources

MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic

IEEE Access
This article presents MP-SPILDL, a massively parallel inductive logic learner in Description Logic (DL). MP-SPILDL is a scalable inductive Logic Programming (ILP) algorithm that exploits existing Big Data infrastructure to perform large-scale inductive ...
Eyad Algahtani
doaj   +1 more source

Semantic Probabilistic Inference of Predictions

Известия Иркутского государственного университета: Серия "Математика", 2017
Prediction is one of the most important concepts in science. Predictions obtained from probabilistic knowledge, are described by an inductive-statistical inference (I-S inference).
E. E. Vityaev
doaj   +1 more source