196,947 research outputs found
Book Review by Mohammed M. Hafez of Political Islam by in the Age of Democratization by Kamran Bokhari and Farid Senzai
No full textReviewed is Kamran Bokhari and Farid Senzai, Political Islam in the Age of Democratization (New York: Palgrave Macmillan, 2013).The article of record as published may be found at http://dx.doi.org/10.1017/S002074381600066
Improving test coverage of formal verification systems via beam search
No full textThe correctness of program verifcation systems is of great importance, since they are used to formally prove that safety- and security-critical programs follow their specifcation. Within these verifcation systems, the background axiomatization captures the semantics of the target program language|errors here can lead to incorrect formal proofs, which in turn can have devastating consequences. Testing the axiomatization thoroughly is one approach to increase the trust in its correctness, however, the manual creation of test cases is a very time-consuming process for verifcation engineers. We present a beam search approach for creating test cases through test case modifcations.Mahmoud Bokhari, Markus Wagne
Optimising energy consumption heuristically on android mobile phones
No full textIn this paper we outline our proposed framework for opti- mising energy consumption on Android mobile phones. To model the power usage, we use an event-based modelling technique. The internal battery fuel gauge chip is used to measure the amount of energy being consumed and accord- ingly the model is built on. We use the model to estimate components' energy usages. In addition, we propose the use of evolutionary computations to prolong the battery life. This can be achieved by using the power consumption model as a fitness function, re-configuring the smartphone's default settings and modifying existing code of applications.Mahmoud Bokhari, Markus Wagne
Estimating Real Estate Price Movements for High Frequency Tradable Indexes in a Scarce Data Environment
No full textIndexes of commercial property prices face much scarcer transactions data
than housing indexes, yet the advent of tradable derivatives on commercial property
places a premium on both high frequency and accuracy of such indexes. The
dilemma is that with scarce data a low-frequency return index (such as annual) is
necessary to accumulate enough sales data in each period. This paper presents an
approach to address this problem using a two-stage frequency conversion procedure,
by first estimating lower-frequency indexes staggered in time, and then applying a
generalized inverse estimator to convert from lower to higher frequency return
series. The two-stage procedure can improve the accuracy of high-frequency indexes
in scarce data environments. In this paper the method is demonstrated and analyzed
by application to empirical commercial property repeat-sales data.Real Capital Analytics (Firm)Real Estate Analysts Limite
Loss aversion and anchoring in commercial real estate pricing: Empirical evidence and price index implications
No full textLoss aversion behavior plays a major role in the pricing of commercial properties, and it varies both across the type of market participants and across the cycle. We find that sophisticated and more experienced investors are at least as loss averse as their counterparts and that loss aversion operated most strongly during the cycle peak in 2007. We also document a possible anchoring effect of the asking price in influencing buyer valuation and subsequent transaction price. We demonstrate the importance of behavioral phenomena in constructing hedonic price indices, and we find that the impact of loss aversion is attenuated at the aggregate market level. This suggests that the pricing and volume cycle during 2001–2009 was little affected by loss aversion.Real Capital Analytics (Firm)Real Estate Research Institut
Efficient allocation of chain-like task on chain-like network computers
No full textIn this paper, we propose an algorithm to improve Bokhari's method for allocation of chain-like task on chain-like network computers. The time complexity of our algorithm is reduced from the time complexity O(m'n) of Bokhari's to O(min( m, n)m*). where m is the number of modules and n is the number of processors. In addition, our algorithm relaxes Bokhari's constraints of all processors to be utilized and n < m
Dr. Duane M. Jackson, Morehouse College, July 2011
No full textThis video is a conversation with Dr. Duane M. Jackson. Dr. Jackson talks about his paper, "Recall and the Serial Position Effect: The Role of Primacy and Recency on Accounting Students' Performance." Jackie Daniel, AUC Woodruff Library, is the interviewer
"Reflections on the subject of Emigration from Europe with a view to Settlement in the United States" By M. Carey.
No full text"Reflections on the subject of Emigration from Europe with a view to Settlement in the United States: containing bried sketches of the moral and political character of those states.
By M. Carey, member of the American philosophical, and of the American Antiquarian Society, and author of The Olive Branch, Cindiciae Hibernicae, essays on banking, on political economy, and on internal improvement.
To which are now added the English editor's comments on the subject; together with Important Advice to Emigrants, and Cautions Against Impositions Practiced in the Outports
- …
