Technische Universität Dresden: Qucosa
Not a member yet
12642 research outputs found
Sort by
Women-specific mental disorders in DSM-V: are we failing again?
Despite a wealth of studies on differences regarding the biobehavioral and social–psychological bases of mental disorders in men and women and repeated calls for increased attention, women-specific issues have so far not been comprehensively addressed in past diagnostic classification systems of mental disorders. There is also increasing evidence that this situation will not change significantly in the upcoming revisions of ICD-11 and DSM-V. This paper explores reasons for this continued failure, highlighting three major barriers: the fragmentation of the field of women's mental health research, lack of emphasis on diagnostic classificatory issues beyond a few selected clinical conditions, and finally, the “current rules of game” used by the current DSM-V Task Forces in the revision process of DSM-V. The paper calls for concerted efforts of researchers, clinicians, and other stakeholders within a more coherent and comprehensive framework aiming at broader coverage of women-specific diagnostic classificatory issues in future diagnostic systems
Knowledge-Based General Game Playing
The goal of General Game Playing (GGP) is to develop a system, that is able to automatically play previously unseen games well, solely by being given the rules of the game.
In contrast to traditional game playing programs, a general game player cannot be given game specific knowledge.
Instead, the program has to discover this knowledge and use it for effectively playing the game well without human intervention.
In this thesis, we present a such a program and general methods that solve a variety of knowledge discovery problems in GGP.
Our main contributions are methods for the automatic construction of heuristic evaluation functions, the automated discovery of game structures, a system for proving properties of games, and symmetry detection and exploitation for general games.:1. Introduction
2. Preliminaries
3. Components of Fluxplayer
4. Game Tree Search
5. Generating State Evaluation Functions
6. Distance Estimates for Fluents and States
7. Proving Properties of Games
8. Symmetry Detection
9. Related Work
10. Discussio
Reconstruction of B- --> D*° e- nu Decays and Determination of |Vcb|
In this analysis the decay B- --> D*° e- nu is measured. The underlying data sample consists of about 226 million B-meson pairs accumulated on the Y(4S) resonance by the BABAR detector at the asymmetric e+e- collider PEP II. The reconstruction of the decay uses the channels D*° --> D° pi°, D° --> K- pi+ and pi° --> gamma gamma. The neutrino is not reconstructed. Since the rest frame of the B meson is unknown, the boost w of the D*° meson in the B meson rest frame is estimated by w'. The w' spectrum of the data is described in terms of the partial decay width dGamma/dw given by theory and the detector simulation translating each spectrum dGamma/dw into an expectation of the measured w' spectrum. dGamma/dw depends on a form factor F(w) parameterizing the strong interaction in the decay process. To find the best descriptive dGamma/dw a fit to the data determines the following two parameters of dGamma/dw: (i) F(1)|Vcb|, the product between F at zero D*°-recoil and the Quark mixing parameter |Vcb|; (ii) rho^2, a parameter of the form factor F(w). The former parameter scales the height of dGamma/dw and rho^2 varies the shape of it. The determined values of F(1)|Vcb|, rho^2 and the branching fraction BF(B- --> D*° e- nu) are F(1)|Vcb| = (35.8 +- 0.5 +- 1.5) x 10e-03, rho^2 = (1.08 +- 0.05 +- 0.09) and BF(B- --> D*° e- nu) = (5.60 +- 0.08 +- 0.42)%, where the uncertainties are statistical and systematic, respectively. The value of BF(B- --> D*° e- nu) has been determined by an integration of dGamma/dw over the allowed w range using the fitted values of F(1)|Vcb| and rho^2
Contributions to Lattice-like Properties on Ordered Normed Spaces
Banachverbände spielen sowohl in der Theorie als auch in der Anwendung von geordneten normierten Räume eine bedeutende Rolle. Einerseits erweisen sich viele in der Praxis relevanten Räume als Banachverbände, andererseits ermöglichen die Vektorverbandsstruktur und die enge Beziehung zwischen Ordnung und Norm ein tiefes Verständnis solcher normierter Räume. An dieser Stelle setzen folgende Überlegungen an: - Die genaue Untersuchung einiger Resultate der reichhaltigen Banachverbandstheorie ließ (zu Recht) vermuten, dass in manchen Fällen die Verbandsnormeigenschaft keine notwendige Voraussetzung ist. In der Literatur gibt es bereits einige interessante Untersuchungen allgemeiner geordneter normierter Räume mit qualifizierten positiven Kegeln und in dem Zusammenhang eine Reihe wertvoller Dualitätsaussagen. An dieser Stelle sind die Eigenschaften der Normalität, der Nichtabgeflachtheit und der Regularität eines Kegels erwähnt, welche selbst im Falle eines mit einer Norm versehenen Vektorverbandes eine schwächere Relation zwischen Ordnung und Norm ergeben als die Verbandsnormeigenschaft. - In einer neueren Arbeit wurde der aus der Theorie der Vektorverbände gut bekannte Begriff der Disjunktheit bereits auf beliebige geordnete Räume verallgemeinert, wobei viele Eigenschaften disjunkter Vektoren, des disjunkten Komplements einer Menge usw., welche aus der Verbandstheorie bekannt sind, erhalten bleiben. Auf entsprechende Weise, d.h. durch das Ersetzen exakter Infima und Suprema durch Mengen unterer bzw. oberer Schranken, können der Modul eines Vektors sowie der Begriff der Solidität einer Menge für geordnete (normierte) Räume eingeführt werden. An solchen Überlegungen knüpft die vorliegende Arbeit an. Im Kapitel m-Normen ======== werden verallgemeinerte Formen der M-Norm Eigenschaft eingeführt und untersucht. AM-Räume und (approximative) Ordnungseinheit-Räume sind Beispiele für geordnete normierte Räume mit m-Norm. Die Schwerpunkte dieses Kapitels sind zum Einen Kegel- und Normeigenschaften dieser Räume und deren Charakterisierung mit Hilfe solcher Eigenschaften und zum Anderen Dualitätsaussagen, wie sie zum Teil bereits aus der Theorie der AM- und AL-Räume bekannt sind. Minimal totale Mengen ===================== Ziel dieses Kapitels ist es, den oben erwähnten verallgemeinerten Disjunktheitsbegiff für geordnete normierte Räume zu untersuchen. Eine zentrale Rolle spielen dabei totale Mengen im Dualraum und insbesondere minimal totale Mengen sowie deren Zusammenhang mit der Disjunktheit von Elementen des Ausgangsraumes. Normierte pre-Riesz Räume ========================= Wie bereits bekannt, lässt sich jeder pre-Riesz Raum ordnungsdicht in einen (bis auf Isomorphie) eindeutigen minimalen Vektorverband einbetten, die so genannte Riesz Vervollständigung. Ist der pre-Riesz Raum normiert und sein positiver Kegel abgeschlossen, dann kann eine Verbandsnorm auf der Riesz Vervollständigung eingeführt werden, welche sich in vielen Fällen als äquivalent zur Ausgangsnorm auf dem pre-Riesz Raum erweist. Es ist allgemein bekannt, dass sich dann auch stetige lineare Funktionale fortsetzen lassen. In diesem Kapitel wird nun untersucht, inwiefern sich Ordnungsrelationen auf einer Menge stetiger linearer Funktionale beim Übergang zur Menge der Fortsetzungen erhalten lassen. Die gewonnenen Erkenntnisse kommen anschließend bei Untersuchungen zur schwachen bzw. schwach*-Topologie auf geordneten normierten Räumen zur Anwendung. Hierbei werden zwei Fragestellungen behandelt. Zum Einen gilt das Augenmerk disjunkten Folgen in geordneten normierten Räumen. Als Beispiel seien ordnungsbeschränkte disjunkte Folgen in geordneten normierten Räumen mit halbmonotoner mNorm genannt, welche stets schwach gegen Null konvergieren. Zum Anderen werden monoton fallende Folgen und Netze bzw. disjunkte Folgen von stetigen linearen Funktionalen auf einem geordneten normierten Raum betrachtet.Banach lattices play an important role in the theory of ordered normed spaces. One reason is, that many ordered normed vector spaces, that are important in practice, turn out to be Banach lattices, on the other hand, the lattice structure and strong relations between order and norm allow a deep understanding of such ordered normed spaces. At this point the following is to be considered. - The analysis of some results in the rich Banach lattice theory leads to the conjecture, that sometimes the lattice norm property is no necessary supposition. General ordered normed spaces with a convenient positive cone were already examined, where some valuable duality properties could be achieved. We point out the properties of normality, non-flatness and regularity of a cone, which are a weaker relation between order and norm than the lattice norm property in normed vector lattices. - The notion of disjointness in vector lattices has already been generalized to arbitrary ordered vector spaces. Many properties of disjoint elements, the disjoint complement of a set etc., well known from the vector lattice theory, are preserved. The modulus of a vector as well as the concept of the solidness of a set can be introduced in a similar way, namely by replacing suprema and infima by sets of upper and lower bounds, respectively. We take such ideas up in the present thesis. A generalized version of the M-norm property is introduced and examined in section m-norms. ======= AM-spaces and approximate order unit spaces are examples of ordered normed spaces with m-norm. The main points of this section are the special properties of the positive cone and the norm of such spaces and the duality properties of spaces with m-norm. Minimal total sets ================== In this section we examine the mentioned generalized disjointness in ordered normed spaces. Total sets as well as minimal total sets and their relation to disjoint elements play an inportant at this. Normed pre-Riesz spaces ======================= As already known, every pre-Riesz space can be order densely embedded into an (up to isomorphism) unique vector lattice, the so called Riesz completion. If, in addition, the pre-Riesz space is normed and its positive cone is closed, then a lattice norm can be introduced on the Riesz completion, that turns out to be equivalent to the primary norm on the pre-Riesz space in many cases. Positive linear continuous functionals on the pre-Riesz space are extendable to positive linear continuous functionals in this setting. Here we investigate, how some order relations on a set of continuous functionals can be preserved to the set of the extension. In the last paragraph of this section the obtained results are applied for investigations of some questions concerning the weak and the weak* topology on ordered normed vector spaces. On the one hand, we focus on disjoint sequences in ordered normed spaces. On the other hand, we deal with decreasing sequences and nets and disjoint sequences of linear continuous functionals on ordered normed spaces
On the Spin-Dynamics of the Quasi-One-Dimensional, Frustrated Quantum Magnet Li2CuO2: Studies by means of Inelastic Neutron Scattering and Thermodynamic Methods
Die magnetischen Eigenschaften von Li2CuO2 sind seit mehr als zwei Jahrzehnten Gegenstand theoretischen und experimentellen Interesses. Über die genaue Natur der magnetischen Wechselwirkungen in diesem Isolator konnte jedoch keine Einigkeit erzielt werden. Während das Material von Seiten theoretischer Untersuchungen als quasi-eindimensionaler Magnet mit starken ferromagnetischen Kopplungen entlang der Kette verstanden wurde, legten experimentelle Studien dominierende dreidimensionale Zwischenkettenkopplungen nahe.
Im Rahmen dieser Dissertation werden auf der Grundlage von Untersuchungen des magnetischen Anregungsspektrums mittels inelastischer Neutronenstreuung und dessen Analyse innerhalb eines Spinwellenmodels die führenden magnetischen Wechselwirkungen in Li2CuO2 bestimmt. Es wird zweifelsfrei nachgewiesen, dass das Material eine quasi-eindimensionale Spinkettenverbindung darstellt. Insbesondere kann die Konkurrenz von ferro- und antiferromagnetischen Wechselwirkungen entlang der Ketten nachgewiesen werden. Die Anwendbarkeit einer Spinwellenanalyse dieses niedrigdimensionalen Spin-1=2 Systems wird gezeigt. Das magnetische Phasendiagramm wird mittels Messungen von spezifischer Wärme, thermischer Ausdehnung und Magnetostriktion sowie der Magnetisierung in statischen und gepulsten Magnetfeldern untersucht und im Bezug auf die Austauschwechselwirkungen diskutiert. Aufgrund seiner einfachen kristallographischen und magnetischen Struktur stellt Li2CuO2 ein potentiell wertvolles Modellsystem in der Klasse der Spinkettenverbindungen mit konkurrierenden ferro- und antiferromagnetischen Wechselwirkungen dar.:1. Motivation 9
I. Introduction 13
2. Li2CuO2 15
2.1. ... as a cuprate 15
2.2. ... as a quasi-one dimensional magnet 17
2.3. Literature review on magnetic properties 21
2.3.1. Crystallographic structure 21
2.3.2. Magnetic structure and magnetic properties 21
3. Employed experimental techniques 25
3.1. Thermodynamic studies 25
3.2. Inelastic magnetic neutron scattering 28
4. Sample properties and characterization 33
4.1. A sample for INS 33
4.2. Crystal growth and characterization 36
II. Inelastic neutron scattering studies 41
5. Magnon excitations & spin-wave analysis 43
5.1. Linear spin-wave model 44
5.2. Experimental setup 46
5.3. Magnon dispersion for q || b* 46
5.3.1. Thermal neutrons 46
5.3.2. Cold neutrons 49
5.4. Magnon dispersion for q b* 52
5.5. Magnon dispersion at the zone boundary 55
5.6. Spin-wave analysis 58
5.7. Frustration of inter-chain couplings 64
6. Low energy excitations 69
III. Studies on thermodynamic properties 79
7. The magnetic phase diagram 81
7.1. High temperature short range order 83
7.2. The antiferromagnetic phase 85
7.3. The meta-magnetic transition and intermediate phase 88
7.4. Low temperature anomalies 93
7.4.1. Weak ferromagnetism 94
7.4.2. Anomalous magnetization at low T 100
8. Magnetization studies 105
8.1. Magnetization M(T) 105
8.2. Magnetization M(H) 110
9. Analysis of the magnetic specific heat 117
9.1. Estimate of phononic specific heat 118
9.2. Fluctuations, correlations near TN 120
9.3. Entropy 124
9.4. Specific heat at low temperature 129
10. Magneto-elastic coupling 133
10.1. Remarks on the measurement setup 133
10.2. Uniaxial pressure dependence of TN 135
10.3. Exploration of the easy axis magnetic phase diagram 139
10.3.1. Low temperature magnetostriction 139
10.3.2. Comprehensive survey of thermal expansion and magnetostriction data 141
10.3.3. A phenomenological model 146
10.4. Thermal expansion in magnetic fifields along the hard axes 150
IV. Conclusion 153
11.Summary and Outlook 155
V. Appendix 159
A. Supplementary data 161
A.1. Excitation spectrum in applied magnetic fifield 161
A.2. Low temperature specific heat 163
A.3. Pressure dependence of TN for H||a = 12T 163
A.4. Pressure dependence of magnetization 164
Bibliography 180The magnetic properties of Li2CuO2 have attracted interest since more than two decades, both in theory and experiment. Despite these efforts, the precise nature of the magnetic interactions in this insulator remained an issue of controversial debate. From theoretical studies, the compound was understood as a quasi-one-dimensional magnet with strong ferromagnetic interactions along the chain, while in contrast, experimentally studies suggested dominant three-dimensional inter-chain interactions.
In this thesis, the leading magnetic exchange interactions of Li2CuO2 are determined on the basis of a detailed inelastic neutron scattering study of the magnetic excitation spectrum, analyzed within spin-wave theory. It is unequivocally shown, that the material represents a quasi-one-dimensional spin-chain compound. In particular, the competition of ferro- and antiferromagnetic interactions in the chain has been evidenced. The applicability of a spin-wave model for analysis of this low-dimensional spin-1=2 system is shown. The magnetic phase diagram of Li2CuO2 is studied by specific heat, thermal expansion and magnetostriction measurements as well as magnetization measurements in both static and pulsed magnetic fifields. The phase diagram is discussed with respect to the exchange interactions. With its simple crystallographic and magnetic structure, Li2CuO2 may serve as a worthwhile model system in the class of spin-chain compounds with competing ferromagnetic and antiferromagnetic interactions.:1. Motivation 9
I. Introduction 13
2. Li2CuO2 15
2.1. ... as a cuprate 15
2.2. ... as a quasi-one dimensional magnet 17
2.3. Literature review on magnetic properties 21
2.3.1. Crystallographic structure 21
2.3.2. Magnetic structure and magnetic properties 21
3. Employed experimental techniques 25
3.1. Thermodynamic studies 25
3.2. Inelastic magnetic neutron scattering 28
4. Sample properties and characterization 33
4.1. A sample for INS 33
4.2. Crystal growth and characterization 36
II. Inelastic neutron scattering studies 41
5. Magnon excitations & spin-wave analysis 43
5.1. Linear spin-wave model 44
5.2. Experimental setup 46
5.3. Magnon dispersion for q || b* 46
5.3.1. Thermal neutrons 46
5.3.2. Cold neutrons 49
5.4. Magnon dispersion for q b* 52
5.5. Magnon dispersion at the zone boundary 55
5.6. Spin-wave analysis 58
5.7. Frustration of inter-chain couplings 64
6. Low energy excitations 69
III. Studies on thermodynamic properties 79
7. The magnetic phase diagram 81
7.1. High temperature short range order 83
7.2. The antiferromagnetic phase 85
7.3. The meta-magnetic transition and intermediate phase 88
7.4. Low temperature anomalies 93
7.4.1. Weak ferromagnetism 94
7.4.2. Anomalous magnetization at low T 100
8. Magnetization studies 105
8.1. Magnetization M(T) 105
8.2. Magnetization M(H) 110
9. Analysis of the magnetic specific heat 117
9.1. Estimate of phononic specific heat 118
9.2. Fluctuations, correlations near TN 120
9.3. Entropy 124
9.4. Specific heat at low temperature 129
10. Magneto-elastic coupling 133
10.1. Remarks on the measurement setup 133
10.2. Uniaxial pressure dependence of TN 135
10.3. Exploration of the easy axis magnetic phase diagram 139
10.3.1. Low temperature magnetostriction 139
10.3.2. Comprehensive survey of thermal expansion and magnetostriction data 141
10.3.3. A phenomenological model 146
10.4. Thermal expansion in magnetic fifields along the hard axes 150
IV. Conclusion 153
11.Summary and Outlook 155
V. Appendix 159
A. Supplementary data 161
A.1. Excitation spectrum in applied magnetic fifield 161
A.2. Low temperature specific heat 163
A.3. Pressure dependence of TN for H||a = 12T 163
A.4. Pressure dependence of magnetization 164
Bibliography 18
Compositional Synthesis and Most General Controllers
Given a formal model of the behavior of a system, an objective and some notion of control the goal of controller synthesis is to construct a (finite-state) controller that ensures that the system always satisfies the objective. Often, the controller can base its decisions only on limited observations of the system. This notion of limited observability induces a partial-information game between the controller and the uncontrollable part of the system. A successful controller then realizes an observation-based strategy that enforces the objective.
In this thesis we consider the controller synthesis problem in the linear-time setting where the behavior of the system is given as a nondeterministic, labeled transitions system A, where the controller can only partially observe and control the behavior of A. The goal of the thesis is to develop a compositional approach for constructing controllers, suitable to treat conjunctive cascades of linear-time objectives P_1, P_2, ..., P_k in an online manner. We iteratively construct a controller C_1 for system A enforcing P_1, then a controller C_2 enforcing P_2 for the parallel composition of the first controller with the system, and so on. It is crucial for this approach that each controller C_i enforces P_i in a most general manner, being as permissive as possible. Otherwise, behavior that is needed to enforce subsequent objectives could be prematurely removed.
Standard notions of strategies and controllers only allow the most general treatment for the limited class of safety objectives. We introduce a novel concept of most general strategies and controllers suited for the compositional treatment of objectives beyond safety. We demonstrate the existence of most general controllers for all enforceable, observation-based omega-regular objectives and provide algorithms for the construction of such most general controllers, with specialized variants for the subclass of safety and co-safety objectives.
We furthermore adapt and apply our general framework for the compositional synthesis of most general controllers to the setting of exogenous coordination in the context of the channel-based coordination language Reo and the constraint automata framework and report on our implementation in the verification toolset Vereofy.
The construction of most general controllers in Vereofy for omega-regular objectives relies on our tool ltl2dstar for generating deterministic omega-automata from Linear Temporal Logic (LTL) formulas. We introduce a generic improvement for exploiting insensitiveness to stuttering during the determinization construction and evaluate its effectiveness in practice. We further investigate the performance of recently proposed variants of Safra\'s determinization construction in practice
Protein-Glycopolymer Biohybrid Structures Based on Molecular Recognition Processes for Biomedical Applications
The design of versatile biohybrid nanosized materials has revealed itself as a promising avenue towards biomedical applications in today´s life sciences. In this regard the combination of components of synthetic and natural origin facilitates an applicability which is supposed to be far beyond the sum of their single components. These biohybrid structures (BHS) can be built by a huge variety of building blocks including solid or soft nanoparticles, peptides/proteins, polynucleotides or low molecular weight drugs. Along with the latter the attachment of biologically active entities or imaging moieties, e. g. enzymes, fluorescence markers or targeting motifs display thereby a key step towards the development of carrier systems for drug delivery purposes.
Among the soft nanoparticles especially dendritic polymers such as perfectly branched dendrimers or hyperbranched polymers are considered as ideal building blocks, since they allow an easy tailoring of crucial properties such as solubility, biocompatibility or bioactivity by means of surface functionalization. Especially in the field of targeted drug delivery the crucial role of sizes and size distributions of carriers has been highlighted recently, since it critically influences important factors such as circulation time or biodistribution within the body.
The ability of avidin to form high molecular weight associates with biotinylated macromolecules as well as its inherent properties makes it a suitable candidate for passive and active targeting in combination with biotinylated (bio-)polymers. Furthermore, along with the covalent attachment of bioactive moieties, non-covalent attachment is a frequently used approach, because it is assumed to only require stoichiometric mixing. In context of the latter molecular recognition processes such as the avidin-biotin, β-cyclodextrin-adamantane or Ni(II)-NTA-histidine-tag interactions have shown to be fruitful strategies for the attachment of bioactive entities.
The overall aim of this work was to fabricate BHS based on dendritic glycopolymers with varied sizes in the nano- and micrometer range as models for biomedical applications e. g. carriers for drug delivery. Therefore the molecular recognition of avidin with biotin derivatives and β-cyclodextrin with adamantane derivatives was utilized in order to tailor final sizes, functionality or catalytic activity of those BHS
Luftfracht - Arbeitgeber der Zukunft?: Technische Universität Dresden - Fakultät Verkehrswissenschaften, Wir bewegen die Welt - we are moving the world, 05. November 2014
Eine Präsentation über ein Joint Venture von DHL Express und Lufthansa Cargo.A presentation of a joint venture of DHL and Lufthansa Cargo
Impulsivity and Saliva Cortisol in Patients with Suicide Attempt and Controls
Objectives: The objective of this study was to prove concepts in the characterization of suicidal patients and the possible usefulness of those markers to potentially identify patients with a higher risk for suicidality. Methods: Patients with a recent suicide attempt were compared with patients suffering from depression, adjustment disorder, anxiety, or eating disorders without suicidality, healthy controls and remitted patients with a history of at least 1 suicide attempt (≥1 year). We analyzed impulsivity (Barratt Impulsivity Scale, BIS) and saliva cortisol concentrations. Results: Independently of suicidality and disease state patients display higher BIS scores than healthy controls. Saliva cortisol levels tend to be higher in patients in the acute disease state than in remitted patients and healthy controls. Conclusions: Saliva cortisol may be a useful marker that reveals alterations in nonsuicidal patients suffering from depression, adjustment disorder, anxiety, or eating disorders who might be at risk
Topological stability criteria for networking dynamical systems with Hermitian Jacobian
The central theme of complex systems research is to understand the emergent macroscopic properties of a system from the interplay of its microscopic constituents. The emergence of macroscopic properties is often intimately related to the structure of the microscopic interactions. Here, we present an analytical approach for deriving necessary conditions that an interaction network has to obey in order to support a given type of macroscopic behaviour. The approach is based on a graphical notation, which allows rewriting Jacobi’s signature criterion in an interpretable form and which can be applied to many systems of symmetrically coupled units. The derived conditions pertain to structures on all scales, ranging from individual nodes to the interaction network as a whole. For the purpose of illustration, we consider the example of synchronization, specifically the (heterogeneous) Kuramoto model and an adaptive variant. The results complete and extend the previous analysis of Do et al. (2012 Phys. Rev. Lett. 108, 194102)