Serendipitous road trips: Enhancing tourists’ experiences through social interaction

Driving can be a lonely activity. While there has been a lot of research and technical inventions concerning car-to-car communication and passenger entertainment, there is still little work concerning connecting drivers. Whereas tourism is very much a social activity, drive tourists have few options to communicate with fellow travellers. The proposed project is placed at the intersection of tourism and driving and aims to enhance the trip experience during driving through social interaction. This thesis explores how a mobile application that allows instant messaging between travellers sharing similar context can add to road trip experiences. To inform the design of such an application, the project adopted the principle of the user-centred design process. User needs were assessed by running an ideation workshop and a field trip. Findings of both studies have shown that tourists have different preferences and diverse attitudes towards contacting new people. Yet all participants stressed the value of social recommendations. Based on those results and a later expert review, three prototype versions of the system were created. A prototyping session with potential end users highlighted the most important features including the possibility to view user profiles, choose between text and audio input and receive up-to-date information. An implemented version of the prototype was evaluated in an exploratory study to identify usability related problems in an actual use case scenario as well as to find implementation bugs. The outcomes of this research are relevant for the design of future mobile tourist guides that leverage from benefits of social recommendations.

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

„…und das bin ich…“. Identitätsförderung und Ausprägung des Körperbewusstseins im Kontext von tänzerischer Bewegungsgestaltung und pädagogischen Bewegungstechniken

Um persönlichkeitsbildende Prozesse zu unterstützen und hierbei den Körper nutzbar zu machen, eignen sich Erfahrungen aus der tänzerischen Bewegungsgestaltung, insbesondere durch die explorative Verhaltensweise sowie der Selbst– und Fremdreflektion von Bewegungen, auf besondere Weise. Der Körper ist Instrument, bewegliche Skulptur, internes und externes Kommunikationsvehikel sowie Forschungsobjekt zugleich. Hierbei bieten Tanz und kinästhetische Bewegungslehren als pädagogisches Medium Förderungsbereiche, die auf körperlicher, emotionaler und kognitiver Ebene liegen und in Bezug zum lebendigen Lernen stehen. Tanz als Teilbereich kultureller Bildung steht hierbei in Bezug als ergänzender Curricularer Gegenstand zu fungieren. (DIPF/Autor)

Autonomous COLREGs Compliant Ship Navigation, Using BridgeSimulators and an Unmanned Vessel

This paper presents an approach to COLREGs compliant ship navigation. A system architecture is proposed, which will be implemented and tested on two platforms: networked bridge simulators and at sea trials using an autonomous unmanned surface vessel. Attention is paid to collision avoidance software and its risk mitigation.

Cultural organizations and communication in portuguese decentralization policy

This presentation intends to show to what extent the Portuguese municipalities’ commitment, from the first decade of this century, in cultural facilities of municipal management and which has provided 12 of the 18 district capitals of mainland Portugal with equipment, resulted in a regular, diverse and innovative schedule. Investing in urban regeneration, local government has tried to convert cities’ demographic changes (strengthening of the most educated and professionally qualified groups) in effective cultural demands that consolidate the three axes of development competitiveness-innovation-creativity. What the empirical study to the programming and communication proposals of those equipment shows is that it is not enough to provide cities with facilities; to escape to a utilitarian conception of culture, there is a whole work to be done so that such equipment be experienced and felt as new public sphere. Equipment in which proposals go through a fluid bind, constructed through space and discourse with local community, devotes a diversified and innovative bet full filling development axis. This paper presents in a systematic way what contributes to this binding on the analyzed equipment.

Chemical gas sensors based on functionalized self-actuated piezo-resistive cantilevers

Der Schwerpunkt dieser Arbeit liegt in der Anwendung funktionalisierter Mikrocantilever mit integrierter bimorpher Aktuation und piezo-resistiver Detektion als chemische Gassensoren für den schnellen, tragbaren und preisgünstigen Nachweis verschiedener flüchtiger Substanzen. Besondere Beachtung erfährt die Verbesserung der Cantilever-Arbeitsleistung durch den Betrieb in speziellen Modi. Weiterer Schwerpunkt liegt in der Untersuchung von spezifischen Sorptionswechselwirkungen und Anwendung von innovativen Funktionsschichten, die bedeutend auf die Sensorselektivität wirken.

