High strain rate constitutive modeling forhistorical structures subjected to blast loading

Doctoral Thesis Civil Engineering

Singularities of the dynamical structure factors of the spin-1/2 XXX chain at finite magnetic field

We study the longitudinal and transverse spin dynamical structure factors of the spin-1/2 XXX chain at finite magnetic field h, focusing in particular on the singularities at excitation energies in the vicinity of the lower thresholds. While the static properties of the model can be studied within a Fermi-liquid like description in terms of pseudoparticles, our derivation of the dynamical properties relies on the introduction of a form of the ‘pseudofermion dynamical theory’ (PDT) of the 1D Hubbard model suitably modified for the spin-only XXX chain and other models with two pseudoparticle Fermi points. Specifically, we derive the exact momentum and spin-density dependences of the exponents ζτ(k) controlling the singularities for both the longitudinal  and transverse (τ = t) dynamical structure factors for the whole momentum range  , in the thermodynamic limit. This requires the numerical solution of the integral equations that define the phase shifts in these exponents expressions. We discuss the relation to neutron scattering and suggest new experiments on spin-chain compounds using a carefully oriented crystal to test our predictions.

Vanishing spin stiffness in the spin-1/2 Heisenberg chain for any nonzero temperature

Whether at the zero spin density m = 0 and finite temperatures T > 0 the spin stiffness of the spin-1/2 XXX chain is finite or vanishes remains an unsolved and controversial issue, as different approaches yield contradictory results. Here we explicitly compute the stiffness at m = 0 and find strong evidence that it vanishes. In particular, we derive an upper bound on the stiffness within a canonical ensemble at any fixed value of spin density m that is proportional to m2L in the thermodynamic limit of chain length L → ∞, for any finite, nonzero temperature, which implies the absence of ballistic transport for T > 0 for m = 0. Although our method relies in part on the thermodynamic Bethe ansatz (TBA), it does not evaluate the stiffness through the second derivative of the TBA energy eigenvalues relative to a uniform vector potential. Moreover, we provide strong evidence that in the thermodynamic limit the upper bounds on the spin current and stiffness used in our derivation remain valid under string deviations. Our results also provide strong evidence that in the thermodynamic limit the TBA method used by X. Zotos [Phys. Rev. Lett. 82, 1764 (1999)] leads to the exact stiffness values at finite temperature T > 0 for models whose stiffness is finite at T = 0, similar to the spin stiffness of the spin-1/2 Heisenberg chain but unlike the charge stiffness of the half-filled 1D Hubbard model.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Comparing heritage speakers and late L2-learners of European Portuguese: verb movement, VP ellipsis and adverb placement

This study compares the performance of Portuguese-German heritage children and adult L2 speakers of European Portuguese whose L1 is German with respect to two aspects of grammar, adverb placement and VP-ellipsis, which depend on a core syntactic property of the language, verb movement. The results show that both groups have acquired V-to-I and adverb placement, showing no influence of a V2 grammar. Performance in the VP-ellipsis task is more complex: heritage children produce VP-ellipsis at the level of controls, as opposed to L2 speakers; however, both L2 and heritage speakers show that crosslinguistic influence may produce a preference for pronoun substitution over VP-ellipsis in a task asking for redundancy resolution. Nevertheless, given that overall results show that heritage children perform at the level of L1 children, we take our results to support approaches to heritage bilingualism which suggest the development of an intact grammar in childhood.

Verkehrswertermittlung von Industrieimmobilien unter besonderer Betrachtung des Bodenwertes

Setting: There exists very little supportive valuation literature for the valuation of industrial properties and the present state of research is capable of improvement. Objective: A critical examination of the procedure for the determination of the market value of industrial properties in accordance with § 194 Building Code will be made on the basis of the relevant valuation literature. Based on using standard valuation practices there should be a ground value derived for an industrial estate. Conclusion: When valuing industrial properties economic use is crucial, therefore the income approach is applied in order to attain the market value of the property. Difficulties which may arise include customary approaches for rent, property management costs and interest rates. Based on a Germany-wide cross-comparison with other automobile-producing properties a plausible range for the derivation of the groundvalue was determined. At the time of submission, the determination of the ground value by the expert Committee was unfinished.

Stability and asymptotic analysis of a fluid-particle interaction model

We are interested in coupled microscopic/macroscopic models describing the evolution of particles dispersed in a fluid. The system consists in a Vlasov-Fokker-Planck equation to describe the microscopic motion of the particles coupled to the Euler equations for a compressible fluid. We investigate dissipative quantities, equilibria and their stability properties and the role of external forces. We also study some asymptotic problems, their equilibria and stability and the derivation of macroscopic two-phase models.

On the applicability of mathematics : philosophical and historical perspectives

