Results 121 to 130 of about 575,998 (339)
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming. [PDF]
Sci Rep, 2022 Abdallah M +3 more
europepmc +1 more source
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
High Entropy Alloy Thin Films as Efficient Spin‐Orbit Torque Sources for Spintronic Memories
Advanced Materials, EarlyView.High‐entropy alloys with significantly diluted heavy metal content are found to be a very efficient source of spin‐orbit torques for spintronic applications. Epitaxially‐grown 4‐, 5‐, 6‐element alloy thin films are successfully integrated in magnetic racetrack memory devices, showing efficient domain wall motion, thereby adding a large family of ...
Peng Wang +6 more
wiley +1 more source
Machine‐Learning‐Aided Advanced Electrochemical Biosensors
Advanced Materials, EarlyView.Electrochemical biosensors are highly sensitive, portable, and versatile. Advanced nanomaterials enhance their performance, while machine learning (ML) improves data analysis, minimizes interference, and optimizes sensor design. Despite progress in both fields, their combined potential in diagnostics remains underexplored.
Andrei Bocan +9 more
wiley +1 more source
The Design of the Fifth Answer Set Programming Competition [PDF]
, 2014 Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and nonmonotonic reasoning. Advances in ASP solving technology are customarily assessed in competition events,
Calimeri, Francesco +3 more
core
Advanced Materials, EarlyView.A multifunctional memristor is demonstrated for in‐memory sensing and computing, leveraging a MoWS₂/VOx heterojunction to enable high ON/OFF ratio up to 10⁸ with ultralow operating voltages of ±0.2 V. This bio‐inspired multimodal design exhibits tunable synaptic behavior across electrical, optical, and humidity stimuli, enabling in situ modulation of ...
Abdul Momin Syed +8 more
wiley +1 more source
Mechanical Resonant Sensing of Spin Texture Dynamics in a 2D Antiferromagnet
Advanced Materials, EarlyView.Detection of antiferromagnetic spin texture in a 2D magnetic crystal is achieved through nanomechanical resonators at radio frequencies. Sharp magnetic transitions that lead to abrupt changes in mechanical linear and nonlinear responses are assigned to antiferromagnetic domain motions.
S M Enamul Hoque Yousuf +10 more
wiley +1 more source
A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems
Foundations of Management, 2014 The paper presents a concept and the outline of the implementation of a hybrid approach to modelling and solving constrained problems. Two environments of mathematical programming (in particular, integer programming) and declarative programming (in ...
Sitek Pawel, Wikarek Jaroslaw
doaj +1 more source
Incorporating Inductions and Game Semantics into Logic Programming [PDF]
arXiv, 2015 Inductions and game semantics are two useful extensions to traditional logic programming. To be specific, inductions can capture a wider class of provable formulas in logic programming. Adopting game semantics can make logic programming more interactive. In this paper, we propose an execution model for a logic language with these features.
arxiv