Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

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.

Methylation at the CpG island shore region upregulates Nr3c1 promoter activity after early-life stress

Early-life stress (ELS) induces long-lasting changes in gene expression conferring an increased risk for the development of stress-related mental disorders. Glucocorticoid receptors (GR) mediate the negative feedback actions of glucocorticoids (GC) in the paraventricular nucleus (PVN) of the hypothalamus and anterior pituitary and therefore play a key role in the regulation of the hypothalamic-pituitary-adrenal (HPA) axis and the endocrine response to stress. We here show that ELS programs the expression of the GR gene (Nr3c1) by site-specific hypermethylation at the CpG island (CGI) shore in hypothalamic neurons that produce corticotropin-releasing hormone (Crh), thus preventing Crh upregulation under conditions of chronic stress. CpGs mapping to the Nr3c1 CGI shore region are dynamically regulated by ELS and underpin methylation-sensitive control of this region's insulation-like function via Ying Yang 1 (YY1) binding. Our results provide new insight into how a genomic element integrates experience-dependent epigenetic programming of the composite proximal Nr3c1 promoter, and assigns an insulating role to the CGI shore.

Factoriality and the pin-reutenauer procedure

We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. We prove that, under relatively simple hypotheses on a pseudovariety V of semigroups, the finitely generated free algebra for the largest such signature is closed under taking factors within the free pro-V semigroup on the same set of generators. Furthermore, we show that the natural analogue of the Pin-Reutenauer descriptive procedure for the closure of a rational language in the free group with respect to the profinite topology holds for the pseudovariety of all finite semigroups. As an application, we establish that a pseudovariety enjoys this property if and only if it is full.

Búsqueda e identificación de polimorfismos en genes asociados con una efectividad farmacológica disminuida. Caracterización molecular, hallazgos bioquímicos y clínicos y su respectiva correlación con la respuesta farmacológica en el tratamiento de enfermedades crónicas e infecciosas.

En medicina, es frecuente encontrar diferencias en la respuesta de una misma droga en distintos individuos. Algunos factores que contribuyen con esta respuesta diferencial incluyen variables como edad, biodisponilidad y absorción gastro-intestinal de los medicamentos, interacción entre fármacos, hábitos alimentarios y factores genéticos. Dentro de los factores genéticos, encontramos polimorfismos genéticos que afectan la absorción, el metabolismo y el transporte de fármacos, como así también receptores de los mismos y/o, la interacción con otros genes. Algunos polimorfismos genéticos que contribuyen a una respuesta farmacológica disminuida han sido descriptos en patologías como, la hipercolesterolemia, artritis reumatoidea, cáncer, diabetes, hipertensión arterial, esquizofrenia, asma, hepatitis C y SIDA, entre otras. Nuestro estudio pretende: I) Identificar polimorfismos en genes que codifican para enzimas metabolizadoras de fármacos, para canales iónicos y, para receptores de fármacos (como por ejemplo polimorfismos en el receptor beta 2 adrenérgico en pacientes tratados con salbutamol que presentan bronquiolitis). II) Identificar la presencia de un polimorfismo en el gen CES 1 que codifica para la enzima carboxilesterasa 1 (en una población hospitalaria), que participa en la activación de la prodroga oseltamivir utilizada en el tratamiento de la Gripe A (H1N1). Los resultados obtenidos podrán ser de gran utilidad en el tratamiento médico, ya que permitirá optimizar el uso de fármacos, disminuir los efectos secundarios causados por los mismos, y proponer el empleo de otros fármacos.

Rolle der Phospholipase D2 in der agonisten-induzierten Endozytose von Opioid Rezeptoren

Phospholipase D2, delta-opioid receptor, mu-opioid recepter, endocytosis

Faces em zona e índices harmônicos

Em uma zona cristalográfica podem ocorrer símbolos de faces, cujos índices de Miller, colocados em determinada ordem, formam aquilo que, em algebra, se conhece sob a designação de "série harmônica". Este trabalho mostra como tal possibilidade pode ser pesquisada.

Bestimmung kortikaler Dicke mit räumlich hoch- und ultra-hochaufgelöster MRT bei 7 Tesla

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2014

Sammlung von Ressourcen für ein E-Learning-Modul zur Terminologielehre und Terminologieverwaltung

Im Rahmen dieser vorliegenden Arbeit wurde im Internet nach Ressourcen für ein E-Learnind-Modul "Terminologielehre und Terminologieverwaltung" rechercheiert. In der Arbeit werden 19 Ressourcen nach Arten von z. B. elektronischen Büchern, online Präsentationen, Tutorial-Filmen, Online-Glossaren oder Software-Anwendungen für Terminologieverwaltung gesammelt. Das Ziel dieser Arbeit ist es, dass Menschen, die sich eine Grundkompetenz in der Terminologielehre und Terminologieverwaltung aneignen wollen, mit den Materialien lernen und üben können. Einige Socftwareanwendungen werden vorgestellt, mit denen man selbst Terminologiebestände bearbeiten oder Terminologiedatenbanken erstellen kann.

