Abstract The module theorem by Janhunen et al. demonstrates how to provide a modular structure in answer set programming, where each module has a well-defined input/output interface which can be used to establish the ...
详细信息
We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+. Its input language is fully compatible with the language of the Causal Calculator Version 2, but the new system i...
详细信息
Service-based systems (SBSs) are distributed systems which have many advantages, including rapid composition of services for distributed applications. In these systems, various capabilities are provided by service pro...
详细信息
We provide reformulations and generalizations of both the semantics of logic programs by Faber, Leone and Pfeifer and its extension to arbitrary propositional formulas by Truszczyński. Unlike the previous definitions...
详细信息
With the increasing popularity of Internet-based information retrieval and cloud computing, saving energy in Internet data centers (a.k.a. hosting centers, server farms) is of increasing importance. Current research a...
详细信息
ISBN:
(纸本)9781605589428
With the increasing popularity of Internet-based information retrieval and cloud computing, saving energy in Internet data centers (a.k.a. hosting centers, server farms) is of increasing importance. Current research approaches are based on dynamically adjusting the active server set in order to turn off a portion of the servers and save energy without compromising the quality of service;the workload is then distributed, conventionally equally (i.e. balanced), across the active servers. Although there is ample work that demonstrates energy savings through dynamic server provisioning, there is little work on thermal-aware server provisioning. This paper provides a formulation of the thermal aware active server set provisioning (TASP), in a nonlinear minimax binary integer programming form, and a series of heuristic approaches to solving them, namely MiniMax, bb-sLRH, CP-sLRH and sLRH. Furthermore, it introduces thermal-aware workload distribution (TAWD) among the active servers. The proposed heuristics are evaluated using a thermal model of the ASU HPCI data center, while the request traffic is based on real web traces of the 1998 FIFA World Cup as well as the SPECweb2009 suite. The TASP heuristics are found to outperform a power-aware-only server set selection scheme (CPSP), by up to 9.3% for the simulated scenario. The order of achieved energy efficiency is: MiniMax (9.3% savings), CP-sLRH (9.2%), bb-sLRH (8.6%), sLRH (5.8%), compared to CPSP. Copyright 2010 ACM.
This paper describes the methodology used for ECMLPKDD 2015 Discovery Challenge on Model Reuse with Bike Rental Station Data (MoReBikeS). The challenge was to predict the number of bikes in the new stations three hour...
详细信息
This paper describes the methodology used for ECMLPKDD 2015 Discovery Challenge on Model Reuse with Bike Rental Station Data (MoReBikeS). The challenge was to predict the number of bikes in the new stations three hours in advance. Initially, the data for the first 25 new stations (station 201 to 225) was provided and various prediction methods were utilized on these test stations and the results were updated every week. Then the full test data for the remaining 50 stations (station 226 to 275) was given and the prediction was made using the best method obtained from the small test challenge. Several methods like Ordinary Least Squares, Poisson Regression, and Zero Inflated Poisson Regression were tried. But reusing the linear models learnt from the old stations (station 1 to 200) with lowest mean absolute error proved to be the simple and effective solution.
In this paper we encode some of the reasoning methods used in frame based knowledge representation languages in answer set programming (ASP). In particular, we show how "cloning" and "unification" ...
详细信息
Brain injury is quite common in athletes due to the frequent and high level of impact, especially in football and hockey. One of the most challenging problems faced by medical personnel responsible for the health care...
详细信息
High Performance computing (HPC) data centers are becoming increasingly dense;the associated power-density and energy consumption of their operation is increasing. Up to half of the total energy is attributed to cooli...
详细信息
暂无评论