Formal accounts of contextual reasoning are of great importance for the development of sophisticated Artificial Intelligence theory and applications. This thesis’ contribution to the theory of contextual reasoning is twofold. First, it delineates the computational complexity of contextual reasoning. A first insight is obtained by translating contextual reasoning into a rather simple form of rea...

Algebra, Proceedings Oxford 1967, New York: Pergamon, 1970, pp. 359-364. VANDERMONDE, A. T., Remarques sur les problèmes de situation, Mémoires de l’Académie Royale des Sciences de Paris (1771), 566–574. WEBER, M., Wirtschaft und Gesellschaft, 5th edition, Tübingen: J. C. B. Mohr, 1972; first edition

The discovery of Bd − Bd oscillations twenty years ago by the ARGUS collaboration marked a watershed event. It persuaded a significant part of the HEP community that the large time dependent CP asymmetries predicted for some Bd decays might be within the reach of specially designed experiments. This opened the successful era of the B factories, which has a great future still ahead. After sketch...

In silicon heterojunction solar cells, the passivation of the crystalline silicon wafer surfaces and fabrication of emitter and back surface field are all performed by intrinsic and doped amorphous silicon thin layers, usually deposited by plasma-enhanced chemical vapor deposition (PECVD). By using in-situ diagnostics during PECVD, it is found that the passivation quality of such layers directl...

Learn-and-Optimize (LaO) is a generic surrogate based method for parameter tuning combining learning and optimization. In this paper LaO is used to tune Divide-and-Evolve (DaE), an Evolutionary Algorithm for AI Planning. The LaO framework makes it possible to learn the relation between some features describing a given instance and the optimal parameters for this instance, thus it enables to ext...

In this paper, an SVD-based perceptual fidelity metric is reviewed and used in the context of objective quantification of image watermarking fidelity for two stateof-the-art Image Adaptive SVD-based Watermarking Schemes. The proposed metric makes use of a Human Visual System perceptual model in the wavelet domain. The robustness of the watermarking schemes against JPEG compression and resizing ...

This paper describes a taxi scheduling system to improve the efficiency of taxi services which are mainly implemented by means of street hailing. This is of particular relevance to Chinese cities, where this is by far the most common way in which taxis are requested, since the majority of taxi drivers are independent rather than being affiliated with a specific company. The mobile phone and GPS...

Bortezomib, thalidomide and lenalidomide can be aimed at treating patients with newly diagnosed multiple myeloma (both eligible and ineligible for transplantation) as well as those with relapsed or refractory disease. This review analysed the available clinical and economic data on these three drugs. Irrespective of which of the three agents is considered, the magnitude of the benefit in newly ...

Rationale Theta oscillations (4-8 Hz) in the hippocampus and the neocortex have been suggested to play a role in the encoding of new memories and long-term plasticity. Intracranial electrode field potential recordings provide high temporal and spatial resolution for studying these oscillations in humans during cognitive tasks. In humans, theta oscillations have been observed in many structures,...