A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Synthesis from Probabilistic Components
2014
Logical Methods in Computer Science
Preserved Fulltext
Other Versions
In classical synthesis algorithms, it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. ...
In this work, we consider the problem of control-flow synthesis from libraries of probabilistic components . We show that this more general problem is also decidable. ...
The construction of systems from reusable components is an area of active research. ...
doi:10.2168/lmcs-10(2:17)2014
fatcat:2vquknoypfb6dcdpvpgc25oxiu
On estimation of the noise variance in high-dimensional probabilistic principal component analysis
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In this paper, we develop new statistical theory for probabilistic principal component analysis models in high dimensions. ...
, 2008; Bai and Ng, 2002) for determining the number of principal components when the respective variance estimator proposed by these authors is replaced by the bias-corrected estimator. ...
There is an underlying probabilistic model behind PCA, called probabilistic principal component analysis (PPCA), defined as follows. ...
arXiv:1308.3890v2
fatcat:ehnxhwue6vftzdddx3gmp3wgji
Updatable Probabilistic Evaluation of Failure Rates of Mechanical Components in Power Take-Off Systems of Tidal Stream Turbines
2021
Energies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
This paper presents a method for the probabilistic evaluation of the failure rates of mechanical components in a typical power take-off (PTO) system of a horizontal-axis tidal stream turbine (HATT). ...
The proposed method is illustrated by applying it to the evaluation of the failure rates of two key components of the PTO system of a typical HATT—main seal and main bearing. ...
The probabilistic evaluation of the failure rates of two components of the PTO system of a HATT-main seal and main bearing-was considered. ...
doi:10.3390/en14206586
fatcat:gxxjlrlquzboha6krttbchnvf4
OPINION PATTERN MINING BASED ON PROBABILISTIC PRINCIPLE COMPONENT ANALYSIS REPORT
2014
International Journal of Research in Engineering and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The product review pattern mining segmentation based on probabilistic principle component analysis is proposed. ...
Customer can be reviewed by other customer feedback and collect all the relevant information related to a particular product. Based on that the decision can be taken to purchase the product. ...
Fig 2 : 566 Fig 3 25663 Probabilistic Procedure in PPCA Fig 2 describes the step by step probabilistic usage in the PPCA. ...
doi:10.15623/ijret.2014.0311094
fatcat:4p5xgzaplzftzj2tydujixa3gm
On estimation of the noise variance in high dimensional probabilistic principal component analysis
2015
Journal of The Royal Statistical Society Series B-statistical Methodology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we develop new statistical theory for probabilistic principal component analysis models in high dimensions. ...
Solo, 2008; Bai and Ng, 2002) for determining the number of principal components when the respective variance estimator proposed by these authors is replaced by the bias-corrected estimator. ...
There is an underlying probabilistic model behind PCA, called probabilistic principal component analysis (PPCA), defined as follows. ...
doi:10.1111/rssb.12153
fatcat:t7ks75qlobh7vmbp227iwroqdq
A Novel Probabilistic Method for Life Cycle Management of Fatigue Critical Aircraft Components using In Situ Nondestructive Inspection
2016
Frontiers in Aerospace Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
When using an in-situ NDI (INDI) system, however, the independent assumption no longer holds, and the existing PRA methodology must be modified. ...
For the maintenance of fatigue-critical aircraft components, the conventional probabilistic risk assessment (PRA) methodology for life cycle management using nondestructive inspection (NDI) is based on ...
cost throughout the system/component life cycle. ...
doi:10.12783/fae.2016.0501.01
fatcat:ikkxf2b2bjee7pk6mtompgd3ou
Application of Probabilistic Neural Networks Using High-Frequency Components' Differential Current for Transformer Protection Schemes to Discriminate between External Faults and Internal Winding Faults in Power Transformers
2021
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Internal and external faults in a power transformer are discriminated in this paper using an algorithm based on a combination of a discrete wavelet transform (DWT) and a probabilistic neural network (PNN ...
DWT decomposes high-frequency fault components using the maximum coefficients of a ¼ cycle DWT as input patterns for the training process in a decision algorithm. ...
Acknowledgments: This work was supported in part by the Rajamangala University of Technology Rattanakosin Research Fund.
Conflicts of Interest: The authors declare no conflict of interest. ...
doi:10.3390/app112210619
fatcat:vgl6jdutufc7jm4thtgl27vuay
Incremental Runtime Verification of Probabilistic Systems
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
on strongly connected components. ...
Probabilistic verification techniques have been proposed for runtime analysis of adaptive software systems, with the verification results being used to steer the system so that it satisfies certain Qualityof-Service ...
The authors are part supported by ERC Advanced Grant VERIWARE, EU FP7 project CONNECT and EPSRC project EP/F001096/1. ...
doi:10.1007/978-3-642-35632-2_30
fatcat:cpnmpsccofa3df2iark3ocs7ke
Customized Testing for Probabilistic Systems
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Though considering this approach to test functional behaviors consists simply in testing a subset of the IUT, to study the probabilistic behavior of systems by using this customized testing approach leads ...
If usage models specify the probabilistic behavior of stimuli and specifications define the probabilistic behavior of reactions to these stimuli, then, by composing them, the probabilistic behavior of ...
In order to define the set of probabilistic traces, the ones provided by both components are considered. ...
doi:10.1007/11754008_6
fatcat:c7qgczhyfrfebdqdjnha4ylklm
Earthquake damage estimation systems: Literature review
2018
Procedia Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
These frameworks target on increasing recovery after such disaster, by introducing new designs, technologies, and components to the building. ...
These frameworks target on increasing recovery after such disaster, by introducing new designs, technologies, and components to the building. ...
This rapid increase in demand cannot be catered by the standard supply of construction industry. Which will cause a rapid and unexpected increase in construction cost. ...
doi:10.1016/j.proeng.2018.01.080
fatcat:3llro5ugyjhbbpnwzt4kqolbe4
Model Checking Hierarchical Probabilistic Systems
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In addition to temporal logic, we allow complex safety properties to be specified by non-probabilistic PCSP# model. ...
In this paper, we extend the PAT toolkit to support probabilistic model checking of hierarchical complex systems. ...
Introduction Probabilistic systems are common in practice, e.g., randomized algorithms, unreliable system components, unpredictable environment, etc. ...
doi:10.1007/978-3-642-16901-4_26
fatcat:kvhgbjdj6zhjpi5ef4bdxszq4a
Automated Novelty Detection in Industrial Systems
[chapter]
2008
Studies in Computational Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Intelligent data analysis techniques are required to assess the "health" of system components, aiming to identify potential precursors of component failure in advance of actual system failure. ...
Novelty detection with HMMs may also be performed by constructing an abnormal state, a transition into which implies abnormal system behaviour [9] . ...
doi:10.1007/978-3-540-78297-1_13
fatcat:n5wmup7cafg67bjl6d6ekyp5hu
Probabilistic Quorum Systems
2001
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We explore probabilistic quorum systems both for services tolerant of benign server failures and for services tolerant of arbitrary (Byzantine) ones. ...
We initiate the study of probabilistic quorum systems, a technique for providing consistency of replicated data with high levels of assurance despite the failure of data servers. ...
CONCLUSION In this paper, we used a probabilistic approach in the construction of quorum systems and obtained a new class of set systems called probabilistic quorum systems. ...
doi:10.1006/inco.2001.3054
fatcat:wif3vovwszfnjctcqchvgofbqe
Reliability Analysis of Concurrent Systems Using LTSA
2007
29th International Conference on Software Engineering (ICSE'07 Companion)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
After the modelling and annotation step is concluded, the construction of the probabilistic architectural model can be performed. ...
These two benefits together make LTSA a suitable tool for reliability analysis. However, the purpose of the tool is not to model all the component interactions of a system. ...
doi:10.1109/icsecompanion.2007.59
dblp:conf/icse/RodriguesRW07
fatcat:o6bqfynkh5hfhipfknzjr5pdsq
Ant Colony System-Based Applications to Electrical Distribution System Optimization
[chapter]
2011
Ant Colony Optimization - Methods and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This chapter has summarized the framework of application referring to some typical distribution system optimization problems. ...
The cost component ΔC V (R) can also be constrained by a budget limit. ...
Global optimizations can then be solved in terms of adopting suitable meta-heuristics. ...
doi:10.5772/13840
fatcat:micrbmqvnrai5hdw7j7yqjk5n4
« Previous
Showing results 1 — 15 out of 104,371 results