Mathematische Grundlagen der robusten Implementierung von Vektoroperationen

Eine Vektoroperation ist die Berechnung von Vektoren. Zum Beispiel Addition, Subtraktion und skalares Produkt. Die Vektoroperation wird meistens für die Berechnung von Signalen, z.B. Faltung verwendet. Ein Programm ist für die Operationen entworfen worden. Mit welchen Methoden kann eine Vektoroperation mit vielen Elementen einfach sein und wie kann die Robustheit des Programms stabil sein? Diese Probleme sollen in dieser Arbeit untersucht und gelöst werden. Hierfür wurde die sichere Programmiersprache SPARK2014 gewählt, um die Robustheit des Programms realisieren zu können. Und das wichtigste Werkzeug, die Vor- und Nachbedingung von SPARK2014, wurde verwendet. Für das Programm ist ein mathematisches Konzept wichtig, es ist die Basis der dynamischen Programmierung. Am Anfang wurden mögliche Vor- und Nachbedingungen geschrieben. Anschließend durch mathematische Kenntnisse ,Notwendig und Hinreichende Bedingung‘ wurden die repräsentativen Vorbedingungen gewählt und die Reihenfolge der Vorgehensweise festgelegt. Danach wurde die Methode durch mathematische Kenntnisse nachgewiesen. Zum Schluss wurden die entworfenen Vor- und Nachbedingungen durch die mathematischen Beispiele getestet.

Florescimento e produção de sementes de cenoura (Daucus cavota L.) sob a influência do ácido giberélico

Foi conduzido um experimento no Campo Experimental da Escola Superior de Agricultura "Luiz de Queiroz", em Piracicaba, SP, com a finalidade de se avaliar a influência do ácido giberélico (GA3) na indução do florescimento e produção de sementes de cenoura (Daucus cavota L.) cultivar Denver, do grupo Nantes. Utilizou-se dos seguintes tratamentos: 0, 50, 100 e 150 ppm de ácido giberélico, e para cada dosagem, aplicações de 1, 3 e 6 vezes consecutivas, espaçadas de 7 dias, iniciando-se a primeira aplicação quando o sistema radicular principal apresentava aproximadamente 1 centímetro de diâmetro. Os resultados permitiram concluir que, o ácido giberélico mesmo em doses pequenas pode substituir o frio na indução floral e produção de sementes de cenoura; e que a melhor concentração de ácido giberélico para a produção de sementes de cenoura "Denver" foi a de 100 ppm. Concentrações maiores induziram a formação de plantas com crescimento vegetativo excessivo, embora houvesse florescimento.

RECASTING THE ELLIOTT CONJECTURE

Let A be a simple, unital, finite, and exact C*-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup which is obtained from the Elliott invariant in a functorial manner. We conjecture that this embedding is an isomor phism, and prove the conjecture in several cases. In these same cases - Z-stable algebras all - we prove that the Elliott conjecture in its strongest form is equivalent to a conjecture which appears much weaker. Outside the class of Z-stable C*-algebras, this weaker conjecture has no known counterexamples, and it is plausible that none exist. Thus, we reconcile the still intact principle of Elliott's classification conjecture -that K-theoretic invariants will classify separable and nuclear C*-algebras- with the recent appearance of counterexamples to its strongest concrete form.

Real rank zero algebras have the corona factorization property

The purpose of this short note is to prove that a stable separable C*-algebra with real rank zero has the so-called corona factorization property, that is, all the full multiplier projections are properly in finite. Enroute to our result, we consider conditions under which a real rank zero C*-algebra admits an injection of the compact operators (a question already considered in [21]).

Chain conditions for Leavitt path algebras

In this paper, results known about the artinian and noetherian conditions for the Leavitt path algebras of graphs with finitely many vertices are extended to all row-finite graphs. In our first main result, necessary and sufficient conditions on a row-finite graph E are given so that the corresponding (not necessarily unital) Leavitt path K-algebra L(E) is semisimple. These are precisely the algebras L(E)for which every corner is left (equivalently, right)artinian. They are also precisely the algebras L(E) for which every finitely generated left (equivalently, right) L(E)-module is artinian. In our second main result, we give necessary and sufficient conditions for every corner of L(E) to be left (equivalently, right) noetherian. They also turn out to be precisely those algebras L(E) for which every finitely generated left(equivalently, right) L(E)-module is noetherian. In both situations, isomorphisms between these algebras and appropriate direct sums of matrix rings over K or K[x, x−1] are provided. Likewise, in both situations, equivalent graph theoretic conditions on E are presented.