Given a computable sequence of natural numbers, it is a natural task to find a Godel number of a program that generates this sequence. It is easy to see that this problem is neither continuous nor computable. In algor...
详细信息
ISBN:
(纸本)9783031369773;9783031369780
Given a computable sequence of natural numbers, it is a natural task to find a Godel number of a program that generates this sequence. It is easy to see that this problem is neither continuous nor computable. In algorithmiclearningtheorythis problem is well studied from several perspectives and one question studied there is for which sequences this problem is at least learnable in the limit. Here we study the problem on all computable sequences and we classify the Weihrauch complexity of it. For this purpose we can, among other methods, utilize the amalgamation technique known from learningtheory. As a benchmark for the classification we use closed and compact choice problems and their jumps on natural numbers, which correspond to induction and boundedness principles, as they are known from the Kirby-Paris hierarchy in reverse mathematics. We provide a topological as well as a computability-theoretic classification, which reveal some significant differences.
this article discusses integrating machine learning and IoT technologies into bee apiary management systems. the research aims to optimize bee conditions, improve their health and increase honey production. Using mach...
详细信息
From the perspective of distributed theory, there is no effective learning method combining mobile communication technology with digital learning. therefore, this paper designs an intelligent college English learning ...
详细信息
A successful strategy of learning systems, whether artificial or biological, is construction of consistent conceptual models of sensory environments. An essential question in boththe theory and practical engineering ...
详细信息
the university circuit experiment course is an auxiliary course of the university circuit course, which is mainly used for the verification of the theory and the cultivation of students' practical ability. Aiming ...
详细信息
In the era of big data, the internal structure of the community education and learning community should be balanced and open, and the education management should be standardized and orderly. However, in reality, there...
详细信息
learning about the magnitude of energy consumption is crucial for responsible energy management in today's society. this study investigates the use of symbolic and iconic representations for learning and mentally ...
详细信息
ISBN:
(纸本)9783031712906;9783031712913
learning about the magnitude of energy consumption is crucial for responsible energy management in today's society. this study investigates the use of symbolic and iconic representations for learning and mentally comparing the energy consumption of (sets of) appliances. We conducted an experiment in which participants learned about the magnitude of energy consumption either with symbolic representations (Arabic numerals) or with iconic representations (bars of different heights). Participants then performed a recall and a mental comparison task varying in the number of appliances involved and in the distance in energy consumption on both sides. the findings indicate that both types of representations allow learning magnitudes. Moreover, the results showed a distance effect indicating that mental comparisons are conducted with analog internal representations. Finally, compared to symbolic representations, mental comparisons of magnitudes learned with iconic representations, despite being slightly less accurate, were much faster. these results suggest that iconic representations can be an effective tool in environmental education and communication.
this paper considers intelligent data center cooling control via the Deep Reinforcement learning (DRL) approach to improve data center sustainability. Existing DRL-based controllers are trained with a simplified data ...
详细信息
ISBN:
(纸本)9798400700323
this paper considers intelligent data center cooling control via the Deep Reinforcement learning (DRL) approach to improve data center sustainability. Existing DRL-based controllers are trained with a simplified data hall thermodynamic model which assumes uniform room temperature distribution. this assumption is not valid for a real-world data center with highly nonuniform temperature distribution. Furthermore, most of them cannot guarantee thermal safety during the DRL learning process. To bridge these gaps, we propose LyaSafe, a model-assisted safe DRL approach for data center cooling control. To address the safety evaluation issue, we develop a coupled model that combines a differentiable surrogate data hall thermodynamics model withthe energy model. It can simulate both data hall temperature distribution and the facility energy consumption. To address safe learning, we introduce a novel constrained Markov Decision Process (CMDP) formulation for data center cooling control by considering the Rack Cooling Index (RCI), the best-practice metric for evaluating compliance with ASHRAE data center thermal guidelines. the objective is to minimize data center carbon footprints while regulating the RCI within a threshold. We first derive the safety set based on the concept of the virtual queue and Lyapunov stability theory. Next, we rectify unsafe actions from the DRL agent by projecting them to the safety set. We evaluate LyaSafe in a data center hosting 20 racks and 299 servers. Evaluation results show that LyaSafe can ensure strict safety during the DRL learning while achieving up to 50 metric tons of annual carbon emission savings using Singapore's statistics. Moreover, we conduct root cause analysis for the savings, revealing the importance of joint control of the data hall and the chiller plant.
the inductive programming system WILLIAM is applied to machine learning tasks, in particular, centralization, outlier detection, linear regression, linear classification and decision tree classification. these example...
详细信息
ISBN:
(数字)9783030937584
ISBN:
(纸本)9783030937577;9783030937584
the inductive programming system WILLIAM is applied to machine learning tasks, in particular, centralization, outlier detection, linear regression, linear classification and decision tree classification. these examples appear as a special case of WILLIAM's general operation of trying to compress data without any special tuning.
the purpose of this study is to make use of machine learningtheory to deeply study the mechanical performance of steel reinforced concrete special-shaped column joints by data driven instead of the traditional mechan...
详细信息
暂无评论