The following pages link to Mitchell O. Locks (Q1393229):
Displaying 21 items.
- Minimalization of Boolean polynomials, truth functions, and lattices (Q1393230) (← links)
- Logical and probability analysis of systems (Q2559371) (← links)
- Comments on: Improved Method of Inclusion-Exclusion Applied to k-out-of-n Systems (Q3220329) (← links)
- Recent Developments in Computing of System-Reliability (Q3707744) (← links)
- A Minimizing Algorithm for Sum of Disjoint Products (Q3775306) (← links)
- Automatic Programming for Automatic Computers (Q3847258) (← links)
- Evaluating the KTI Monte Carlo Method for System Reliability Calculations (Q3854908) (← links)
- Inverting and Minimizing Boolean Functions, Minimal Paths and Minimal Cuts: Noncoherent System Analysis (Q3858169) (← links)
- Recursive Disjoint Products, Inclusion-Exclusion, and Min-Cut Approximations (Q3888284) (← links)
- Recursive Disjoint Products: A Review of Three Algorithms (Q3939569) (← links)
- Quinean Minimization: Some Suggested Modifications (Q3964466) (← links)
- Note on disjoint products algorithms (Q4004843) (← links)
- (Q4098536) (← links)
- (Q4128244) (← links)
- (Q4138708) (← links)
- (Q4157849) (← links)
- (Q4158361) (← links)
- Relationship Between Minimal Path Sets and Cut Sets (Q4163257) (← links)
- Inverting and Minimalizing Path Sets and Cut Sets (Q4163555) (← links)
- Synthesis of Fault Trees: An Example of Noncoherence (Q4193401) (← links)
- Anomalies in interpreting a fault tree (comments, with reply, on 'Automated analysis of phased-mission reliability' by J.B. Dugan) (Q4277097) (← links)