Sökning: "incremental algorithms"

Visar resultat 16 - 20 av 42 avhandlingar innehållade orden incremental algorithms.

1. 16. Reliable and Efficient Distributed Machine Learning

   Författare :Hao Chen; Ming Xiao; Mikael Skoglund; Yan Zhang; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Distributed machine learning; federated learning; communication efficiency; decentralized optimization; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : With the ever-increasing penetration and proliferation of various smart Internet of Things (IoT) applications, machine learning (ML) is envisioned to be a key technique for big-data-driven modelling and analysis. Since massive data generated from these IoT devices are commonly collected and stored in a distributed manner, ML at the networks, e.g. LÄS MER

3. 17. Effective SAT Solving

   Författare :Niklas Sörensson; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several important application areas. LÄS MER

4. 18. On Distributed Optimization in Networked Systems

   Författare :Björn Johansson; Mikael Johansson; Asuman Ozdaglar; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; convex optimization; resource allocation; networked systems; peer-to-peer; distributed optimization; Telecommunication; Telekommunikation; Automatic control; Reglerteknik;

   Sammanfattning : Numerous control and decision problems in networked systems can be posed as optimization problems. Examples include the framework of network utility maximization for resource allocation in communication networks, multi-agent coordination in robotics, and collaborative estimation in wireless sensor networks (WSNs). LÄS MER

5. 19. State Estimation of Lithium-ion Batteries

   Författare :Xiaolei Bian; Longcheng Liu; Jinying Yan; Huazhen Fang; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Lithium-ion battery; State of charge; State of health; Model-based method; Extended Kalman filter; Filter tuning; Fusion model; Chemical Engineering; Kemiteknik;

   Sammanfattning : To guarantee the safety operation, the key states of lithium-ion battery, e.g., the state of charge and the state of health, must be estimated and monitored accurately. This thesis is mainly to develop models and algorithms to accurately and robustly estimate the key battery states, based on the available measurements i. LÄS MER

7. 20. On Experimentation in Software-Intensive Systems

   Författare :David Issa Mattos; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Optimization; Automated Experimentation; Experimentation process; Multi-armed bandits; Embedded Systems; Experimentation;

   Sammanfattning : Context: Delivering software that has value to customers is a primary concern of every software company. Prevalent in web-facing companies, controlled experiments are used to validate and deliver value in incremental deployments. LÄS MER