131 |
Modeling Concurrency with Interval TracesYin, Xiang 11 1900 (has links)
When system runs are modeled with interval orders, interval order structures are useful
tools to model abstract concurrent histories, i.e. sets of equivalent system runs. For the
general cases, Mazurkiewicz traces allow a representation of the entire partial order by
a single sequence with independency relations, and Comtraces allow a representation of
stratified order structures by single step sequences with appropriate simultaneity and serializability relations. Unfortunately, both of them are unable to clearly describe the abstract
interval order semantics of inhibitor nets.
The goal of the thesis is to provide a monoid based model called Interval Traces that
would allow a single sequence of beginnings and endings to represent the entire stratified
order structures as well as all equivalent interval order observations. And the thesis will
also show how interval order structures can be modelled by interval traces and how interval
traces can be used to describe interval order semantics. / Thesis / Doctor of Philosophy (PhD)
|
132 |
Boosting for Learning From Imbalanced, Multiclass Data SetsAbouelenien, Mohamed 12 1900 (has links)
In many real-world applications, it is common to have uneven number of examples among multiple classes. The data imbalance, however, usually complicates the learning process, especially for the minority classes, and results in deteriorated performance. Boosting methods were proposed to handle the imbalance problem. These methods need elongated training time and require diversity among the classifiers of the ensemble to achieve improved performance. Additionally, extending the boosting method to handle multi-class data sets is not straightforward. Examples of applications that suffer from imbalanced multi-class data can be found in face recognition, where tens of classes exist, and in capsule endoscopy, which suffers massive imbalance between the classes. This dissertation introduces RegBoost, a new boosting framework to address the imbalanced, multi-class problems. This method applies a weighted stratified sampling technique and incorporates a regularization term that accommodates multi-class data sets and automatically determines the error bound of each base classifier. The regularization parameter penalizes the classifier when it misclassifies instances that were correctly classified in the previous iteration. The parameter additionally reduces the bias towards majority classes. Experiments are conducted using 12 diverse data sets with moderate to high imbalance ratios. The results demonstrate superior performance of the proposed method compared to several state-of-the-art algorithms for imbalanced, multi-class classification problems. More importantly, the sensitivity improvement of the minority classes using RegBoost is accompanied with the improvement of the overall accuracy for all classes. With unpredictability regularization, a diverse group of classifiers are created and the maximum accuracy improvement reaches above 24%. Using stratified undersampling, RegBoost exhibits the best efficiency. The reduction in computational cost is significant reaching above 50%. As the volume of training data increase, the gain of efficiency with the proposed method becomes more significant.
|
133 |
Stratified Arrays of Needle-Type Oxidation Reduction Potential SensorsRadhakrishnan, Praveen Kumar 22 December 2009 (has links)
No description available.
|
134 |
The Lamplighter: Strategic Leaders' Views on LeadershipCarleton, Karen Anne 24 May 2005 (has links)
The vast quantity of leadership literature discusses factors that may contribute to leader development. However, strategic leaders—defined as those individuals in key positions at the organizational apex—are a subsection of the research that deserves more attention. In particular, what sets these leaders apart or enables them to excel is an area of particular interest and is explored in this dissertation. The purpose of this study was to understand the process of leadership development, specifically through the experience and beliefs of successful senior leaders.
The study addressed the following questions:
1. How do strategic leaders for the federal government describe effective leadership?
2. How do they explain the development of effective strategic leadership?
3. How do the described behaviors of strategic leadership compare to the Executive Core Qualifications established for civilian federal government leaders by the Office of Personnel Management?
To answer the research questions, the study employed grounded theory as the primary analytic procedure. The subjects interviewed were from areas of the federal government dealing with national security, predominantly Department of Defense. Both military and civilians subjects participated. Data were analyzed qualitatively and a conceptual model of strategic leadership behavior was developed. Finally, implications and suggestions as to how to foster the development of such capacities are offered.
The findings show, as did earlier behavioral research, that the two aspects of task and relationship are important to successful leaders. In this case, both functioned predominantly in the leaders' behavior, but under the fabric of their contextual experience built on their own self-efficacy and relations with others. It follows that more attention paid to developing self-mastery and strong relationship skills are in order.
Since studies on military leadership vice civilian federal service are more likely, the findings were examined in relation to the established qualifications for senior civilian leaders, revealing a gap. While the qualifications for senior executives are behavior oriented, the research indicates a need for stronger focus on personal development, growth as an individual, and contributions made to the development of others. The relationship aspect of leadership does not receive the proper emphasis. / Ph. D.
|
135 |
The effectiveness of dance movement therapy for individuals with Down syndrome: a pilot randomised controlled trial / ダウン症者に対するダンスムーブメントセラピーの有効性:パイロットランダム化比較試験Takahashi, Hideki 25 March 2024 (has links)
京都大学 / 新制・論文博士 / 博士(人間健康科学) / 乙第13615号 / 論人健博第15号 / 京都大学大学院医学研究科人間健康科学系専攻 / (主査)教授 梁 楠, 教授 黒木 裕士, 教授 松田 秀一 / 学位規則第4条第2項該当 / Doctor of Human Health Sciences / Kyoto University / DFAM
|
136 |
Novel Sound Absorbing Materials Made From Elastomeric Waste: Compounding And Structuring Of Elastomeric Waste Crumb And Fibers With Binders Into Innovative Noise Insulation MaterialsAl-Hilo, Naeem A. January 2018 (has links)
Elastomeric wastes plague our time, polluting our environment and requiring urgent upcycling solutions. This research contributes to this agenda using an important source of waste, car tyre shred fibre residue (TSFR). It is demonstrated how using binders, non-foaming (SBR) and foaming (PU), we can transform these TSFR into structured porous acoustic-thermal insulation materials, suitable as underlay, cavity wall and pipe insulation. These structures were fabricated in purpose designed moulds and characterised for their porosity, tortuosity, flow resistivity and density. Their acoustic absorption performance was measured using industrial standards and the measurement underpinned with the Johnson-Champoux-Allard (JCA) model. With the under-layer materials, thermal insulation was also measured.
The results were as follows: (i) 40%/60% SBR/TSFR was an optimal composition for the underlay with the addition of 15% w/w bumper crumb of size > 1mm enhancing both impact sound and thermal insulation, (ii) PU was found to produce well performing wall cavity insulation, particularly when vacuum pressure was applied, allowing micro and macro pores to be formed; (iii) PU applied with controlled amount of water to control foaming CO2 formation produced super-performing (compared with Armacell System B) stratified pipe cladding insulation, optimal at porosity stratification of 90%, 83%, and 70%; (iv) Very good agreement was observed with predictions using JCA model, allowing further research to be carried out with these now well characterised sound insulations.
In addition to the developing materials, a novel technique for measuring sound absorption of pipe cladding was developed that could replace the expensive standard using a reverberation chamber.
|
137 |
Influence of hardwood, softwoodand fractionated pulp in a stratifiedthree-layered fine paper : Lövved, barrved och fraktionerad massa ochdess inverkan på ett treskiktat finpapperMattison, Mariell January 2006 (has links)
Four different trials of stratified three-layered fine paper, of sulphate pulp, were performed to investigate if stratified fine fraction or fibres from birch can improve the properties of a paper compared to a reference sheet. All trials had five different scenarios and each scenario was calendered with different linear load. All sheets had a grammage of 80 g/m2.In the first trial, the paper contained birch, pine and filler of calciumcarbonate (marble), and was manufactured with the pilot paper machine XPM and the stratified headbox Formator at RCF (Stora Enso Research Center in Falun). The furnish consisted of 75% birch and 25% pine.The second trial contained coated sheets with paper from trial one as the base paper. The coating slip contained calciumcarbonate and clay and the amount was approximately 10-12 g/m2.The third trial, also with birch and pine but without filler, was performed at STFI (Skogsindustrins Tekniska Forskningsinstitut in Stockholm) with the laboratory scaled paper machine StratEx and the stratified headbox AQ-vanes. The furnish consisted of 75% birch and 25% pine, except for one scenario which contained of 75% pine and 25% birch.The last trial contained fractionated pulp of birch and pine and was performed at STFI. 50% was fine fraction and 50% was coarse fraction.This test does not show any clear benefits of making stratified sheets of birch and pine when it comes to properties such as bending stiffness, tensile index and surface smoothness. The retention can be improved with birch in the surface plies. It is possible that the formation can be improved with birch in the surface plies and pine in the middle ply. It is also possible that fine fraction in the surface plies and coarse fraction in the middle ply can improve both surface smoothness and bending stiffness. The results in this test are shown with confidence intervals which points out the difficulties of analysing sheets manufactured with a pilot paper machine or a laboratory scaled paper machine.
|
138 |
Efficient Computation of Electromagnetic Waves in Hydrocarbon Exploration Using the Improved Numerical Mode Matching (NMM) MethodDai, Junwen January 2016 (has links)
<p>In this study, we developed and improved the numerical mode matching (NMM) method which has previously been shown to be a fast and robust semi-analytical solver to investigate the propagation of electromagnetic (EM) waves in an isotropic layered medium. The applicable models, such as cylindrical waveguide, optical fiber, and borehole with earth geological formation, are generally modeled as an axisymmetric structure which is an orthogonal-plano-cylindrically layered (OPCL) medium consisting of materials stratified planarly and layered concentrically in the orthogonal directions.</p><p>In this report, several important improvements have been made to extend applications of this efficient solver to the anisotropic OCPL medium. The formulas for anisotropic media with three different diagonal elements in the cylindrical coordinate system are deduced to expand its application to more general materials. The perfectly matched layer (PML) is incorporated along the radial direction as an absorbing boundary condition (ABC) to make the NMM method more accurate and efficient for wave diffusion problems in unbounded media and applicable to scattering problems with lossless media. We manipulate the weak form of Maxwell's equations and impose the correct boundary conditions at the cylindrical axis to solve the singularity problem which is ignored by all previous researchers. The spectral element method (SEM) is introduced to more efficiently compute the eigenmodes of higher accuracy with less unknowns, achieving a faster mode matching procedure between different horizontal layers. We also prove the relationship of the field between opposite mode indices for different types of excitations, which can reduce the computational time by half. The formulas for computing EM fields excited by an electric or magnetic dipole located at any position with an arbitrary orientation are deduced. And the excitation are generalized to line and surface current sources which can extend the application of NMM to the simulations of controlled source electromagnetic techniques. Numerical simulations have demonstrated the efficiency and accuracy of this method.</p><p>Finally, the improved numerical mode matching (NMM) method is introduced to efficiently compute the electromagnetic response of the induction tool from orthogonal transverse hydraulic fractures in open or cased boreholes in hydrocarbon exploration. The hydraulic fracture is modeled as a slim circular disk which is symmetric with respect to the borehole axis and filled with electrically conductive or magnetic proppant. The NMM solver is first validated by comparing the normalized secondary field with experimental measurements and a commercial software. Then we analyze quantitatively the induction response sensitivity of the fracture with different parameters, such as length, conductivity and permeability of the filled proppant, to evaluate the effectiveness of the induction logging tool for fracture detection and mapping. Casings with different thicknesses, conductivities and permeabilities are modeled together with the fractures in boreholes to investigate their effects for fracture detection. It reveals that the normalized secondary field will not be weakened at low frequencies, ensuring the induction tool is still applicable for fracture detection, though the attenuation of electromagnetic field through the casing is significant. A hybrid approach combining the NMM method and BCGS-FFT solver based integral equation has been proposed to efficiently simulate the open or cased borehole with tilted fractures which is a non-axisymmetric model.</p> / Dissertation
|
139 |
Prise en compte de l'hétérogénéité de la population âgée dans le schéma des essais cliniques de phase II en oncogériatrie / Taking into account the heterogeneity of the elderly population in the design of phase II clinical trials in geriatric oncologyeCabarrou, Bastien 17 April 2019 (has links)
Le cancer du sujet âgé est un réel problème de santé publique. L’incidence du cancer augmentant avec l’âge couplée au vieillissement général de la population font que plus de la moitié des tumeurs diagnostiquées aujourd’hui le sont chez des patients de plus de 65 ans. Cependant, cette population hétérogène a longtemps été exclue des essais cliniques et le manque de données prospectives rend difficile la prise en charge de ces patients. Plusieurs publications soulignent l’importance et la complexité de réaliser des essais cliniques dans cette population. Les schémas classiques ne prenant pas en compte l’hétérogénéité, les essais de phase II spécifiques aux sujets âgés sont rares et généralement stratifiés en sous-groupes définis selon un critère gériatrique ce qui augmente le nombre de patients à inclure et donc diminue la faisabilité. L’objectif de cette thèse est de présenter, comparer et développer des schémas de phase II adaptatifs stratifiés permettant de prendre en compte l’hétérogénéité de la population âgée. L’utilisation de ce type d’approche permet de réduire le nombre de patients à inclure tout en maintenant la puissance statistique et en contrôlant le risque d’erreur de type I. Ce qui implique une diminution du coût et de la durée de l’étude et donc une augmentation de la faisabilité. Afin d’améliorer l’efficacité de la recherche clinique en oncogériatrie, il est donc primordial d’utiliser des schémas adaptatifs stratifiés prenant en compte l’hétérogénéité de la population et permettant d’identifier un sous-groupe d’intérêt susceptible de pouvoir bénéficier (ou non) de la nouvelle thérapeutique. / Elderly cancer is a real public health problem. With the overall aging population and the increased incidence of cancer, more than half of all tumors diagnosed today are in patients aged 65 years or older. However, this heterogeneous population has long been excluded from clinical trials and the lack from prospective data makes it difficult managing these patients. Many publications highlight the importance and the complexity of conducting clinical trials in this population. As classical phase II designs do not take into account the heterogeneity, elderly specific phase II clinical trials are very uncommon and generally conducted in specific subgroups defined by geriatric criteria which increases the number of patients to be included and thus reduces the feasibility. The objective of this thesis is to present, compare and develop stratified adaptive designs that address the heterogeneity of the elderly population. The use of this methodology can minimize the number of patients to be included while maintaining statistical power and controlling the type I error risk. This implies a reduction in the cost and duration of the study and thus increases the feasibility. In order to improve the efficiency of clinical research in geriatric oncology, it is essential to use stratified adaptive designs that take into account the heterogeneity of the population and make it possible to identify a subgroup of interest that might benefit (or not) from the new therapeutic.
|
140 |
Induced Dirac-Schrödinger operators on $S^1$-semi-free quotientsOrduz Barrera, Juan Camilo 22 November 2017 (has links)
John Lott berechnete eine Signatur mit ganzzahligen Werten für den Orbitraum einer kompakten, orientierbaren (4k + 1)-Mannigfaltigkeit mit einer halbfreien S1-Wirkung. Diese Signatur ist eine Homotopieinvariante für den Orbitraum. Allerdings konstruierte er keinen Operator vom Dirac-Typ, der die Signatur als Index besitzt. In dieser Arbeit konstruieren wir einen solchen Operator auf dem Orbitraum der S1-Wirkung, einem Thom-Mather stratifizierten Raum mit einem singulären Stratum von positiver Dimension, und wir zeigen, dass der Operator im wesentlichen eindeutig bestimmt ist. Ferner zeigen wir, dass sein Index mit Lotts Signatur übereinstimmt, zumindest wenn der stratifizierte Raum die sogenannte Witt-Bedingung erfüllt. Wirnennendiesen Operator den induzierten Dirac-Schrödinger Operator. Unsere Konstruktionsstrategie ist es, einen geeigneten S1-invarianten transversal elliptischen Operator erster Ordnung auf den S1-invarianten Differentialformen zu definieren, der den gesuchten Operator auf den Differentialformen des Orbitraums induziert.
Die Witt-Bedingung, eine topologische Bedingung, welche in diesem Fall von der Kodimension der betrachteten Punktmenge abhängt, lässt verschiedene analytische Schlussfolgerungen zu. Insbesondere ist, wenn die Bedingung nicht erfüllt ist, der Hodge-de Rham Operator auf dem Quotientenraum nicht notwendigerweise essentiell selbstadjungiert und die Wahl einer Randbedingung ist daher notwendig. Diese Wahlfreiheit erscheint unnatürlich in Anbetracht der Tatsache, dass Lotts Signatur unabhängig von der Witt-Bedingung wohldefiniert ist.
Der Dirac-Schrödinger Operator, der in dieser Arbeit konstruiert wird, unterschei- det sich vom Hodge-de Rham Operator durch einen Term nullter Ordnung, welcher sicherstellt, dass der Operator wesentlich selbstadjungiert ist. Außerdem antikommutiert dieser Term nullter Ordnung mit der Signatur-Involution, wodurch der gesamte Operator zerfällt und so der Index berechnet werden kann, auch wenn die Witt-Bedingung nicht erfüllt ist. / John Lott has computed an integer-valued signature for the orbit space of a compact orientable (4k + 1) manifold with a semi-free S1-action, which is a homotopy invariant of that space, but he did not construct a Dirac type operator which has this signature as its index. In this Thesis, we construct such operator on the orbit space, a Thom-Mather stratified space with one singular stratum of positive dimension, and we show that it is essentially unique and that its index coincides with Lott’s signature, at least when the stratified space satisfies the so called Witt condition. We call this operator the induced Dirac-Schrödinger operator. The strategy of the construction is to “push down” an appropriate S1-invariant first order transversally elliptic operator to the quotient space. The Witt condition, a topological condition which in this case depends on the codi- mension of the fixed point set, has various analytic consequences. In particular, when not satisfied, the Hodge-de Rham operator on the quotient space does not need to be essentially self-adjoint and therefore a choice of boundary conditions is required. This choice freedom is not natural in view of the fact that Lott’s signature is well defined independently of the Witt condition.
The Dirac-Schrödinger operator constructed in this Thesis differs from the Hodge-de Rham operator by a zero order term which ensures it to be essentially self-adjoint. Moreover, this zero order term anti-commutes with the chirality involution allowing the whole operator to split so that the index can be computed even if the Witt condition is not satisfied.
|
Page generated in 0.5177 seconds