Narrow search
Showing 1 - 10 of 213
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
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
Expectations and demands in online teaching : practical experiences
Gudea, Sorin Felician Walter. - 2008
-- Teaching tradeoffs -- Central ideas: teaching -- Central ideas: technology -- A theory of the online teaching experience …
Persistent link: https://www.econbiz.de/10011726118
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
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 …
Persistent link: https://www.econbiz.de/10012393205
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
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
Cover Image
Exploring critical approaches of evolutionary computation
Sarfraz, Muhammad (ed.) - 2018
covers topics such as chaos theory, data mining, data visualization, interactive computational models, neural computing, and …
Persistent link: https://www.econbiz.de/10012393257
Cover Image
Analyzing human behavior in cyberspace
Yan, Zheng (ed.) - 2018
"This book explores new ideas and research findings related to psychological aspects and serves as a vehicle for promoting techniques and methodologies derived from rigorous research and practices that use psychological and cognitive principles to design and develop cyber learning"--
Persistent link: https://www.econbiz.de/10012393300
Cover Image
Interface support for creativity, productivity, and expression in computer graphics
Ursyn, Anna (ed.) - 2018
"This book explores advances in interactions between computers and humans, their aesthetic appeal, ease of use, and learnability that are made possible due to the creation of user interfaces result in further progress in science, aesthetics, and practical applications. It discusses concepts that...
Persistent link: https://www.econbiz.de/10012393310