Results 11 to 20 of about 1,077,252 (284)
Quantification of Temporal Fault Trees Based on Fuzzy Set Theory [PDF]
, 2014 Fault tree analysis (FTA) has been modified in different ways to make it capable of performing quantitative and qualitative safety analysis with temporal gates, thereby overcoming its limitation in capturing sequential failure behaviour. However, for many systems, it is often very difficult to have exact failure rates of components due to increased ...
Gordon, Neil +3 more
openaire +5 more sources
From Proof Nets to the Free *-Autonomous Category [PDF]
Logical Methods in Computer Science, 2006 In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theory of unit-free multiplicative proof nets.
Francois Lamarche, Lutz Strassburger
doaj +10 more sources
On the VC-dimension, covering and separating properties of the cycle and spanning tree hypergraphs of graphs [PDF]
Transactions on Combinatorics, 2022 In this paper, we delve into studying some relations between the structure of the cycles and spanning trees of a graph through the lens of its cycle and spanning tree hypergraphs which are hypergraphs with the edge set of the graph as their vertices ...
Alireza Mofidi
doaj +1 more source
On the regularization of extremal three-point functions involving giant gravitons
Physics Letters B, 2015 In the AdS5/CFT4 set-up, extremal three-point functions involving two giant 1/2 BPS gravitons and one point-like 1/2 BPS graviton, when calculated using semi-classical string theory methods, match the corresponding three-point functions obtained in the ...
Charlotte Kristjansen +2 more
doaj +1 more source
Failure Analysis for Hydraulic System of Heavy-Duty Machine Tool with Incomplete Failure Data
Applied Sciences, 2021 A hydraulic system is a key subsystem of heavy-duty machine tools with a high failure intensity, the failure of which often causes shutdown of production and economic loss in machining. Therefore, it is necessary to implement failure analysis to identify
Shizheng Li +6 more
doaj +1 more source
Chiral fermions and gauge-fixing in five-dimensional theories [PDF]
, 2001 We study in detail the issue of gauge-fixing in theories with one universal extra dimension, i.e. theories where both bosons and fermions display Kaluza-Klein (KK) excitations.
Papavassiliou, Joannis +1 more
core +3 more sources
Multi-decision tree prediction model for coal seam floor water inrush based on cost-sensitive theory
Gong-kuang zidonghua, 2020 When predicting coal seam floor water inrush, the situation is generally divided into two states: safe state and water inrush state. The state data has non-equilibrium characteristics.
LI Yanmin, ZHOU Chenyang, LI Fenglian
doaj +1 more source
Unfolding of Finite Concurrent Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We consider recognizable trace rewriting systems with level-regular contexts (RTL). A trace language is level-regular if the set of Foata normal forms of its elements is regular. We prove that the rewriting graph of a RTL is word-automatic.
Alexandre Mansard
doaj +1 more source
Binary classification based on a combination of rough set theory and decision trees
INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES, 2023 The subject of the study is to improve the accuracy and efficiency of classification algorithms using decision trees by integrating the principles of Rough Set theory, a mathematical approach to approximating sets. The aim of the study is to develop a hybrid model that integrates rough set theory with decision tree algorithms, thereby solving the ...
Dmytro Chernyshov, Dmytro Sytnikov
openaire +3 more sources
String field theory and brane superpotentials [PDF]
, 2001 I discuss tree-level amplitudes in cubic topological string field theory, showing that a certain family of gauge conditions leads to an A-infty algebra of tree-level string products which define a potential describing the dynamics of physical states ...
Lazaroiu, C. I.
core +3 more sources