Results 161 to 170 of about 167,912,551 (295)

Logic-based preference languages with intermediate complexity

open access: yes, 2008
Logic-based preference representation languages are used to represent utility functions in combinatorial auctions, and can also be used for voting. A canonical problem in this context is, given a set of propositional formulas with associated weights, to ...
Andreas Witzel   +3 more
core  

Hardware‐Native Gaussian Sampling With Probabilistic Ising Machines for Modern Communication Paradigms

open access: yesAdvanced Science, EarlyView.
Probabilistic Ising machines are introduced as hardware‐native Gaussian samplers for edge communication workloads. Tunable variance and sampling density enable accurate distributions for Falcon‐class post‐quantum signatures and diffusion‐based semantic communication.
Davi Rodrigues   +10 more
wiley   +1 more source

Emerging Memory and Device Technologies for Hardware‐Accelerated Model Training and Inference

open access: yesAdvanced Electronic Materials, EarlyView.
This review investigates the suitability of various emerging memory technologies as compute‐in‐memory hardware for artificial intelligence (AI) applications. Distinct requirements for training‐ and inference‐centric computing are discussed, spanning device physics, materials, and system integration.
Yoonho Cho   +6 more
wiley   +1 more source

On the Role of Preprocessing and Memristor Dynamics in Reservoir Computing for Image Classification

open access: yesAdvanced Electronic Materials, EarlyView.
ABSTRACT Reservoir computing (RC) is an emerging recurrent neural network architecture that has attracted growing attention for its low training cost and modest hardware requirements. Memristor‐based circuits are particularly promising for RC, as their intrinsic dynamics can reduce network size and parameter overhead in tasks such as time‐series ...
Rishona Daniels   +4 more
wiley   +1 more source

Nanocrystalline LCO/LLZO Composite Cathode Films for Solid State Batteries

open access: yesAdvanced Energy Materials, EarlyView.
A single precursor solution is solution‐deposited and calcined at only 750°C to yield a dense, nanograined LiCoO2/LLZO composite cathode, in which both phases crystallize independently with minimal interdiffusion. Assembled into all‐solid‐state Li‐metal batteries, the composite delivers 111.7 mAh g−1 initial discharge capacity and retains 93% after 100
Lucie Quincke   +8 more
wiley   +1 more source

Combining computation tree logic and deontic logic in natural deduction style calculus

open access: yes, 2009
In this technical report we present a natural deduction calculus for branching-time deontic logic, a combination of the branching-time logic CTL and deontic modalities and prove its correctness.
Bolotov, A., Grigoriev, O.
core  

Home - About - Disclaimer - Privacy