Sciweavers

CORR
2011
Springer
162views Education» more  CORR 2011»
14 years 11 months ago
Optimal Power Cost Management Using Stored Energy in Data Centers
Since the electricity bill of a data center constitutes a significant portion of its overall operational costs, reducing this has become important. We investigate cost reduction o...
Rahul Urgaonkar, Bhuvan Urgaonkar, Michael J. Neel...
CORR
2011
Springer
206views Education» more  CORR 2011»
14 years 11 months ago
Modeling and Analysis of K-Tier Downlink Heterogeneous Cellular Networks
Cellular networks are in a major transition from a carefully planned set of large tower-mounted basestations (BSs) to an irregular deployment of heterogeneous infrastructure eleme...
Harpreet S. Dhillon, Radha Krishna Ganti, Fran&cce...
CORR
2011
Springer
210views Education» more  CORR 2011»
14 years 11 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic
CORR
2011
Springer
149views Education» more  CORR 2011»
14 years 11 months ago
Intensionality and Two-steps Interpretations
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
Zoran Majkic
CORR
2011
Springer
140views Education» more  CORR 2011»
14 years 11 months ago
A Wiki for Business Rules in Open Vocabulary, Executable English
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
Adrian Walker
CORR
2011
Springer
176views Education» more  CORR 2011»
14 years 11 months ago
Querying and Manipulating Temporal Databases
Mohamed Mkaouar, Rafik Bouaziz, Mohamed Moalla
CORR
2011
Springer
127views Education» more  CORR 2011»
14 years 11 months ago
Nearest Neighbour Decoding and Pilot-Aided Channel Estimation in Stationary Gaussian Flat-Fading Channels
——We study the information rates of non-coherent, stationary, Gaussian, multiple-input multiple-output (MIMO) at-fading channels that are achievable with nearest neighbour de...
A. Taufiq Asyhari, Tobias Koch, Albert Guillen i F...