Results 91 to 100 of about 1,042,976 (291)

Data‐Driven Materials Science for Energy‐Sustainable Applications

open access: yesAdvanced Materials, EarlyView.
Data‐driven approaches powered by artificial intelligence are transforming materials discovery for energy sustainability. This review examines how auto‐generated high‐quality materials databases and domain‐specific language models accelerate research in photovoltaics, thermoelectrics, batteries and magnetic materials. Applications involve extraction of
Jacqueline M. Cole
wiley   +1 more source

A CMOS Probabilistic Computing Chip With Hardware-Aware Learning

open access: yesIEEE Journal on Exploratory Solid-State Computational Devices and Circuits
This work demonstrates a compact probabilistic computing system based on a physics-inspired probabilistic bit (p-bit) architecture with 440 interacting spins configured in a chimera graph and occupying 0.44 mm2 of silicon area.
Jinesh Jhonsa   +6 more
doaj   +1 more source

Weighted versus Probabilistic Logics [PDF]

open access: yes, 2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection with (temporal) logic and related verification algorithms. In this paper, we will identify weighted versions of MSO and CTL that generalize the classical logics and even other ...
Gastin, Paul, Bollig, Benedikt
openaire   +2 more sources

Noise‐Tunable Memristor Enabling Programmable Probabilistic Neurons for Frequency‐Selective Time‐Series Signal Encoding

open access: yesAdvanced Materials, EarlyView.
Memristors offer tunable resistance and intrinsic instability, making them promising tunable noise sources. We propose a spiking‐rate‐programmable probabilistic neuron using a Ru/TaOx/Pt memristor, where resistance‐dependent noise enables frequency‐selective encoding.
Do Hoon Kim   +8 more
wiley   +1 more source

Probabilistic computing using Cu0.1Te0.9/HfO2/Pt diffusive memristors

open access: yesNature Communications, 2022
Designing a computing scheme to solve complex tasks as the big data field proliferates remains a challenge. Here, the authors present a probabilistic bit generation hardware built using the random nature of Cu x Te1−x /HfO2/Pt memristors capable of ...
Kyung Seok Woo   +5 more
doaj   +1 more source

A Logic For Inductive Probabilistic Reasoning [PDF]

open access: yesSynthese, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

A Universal van der Waals Tunneling Injector for Monolayer CMOS

open access: yesAdvanced Materials, EarlyView.
A universal van der Waals injector unlocks polarity‐flexible tunneling contacts for monolayer CMOS. SnSe2, an intrinsically degenerate 2D semiconductor, establishes polarity‐specific band alignments with both WSe2 and MoS2 channels, enabling steep switching, high on/off ratios, and a unified route to low‐power 2D logic.
Hanbin Cho   +17 more
wiley   +1 more source

Probabilistic Computing via Gate-Tunable Random Telegraph Noise. [PDF]

open access: yesAdv Sci (Weinh)
Intrinsic random telegraph noise in metal–oxide–semiconductor field‐effect transistors is harnessed to create gate‐tunable probabilistic bits. By modulating carrier‐trapping dynamics, the device produces stochastic binary outputs with a continuous bias‐to‐probability transfer.
Yun G   +8 more
europepmc   +2 more sources

Probabilistic-Logical Modeling of Music [PDF]

open access: yes, 2005
PRISM is a probabilistic-logical programming language based on Prolog. We present a PRISM-implementation of a general model for polyphonic music, based on Hidden Markov Models. Its probability parameters are automatically learned by running the built-in EM-algorithm of PRISM on training examples.
Sneyers, Jon   +2 more
openaire   +2 more sources

Probabilistic Constraint Logic Theories

open access: yes, 2016
Probabilistic logic models are used ever more often to deal with the uncertain relations typical of the real world. However, these models usually require expensive inference procedures.
Evelina Lamma   +11 more
core  

Home - About - Disclaimer - Privacy