Back to Results
First PageMeta Content
Mathematics / Diagrams / Philosophical logic / Reliability engineering / Canonical form / Binary decision diagram / Quantification / Equivalence relation / Fault tree analysis / Logic / Mathematical logic / Boolean algebra


Microsoft Word - Nusbaumer-Rauzy - FTL versus ETL Mathematical and Algorithmic Reconciliation_revised.doc
Add to Reading List

Document Date: 2012-09-02 05:45:24

Open Document

File Size: 225,32 KB

Share Result on Facebook

Company

C. / /

Country

Switzerland / /

Currency

pence / /

Event

Force Majeure / /

Facility

Simplified Nuclear Power Plant / Antoine Rauzyb Leibstadt Nuclear Power Plant / /

IndustryTerm

recursive algorithm / plant systems / disjoint products / sequence frequency product / correct algorithm / quantification algorithms / positive product / sub-product / computing / i.e. products / correct quantification algorithm / safety systems / successive applications / i . e .ii . e ..i . e .ei . e ..i . e . i . e .pi . e .ri . e .oi . e .di . e .ui . e .ci . e .ti . e .si . e . / /

NaturalFeature

Shannon / /

Organization

Ecole Polytechnique / /

Person

Antoine Rauzyb Leibstadt / Minimal Cutsets / M. Consider / /

Position

Prime Minister / simplified nuclear power plant model / model / analyst / ·Pm / prominent representative / /

Technology

correct algorithm / following recursive algorithm / BDD technology / Minimal Cutsets algorithm / FTL algorithms / ZBDD2BDD algorithm / Quantification algorithms / SDP algorithms / correct quantification algorithm / Disjoint Products algorithm / Minimal Cutsets algorithms / correct Minimal Cutsets algorithm / Disjoint Products algorithms / /

SocialTag