Results 151 to 160 of about 471,293 (319)
Spin‐Polarized Antiferromagnets for Spintronics
Advanced Materials, EarlyView.This review highlights recent advances in anomalous and spin transport phenomena in spin‐polarized antiferromagnets. Key effects—including the anomalous Hall, Nernst, and magneto‐optical effects—are discussed across various antiferromagnetic platforms.
Zhenzhou Guo +5 more
wiley +1 more source
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming. [PDF]
Kunstliche Intell (Oldenbourg), 2020 van Bremen T, Dries A, Jung JC.
europepmc +1 more source
Proving real-time properties of programs with temporal logic [PDF]
, 1981 Arthur Bernstein, Paul K. Harter
openalex +1 more source
Advanced Materials, EarlyView.Water impacting, freezing, melting, and being mechanically removed from the designed dielectric surfaces generates a triboeletric signal that can be used to detect various icing and de‐icing scenarios. The charge transferred directly scales with the interfacial fracture mechanism, further validating triboelectricity as an excellent ice‐detection ...
Kamran Alasvand Zarasvand +12 more
wiley +1 more source
Weight prioritized slicing based on constraint logic programming for fault localization. [PDF]
PLoS One, 2020 Ren S, Zhou W, Zhou H, Xia L.
europepmc +1 more source
The treatment of negation in logic programs for representing legislation [PDF]
, 1989 Robert Kowalski
openalex +1 more source
Localized Spin Textures Stabilized by Geometry‐Induced Strain in 2D Magnet Fe3GeTe2
Advanced Materials, EarlyView.Strain engineering in 2D van der Waals ferromagnet Fe₃GeTe₂ is studied using scanning transmission X‐ray microscopy. Spatially varying strain from micropillar arrays induced local 10 K Curie temperature increases, stabilizing magnetic domains including skyrmions and skyrmion bags near pillar corners.
Yuhan Sun +13 more
wiley +1 more source
ALPES: an advanced logic programming environment
Le Matematiche, 1988 This paper introduces a software programming environment for an extended Prolog language, called ALPES. The purpose of ALPES is to enable a logic programming paradigm to become a software engineering tool to design, develop and prototype traditional ...
Cristina Ruggieri
doaj