The present thesis is a contribution to the debate on the applicability of mathematics; it examines the interplay between mathematics and the world, using historical case studies. The first part of the thesis consists of four small case studies. In chapter 1, I criticize "ante rem structuralism", proposed by Stewart Shapiro, by showing that his so-called "finite cardinal structures" are in conflict with mathematical practice. In chapter 2, I discuss Leonhard Euler's solution to the Königsberg bridges problem. I propose interpreting Euler's solution both as an explanation within mathematics and as a scientific explanation. I put the insights from the historical case to work against recent philosophical accounts of the Königsberg case. In chapter 3, I analyze the predator-prey model, proposed by Lotka and Volterra. I extract some interesting philosophical lessons from Volterra's original account of the model, such as: Volterra's remarks on mathematical methodology; the relation between mathematics and idealization in the construction of the model; some relevant details in the derivation of the Third Law, and; notions of intervention that are motivated by one of Volterra's main mathematical tools, phase spaces. In chapter 4, I discuss scientific and mathematical attempts to explain the structure of the bee's honeycomb. In the first part, I discuss a candidate explanation, based on the mathematical Honeycomb Conjecture, presented in Lyon and Colyvan (2008). I argue that this explanation is not scientifically adequate. In the second part, I discuss other mathematical, physical and biological studies that could contribute to an explanation of the bee's honeycomb. The upshot is that most of the relevant mathematics is not yet sufficiently understood, and there is also an ongoing debate as to the biological details of the construction of the bee's honeycomb. The second part of the thesis is a bigger case study from physics: the genesis of GR. Chapter 5 is a short introduction to the history, physics and mathematics that is relevant to the genesis of general relativity (GR). Chapter 6 discusses the historical question as to what Marcel Grossmann contributed to the genesis of GR. I will examine the so-called "Entwurf" paper, an important joint publication by Einstein and Grossmann, containing the first tensorial formulation of GR. By comparing Grossmann's part with the mathematical theories he used, we can gain a better understanding of what is involved in the first steps of assimilating a mathematical theory to a physical question. In chapter 7, I introduce, and discuss, a recent account of the applicability of mathematics to the world, the Inferential Conception (IC), proposed by Bueno and Colyvan (2011). I give a short exposition of the IC, offer some critical remarks on the account, discuss potential philosophical objections, and I propose some extensions of the IC. In chapter 8, I put the Inferential Conception (IC) to work in the historical case study: the genesis of GR. I analyze three historical episodes, using the conceptual apparatus provided by the IC. In episode one, I investigate how the starting point of the application process, the "assumed structure", is chosen. Then I analyze two small application cycles that led to revisions of the initial assumed structure. In episode two, I examine how the application of "new" mathematics - the application of the Absolute Differential Calculus (ADC) to gravitational theory - meshes with the IC. In episode three, I take a closer look at two of Einstein's failed attempts to find a suitable differential operator for the field equations, and apply the conceptual tools provided by the IC so as to better understand why he erroneously rejected both the Ricci tensor and the November tensor in the Zurich Notebook.

On square permutations

Severini and Mansour introduced in [4]square polygons, as graphical representations of square permutations, that is, permutations such that all entries are records (left or right, minimum or maximum), and they obtained a nice formula for their number. In this paper we give a recursive construction for this class of permutations, that allows to simplify the derivation of their formula and to enumerate the subclass of square permutations with a simple record polygon. We also show that the generating function of these permutations with respect to the number of records of each type is algebraic, answering a question of Wilf in a particular case.

Median Independent Inequality Orderings

To date, inequality orderings for ordered response data are only suitable for comparing distributions that share a common median state. In this paper we propose a methodology for comparing distributions irrespective of their medians. We set out to do so by introducing a general pre-ordering and equivalence relation defined over distributions with different median responses, leading us naturally to derive a partial ordering over equivalence classes. We then discuss the implications of our results for the axiomatic derivation of inequality indices for ordered response data.

North Sea Oil and Genuine Saving in the Scottish Economy

The World Bank has published estimates of sustainability of consumption paths by adjusting saving rates to take account of the depletion of non-renewable resources. During the period of North Sea oil production Scotland has been in a fiscal union with the rest of the UK. The present paper adjusts the World Bank data to produce separate genuine saving estimates for Scotland and the rest of the UK for 1970-2009, based on a ‘derivation’ principle for oil revenues. The calculations indicate that Scotland has had a negative genuine saving rate for most of the period of exploitation of North Sea oil resources, with genuine saving being positive in the rest of the UK during this period.

North Sea Oil and Genuine Saving in the Scottish Economy

The World Bank has published estimates of sustainability of consumption paths by adjusting saving rates to take account of the depletion of non-renewable resources. During the period of North Sea oil production Scotland has been in a fiscal union with the rest of the UK. The present paper adjusts the World Bank data to produce separate genuine saving estimates for Scotland and the rest of the UK for 1970-2009, based on a ‘derivation’ principle for oil revenues. The calculations indicate that Scotland has had a negative genuine saving rate for most of the period of exploitation of North Sea oil resources, with genuine saving being positive in the rest of the UK during this period.

