Supervised collaboration for syntactic annotation of Quranic Arabic

The Quranic Arabic Corpus (http://corpus.quran.com) is a collaboratively constructed linguistic resource initiated at the University of Leeds, with multiple layers of annotation including part-of-speech tagging, morphological segmentation (Dukes and Habash 2010) and syntactic analysis using dependency grammar (Dukes and Buckwalter 2010). The motivation behind this work is to produce a resource that enables further analysis of the Quran, the 1,400 year-old central religious text of Islam. This project contrasts with other Arabic treebanks by providing a deep linguistic model based on the historical traditional grammar known as i′rāb (?????). By adapting this well-known canon of Quranic grammar into a familiar tagset, it is possible to encourage online annotation by Arabic linguists and Quranic experts. This article presents a new approach to linguistic annotation of an Arabic corpus: online supervised collaboration using a multi-stage approach. The different stages include automatic rule-based tagging, initial manual verification, and online supervised collaborative proofreading. A popular website attracting thousands of visitors per day, the Quranic Arabic Corpus has approximately 100 unpaid volunteer annotators each suggesting corrections to existing linguistic tagging. To ensure a high-quality resource, a small number of expert annotators are promoted to a supervisory role, allowing them to review or veto suggestions made by other collaborators. The Quran also benefits from a large body of existing historical grammatical analysis, which may be leveraged during this review. In this paper we evaluate and report on the effectiveness of the chosen annotation methodology. We also discuss the unique challenges of annotating Quranic Arabic online and describe the custom linguistic software used to aid collaborative annotation.     

Minimizing the total completion time in a two-machine flowshop problem with time delays

This article proposes to solve the problem of minimizing the total completion time in a two-machine permutation flowshop environment in which time delays between the machines are considered. For this purpose, an enumeration algorithm based on the branch-and-bound framework is developed, which includes new lower and upper bounds as well as dominance rules. The computational study shows that problems with up to 40 jobs can be solved in a reasonable amount of time.     

Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes

The design of complex inter-enterprise business processes (IEBP) is generally performed in a modular way. Each process is designed separately and then the whole IEBP is obtained by composition. Even if such a modular approach is intuitive and facilitates the design problem, it poses the problem that correct behavior of each business process of the IEBP taken alone does not guarantee a correct behavior of the composed IEBP (i.e. properties are not preserved by composition). Proving correctness of the (unknown) composed process is strongly related to the model checking problem of a system model. Among others, the symbolic observation graph based approach has proven to be very helpful for efficient model checking in general. Since it is heavily based on abstraction techniques and thus hides detailed information about system components that are not relevant for the correctness decision, it is promising to transfer this concept to the problem raised in this paper: How can the symbolic observation graph technique be adapted and employed for process composition? Answering this question is the aim of this paper.     

Theoretical studies of the pressure-induced zinc-blende to cinnabar phase transition in CdTe and thermodynamical properties of each phase

Luminescence of CdTe quantum dots embedded in ZnTe is quenched at pressure of about 4.5 GPa in the high-pressure experiments. This pressure-induced quenching is attributed to the “zinc-blende–cinnabar” phase transition in CdTe, which was confirmed by the first-principles calculations. Theoretical analysis of the pressure at which the phase transition occurs for CdTe was performed using the CASTEP module of Materials Studio package with both generalized gradient approximation (GGA) and local density approximation (LDA). The calculated phase transition pressures are equal to about 4.4 GPa and 2.6 GPa, according to the GGA and LDA calculations, respectively, which is in a good agreement with the experimental value. Theoretically estimated value of the pressure coefficient of the band-gap luminescence in zinc-blende structure is in very good agreement with that recently measured in the QDs structures. The calculated Debye temperature, elastic constants and specific heat capacity for the zinc-blend structure agree well with the experimental data; the data for the cinnabar phase are reported here for the first time to the best of the authors' knowledge.     

Decay Rates for a Beam with Pointwise Force and Moment Feedback

We consider the Rayleigh beam equation and the Euler–Bernoulli beam equation with pointwise feedback shear force and bending moment at the position ξ in a bounded domain (0,π) with certain boundary conditions. The energy decay rate in both cases is investigated. In the case of the Rayleigh beam, we show that the decay rate is exponential if and only if ξ/π is a rational number with coprime factorization ξ/π=p/q, where q is odd. Moreover, for any other location of the actuator we give explicit polynomial decay estimates valid for regular initial data. In the case of the Euler–Bernoulli beam, even for a nonhomogeneous material, exponential decay of the energy is proved, independently of the position of the actuator. Date received: October 30, 2000. Date revised: December 20, 2001.     

Use of climate scenarios to aid in decision analysis for interannual water supply planning

This work addresses the issue of climate change in the context of water resource planning on the time scale of a few years. Planning on this time scale generally ignores the role of climate change. However, where the climate of a region has already shifted, the use of historical data for planning purposes may be misleading. In order to test this, a case study is conducted for a region, the Australian Capital Territory, where long term drought is raising concerns of a possible climate shift. The issue is cast in terms of a particular planning decision; the option to augment water supply in the next few years to hedge against the drought persisting. A set of climate scenarios are constructed for the region corresponding to the historical climate regime and to regimes where progressively greater levels of change are assumed to have already taken place (5%, 10%, 20% reductions in mean rainfall). Probabilities of the drought persisting are calculated for each of the scenarios. The results show substantial increases in the probability of the drought persisting for even moderate reductions in mean rainfall. The sensitivity of the decision to augment supply to the scenario results depends ultimately on the planners tolerable thresholds for the probability of the drought persisting. The use of different scenarios enables planners to explore the sensitivity of the decision in terms of their risk tolerance to ongoing drought and to their degree of belief in each of the scenarios tested.     

Probing entropic uncertainty relations under a two-atom system coupled with structured bosonic reservoirs

The uncertainty principle imposes constraints on an observer’s ability to make precision measurements for two incompatible observables; thus, uncertainty relations play a key role in quantum precision measurement in the field of quantum information science. Here, our aim is to examine non-Markovian effects on quantum-memory-assisted entropic uncertainty relations in a system consisting of two atoms coupled with structured bosonic reservoirs. Explicitly, we explore the dynamics of the uncertainty relations via entropic measures in non-Markovian regimes when two atomic qubits independently interact with their own infinite degree-of-freedom bosonic reservoir. We show that measurement uncertainty vibrates with periodically increasing amplitude with growing non-Markovianity of the observed system and ultimately saturates toward a fixed value at a long time limit. It is worth noting that there are several appealing conclusions raised by us: First, the uncertainty’s lower bound does not entirely depend on the quantum correlations within the two-qubit system, being affected by an interplay between the quantum discord and the minimal von Neumann conditional entropy \(\mathcal{S}_\mathrm{ce}\). Second, the dynamic characteristic of the measurement uncertainty is considerably distinctive with regard to Markovian and non-Markovian regimes, respectively. Third, the measurement uncertainty is closely correlated with the Bell non-locality \({\mathcal{B}}\). Moreover, we claim that the entropic uncertainty relation could be a promising tool with which to probe entanglement in current architecture.