Filtern
Erscheinungsjahr
- 2002 (30) (entfernen)
Dokumenttyp
- Dissertation (30) (entfernen)
Schlagworte
- Deutschland (4)
- Literatur (2)
- Mobilität (2)
- OBDD (2)
- OBDDs (2)
- n.a. (2)
- 20. Jh. (1)
- 20th Century (1)
- Abwasserreinigung (1)
- Algorithmus (1)
Institut
- Raum- und Umweltwissenschaften (9)
- Psychologie (6)
- Informatik (5)
- Kunstgeschichte (3)
- Anglistik (2)
- Geschichte, mittlere und neuere (1)
- Japanologie (1)
- Klassische Philologie (1)
- Soziologie (1)
- Wirtschaftswissenschaften (1)
The importance of the hotel sector as part of the cultural environment has not been recognised yet, partly because of a missing awareness that hotels could actually be regarded as a national treasure. The hotel business is not only a service provider for tourism - supplying different options for overnight stays - but also representative of social and built environment. It works as a meeting place and communication point; it reflects former and current culture of living as well as buildings. Within a rapidly changing world there is an increasing requirement of protecting measures for ever more aspects of the environment as e.g. for national heritage and nature conversation. So far nobody thought that hotels and inns might qualify for this category and any initiatives taken so far were generally based on private effort. A public awareness does not exist, partly because the difference between culturally worthy objects/ensembles is solely depending on individual measures of value. A classification in categories, which strengthens awareness for the hotel environment and also allows an affiliation of giving cover, is missing. This work is dedicated to exactly that shortage. In the beginning it proves that hotels/inns are worthy being integrated into protective measures. They are important representatives of the built and social culture including the living culture where one lives history. The main part of the work concentrates on a two-part systematisation ï‚· An areal allocation seems essential to rate where exactly in a town protective measures are needed. In order to do so examples for the so called "town protection zones" (Stadtschutzzone) by JÄTZOLD are used. ï‚· Following the idea of the town protection zones an introduction of a historical categorisation will be introduced, which allows allocating objects and ensembles into the different eras. The history of hotels and concise examples will show the differences " relics of early tourism, time of hostels and inns, health resorts and grand hotels, recent developments as well as stylish hotels. Subsequent to this categorisation additional conceptual suggestions to be used in praxis are made, taking into account the decision-makers that should be involved. It results in a multidisciplinary approach, which integrates heritage, town planning, bearers of cultural awareness, policy makers, etc. Negative and positive examples are deployed to force the urgency of a sensible exposure with the treasure "hotel". To force the necessity a comparison between Germany and Great Britain is used where applicable. The author believes the cultural awareness in Great Britain, which also integrates the protection of the hotel sector, is much higher and better than in Germany.
Mobile computing poses different requirements on middleware than more traditional desktop systems interconnected by fixed networks. Not only the characteristics of mobile network technologies as for example lower bandwidth and unreliability demand for customized support. Moreover, the devices employed in mobile settings usually are less powerful than their desktop counterparts. Slow processors, a fairly limited amount of memory, and smaller displays are typical properties of mobile equipment, again requiring special treatment. Furthermore, user mobility results in additional requirements on appropriate middleware support. As opposed to the quite static environments dominating the world of desktop computing, dynamic aspects gain more importance. Suitable strategies and techniques for exploring the environment e.g. in order to discover services available locally are only one example. Managing resources in a fault-tolerant manner, reducing the impact ill-behaved clients have on system stability define yet another exemplary prerequisite. Most state of the art middleware has been designed for use in the realm of static, resource rich environments and hence is not immediately applicable in mobile settings as set forth above. The work described throughout this thesis aims at investigating the suitability of different middleware technologies with regard to application design, development, and deployment in the context of mobile networks. Mostly based upon prototypes, shortcomings of those technologies are identified and possible solutions are proposed and evaluated where appropriate. Besides tailoring middleware to specific communication and device characteristics, the cellular structure of current mobile networks may and shall be exploited in favor of more scalable and robust systems. Hence, an additional topic considered within this thesis is to point out and investigate suitable approaches permitting to benefit from such cellular infrastructures. In particular, a system architecture for the development of applications in the context of mobile networks will be proposed. An evaluation of this architecture employing mobile agents as flexible, network-side representatives for mobile terminals is performed, again based upon a prototype application. In summary, this thesis aims at providing several complementary approaches regarding middleware support tailored for mobile, cellular networks, a field considered to be of rising importance in a world where mobile communication and particularly data services emerge rapidly, augmenting the globally interconnecting, wired Internet.
Hardware bugs can be extremely expensive, financially. Because microprocessors and integrated circuits have become omnipresent in our daily live and also because of their continously growing complexity, research is driven towards methods and tools that are supposed to provide higher reliability of hardware designs and their implementations. Over the last decade Ordered Binary Decision Diagrams (OBDDs) have been well proven to serve as a data structure for the representation of combinatorial or sequential circuits. Their conciseness and their efficient algorithmic properties are responsible for their huge success in formal verification. But, due to Shannon's counting argument, OBDDs can not always guarantee the concise representation of a given design. In this thesis, Parity Ordered Binary Decision Diagrams are presented, which are a true extension of OBDDs. In addition to the regular branching nodes of an OBDD, functional nodes representing a parity operation are integrated into the data structure, thus resulting in Parity-OBDDs. Parity-OBDDs are more powerful than OBDDs are, but, they are no longer a canonical representation. Besides theoretical aspects of Parity-OBDDs, algorithms for their efficient manipulation are the main focus of this thesis. Furthermore, an analysis on the factors that influence the Parity-OBDD representation size gives way for the development of heuristic algorithms for their minimization. The results of these analyses as well as the efficiency of the data structure are also supported by experiments. Finally, the algorithmic concept of Parity-OBDDs is extended to Mod-p-Decision Diagrams (Mod-p-DDs) for the representation of functions that are defined over an arbitrary finite domain.
Today, usage of complex circuit designs in computers, in multimedia applications and communication devices is widespread and still increasing. At the same time, due to Moore's Law we do not expect to see an end in the growth of the complexity of digital circuits. The decreasing ability of common validation techniques -- like simulation -- to assure correctness of a circuit design enlarges the need for formal verification techniques. Formal verification delivers a mathematical proof that a given implementation of a design fulfills its specification. One of the basic and during the last years widely used data structure in formal verification are the so called Ordered Binary Decision Diagrams (OBDDs) introduced by R. Bryant in 1986. The topic of this thesis is integration of structural high-level information in the OBDD-based formal verification of sequential systems. This work consist of three major parts, covering different layers of formal verification applications: At the application layer, an assertion checking methodology, integrated in the verification flow of the high-level design and verification tool Protocol Compiler is presented. At the algorithmic layer, new approaches for partitioning of transition relations of complex finite state machines, that significantly improve the performance of OBDD-based sequential verification are introduced. Finally, at the data structure level, dynamic variable reordering techniques that drastically reduce the time required for reordering without a trade-off in OBDD-size are described. Overall, this work demonstrates how a tighter integration of applications by using structural information can significantly improve the efficiency of formal verification applications in an industrial setting.
Hydrodynamic processes play a fundamental role in the distribution of salt within mangrove-fringed estuaries and mangrove forests. In this thesis, two hydrodynamic processes and their ecological implications were examined. (1) Passive Irrigation and Functional Morphology of Crustacean Burrows in Rhizophora-forests. The mangrove Rhizophora excludes more than 90% of the seawater salt at water intake at the roots. By means of conductivity methods and resin casting, it was found that crustacean burrows play a key role in the removal of excess salt from the root zone. Salt diffuses from the roots into the burrows, and is efficiently flushed from the burrows by rainwater infiltration and tidal irrigation. The burrows contribute significantly to favourable conditions for the growth of Rhizophora trees. (2) Trapping of Mangrove Propagules due to Density-driven Secondary Circulation in Tropical Estuaries. In North East Australian estuaries, mangrove propagules are drifted upstream by density-driven axial surface convergences. Propagules accumulate in hydrodynamic traps upstream from suitable habitat, where they are trapped at least for the entire tropical dry season. Axial convergences may provide an efficient barrier for propagule exchange across estuaries. In such estuaries, mangrove populations can be regarded as floristically isolated, not unlike island communities, even though the populations lie on a continuous coastline. This effect may contribute to the disjunct distribution observed in some mangrove species. The outcomes of this work contribute to the understanding of the importance of salt as a growth and habitat-restricting factor in the mangrove environment.
Untersuchung der Metamorphosen unter dem Gesichtspunkt der Veränderung auf der metatextuellen, diachronistischen und hypertextuellen Ebene in Ted Hughes' Tales from Ovid; übersetzungstheoretische wie textpragmatische und literaturphilosophische Überlegungen führen zum Schluss, dass die Veränderung der Form und des Stils des Epos die einzig signifikatstreue Form der Konservierung des Geists der Metamorphosen sein kann.
Today obesity has been recognized as a disease. Evidence suggests that obesity often has Genetic, environmental, psychological and other factors. Growing evidence points to heredity as a strong determining factor of obesity. The characterization of uncoupling proteins (UCP) represents a major breakthrough of genetic factors towards understanding the molecular basis for energy expenditure and therefore likely to have important implication for the cause and treatment of human obesity. UCPs as mitochondrial anion carriers which creates a pathway that allows dissipation of the proton electrochemical gradient therefore which when deregulated are key risk factors in the development of obesity and other eating disorders. In order to better understand the roles of both UCP2 and UCP3 which considered as prime candidate genes involved in the pathogenesis of obesity, this study elucidate (1) Genomic organization: The human UCP2 (3) gene spans over 8.7 kb (7.5 kb) distributed on 8 (7) exons. Three UCP genes may have evolved from a common ancestor or are the result from gene duplication events. Two mRNA transcripts are generated from hUCP3 gene, the long and short form of hUCP3 is differing by the presence or absence of 37 amino acid residues at the C-terminus. (2) Mutational analysis revealed a mutation in exon 4 of hUCP2 resulting in the substitution of an alanine by a valine at codon 55 and an insertion polymorphism in exon 8 consisted of a 45 bp repeat located 150 bp downstream of the stop codon in the 3'-UTR. The allele frequencies of both polymorphisms were not significantly elevated in a subgroup of children characterized by low Resting Metabolic Rates (RMR). (3) Promoter Analysis showed that the promoter region of hUCP2 lacks a classical TATA or CAAT box. Functional characterization of hUCP2 promoter showed that minimal promoter activity was observed within 65 bp upstream of the transcriptional start site. 75 bp further upstream a strong cis-acting regulatory element was identified which significantly enhanced basal promoter activity. The regulation of human UCP2 gene expression involves complex interactions among positive and negative regulatory elements. the 5"-flanking region of the hUCP3 gene were characterized in which contains both TATA and CAAT boxes as well as consensus motifs for PPRE, TRE, CRE and muscle-specific MyoD and MEF2 sites. Functional characterization identified a cis-acting negative regulatory element between - 2983 and -982 while the region between -982 and -284 showed greatly increased basal promoter activity suggesting the presence of a strong enhancer element. Promoter activity was particularly enhanced in the murine skeletal muscle cell line C2C12 reflecting the tissue-selective expression pattern of UCP3.
Die Anpassung der Systeme der sozialen Sicherung an die gewandelten wirtschaftlichen, demographischen und sozialen Verhältnisse stellt für die europäische Sozialpolitik im allgemeinen und für die Alterssicherung im besonderen eine große Herausforderung dar. In den mittel- und osteuropäischen Staaten wurde der mühsame Prozeß der Anpassung der sozialen Sicherungssysteme an die veränderten Rahmenbedingungen zusätzlich erschwert durch die Notwendigkeit, wirtschaftliche Stärke und demokratische Institutionen gleichzeitig zu entwickeln. Die Möglichkeit, von anderen Ländern zu lernen, ist deshalb für die mittel- und osteuropäischen Staaten besonders wichtig. Dabei schließt der Prozeß des Lernens neben dem Aussuchen und Auswerten von Informationen auch Verhaltensänderungen ein, die für die erfolgreiche Durchführung von Reformen in diesen Ländern nützlich sein können. In der vorliegenden Studie wird untersucht, ob bei den Reformen im Bereich der Alterssicherung im Verhältnis von osteuropäischen und westeuropäischen Ländern ein Lernprozeß in Gang gesetzt worden ist und ob ein Austausch von Bearbeitungsansätzen stattgefunden hat. Dabei ist in keinem der untersuchten Länder - Deutschland, Großbritannien, Polen und Bulgarien " ein tatsächliches oder auch nur vorläufiges Ende des Reformprozesses festzustellen. In der Studie werden auch die kulturellen und sozialen Voraussetzungen für die Akzeptanz neuer Systeme der Alterssicherung in den mittel- und osteuropäischen Staaten untersucht, da der Erfolg der Reformen im Bereich der Alterssicherung von den langsamen und nur schwer steuerbaren Veränderungen der politischen Kultur und der Mentalität abhängig ist.
Cancer diagnosis prototypically represents a critical life event and, thus, requires extensive coping efforts by the patients which may be promoted by support received from their social network members. Quantity and quality of received support can be determined by the patients' self-presentation of their coping behavior ("coping-portrayal") and by their attempts at mobilizing support. Until now, research has indicated that a depressive and ruminative coping-portrayal may especially evoke negative emotional reactions in others. The quasi-experimental study presented here focused on the effects of a ruminative coping-portrayal on willingness of others in providing social support and investigated, in particular, if these effects may be counteracted by more or less direct attempts at support mobilization. A sample of 189 middle-aged subjects received fictitious descriptions of an encounter with a "former schoolmate" (protagonist) who discloses that he has recently been diagnosed with cancer. The protagonist's directness of support mobilization (explicit vs. implicit vs. no request of support) as well as his coping-portrayal (with vs. without rumination) were systematically manipulated. Action tendencies with regard to sustained support (e.g., high time-investment) and short-term encouragement as well as the intensity of specific emotions (e.g., sympathy; fear of one's own distress; joy at the other's trustfulness) were considered as dependent variables. Results showed that a ruminative coping-portrayal evoked less sympathy than a coping-portrayal without rumination; moreover, a ruminative way of presenting one's coping behavior induced action tendencies which were described by momentary encouragement rather than by sustained support endeavors. Explicit requests of support reduced subjects' fear of their own distress and mostly increased joy at the protagonist's trustfulness compared to implicit requests. Furthermore, the negative effects of a ruminative coping-portrayal on the subjects' willingness to provide sustained support were compensated by explicit requests for support provision. In general, these results quite convincingly show that the way of activating supportive actions from others can be crucial for support received when facing a critical life event.
Die vorliegende Arbeit versucht an dem Beispiel der Umsetzung der Vorschriften des § 301 SGB V - Datenaustausch zwischen stationären Einrichtungen und den Krankenkassen - zum einen die Probleme zum anderen aber auch die Lösungsmöglich-keiten eines Datenaustausches in einem sehr heterogenen Umfeld (-Krankenhäuser, Rehabilitationseinrichtungen und Kostenträgern) zu beschreiben. Ziel des Lösungsansatzes ist es gleichzeitig, neben der Erhebung und Weiterleitung der Daten von dem stationären Leistungserbringer an die jeweilige Krankenkasse (gesetzlicher Auftrag) die erhobenen Daten für weitere Analysen - intern wie extern - zu nutzen. Hierbei wird zum einen der Fokus auf die innerbetriebliche Nutzung der Daten gelegt - Kostenrechnung speziell Kostenträgerrechnung - zum anderen wird auch die Frage des externen Betriebsvergleiches (§ 5 BPflV) beleuchtet. Insgesamt wird gezeigt, dass für die weitere Entwicklung des Gesundheitswesens ein in sich einheitliches Datenmodell zwingend notwendig ist um die seit vielen Jahren immer wieder eingeforderte Transparenz des Gesundheitswesen herzustellen. Dies gilt insbesondere für die sektorenübergreifende - ambulant / stationär - Datenzusammenführung. Die Arbeit beschreibt die Fragen und Probleme sowohl der Informatik als auch der Gesundheitsökonomie und zeigt in Form des neu erarbeiteten Referenzmodells einen Lösungsansatz auf. Das Datenmodell enthält auch die notwendigen Informationen für ein DRG-System. Insofern ist eine Änderung des Datenmodells durch die aktuelle Einführung eines deutschen DRG - Systems nicht notwendig.