Spurenanalyse von Uran und Plutonium sowie Speziationsuntersuchungen an Plutonium mit massenspektrometrischen und kapillarelektrophoretischen Methoden

Die Elemente Uran und Plutonium besitzen seit Entdeckung der Kernspaltung und der technischen Nutzung der Kernenergie eine globale Bedeutung. So trägt Pu hauptsächlich zur Radiotoxizität von abgebrannten Brennelementen bei und erfordert im Falle einer Endlagerung in einer tiefen geologischen Formation einen sicheren Verschluss für bis zu einer Million Jahre. Das Wissen über die vorliegenden chemischen Spezies ist dabei entscheidend für das Verständnis der chemisch-physikalischen Wechselwirkungen im jeweiligen geochemischen System, insbesondere mit dem Wirtsgestein (hier Ton) und den allgegenwärtigen Huminstoffen (hier Fulvinsäure). Längerfristig sind so Vorhersagen über einen Transport des hochradioaktiven Abfalls nach Auslaugung und Austritt aus einem Endlager bis in die Biosphäre möglich. Gerade der Ultraspurenbereich, im Fernfeld eines Endlagers zu erwarten, ist dabei von besonderem Interesse. Darüber hinaus machen nuklearforensische Untersuchungen – in Hinblick auf illegal benutztes Nuklearmaterial, Schmuggel oder Nuklearterrorismus – zur Bestimmung der Herkunft, des Alters oder der Radiotoxizität isotopenselektive Nachweismethoden im Ultraspurenbereich notwendig. Im Rahmen dieser Arbeit wurden hierfür die Resonanzionisationsmassenspektrometrie (RIMS) zur isotopenselektiven Spuren- und Ultraspurenanalyse von U und Pu sowie die Kapillarelektrophorese (CE) gekoppelt an die induktiv gekoppelte Plasma (ICP)-Massenspektrometrie (CE-ICP-MS) zur Speziation von Pu eingesetzt. Für den isotopenselektiven Nachweis von Ultraspurenmengen von Uran mittels RIMS wurden vorbereitende Studien durchgeführt und mehrere zweifach resonante Anregungsleitern mit nicht-resonanter Ionisation untersucht. Eine Effizienz von ca. 10^-10 bei einer Nachweisgrenze von 10^12 Atomen U-238 konnte erzielt werden. In Zusammenarbeit mit dem Institut für Radiochemie, TU München, wurde mittels RIMS die Isotopenzusammensetzung von Plutonium, abgetrennt aus einem panzerbrechenden Urangeschoss aus dem Kosovokonflikt, bestimmt und dieses als Waffenplutonium mit einem Gehalt von 15 pg Pu-239/g Uran identifiziert. Rückschlüsse über Herkunft und Alter des Plutoniums konnten daraus gewonnen werden. Für Studien zur Umweltüberwachung von Plutonium in Rheinland-Pfalz wurden Grund-, Oberflächen- und Klärwasserproben mittels RIMS untersucht. Oberhalb der Nachweisgrenze von ca. 10^7 Atomen Pu-239/500 mL konnte kein signifikanter Gehalt bestimmt werden. Zusätzlich wurden Klärschlammproben untersucht, wobei in einer Probe 5,1*10^7 Atome Pu-239/g gemessen wurde, was auf eine Anreicherung von Pu im Klärschlamm aus großen Wasservolumina hindeuten könnte. Speziationsuntersuchungen von Plutonium in Kontakt mit Fulvinsäure und dem Tonmineral Kaolinit wurden in Hinblick auf die Wechselwirkungen im Umfeld eines nuklearen Endlagers durchgeführt. Die Redoxkinetik von Pu(VI) in Kontakt mit Gorleben-Fulvinsäure zeigt eine mit steigendem pH zunehmend schnellere und vollständige Reduktion und ein vergleichbares Verhalten zur Huminsäure. Für ein Plutoniumgemisch aus allen vier umweltrelevanten Oxidationsstufen in Kontakt mit Gorleben-Fulvinsäure konnte nach ca. 1 Monat Kontaktzeit eine fasst vollständige Reduktion zum tri- und tetravalenten Pu beobachtet werden. Sorptionsuntersuchungen der stabilsten Oxidationsstufe, Pu(IV), in Kontakt mit Kaolinit bei pH = 0 bis 13 im Konzentrationsbereich 10^-7 bis 10^-9 mol/L verdeutlichen das ausgeprägte Sorptionsverhalten von Pu(IV) (ca. 60% bis 90% Sorption) im umweltrelevanten pH-Bereich bei einem Einsetzen der Sorption bei pH = 0 bis 2. Im Rahmen des "Colloid and Radionuclide Retardation" (CRR) Experiments im Felslabor Grimsel, Schweizer Alpen, wurde in Zusammenarbeit mit dem Institut für Nukleare Entsorgung, Karlsruhe, die kolloidgetragene Migration von Pu(IV) in einem Grundwasserstrom durch Scherzonen im Granitgestein unter umweltrelevanten Bedingungen untersucht. Bei Zugabe von im Grundwasser stabilen Bentonitkolloiden – Bentonit wird als ein geeignetes Verschlussmaterial für nukleare Abfälle erforscht – konnte ein erhöhter Transport des Pu(IV) beobachtet werden, der durch Sorption des Pu an die mobilen Kolloide hervorgerufen wird. Zur Speziation von Plutonium im Ultraspurenbereich wurde im Rahmen dieser Arbeit an der Entwicklung der Kopplung der CE mit der sehr sensitiven RIMS gearbeitet. Das Prinzip der offline-Kopplung basiert auf dem Sammeln der zu unterschiedlichen Zeiten am Ende der Kapillare eluierten Oxidationsstufen in einzelnen Fraktionen. Aus jeder Fraktion wird ein eigenes Filament hergestellt und mit RIMS auf seinen Plutoniumgehalt untersucht. Eine erste Validierung der Methode konnte durch Bestimmung der Oxidationsstufenzusammensetzung eines bekannten Gemischs erfolgreich für einen Gehalt von ca. 6*10^9 Atome Pu-239 durchgeführt werden. Dies stellt einen möglichen Zugang zu dem erwarteten Konzentrationsbereich im Fernfeld eines Endlagers dar.

