Hash-processing of universal quantification-like queries dealing with requirements and prohibitions

2021 ◽  
Vol 13 (1/2) ◽  
pp. 192
Author(s):  
Noussaiba Benadjimi ◽  
Khaled Walid Hidouci
Keyword(s):  
Universal Quantification

scholarly journals Enhanced Universal Quantification of Biomolecules Using Element MS and Generic Standards: Application to Intact Protein and Phosphoprotein Determination

2018 ◽  
Vol 91 (1) ◽  
pp. 1105-1112 ◽  
Author(s):  
Francisco Calderón-Celis ◽  
Naoki Sugiyama ◽  
Michiko Yamanaka ◽  
Tetsushi Sakai ◽  
Silvia Diez-Fernández ◽  
...  
Keyword(s):  
Intact Protein ◽  
Universal Quantification

scholarly journals On Quantifying Literals in Boolean Logic and its Applications to Explainable AI

2021 ◽  
Vol 72 ◽  
pp. 285-328
Author(s):  
Adnan Darwiche ◽  
Pierre Marquis
Keyword(s):  
Boolean Logic ◽  
Fine Grained ◽  
Explainable Ai ◽  
Boolean Formulas ◽  
Universal Quantification ◽  
Existential Quantification

Quantified Boolean logic results from adding operators to Boolean logic for existentially and universally quantifying variables. This extends the reach of Boolean logic by enabling a variety of applications that have been explored over the decades. The existential quantification of literals (variable states) and its applications have also been studied in the literature. In this paper, we complement this by introducing and studying universal literal quantification and its applications, particularly to explainable AI. We also provide a novel semantics for quantification, discuss the interplay between variable/literal and existential/universal quantification, and identify some classes of Boolean formulas and circuits on which quantification can be done efficiently. Literal quantification is more fine-grained than variable quantification as the latter can be defined in terms of the former, leading to a refinement of quantified Boolean logic with literal quantification as its primitive.

A universal quantification of transgenic soybean event DAS ‐68416‐4 using duplex digital PCR

2020 ◽  
Vol 101 (2) ◽  
pp. 624-630 ◽  
Author(s):  
Jin Liu ◽  
Zhi‐yong Li ◽  
Jie Dong ◽  
Dong‐wei Gao
Keyword(s):  
Digital Pcr ◽  
Transgenic Soybean ◽  
Universal Quantification
Sign in / Sign up

Export Citation Format

Share Document