Aircraft fleet can have a major effect on the efficiency and smooth running of an airline. Constructing good quality schedules is vital for an airline to operate in an effective and efficient way in order to accomplish high levels of consumer satisfaction and to maximise profits. The robustness of an airline schedule is an indicative measure of how good the schedule is because a robust plan all...

Authoring tutorials for complex software applications is a time consuming process. It also highly depends on the tutorial designer’s skill level and experience. This paper introduces an approach which automatically generates software tutorials using the digital artifacts produced by the users of a software program. We model this process as an optimal planning problem using software produced art...

Here, we study the capacity of a quantum channel, assuming linear optical encoding, as a function of available photons and optical modes. First, we observe that substantial improvement is made possible by not restricting ourselves to a rail-encoded qubit basis. Then, we derive an analytic formula for general channel capacity and show that this capacity is achieved without requiring the use of e...

Defeasible Description Logics (DDLs) extend Description Logics with defeasible concept inclusions. Reasoning in DDLs often employs rational or relevant closure according to the (propositional) KLM postulates. If in DDLs with quantification a defeasible subsumption relationship holds between concepts, this relationship might also hold if these concepts appear in existential restrictions. Such ne...

This paper provides a general semantic framework for nonmonotonic reasoning, based on a minimal models semantics on the top of KLM systems for nonmonotonic reasoning. This general framework can be instantiated in order to provide a semantic reconstruction within modal logic of the notion of rational closure, introduced by Lehmann and Magidor. We give two characterizations of rational closure: t...

The laser set-up is shown in Figure 1. Specially designed pairs of double-chirped mirrors [1] compensate for higher-order as well as second-order dispersion, and CaF2 prisms permit dispersion adjustment. A 2.7-mm-thick Ti:sapphire crystal is pumped with about 4 W of cw 532 nm power. After modelocked operation is initiated by translating the prism P1, a steady state output power of about 120 mW ...

American artist Harvey Dunn was one of the eight soldier artists recruited by Expeditionary Forces (A.E.F) during World War I (1914-1918). His wartime works can be situated within moralizing, Wilsonian rhetoric surrounding America’s entry into war and linked with a conception masculinity that inextricably connected service. These images heroic, martial, align pronouncements President Woodrow Wi...

Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator. In spite of the non-monotonic features introduced by the semantics adopted for the typicality operator, the obvious Tarskian definition of entailment for PTL remains monotonic and is therefore not appropriate. We investigate different (semantic) vers...

In [KLM] the authors study certain structure constants for two related rings: the spherical Hecke algebra of a split connected reductive group over a local non-Archimedean field, and the representation ring of the Langlands dual group. The former are defined relative to characteristic functions of double cosets, and the latter relative to highest weight representations. They prove that the nonv...