Web browsing on mobile devices is expensive in terms of battery drainage and bandwidth consumption. Mobile pages also frequently suffer from long load times due to high-latency cellular connections. In this paper, we introduce Prophecy, a new acceleration technology for mobile pages. Prophecy simultaneously reduces energy costs, bandwidth consumption, and page load times. In Prophecy, web serve...

THE ideal of prophecy is central to the life and works of the religious philosopher and poet Vladimir Solov'ev (I853-I900). Although its importance is generally acknowledged, little attempt has been made to analyse the way in which Solov'ev constructed his ideal and came to be regarded as a prophetic figure in his own right. And yet this subject is of profound interest, not only for our underst...

Verifying the implementation of concurrent objects essentially proves the fine-grained implementation of object methods refines the corresponding abstract atomic operations. To simplify the specifications and proofs, we usually need auxiliary history and prophecy variables to record events occur historically and to predict the occurrence of certain events, respectively. Although the meaning of ...

One of the most crucial texts for the futurist interpretation of prophecy concerning Israel is the vision of the prophet Ezekiel in chapters 40-48. In this text the prophet presents God’s instructions for the construction of a new Temple to be built as part of the promise of Israel’s divine restoration. The concern of the exiles, as exemplified by Daniel’s prayer, was for a literal rebuilding o...

The rapid recent evolution of the field phenomics--the genome-wide study of gene dispensability by quantitative analysis of phenotypes--has resulted in an increasing demand for new data analysis and visualization tools. Following the introduction of a novel approach for precise, genome-wide quantification of gene dispensability in Saccharomyces cerevisiae we here announce a public resource for ...

In the Islamic tradition, Mulla Sadra is foremost among the philosophers who have dealt with the issue of prophecy from all three theological, philosophical, and mystical perspectives. Among Western scholars of religion, Henry Corbin is the most prominent commentator of prophetic wisdom, who has provided a mystical reading of the problem of prophecy drawing on the ideas of Muslim philosophers. ...

A general automaton model for timing-based systems is presented and is used as the context for developing a variety of simulation proof techniques for such systems. As a rst step, a comprehensive overview of simulation techniques for simple untimed automata is given. In particular, soundness and completeness results for (1) reenements, (2) forward and backward simulations, (3) forward-backward ...

A key sticking point dividing fundamentalists and conservative evangelicals is the question regarding the cessation versus the continuation of New Testament prophecy. Fundamentalists have traditionally argued for the present cessation of New Testament prophecy, 1 whereas a growing number of conservative evangelicals argue for its present continuation. 2 At the heart of the debate are the issues...