961 resultados para algebraic preservation theorem
Resumo:
This research project strives to help the Iowa Department of Transportation (DOT) fully achieve the full benefits of pavement preservation through training on proper selection, design, and application of pavement preservation treatments. In some cases, there is a lack of training when conducting one of these steps and the objective of applying pavement preservation techniques is compromised. Extensive amounts of literature on pavement preservation exist, but a structured approach on how to train staff in selecting, designing, and applying pavement preservation techniques is lacking. The objective of this project was to develop a training-oriented learning management system to address pavement preservation treatments (chip seals, fog seals, slurry systems, and crack seals and fills) as they are dealt with during the phases of selection, design, and construction. Early in the project, it was critical to identify the staff divisions to be trained and the treatments to be included. Through several meetings with the Iowa DOT, three staff divisions were identified: maintenance staff (in charge of selection), design staff, and construction staff. In addition, the treatments listed above were identified as the focus of the study due to their common use. Through needs analysis questionnaires and meetings, the knowledge gap and training needs of the agency were identified. The training modules developed target the gap from the results of the needs analysis. The concepting (selection) training focuses on providing the tools necessary to help make proper treatment selection. The design training focuses on providing the information necessary on the treatment materials (mostly binders and aggregates) and how to make proper material selection. Finally, the construction training focuses on providing equipment calibration procedures, inspection responsibilities, and images of poor and best practices. The research showed that it is important to train each division staff (maintenance, design, and construction) separately, as each staff division has its own needs and interests. It was also preferred that each treatment was covered on an individual basis. As a result of the research, it is recommended to evaluate the performance of pavement preservation treatments pre- and post-training continuously to compare results and verify the effectiveness of the learning management system.
Resumo:
We prove a characterization of the support of the law of the solution for a stochastic wave equation with two-dimensional space variable, driven by a noise white in time and correlated in space. The result is a consequence of an approximation theorem, in the convergence of probability, for equations obtained by smoothing the random noise. For some particular classes of coefficients, approximation in the Lp-norm for p¿1 is also proved.
Resumo:
The objective of this study was to determine if trehalose can effectively enhance the viability and storage lifetime of Rhizobium tropici and Rhizobium etli after lyophilization as compared to the traditional protective combination of sucrose and peptone. Two strains of bean-nodulating rhizobia were effectively preserved in the lyophilized state by 100 mM trehalose, and survived for at least 12 days, even when stored under non-ideal conditions. Trehalose provided better protection than the sucrose/peptone combination. When protective excipients were introduced inside the cells, strain CFN 42 was more sensitive to the type of additive used than strain CIAT 899, probably because CIAT 899 produces beta (1-2) glucan, which may have a protective effect. beta (1-2) glucan combined with sucrose protected better than trehalose against leakage from freeze-dried liposomes, but by itself it had no protective capability. There was a high level of unfrozen water associated with the hydrated glucan, in addition to a thermal event at approximately 70ºC, corresponding to an observed gel-sol transition in the glucan. These findings may shed light on the mechanism by which the glucan contributes to the protection of dried cells and liposomes, and may lead to further improvements in rhizobial inoculants.
Resumo:
We study the possibility of splitting any bounded analytic function $f$ with singularities in a closed set $E\cup F$ as a sum of two bounded analytic functions with singularities in $E$ and $F$ respectively. We obtain some results under geometric restrictions on the sets $E$ and $F$ and we provide some examples showing the sharpness of the positive results.
Resumo:
The 2014 Iowa Tribal Summit on Cultural Preservation and Transportation was a three day event held in Ames, Iowa, where Tribal officials, transportation officials, and preservation partners sat down to discuss various topics of interest related to consultation under the National Historical Preservation Act. The goal of this Summit was for these groups to discuss and develop effective project consultation. These proceeding provide a summary of the event, as well as recommendations for how to approach similar events in the future. In sum, 13 tribal officials, 16 transportation officials, 10 preservation partners, and two moderators attended all parts of the Summit. The 2014 Summit was a successful event when assessed in terms of group participation and attendee feedback. However, all attendees agree that events such as this Summit are most effective when they occur on a somewhat regular basis, where consulting parties can have regular dialog and interaction regarding all aspects of consultation under the National Historical Preservation Act. Recommendations offered herein can be applied to various consultation situations. -- Summary, page iii
Resumo:
Report on the Historic Preservation and Cultural and Entertainment District Tax Credit program administered by the State Historic Preservation Office within the State Historical Society of Iowa, a division of the Department of Cultural Affairs, for the period July 1, 2000 through June 30, 2013
Resumo:
Contingut del Pòster presentat al congrés New Trends in Dynamical Systems
Resumo:
Computer simulations of the dynamics of a colloidal particle suspended in a fluid confined by an interface show that the asymptotic decay of the velocity correlation functions is algebraic. The exponents of the long-time tails depend on the direction of motion of the particle relative to the surface, as well as on the specific nature of the boundary conditions. In particular, we find that for the angular velocity correlation function, the decay in the presence of a slip surface is faster than the one corresponding to a stick one. An intuitive picture is introduced to explain the various long-time tails, and the simulations are compared with theoretical expressions where available.
Resumo:
We study the preservation of the periodic orbits of an A-monotone tree map f:T→T in the class of all tree maps g:S→S having a cycle with the same pattern as A. We prove that there is a period-preserving injective map from the set of (almost all) periodic orbits of ƒ into the set of periodic orbits of each map in the class. Moreover, the relative positions of the corresponding orbits in the trees T and S (which need not be homeomorphic) are essentially preserved
Resumo:
Linear spaces consisting of σ-finite probability measures and infinite measures (improper priors and likelihood functions) are defined. The commutative group operation, called perturbation, is the updating given by Bayes theorem; the inverse operation is the Radon-Nikodym derivative. Bayes spaces of measures are sets of classes of proportional measures. In this framework, basic notions of mathematical statistics get a simple algebraic interpretation. For example, exponential families appear as affine subspaces with their sufficient statistics as a basis. Bayesian statistics, in particular some well-known properties of conjugated priors and likelihood functions, are revisited and slightly extended
Resumo:
Due to constant progress in oncology, survival rates of patients (children and adults) with cancer are increasing. Consequently, the reproductive future of young cancer patients needs to be addressed carefully. Fertility preservation techniques are available and issues such as the time available for fertility treatments, patients' age, presence of a partner and patients' personal wishes have to be considered. In Switzerland, a first therapeutic network (Réseau Romand de Cancer et Fertilité), was created in the French speaking part of Switzerland in 2006. Since 2010, a global Swiss network (FertiSave) has been created. The goal of these networks is to maximise the safety and efficacy of fertility preservation options offered to cancer patients without compromising their oncological prognosis. Patients' needs have to be identified, the therapeutic options evaluated rapidly and the optimal treatment promptly implemented in these urgent situations. This article reviews the fertility preservation options currently available and makes recommendations for different specific cancer situations, consistent with the latest scientific evidence and in general agreement with international recommendations.
Resumo:
We study the impact of sampling theorems on the fidelity of sparse image reconstruction on the sphere. We discuss how a reduction in the number of samples required to represent all information content of a band-limited signal acts to improve the fidelity of sparse image reconstruction, through both the dimensionality and sparsity of signals. To demonstrate this result, we consider a simple inpainting problem on the sphere and consider images sparse in the magnitude of their gradient. We develop a framework for total variation inpainting on the sphere, including fast methods to render the inpainting problem computationally feasible at high resolution. Recently a new sampling theorem on the sphere was developed, reducing the required number of samples by a factor of two for equiangular sampling schemes. Through numerical simulations, we verify the enhanced fidelity of sparse image reconstruction due to the more efficient sampling of the sphere provided by the new sampling theorem.
Resumo:
La hiérarchie de Wagner constitue à ce jour la plus fine classification des langages ω-réguliers. Par ailleurs, l'approche algébrique de la théorie de langages formels montre que ces ensembles ω-réguliers correspondent précisément aux langages reconnaissables par des ω-semigroupes finis pointés. Ce travail s'inscrit dans ce contexte en fournissant une description complète de la contrepartie algébrique de la hiérarchie de Wagner, et ce par le biais de la théorie descriptive des jeux de Wadge. Plus précisément, nous montrons d'abord que le degré de Wagner d'un langage ω-régulier est effectivement un invariant syntaxique. Nous définissons ensuite une relation de réduction entre ω-semigroupes pointés par le biais d'un jeu infini de type Wadge. La collection de ces structures algébriques ordonnée par cette relation apparaît alors comme étant isomorphe à la hiérarchie de Wagner, soit un quasi bon ordre décidable de largeur 2 et de hauteur ω. Nous exposons par la suite une procédure de décidabilité de cette hiérarchie algébrique : on décrit une représentation graphique des ω-semigroupes finis pointés, puis un algorithme sur ces structures graphiques qui calcule le degré de Wagner de n'importe quel élément. Ainsi le degré de Wagner de tout langage ω-régulier peut être calculé de manière effective directement sur son image syntaxique. Nous montrons ensuite comment construire directement et inductivement une structure de n''importe quel degré. Nous terminons par une description détaillée des invariants algébriques qui caractérisent tous les degrés de cette hiérarchie. Abstract The Wagner hierarchy is known so far to be the most refined topological classification of ω-rational languages. Also, the algebraic study of formal languages shows that these ω-rational sets correspond precisely to the languages recognizable by finite pointed ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first show that the Wagner degree is indeed a syntactic invariant. We then define a reduction relation on finite pointed ω-semigroups by means of a Wadge-like infinite two-player game. The collection of these algebraic structures ordered by this reduction is then proven to be isomorphic to the Wagner hierarchy, namely a well-founded and decidable partial ordering of width 2 and height $\omega^\omega$. We also describe a decidability procedure of this hierarchy: we introduce a graph representation of finite pointed ω-semigroups allowing to compute their precise Wagner degrees. The Wagner degree of every ω-rational language can therefore be computed directly on its syntactic image. We then show how to build a finite pointed ω-semigroup of any given Wagner degree. We finally describe the algebraic invariants characterizing every Wagner degree of this hierarchy.