Computation of locally free class groups

We show that the locally free class group of an order in a semisimple algebra over a number field is isomorphic to a certain ray class group. This description is then used to present an algorithm that computes the locally free class group. The algorithm is implemented in MAGMA for the case where the algebra is a group ring over the rational numbers.

On Alternating Non-Context-Free Grammars

We study several extensions of the notion of alternation from context-free grammars to context-sensitive and arbitrary phrase-structure grammars. Thereby new grammatical characterizations are obtained for the class of languages that are accepted by alternating pushdown automata.

Computing Generators of Free Modules over Orders in Group Algebras

Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case that the Wedderburn decomposition E[G] \cong \oplus_xM_x is explicitly computable and each M_x is in fact a matrix ring over a field, this leads to an algorithm that either gives elements \alpha_1,...,\alpha_d \in X such that X = A\alpha_1 \oplus ... \oplusA\alpha_d or determines that no such elements exist. Let L/K be a finite Galois extension of number fields with Galois group G such that E is a subfield of K and put d = [K : E]. The algorithm can be applied to certain Galois modules that arise naturally in this situation. For example, one can take X to be O_L, the ring of algebraic integers of L, and A to be the associated order A(E[G];O_L) \subseteq E[G]. The application of the algorithm to this special situation is implemented in Magma under certain extra hypotheses when K = E = \IQ.

Hyperfine structure and isotopic shift of the n^2 P_J levels (n = 7-10) of ^203,205 TI measured by Doppler-free two-photon spectroscopy

Using Doppler-free two-photon absorption spectroscopy, we have measured hyperfine splitting constants as well as isotopic level shifts of the 6s^2 np ^2 P_l/2,3/2 states in (n=7-10) in ^203 TI and ^205 TI. Calculations for hyperfine constants and electron density at the nucleus have been performed by the Dirac-Fock method. The experimental results are compared with these calculations as well as with the predictions of the semiempirical theory.

Dress- and Auto- Makers in the “Free Trade” Arena

Even though there have been many studies on the impact of trade liberalisation on labour standards, most of the studies are at national level, and there is a lack of research at industry level. This paper examines the impact of free trade on labour standards in capital- and labour-intensive industries in a developing country. For empirical findings, I take the case of the garment industry, representing labour-intensive industry, and automotive industry, representing capital-intensive industry, in Indonesia in the face of ASEAN Free Trade Area (AFTA). Since the garment industry is a women-dominated industry, while the automotive industry is a men-dominated industry, this paper also employs a feminist perspective. As such, this paper also investigates whether free trade equally affects men and women workers. Besides free trade, other independent variables are also taken into account. Employing quantitative and qualitative methods, empirical evidence shows that there is an indication that free trade has a negative relationship with labour standards in the garment industry, whereas a positive relationships with labour standards in the automotive industry. This implies that free trade might result in decreasing labour standards in labour-intensive industry, while increasing standards in capital-intensive industry. It can also be inferred that free trade unequally affect men and women workers, in that women workers bear the brunt of free trade. The results also show that other internal and external independent variables are indicated to have relationships with labour standards in the garment and automotive industries. Therefore, these variables need to be considered in examining the extent of the impact of free trade on labour standards in labour- and capital-intensive industries.

Untersuchung zum Phosphorylierungsstatus der katalytischen Untereinheit der PKA mittels proteomischer Techniken