Detecting and measuring deprivation in primary care: development, reliability and validity of a self-reported questionnaire: the DiPCare-Q.

OBJECTIVES: Advances in biopsychosocial science have underlined the importance of taking social history and life course perspective into consideration in primary care. For both clinical and research purposes, this study aims to develop and validate a standardised instrument measuring both material and social deprivation at an individual level. METHODS: We identified relevant potential questions regarding deprivation using a systematic review, structured interviews, focus group interviews and a think-aloud approach. Item response theory analysis was then used to reduce the length of the 38-item questionnaire and derive the deprivation in primary care questionnaire (DiPCare-Q) index using data obtained from a random sample of 200 patients during their planned visits to an ambulatory general internal medicine clinic. Patients completed the questionnaire a second time over the phone 3 days later to enable us to assess reliability. Content validity of the DiPCare-Q was then assessed by 17 general practitioners. Psychometric properties and validity of the final instrument were investigated in a second set of patients. The DiPCare-Q was administered to a random sample of 1898 patients attending one of 47 different private primary care practices in western Switzerland along with questions on subjective social status, education, source of income, welfare status and subjective poverty. RESULTS: Deprivation was defined in three distinct dimensions: material (eight items), social (five items) and health deprivation (three items). Item consistency was high in both the derivation (Kuder-Richardson Formula 20 (KR20) =0.827) and the validation set (KR20 =0.778). The DiPCare-Q index was reliable (interclass correlation coefficients=0.847) and was correlated to subjective social status (r(s)=-0.539). CONCLUSION: The DiPCare-Q is a rapid, reliable and validated instrument that may prove useful for measuring both material and social deprivation in primary care.

Paraphrasing : scope and typology : a computational approach

This PhD project aims to study paraphrasing, initially understood as the different ways in which the same content is expressed linguistically. We will go into that concept in depth trying to define and delimit its scope more accurately. In that sense, we also aim to discover which kind of structures and phenomena it covers. Although there exist some paraphrasing typologies, the great majority of them only apply to English, and focus on lexical and syntactic transformations. Our intention is to go further into this subject and propose a paraphrasing typology for Spanish and Catalan combining lexical, syntactic, semantic and pragmatic knowledge. We apply a bottom-up methodology trying to collect evidence of this phenomenon from the data. For this purpose, we are initially using the Spanish Wikipedia as our corpus. The internal structure of this encyclopedia makes it a good resource for extracting paraphrasing examples for our investigation. This empirical approach will be complemented with the use of linguistic knowledge, and by comparing and contrasting our results to previously proposed paraphrasing typologies in order to enlarge the possible paraphrasing forms found in our corpus. The fact that the same content can be expressed in many different ways presents a major challenge for Natural Language Processing (NLP) applications. Thus, research on paraphrasing has recently been attracting increasing attention in the fields of NLP and Computational Linguistics. The results obtained in this investigation would be of great interest in many of these applications.

Análisis comparativo de tres técnicas de derivación de células madre

Las células madre embrionarias (Embryonic Stem Cells; ESC) son células pluripotentes que presentan la capacidad de dividirse indefinidamente a la vez que mantienen la habilidad para diferenciarse a cualquier tipo celular. Aunque de manera rutinaria se derivan a partir de la masa celular interna de embriones en estadio de blastocisto, también pueden derivarse a partir de embriones en estadios precompactacionales y de embriones reconstruidos por procesos de transferencia nuclear. Debido a que durante el desarrollo embrionario temprano, momento en el que se derivan las ESC, tienen lugar profundos cambios de metilación en el genoma, tanto la derivación como el cultivo se consagran como técnicas que pueden alterar los patrones de metilación en genes regulados por impronta genómica. Con el objetivo de analizar la estabilidad epigenética de embriones preimplantacionales y ESC murinas, en este trabajo se ha optimizado un protocolo de anàlisis de los niveles de metilación mediante pirosecuenciación. Para ello se han seleccionado tres genes regulados por impronta genómica (H19/Igf2, Snrpn and Peg3), dos genes relacionados con el mantenimiento de pluripotencia en ESC (Oct4, Nanog y Sox2) y dos genes marcadores de diferenciación temprana (Cdx2 y Gata6). Nuestros resultados muestran que algunos grupos de embriones preimplantacionales presentan una hipo e hipermetilación en las regiones diferencialmente metiladas (Differentially Methylated Regions, DMRs) de los genes Snrpn y Peg3. Además, la línea de ESC analizada presentó anomalías en los tres genes regulados por impronta genómica. No obstante, el hecho de que esta línea fuera inestable a nivel cariotípico no permite establecer una relación entre el cultivo in vitro o la técnica de derivación y la inestabilidad epigenética demostrada. Por todo esto, parece pertinente analizar tanto la integridad epigenética como la estabilidad cromosómica de ESC antes de proceder a realizar ensayos clínicos en humanos.