IEEE

Reachability Analysis Using Constrained Polynomial Logical Zonotopes

Abstract: This letter presents a novel approach for reachability analysis of using constrained polynomial logical zonotopes. We perform reachability analysis to compute the set of reachable states ...
IEEE

Deep-Learning-Based Source Reconstruction Method Using Deep Convolutional Conditional Generative Adversarial Network

Abstract: This article proposes a novel deep-learning (DL)-based source reconstruction method (SRM). The proposed DL-based SRM employs the deep convolutional conditional generative adversarial network ...
GitHub

Logical Credal Networks

where $l$ and $u$ are the lower and upper probability bounds, while $\phi$ and $\psi$ denote propositional logic formulas. For example the following two sentences ...
Nasdaq

ContextLogic to Acquire US Salt from Emerald Lake in $907.5 Million Transaction, Creating New Business Ownership Platform in Partnership with Abrams Capital and BC Partners Credit

OAKLAND, Calif., Dec. 08, 2025 (GLOBE NEWSWIRE) -- ContextLogic Holdings Inc., (OTCQB: LOGC), (“ContextLogic” or the “Company”) today announced that it has agreed to acquire US Salt Parent Holdings, ...