Consider a gambler who observes a sequence of independent, non-negative random numbers and is allowed to stop the sequence at any time, claiming a reward equal to the most recent observation. The famous prophet inequality of Krengel, Sucheston, and Garling asserts that a gambler who knows the distribution of each random variable can achieve at least half as much reward, in expectation, as a "pr...

We present Prophet, a novel patch generation system that learns a probabilistic model over candidate patches from a database of past successful patches. Prophet defines the probabilistic model as the combination of a distribution over program points based on defect localization algorithms and a parameterized log-linear distribution over modification operations. It then learns the model paramete...

Background and Objectives: In the field of health and teachings of hygienics–medicine, a lot of traditions have been transmitted from the Holy Prophet (PBUH) and Imams (A.S) and valuable collections by the titles of Ţibb al-Nabī (PBUH) and Ţibb al-Ἀemmah (A.S) have been provided. What authentic bases they are stand on scientifically, and how they should be dealt with if their concepts are...

Due to its characteristics such as long communication delay, high dynamic topology, sparse distribution of nodes and frequent link break, routing are the key research issues of delay tolerant networks. Prophet algorithm forwards the packets to the node with maximum probability of successful delivery by recording history information of nodes encounter. Prophet reduces the invalid copy of message...

We introduce a novel framework of Prophet Inequalities for combinatorial valuation functions. For a (non-monotone) submodular objective function over an arbitrary matroid feasibility constraint, we give an O(1)-competitive algorithm. For a monotone subadditive objective function over an arbitrary downward-closed feasibility constraint, we give an O(log n log r)-competitive algorithm (where r is...

There are some different viewpoints on the verse 41 in chapter Anfal of the Holy Quran that it is necessary to have one fifth of spoil to different incomes. The main reasons for these different viewpoints are the interest meaning of ‘spoil’. Not only referring to dictionaries, but also linguistic principles have not an effect on determine the meaning of ‘spoil’ in (8: 41...

This paper presents the results of the project IMPERA (Integrated Mission Planning for Distributed Robot Systems). The goal of IMPERA was to realize an extraterrestrial exploration scenario using a heterogeneous multi-robot system. The main challenge was the development of a multi-robot planning and plan execution architecture. The robot team consists of three heterogeneous robots, which have t...

0

Attributing the accusation of being “shi‘r” (poetry) to the noble Qur’ān and the accusation of being a “shā‘ir” to the noble Prophet (s) were among the accusations made by the polytheists in order to reject the divinity of the Qur’ān and consequently to deny the prophetic mission of the Prophet (s). Although there have been suggested different viewpoints with regard to the intention of the poly...