Probabilistic analysis -- Formal verification methods -- Probabilistic analysis using theorem proving -- Measure theory … and Lebesgue integration theories -- Probability theory -- Discrete-time Markov chains in HOL -- Classified discrete … min-entropy and belief min-entropy -- Applications of formalized information theory -- Reliability theory -- Scheduling …

IT -- 6. Measures of the effectiveness and efficiency of IT supply -- 7. An IT measurement program -- 8. Benchmarking IT …

risk and economic collapse"--Provided by publisher. … Basel II and Basel III -- The value-at-risk methodology of Basel II and Basel III -- Coherent risk measures -- Universal …

"This book presents an alternative to conventional surveillance and risk assessment offering a multidisciplinary … excursion comprised of data mining, early warning systems, information technologies and risk management and explores the …. Black-necked swans and active risk management / Tze Lai, Bo Shen -- 5. Financial early warning system for risk detection and …

, business management, risk management, and customer relationship management, and offers research to aid the successful … transformation-based approach to value-at-risk / G. Samanta -- 18. Data mining and the banking sector / Àkos Felsövályi, Jennifer …

Analyzing Risks to Determine a New Return on Security Investment / Warren Axelrod -- Risk Management in Banking / Goran … McFadzean, David Birchall -- Information Security in Banking / Kevin Streff -- Security Risk Management Strategy of Financial …

the business value creation, focusing on the theory, models, approaches, methodologies, tools and techniques for measuring …

, Tracy H. Porter -- On measurement instruments for fatalism / Lijiang Shen, Celeste M. Condit -- A cross-cultural measure of …