Results 61 to 70 of about 81,262 (253)

2D Nanomaterials Toward Function‐Ready Superlubricity in Advanced Microsystems

Advanced Materials, EarlyView.
A unified framework links structural and transformation superlubricity with microsystem functions and deployment requirements. Mechanisms, device architectures, integration strategies, AI‐guided discovery, and benchmarking protocols are connected to define function‐ready superlubricity in advanced microsystems.
Yushan Geng, Jun Yang, Yong Yang
wiley   +1 more source

Securing Databases from Probabilistic Inference

, 2017
Databases can leak confidential information when users combine query results with probabilistic data dependencies and prior knowledge. Current research offers mechanisms that either handle a limited class of dependencies or lack tractable enforcement ...
Basin, David, Guarnieri, Marco, Marinovic, Srdjan   +2 more
core   +1 more source

Statistical Statements in Probabilistic Logic Programming

, 2022
AbstractProbabilistic Logic Programs under the distribution semantics (PLPDS) do not allow statistical probabilistic statements of the form “90% of birds fly”, which were defined “Type 1” statements by Halpern. In this paper, we add this kind of statements to PLPDS and introduce the PASTA (“Probabilistic Answer set programming for STAtistical ...
Azzolini D., Bellodi E., Riguzzi F.
openaire   +2 more sources

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

Orientation Engineering of MXene Flakes

Advanced Materials, EarlyView.
Orientation engineering of MXene flakes refers to the transformation of disordered MXene flakes into ordered architectures with optimized multiphysical transport properties. Focusing on this topic, this review outlines key principles, characterization, fabrication strategies, and advanced applications of oriented MXene structures.
Yizhou Wang, Shuo Li, Tianchao Guo, Dekang Zhu, Ning Chu, Noor Albar, Dana Alsulaiman, Husam N. Alshareef   +7 more
wiley   +1 more source

DNF Sampling for ProbLog Inference [PDF]

, 2010
Inference in probabilistic logic languages such as ProbLog, an extension of Prolog with probabilistic facts, is often based on a reduction to a propositional formula in DNF. Calculating the probability of such a formula involves the disjoint-sum-problem,
Janssens, Gerda, Kimmig, Angelika, Mantadelis, Theofrastos, Shterionov, Dimitar Sht.   +3 more
core  

Computing LPMLN Using ASP and MLN Solvers

, 2017
LPMLN is a recent addition to probabilistic logic programming languages. Its main idea is to overcome the rigid nature of the stable model semantics by assigning a weight to each rule in a way similar to Markov Logic is defined.
Lee, Joohyung, Talsania, Samidh, Wang, Yi   +2 more
core   +1 more source

Magnetic Textiles: A Review of Materials, Fabrication, Properties, and Applications

Advanced Materials Technologies, EarlyView.
Magnetic textiles (M‐textiles) are emerging as a programmable materials platform that merges magnetic matter with hierarchical textile structures. This article consolidates magnetic material classes, textile architectures, and fabrication and magnetization strategies, revealing structure–property–function relationships that govern magneto‐mechanical ...
Li Ke, Moses Kumi, Xiaoming Tao, Junhong Pu   +3 more
wiley   +1 more source

Probabilistic Logic Programming with Beta-Distributed Random Variables

, 2018
We enable aProbLog---a probabilistic logical programming approach---to reason in presence of uncertain probabilities represented as Beta-distributed random variables. We achieve the same performance of state-of-the-art algorithms for highly specified and
Cerutti, Federico, Kaplan, Lance, Kimmig, Angelika, Sensoy, Murat   +3 more
core   +2 more sources

AI‐Powered Framework for Evaluating Drug Efficacy for Three‐Dimensional In Vitro Cancer Models in Robot‐Assisted Production

Advanced Robotics Research, EarlyView.
An AI‐powered, robot‐assisted framework automatically produces, images, and analyzes 3D tumor spheroids to evaluate drug efficacy. Integrated modules handle spheroid formation, live/dead staining, brightfield imaging, and automated image analysis, including spheroid segmentation, viability and metrics to assess the drug treatment efficacy. The workflow
Dalia Mahdy, Jesus Nieves, Lukas Königer, Matthias Peindl, Fabio Erhard, Marc Möllmann, Anke Klingner, Markus Münig, Bibin Babu, Thomas Schwarz, Marco Metzger, Gudrun Dandekar, Maximiliane Wußmann, Jan Hansmann   +13 more
wiley   +1 more source