Incorporating the conceptual resources of the ontological argument for the existence of God into the underlying rationale of the cosmological ditto, I here present and defend a ‘cosmontological’ synthesis: an a posteriori argument for the existence of an all-perfect GOD: a being who, in virtue of being whatever it is better to be than not to be, is that than which a greater cannot be thought. Cent

Efficient fermentation of all the monomeric sugars derived from lignocellulose is crucial to increase the economy of bioethanol production, since they can account for a considerable fraction of the fermentable sugars in the raw material. This thesis describes the engineering of Saccharomyces cerevisiae strains for improved xylose, galactose and/or arabinose utilization. S. cerevisiae is the prefer

This conference paper discusses homophobia and discrimination in everyday life in Sweden.

With the start-up of the Large Hadron Collider (LHC), a new energy regime has opened up. The Standard Model (SM) can be ``rediscovered'' and new theories can be tested. ALICE, the dedicated heavy-ion experiment at LHC, will also record proton-proton (pp) collisions. Even though the main goal of the ALICE proton program is to provide the baseline measurements for interpreting the heavy-ion data,

Summing up the main themes of the first production studies oriented conference in this particular European region.

The paper examines in selected detail, issues of maritime security in international law that are currently at the forefront of concerns in the maritime world. It provides an overview of the nature of maritime security contra maritime safety and gives an introduction of the most common threats. It looks at the current scenario in light of what is evolving in response to certain dramatic events of t

The problem to minimize power losses in an electrical network subject to voltage and power constraints is in general hard to solve. However, it has recently been discovered that semidefinite programming relaxations in many cases enable exact computation of the global optimum. Here we point out a fundamental reason for the successful relaxations, namely that the passive network components give rise

Good approximations of code-symbol a-posteriori probabilities (APPs) are obtained using a list of the most likely codewords, instead of the whole code-book. This list is found by bidirectional efficient algorithm for searching code trees (BEAST), whose complexity is shown to be lower than of the known trellis-based algorithms

In this work new methods based Nuclear Magnetic Resonance (NMR) have been developed to measure different kinds of structural properties in soft materials. The advantage of using NMR as a technique to measure material properties is that it is non-destructive, which makes it possible to measure on the actual piece of material that will be used for the application. One does not have to be concerned

This paper presents ongoing research involving design and evaluation of different architectures for providing knowledge-based solutions in industrial robotized automation systems. The conclusions are that distributed, cloud-based approaches offer many possibilities, in particular for knowledge exchange and reuse, and facilitate new business models for industrial solutions. However, there are many

This paper describes the results of a perception experiment in which subjects listening to a retold story in Dutch were asked to mark various perceived discourse structures and to give their judgements on prominence in the verbatim transcription of that story. They marked discourse boundaries by means of conventional punctuation, indicating perceived non-final, sentence final, and paragraph final