ZUSAMMENFASSUNG: Das Phosphorylierungsmuster eines Proteins ist kein statischer Zustand, sondern vielmehr ein dynamischer Status, den es in der modernen funktionellen (Phospho-) Proteomik und Analytik abzubilden gilt. Klassischerweise erfolgt der Nachweis der Proteinphosphorylierung auf Peptid-Ebene mittels MS/MS Sequenzierung. Diese Standardmethode der shotgun Phosphoproteomanalytik vernachlässigt jedoch wegen den in LC MS/MS Analysen oftmals schwer detektierbaren Phosphopeptiden gerade den variablen und oftmals nur geringen Phosphorylierungsgrad vieler Phosphorylierungsstellen (P-Stellen). Mittels phosphospezifischer Anreicherungsstrategien und MS/MS Sequenzierung konnten an der Modellkinase PKA-Cα nach rekombinanter Expression in E. coli insgesamt acht P-Stellen identifiziert werden. Der Phosphorylierungsgrad wurde in Kooperation mit Dr. J. Seidler über quantitative Signalintensitätsmessungen bestimmt und zeigte eine nahezu vollständige Phosphorylierung von pS10, pS139, pT197 und pS338, während der Phosphorylierungsgrad für pS34, pS53, pS65 und pS259 zwischen <5 und 45 % variierte. Neben der Quantifizierung der P-Stellen wurde auch das Auftreten und die Verteilung definierter Phosphoformen der PKA-Cα untersucht und deren Abhängigkeit von der primären Aminosäureabfolge, dem Auftreten von zusätzlichen Modifikationen sowie den gewählten Expressions- und Reinigungsbedingungen aufgezeigt. Endogene, aus Säugergewebe isolierte PKA-Cα wies nur eine einzige Phosphoform mit den P-Stellen pT197 und pS338 auf. Auch in vitro autophosphorylierte rekombinante PKA-Cα, die zuvor dephosphoryliert worden war, wies eine zweifach modifizierte Phosphoform auf. Im Vergleich zum endogenen Protein ließ sich dieses Protein an S10 und S338 exzessiv phosphorylieren, wohingegen an T197 keine Autophosphorylierung nachzuweisen war. Das Ausbleiben weiterer Phosphorylierungen stellt in Frage, ob die Hyperphosphorylierung in E. coli ausschließlich auf Autophosphorylierungsprozessen beruht, was anhand einer nicht phosphorylierten, katalytisch inaktiven Variante von PKA-Cα (PKA-Cα K72H) vermutet wurde. Im Hinblick auf die funktionellen P-Stellen pT197 und pS338 erfordert diese Entdeckung sowie der unabhängige Nachweis, dass zellfrei exprimierte PKA-Cα nur an S338 phosphoryliert ist, eine Modifizierung des sequenziellen Vorhersagemodells, wonach die Phosphorylierung an T197 eine zwingende Voraussetzung für die nachfolgende Phosphorylierung an S338 ist. Ferner konnte über phosphomimetische Mutagenese die Funktionalität der Phosphorylierung an S53 innerhalb der glycinreichen Schleife der PKA-Cα und somit ein potenzieller Weg zur Regulation der enzymatischen Aktivität gezeigt werden. Ein weiterer möglicher upstream Regulator von PKA-Cα ist die Proteinphosphatase 5, die in der Lage war, die bislang als phosphatasestabil beschriebene P Stelle pT197 in vitro zu dephosphorylieren. Die vorliegende Arbeit zeigt, dass der Phosphorylierungszustand eines Proteins von zahlreichen internen und externen Faktoren abhängt – eine Tatsache, die gerade für rekombinante Proteine, insbesondere enzymatisch aktive Kinasen, oft vernachlässigt wurde. Daher müssen auch in der shotgun Phosphoproteomanalytik P-Stellen nicht mehr nur identifiziert und quantifiziert werden, sondern die resultierenden Proteinphosphoformen differenziert auch in ihrem physiologischen Kontext beschrieben werden.

Characterization of the molecular clockwork in the cockroach Rhyparobia maderae