Investigation of a superthermal ultracold neutron source based on a solid deuterium converter for the TRIGA Mainz reactor

Research in fundamental physics with the free neutron is one of the key tools for testing the Standard Model at low energies. Most prominent goals in this field are the search for a neutron electric dipole moment (EDM) and the measurement of the neutron lifetime. Significant improvements of the experimental performance using ultracold neutrons (UCN) require reduction of both systematic and statistical errors.rnThe development and construction of new UCN sources based on the superthermal concept is therefore an important step for the success of future fundamental physics with ultracold neutrons. rnSignificant enhancement of today available UCN densities strongly correlates with an efficient use of an UCN converter material. The UCN converter here is to be understood as a medium which reduces the velocity of cold neutrons (CN, velocity of about 600 m/s) to the velocity of UCN (velocity of about 6 m/s).rnSeveral big research centers around the world are presently planning or constructing new superthermal UCN sources, which are mainly based on the use of either solid deuterium or superfluid helium as UCN converter.rnThanks to the idea of Yu.Pokotilovsky, there exists the opportunity to build competitive UCN sources also at small research reactors of the TRIGA type. Of course these smaller facilities don't promise high UCN densities of several 1000 UCN/cm³, but they are able to provide densities around 100 UCN/cm³ for experiments.rnIn the context of this thesis, it was possible to demonstrate succesfully the feasibility of a superthermal UCN source at the tangential beamport C of the research reactor TRIGA Mainz. Based on a prototype for the future UCN source at the Forschungs-Neutronenquelle Heinz Maier-Leibnitz (FRMII) in munich, which was planned and built in collaboration with the Technical University of Munich, further investigations and improvements were done and are presented in this thesis. rnIn parallel, a second UCN source for the radial beamport D was designed and built. The comissioning of this new source is foreseen in spring 2010.rnAt beamport D with its higher thermal neutron flux, it should be possible to increase the available UCN densities of 4 UCN/cm³ by minimum one order of magnitude.