Ordered binary decision diagrams

Results 51 to 60 of about 3,939,918 (112)

An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams

, 2007
We prove an exponential lower bound on the size of proofs in the proof system operating with ordered binary decision diagrams introduced by Atserias, Kolaitis and Vardi [2].
Jan Krajicek
core

Authority cues and metacognitive miscalibration in linguistic judgment: evidence from an English-Chinese revision paradigm. [PDF]

Front Psychol
Chen C, Ren N, Guo Z.
europepmc +1 more source

Paul Hertz' contribution to proof theory: normal-form results for deductions. [PDF]

Arch Hist Exact Sci
Bodner M.
europepmc +1 more source

Autonomous High-Throughput Characterization of Liquid-Liquid Phase Behavior. [PDF]

Adv Sci (Weinh)
Eid T +3 more
europepmc +1 more source

Reliable evaluation and learning in multi-input biological association prediction. [PDF]

Brief Bioinform
Ahmadian S, Paoli L, Montazeri H.
europepmc +1 more source

Beyond beneficial or ineffective: three-way decision modeling of image-level affective responses to restorative environment design. [PDF]

Front Psychol
Li Q, Zhang C, Li Q, Feng Z.
europepmc +1 more source

Multi-cohort machine learning identifies a ferroptosis-linked prognostic signature in lung adenocarcinoma. [PDF]

Front Bioinform
Salihoglu R.
europepmc +1 more source

Data-driven acceleration of mixed-integer bilinear programs: a comparative study for robot motion planning. [PDF]

Front Robot AI
Lin X.
europepmc +1 more source

Clinically interpretable deep learning for breast cancer missense variant pathogenicity prediction. [PDF]

Front Bioinform
Ahmad RM, AlDhaheri N, Mohamad MS, Ali BR. +3 more
europepmc +1 more source

Dynamic Landscape Analysis of cell fate decisions provides predictive models of neural development from single-cell data. [PDF]

PLoS Biol
Fontaine M +6 more
europepmc +1 more source