{"title":"William Levine","description":null,"products":[{"product_id":"bounded-queries-in-recursion-theory-book-william-levine-9781461268482","title":"Bounded Queries in Recursion Theory","description":"One of the major concerns of theoretical computer science is the classifi- cation of problems in terms of how hard they are. The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the length of the input). Other resources, such as space, have also been considered. In recursion theory, by contrast, a function is considered to be easy to compute if there exists some algorithm that computes it. We wish to classify functions that are hard, i.e., not computable, in a quantitative way. We cannot use time or space, since the functions are not even computable. We cannot use Turing degree, since this notion is not quantitative. Hence we need a new notion of complexity-much like time or spac that is quantitative and yet in some way captures the level of difficulty (such as the Turing degree) of a function.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52409345769745,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52409350455569,"sku":"NLS9781461268482","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461268482.jpg?v=1758774887"},{"product_id":"bounded-queries-in-recursion-theory-book-william-levine-9780817639662","title":"Bounded Queries in Recursion Theory","description":"One of the major concerns of theoretical computer science is the classifi- cation of problems in terms of how hard they are. The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the length of the input). Other resources, such as space, have also been considered. In recursion theory, by contrast, a function is considered to be easy to compute if there exists some algorithm that computes it. We wish to classify functions that are hard, i.e., not computable, in a quantitative way. We cannot use time or space, since the functions are not even computable. We cannot use Turing degree, since this notion is not quantitative. Hence we need a new notion of complexity-much like time or spac that is quantitative and yet in some way captures the level of difficulty (such as the Turing degree) of a function.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52426198155537,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52426198876433,"sku":"NLS9780817639662","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780817639662.jpg?v=1759157002"},{"product_id":"handbook-of-model-predictive-control-book-william-levine-9783319774886","title":"Handbook of Model Predictive Control","description":"Theory.- The Essentials of Model Predictive Control (MPC).- Dynamic Programming and MPC.- Set-valued and Lyapunov Methods for MPC.- Stochastic Model Predictive Control.- Moving Horizon Estimation.- Probing and Duality in Stochastic Model Predictive Control.- Economic Model Predictive Control: Some Design Tools and Analysis Techniques.- Nonlinear Predictive Control for Trajectory Tracking and Path Following: An Introduction and Perspective.- Hybrid Model Predictive Control.- Model Predictive Control of Polynomial Systems.- Distributed MPC for Large-Scale Systems.- Scalable MPC Design.- Computations.- Efficient Convex Optimization for Linear MPC.- Implicit Non-Convex Model Predictive Control.- Convexification and Real-Time Optimization for MPC with Aerospace Applications.- Explicit (Offline) Optimization for MPC.- Real-Time Implementation of Explicit Model Predictive Control.- Robust Optimization for MPC.- Scenario Optimization for MPC.- Nonlinear Programming Formulations for Nonlinear and Economic Model Predictive Control.- Applications.- Automotive Applications of Model Predictive Control.- Applications of MPC in the Area of Health Care.- Model Predictive Control for Power Electronics Applications.- Learning-based Fast Nonlinear Model Predictive Control for Custom-made 3D Printed Ground and Aerial Robots.- Applications of MPC to Building HVAC Systems.- Toward Multi-Layered MPC for Complex Electric Energy Systems.- Applications of MPC to Finance.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52588318982417,"sku":"NLS9783319774886","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319774886.jpg?v=1761057892"},{"product_id":"handbook-of-model-predictive-control-book-william-levine-9783030084660","title":"Handbook of Model Predictive Control","description":"Theory.- The Essentials of Model Predictive Control (MPC).- Dynamic Programming and MPC.- Set-valued and Lyapunov Methods for MPC.- Stochastic Model Predictive Control.- Moving Horizon Estimation.- Probing and Duality in Stochastic Model Predictive Control.- Economic Model Predictive Control: Some Design Tools and Analysis Techniques.- Nonlinear Predictive Control for Trajectory Tracking and Path Following: An Introduction and Perspective.- Hybrid Model Predictive Control.- Model Predictive Control of Polynomial Systems.- Distributed MPC for Large-Scale Systems.- Scalable MPC Design.- Computations.- Efficient Convex Optimization for Linear MPC.- Implicit Non-Convex Model Predictive Control.- Convexification and Real-Time Optimization for MPC with Aerospace Applications.- Explicit (Offline) Optimization for MPC.- Real-Time Implementation of Explicit Model Predictive Control.- Robust Optimization for MPC.- Scenario Optimization for MPC.- Nonlinear Programming Formulations for Nonlinear and Economic Model Predictive Control.- Applications.- Automotive Applications of Model Predictive Control.- Applications of MPC in the Area of Health Care.- Model Predictive Control for Power Electronics Applications.- Learning-based Fast Nonlinear Model Predictive Control for Custom-made 3D Printed Ground and Aerial Robots.- Applications of MPC to Building HVAC Systems.- Toward Multi-Layered MPC for Complex Electric Energy Systems.- Applications of MPC to Finance.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52618177347857,"sku":"NLS9783030084660","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030084660.jpg?v=1761532412"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-william-levine.oembed","provider":"World of Books ","version":"1.0","type":"link"}