Der Wechsel von Tag und Nacht erzeugt einen regelmäßigen Rhythmus von verschiedenen Umweltreizen, allen voran Licht und Temperatur. Fast jedes bis zum heutigen Tage untersuchte Lebewesen besitzt einen endogenen Mechanismus zur Zeitwahrnehmung, und diese "innere Uhr" befähigt Lebewesen dazu, sich vorausschauend an rhythmische Umwelt-Änderungen anzupassen. Circadiane Rhythmen bestehen auch ohne jegliche äußere Reize und basieren auf einem molekularen Rückkopplungs-Mechanismus, der Rhythmen in Genexpression und Proteinkonzentration von etwa 24 Stunden erzeugt. Obwohl sich die grundsätzlichen Mechanismen und Komponenten dieses molekularen Uhrwerks in allen Insekten ähneln, zeigte sich jedoch immer mehr, dass es im Detail doch wesentliche Unterschiede zwischen verschiedenen Insektengruppen gibt. Während das molekulare Uhrwerk der Fruchtfliege Drosophila melanogaster inzwischen sehr gut untersucht ist, fehlen bei den meisten Insektengruppen immernoch eingehende Untersuchungen. Fast nichts ist über die molekulare Basis von circadianen Rhythmen bei der Schabe Rhyparobia maderae bekannt, obwohl diese Art bereits seit Langem als Modellorganismus in der Chronobiologie dient. Um mit der Forschung am molekularen, circadianen System von R. maderae zu beginnen, wurde die Struktur und das Expressionsprofil der core feedback loop Gene per, tim1 und cry2 analysiert. Mittels degenerierten Primern und RACE konnte das vollständige offene Leseraster (OLR) von rmPer und rmCry2, und ein Teil des rmTim1 OLR kloniert werden. Eine phylogenetische Analyse gruppierte rmPER und rmCRY2 gemeinsam mit den Orthologa hemimetaboler Insekten. Viele bei D. melanogaster funktionell charakterisierte Domänen sind bei diesen Proteinen konserviert, was auf eine ähnliche Funktion in der inneren Uhr von R. maderae hinweist. Mittels quantitativer PCR konnte gezeigt werden, dass die mRNA von rmPer, rmTim1 und rmCry2 in verschiedenen Lichtregimen in der gleichen Phasenlage Tageszeit-abhängig schwankt. Die Phasenlage stellte sich bei unterschiedlichen Photoperioden jeweils relativ zum Beginn der Skotophase ein, mit Maxima in der ersten Hälfte der Nacht. Auch im Dauerdunkel zeigen sich Rhythmen in der rmTim1 und rmCry2 Expression. Die Amplitude der rmPer Expressionsrhythmen war jedoch so gering, dass keine signifikanten Unterschiede zwischen den einzelnen Zeitgeberzeiten (ZT) festgestellt werden konnten. Mittels Laufrad-Assays wurde untersucht wie Kurz- und Langtag Lichtregime die Verhaltensrhythmen beeinflussen. Es konnten nur Unterschiede in der Periodenlänge unter freilaufenden Bedingungen festgestellt werden, wenn höhere Lichtintensitäten (1000lx) zur Synchronisation (entrainment) genutzt wurden. Die Periode des freilaufenden Rhythmus war bei Tieren aus dem Kurztag länger. Die photoperiodische Plastizität zeigte sich also auch auf Verhaltensebene, obwohl höhere Lichtintensitäten notwendig waren um einen Effekt zu beobachten. Basierend auf den Sequenzen der zuvor klonierten OLR wurden gegen rmPER, rmTIM1 und rmCRY2 gerichtete Antikörper hergestellt. Die Antikörper gegen rmPER und rmTIM1 erkannten in western blots sehr wahrscheinlich spezifisch das jeweilige Protein. Zeitreihen von Gehirngewebe-Homogenisaten zeigten keinen offensichtlichen circadianen Rhythmus in der Proteinkonzentration, wahrscheinlich auf Grund einer Oszillation mit niedriger Amplitude. In Immunhistochemischen Färbungen konnte nur mit dem gegen rmPER gerichteten Antikörper aus Kaninchen ein Signal beobachtet werden. Beinahe jede Zelle des Zentralnervensystems war rmPER-immunreaktiv im Zellkern. Es konnten keine Unterschiede zwischen den untersuchten ZTs festgestellt werden, ähnlich wie bei den western blot Zeitreihen. In dieser Studie konnten erstmals molekulare Daten der circadianen Uhr von R. maderae erfasst und dargestellt werden. Die Uhrgene per, tim1 und cry2 werden in dieser Schabenart exprimiert und ihre Domänenstruktur sowie das circadiane Expressionsmuster ähneln dem hypothetischen ursprünglichen Insektenuhrwerk, welches der circadianen Uhr von Vertebraten nahesteht. Das molekulare Uhrwerk von R. maderae kann sich an unterschiedliche Photoperioden anpassen, und diese Anpassungen manifestieren sich im Expressionsprofil der untersuchten Uhrgene ebenso wie im Verhalten.

The Human in the Loop: User Participation in Self-Adaptive Software

Self-adaptive software provides a profound solution for adapting applications to changing contexts in dynamic and heterogeneous environments. Having emerged from Autonomic Computing, it incorporates fully autonomous decision making based on predefined structural and behavioural models. The most common approach for architectural runtime adaptation is the MAPE-K adaptation loop implementing an external adaptation manager without manual user control. However, it has turned out that adaptation behaviour lacks acceptance if it does not correspond to a user’s expectations – particularly for Ubiquitous Computing scenarios with user interaction. Adaptations can be irritating and distracting if they are not appropriate for a certain situation. In general, uncertainty during development and at run-time causes problems with users being outside the adaptation loop. In a literature study, we analyse publications about self-adaptive software research. The results show a discrepancy between the motivated application domains, the maturity of examples, and the quality of evaluations on the one hand and the provided solutions on the other hand. Only few publications analysed the impact of their work on the user, but many employ user-oriented examples for motivation and demonstration. To incorporate the user within the adaptation loop and to deal with uncertainty, our proposed solutions enable user participation for interactive selfadaptive software while at the same time maintaining the benefits of intelligent autonomous behaviour. We define three dimensions of user participation, namely temporal, behavioural, and structural user participation. This dissertation contributes solutions for user participation in the temporal and behavioural dimension. The temporal dimension addresses the moment of adaptation which is classically determined by the self-adaptive system. We provide mechanisms allowing users to influence or to define the moment of adaptation. With our solution, users can have full control over the moment of adaptation or the self-adaptive software considers the user’s situation more appropriately. The behavioural dimension addresses the actual adaptation logic and the resulting run-time behaviour. Application behaviour is established during development and does not necessarily match the run-time expectations. Our contributions are three distinct solutions which allow users to make changes to the application’s runtime behaviour: dynamic utility functions, fuzzy-based reasoning, and learning-based reasoning. The foundation of our work is a notification and feedback solution that improves intelligibility and controllability of self-adaptive applications by implementing a bi-directional communication between self-adaptive software and the user. The different mechanisms from the temporal and behavioural participation dimension require the notification and feedback solution to inform users on adaptation actions and to provide a mechanism to influence adaptations. Case studies show the feasibility of the developed solutions. Moreover, an extensive user study with 62 participants was conducted to evaluate the impact of notifications before and after adaptations. Although the study revealed that there is no preference for a particular notification design, participants clearly appreciated intelligibility and controllability over autonomous adaptations.

