Narrow search
Showing 1 - 10 of 219
Cover Image
Formalized probability theory and applications using theorem proving
Hasan, Osman; Tahar, Sofiène - 2015
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 …
Persistent link: https://www.econbiz.de/10011728219
Cover Image
Handbook of research on business process modeling
Cardoso, Jorge (contributor); Aalst, Wil van der (contributor) - 2009
Business managers are striving to move toward process-centric organizations, but the challenge remains in ensuring adoption of a business process culture. This book aids managers in the transformation of organizations into world-class competitors through business process applications. A useful...
Persistent link: https://www.econbiz.de/10011726156
Cover Image
Handbook of research on predictive modeling and optimization methods in science and engineering
Kim, Dookie (ed.); Roy, Sanjiban Sekhar (ed.);  … - 2018
"This book explores the latest development of optimization techniques. It shows the application of optimization in new fields such as big data, artificial intelligence, etc. The application of hybrid optimization techniques and stochastic optimization are explored"--
Persistent link: https://www.econbiz.de/10012393207
Cover Image
Artificial neural networks in real-life applications
Rabunal, Juan Ramon (contributor);  … - 2006
"This book offers an outlook of the most recent works at the field of the Artificial Neural Networks (ANN), including theoretical developments and applications of systems using intelligent characteristics for adaptability"--Provided by publisher.
Persistent link: https://www.econbiz.de/10011725828
Cover Image
Neural networks in business forecasting
Zhang, G. Peter (contributor) - 2004
Forecasting is one of the most important activities that form the basis for strategic, tactical, and operational decisions in all business organizations. Recently, neural networks have emerged as an important tool for business forecasting. There are considerable interests and applications in...
Persistent link: https://www.econbiz.de/10011726470
Cover Image
Electronic supply network coordination in intelligent and dynamic environments : modeling and implementation
Mahdavi, Iraj (contributor); Mohebbi, Shima (contributor);  … - 2011
"This book presents cutting-edge knowledge on scientific approaches to the management of supply networks in a highly informed global environment with abundant dynamic and uncertain challenges"--Provided by publisher.
Persistent link: https://www.econbiz.de/10011726922
Cover Image
Handbook of research on hydroinformatics : technologies, theories and applications
Gasmelseid, Tagelsir Mohamed (contributor) - 2011
. Chaos theory for hydrologic modeling and forecasting / Bellie Sivakumar -- 11. On the relation between hydrological …
Persistent link: https://www.econbiz.de/10011726953
Cover Image
Enterprise modeling and computing with UML
Rittgen, Peter (contributor) - 2007
"This book bridges two fields that, although closely related, are often studied in isolation: enterprise modeling and information systems modeling. The principal idea is to use a standard language for modeling information systems, UML, as a catalyst and investigate its potential for modeling...
Persistent link: https://www.econbiz.de/10011726099
Cover Image
Business intelligence in economic forecasting : technologies and techniques
Wang, Shouyang (contributor); Wang, Jue (contributor) - 2010
With the rapid development of economic globalization and information technology, the field of economic forecasting continues its expeditious advancement, providing business and government with applicable technologies. This book discusses various business intelligence techniques including neural...
Persistent link: https://www.econbiz.de/10011726822
Cover Image
Artificial neural networks in finance and manufacturing
Begg, Rezaul (contributor); Sarker, Ruhul A. (contributor);  … - 2006
Section I. Introduction -- Chapter I. Artificial Neural Networks: Applications in Finance and Manufacturing / Joarder Kamruzzaman, Ruhul A. Sarker, Rezaul K. Begg -- Chapter II. Simultaneous Evolution of Network Architectures and Connection Weights in Artificial Neural Networks / Ruhul A....
Persistent link: https://www.econbiz.de/10011725827