Narrow search
Showing 1 - 10 of 222
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
Analysis and applications of Lattice-Boltzmann simulations
Valero-Lara, Pedro (ed.) - 2018
meshes -- Chapter 5. Lattice Boltzmann Method for sparse geometries: theory and implementation -- Chapter 6. A meshfree …-based Lattice Boltzmann approach for simulation of fluid flows within complex geometries: application of meshfree methods for LBM … Boltzmann Method coupled with finite element method -- Chapter 9. Lattice Boltzmann shallow water simulation with surface …
Persistent link: https://www.econbiz.de/10012393205
Cover Image
Simulation in computational finance and economics : tools and emerging applications
Alexandrova-Kabadjova, Biliana (contributor) - 2013
including Risk Management, Agent-Based Simulation, and Payment Methods and Systems, topics that have found new motivations after … -- Preparing simulations in large value payment systems using historical data / Ronald Heijmans, Richard Heuver -- Simulation … -- Liquidity saving in CHAPS: a simulation study / Joanna McLafferty, Edward Denbee -- Managing intraday liquidity: the Mexican …
Persistent link: https://www.econbiz.de/10011727505
Cover Image
Artificial higher order neural networks for modeling and simulation
Zhang, Ming (contributor) - 2013
simulation / Madan M. Gupta ... [et al.] -- High order neuro-fuzzy dynamic regulation of general nonlinear multi-variable systems … / Dimitris C. Theodoridis, Yiannis S. Boutalis, Manolis A. Christodoulou -- Modeling and simulation of alternative energy … to handle incomplete datasets / Shuxiang Xu -- Symbolic function network: theory and implementation / George S. Eskander …
Persistent link: https://www.econbiz.de/10011727562
Cover Image
Natural computing for simulation and knowledge discovery
De Castro, Leandro Nunes (ed.) - 2014
"This book investigates the latest developments in nature-influenced technologies, offering an in-depth analysis of such advances as cryptographic solutions based on cell division, the creation and manipulation of biological computers, and particle swarm optimization techniques"--Provided by...
Persistent link: https://www.econbiz.de/10011727800
Cover Image
Interdisciplinary applications of agent-based social simulation and modeling
Adamatti, Diana Francisca (ed.);  … - 2014
insights on social simulation as a whole, focusing on its dangers, pitfalls, deceits, and challenges"--Provided by publisher. …Making visible "the invisible hand": the mission of social simulation / Cristiano Castelfranchi -- On agent … agent-based simulation: a trust-based coalition formation case study / Luis G. Nardin, Luciano M. Rosset, Jaime S. Sichman …
Persistent link: https://www.econbiz.de/10011727997
Cover Image
Practice and progress in social design and sustainability
Siu, Kin Wai Michael (ed.); Wong, Yi Lin (ed.) - 2018
"This book provides a design perspective on how the identified social issues can be solved through a design mentality. It comprises all design disciplines, such as industrial design, environmental design, interior design, fashion design and graphic design, to promote a sustainable lifestyle"--
Persistent link: https://www.econbiz.de/10012393203
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
Optimization techniques for problem solving in uncertainty
Tilahun, Surafel Luleseged (ed.);  … - 2018
"This book is devoted to recent developments, reviews and tutorials of decision making or optimization under uncertainty. Different models ranging from stochastic to grey and their connection will be outlines with highlighting possible future works along with applications on real case problems"--
Persistent link: https://www.econbiz.de/10012393215
Cover Image
Algorithms, methods, and applications in mobile computing and communications
Waluyo, Agustinus Borgy (ed.) - 2018
"This book presents the most recent state-of-the-art theories, methods and techniques in various aspects of mobile computing and communications across engineering, business and organizational perspectives. It gives insights on the recent advancements in various aspects of mobile computing and...
Persistent link: https://www.econbiz.de/10012393247