A Government-Binding Based Parser for Warlpiri, a Free-Word Order Language

Free-word order languages have long posed significant problems for standard parsing algorithms. This thesis presents an implemented parser, based on Government-Binding (GB) theory, for a particular free-word order language, Warlpiri, an aboriginal language of central Australia. The words in a sentence of a free-word order language may swap about relatively freely with little effect on meaning: the permutations of a sentence mean essentially the same thing. It is assumed that this similarity in meaning is directly reflected in the syntax. The parser presented here properly processes free word order because it assigns the same syntactic structure to the permutations of a single sentence. The parser also handles fixed word order, as well as other phenomena. On the view presented here, there is no such thing as a "configurational" or "non-configurational" language. Rather, there is a spectrum of languages that are more or less ordered. The operation of this parsing system is quite different in character from that of more traditional rule-based parsing systems, e.g., context-free parsers. In this system, parsing is carried out via the construction of two different structures, one encoding precedence information and one encoding hierarchical information. This bipartite representation is the key to handling both free- and fixed-order phenomena. This thesis first presents an overview of the portion of Warlpiri that can be parsed. Following this is a description of the linguistic theory on which the parser is based. The chapter after that describes the representations and algorithms of the parser. In conclusion, the parser is compared to related work. The appendix contains a substantial list of test cases ??th grammatical and ungrammatical ??at the parser has actually processed.

Design and Control of a Closed-Loop Brushless Torque Actuator

This report explores the design and control issues associated with a brushless actuator capable of achieving extremely high torque accuracy. Models of several different motor - sensor configurations were studied to determine dynamic characteristics. A reaction torque sensor fixed to the motor stator was implemented to decouple the transmission dynamics from the sensor. This resulted in a compact actuator with higher bandwidth and precision than could be obtained with an inline or joint sensor. Testing demonstrated that closed-loop torque accuracy was within 0.1%, and the mechanical bandwidth approached 300 Hz.

Corner Flows in Free Liquid Films

A lubrication-flow model for a free film in a corner is presented. The model, written in the hyperbolic coordinate system ξ = x² – y², η = 2xy, applies to films that are thin in the η direction. The lubrication approximation yields two coupled evolution equations for the film thickness and the velocity field which, to lowest order, describes plug flow in the hyperbolic coordinates. A free film in a corner evolving under surface tension and gravity is investigated. The rate of thinning of a free film is compared to that of a film evolving over a solid substrate. Viscous shear and normal stresses are both captured in the model and are computed for the entire flow domain. It is shown that normal stress dominates over shear stress in the far field, while shear stress dominates close to the corner.

Un análisis comparativo del papel del bucle fonológico versus la agenda visoespacial en el cálculo en niños de 7-8 años = A comparative analysis of the phonological loop versus the visuo-spatial sketchpad in mental arithmetic tasks in 7-8 y.o. children

En esta investigación se ha estudiado la relación entre dos subsistemas de la memoria de trabajo (bucle fonológico y agenda viso-espacial) y el rendimiento en cálculo con una muestra de 94 niños españoles de 7-8 años. Hemos administrado dos pruebas de cálculo diseñadas para este estudio y seis medidas simples de memoria de trabajo (de contenido verbal, numérico y espacial) de la «Batería de Tests de Memoria de Treball» de Pickering, Baqués y Gathercole (1999), y dos pruebas visuales complementarias. Los resultados muestran una correlación importante entre las medidas de contenido verbal y numérico y el rendimiento en cálculo. En cambio, no hemos encontrado ninguna relación con las medidas espaciales. Se concluye, por lo tanto, que en escolares españoles existe una relación importante entre el bucle fonológico y el rendimiento en tareas de cálculo. En cambio, el rol de la agenda viso-espacial es nulo

Picnik - free online photo editing

Need to edit an image but don't have any software? No problem - you can do it all online for free at this website - and no annoying adverts either.