Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

R. Gore; A. Tiu

doi:10.1093/logcom/exm026

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

Journal of Logic and Computation ◽

10.1093/logcom/exm026 ◽

2007 ◽

Vol 17 (4) ◽

pp. 767-794 ◽

Cited By ~ 9

Author(s):

R. Gore ◽

A. Tiu

Keyword(s):

Minimal Cut ◽

Display Logic ◽

Deep Inference

Download Full-text

Deep Inference Localization Approach of License Plate Recognition: A 2014 Series Philippine Vehicle License Plate

2021 International Conference on Computational Intelligence and Knowledge Economy (ICCIKE) ◽

10.1109/iccike51210.2021.9410799 ◽

2021 ◽

Author(s):

Ryan Carreon Reyes ◽

Elaine M. Cepe ◽

Nenita D. Guerrero ◽

Rovenson V. Sevilla ◽

Dolores L. Montesines

Keyword(s):

License Plate ◽

License Plate Recognition ◽

Deep Inference ◽

Localization Approach

Download Full-text

FORESEEN: Towards Differentially Private Deep Inference for Intelligent Internet of Things

IEEE Journal on Selected Areas in Communications ◽

10.1109/jsac.2020.3000374 ◽

2020 ◽

Vol 38 (10) ◽

pp. 2418-2429 ◽

Cited By ~ 3

Author(s):

Lingjuan Lyu ◽

James C. Bezdek ◽

Jiong Jin ◽

Yang Yang

Keyword(s):

Internet Of Things ◽

Deep Inference

Download Full-text

Composite power system reliability evaluation using modified minimal cut set approach

Alexandria Engineering Journal ◽

10.1016/j.aej.2017.09.008 ◽

2018 ◽

Vol 57 (4) ◽

pp. 2521-2528 ◽

Cited By ~ 3

Author(s):

T. Bharath Kumar ◽

O. Chandra Sekhar ◽

M. Ramamoorty

Keyword(s):

Power System ◽

System Reliability ◽

Reliability Evaluation ◽

Power System Reliability ◽

Minimal Cut Set ◽

Minimal Cut ◽

Cut Set ◽

Composite Power System

Download Full-text

Minimal-cut reliability lower-bound for systems containing standby modules

Microelectronics Reliability ◽

10.1016/s0026-2714(82)80484-8 ◽

1982 ◽

Vol 22 (5) ◽

pp. 1040

Keyword(s):

Lower Bound ◽

Minimal Cut

Download Full-text

Minimal cut set/sequence generation for dynamic fault trees

Annual Symposium Reliability and Maintainability, 2004 - RAMS ◽

10.1109/rams.2004.1285449 ◽

2004 ◽

Cited By ~ 18

Author(s):

Zhihua Tang ◽

J.B. Dugan

Keyword(s):

Fault Trees ◽

Sequence Generation ◽

Minimal Cut Set ◽

Minimal Cut ◽

Cut Set

Download Full-text

Minimal Cut Sets and Path Sets in Binary Decision Diagrams and logical differential calculus

The 10th International Conference on Digital Technologies 2014 ◽

10.1109/dt.2014.6868712 ◽

2014 ◽

Cited By ~ 2

Author(s):

Miroslav Kvassay ◽

Jozef Kostolny

Keyword(s):

Differential Calculus ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Minimal Cut Sets ◽

Minimal Cut

Download Full-text

Reliability Assessment of Electric Railway Substation by using Minimal Cut Sets Algorithm

Journal of International Council on Electrical Engineering ◽

10.5370/jicee.2011.1.2.135 ◽

2011 ◽

Vol 1 (2) ◽

pp. 135-139 ◽

Cited By ~ 4

Author(s):

Bon-Hui Ku ◽

Jun-Min Cha

Keyword(s):

Reliability Assessment ◽

Minimal Cut Sets ◽

Minimal Cut ◽

Electric Railway

Download Full-text

Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets

Lecture Notes in Computer Science - Measurement, Modelling and Evaluation of Computing Systems ◽

10.1007/978-3-030-43024-5_16 ◽

2020 ◽

pp. 259-277 ◽

Cited By ~ 1

Author(s):

Carlos E. Budde ◽

Mariëlle Stoelinga

Keyword(s):

Fault Tree ◽

Rare Event ◽

Fault Tree Analysis ◽

Rare Event Simulation ◽

Tree Analysis ◽

Event Simulation ◽

Minimal Cut Sets ◽

Minimal Cut

Download Full-text

Minimal cut sets with time dependencies analysis

Automatyka/Automatics ◽

10.7494/automat.2013.17.2.219 ◽

2013 ◽

Vol 17 (2) ◽

pp. 219

Author(s):

Paweł Skrobanek

Keyword(s):

Minimal Cut Sets ◽

Minimal Cut ◽

Time Dependencies

Download Full-text

A Mechanised Proof System for Relation Algebra Using Display Logic

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-49545-2_18 ◽

1998 ◽

pp. 264-278 ◽

Cited By ~ 4

Author(s):

Jeremy E. Dawson ◽

Rajeev Goré

Keyword(s):

Relation Algebra ◽

Proof System ◽

Display Logic

Download Full-text