On the Complexity of the Equivalence Problem for Probabilistic Automata

Checking two probabilistic automata for equivalence has been shown to be a key problem for efficiently establishing various behavioural and anonymity properties of probabilistic systems. In recent experiments a randomised equivalence test based on polynomial identity testing outperformed deterministic algorithms. In this paper we show that polynomial identity testing yields efficient algorithms for various generalisations of the equivalence problem. First, we provide a randomized NC procedure that also outputs a counterexample trace in case of inequivalence. Second, we show how to check for equivalence two probabilistic automata with (cumulative) rewards. Our algorithm runs in deterministic polynomial time, if the number of reward counters is fixed. Finally we show that the equivalence problem for probabilistic visibly pushdown automata is logspace equivalent to the Arithmetic Circuit Identity Testing problem, which is to decide whether a polynomial represented by an arithmetic circuit is identically zero.Comment: technical report for a FoSSaCS'12 pape

Modeling of austenitic TRIP-steels at small scales -- mean-field homogenization and simulation of oligo-crystals

A finite deformation mean-field homogenization approach is proposed based on an extended Mori-Tanaka scheme that incorporates additional eigenvelocity gradients associated with microstructural changes in austenitic steels such as twinning or solid-solid phase transformation. The deformation of the individual phases is described by a finite strain, hyperelastic and single crystal plasticity model, which is fully anisotropic and captures strong mutual interactions of individual slip systems. The resulting mean-field model is employed in the simulation of homogeneous deformation states with a prescribed microstructure evolution at the material point level, where a strong interaction between phase transformation and plasticity is observed in the individual phases

A Hybrid Approach to Describe the Elastic-Plastic Deformation Behavior of 2D Cellular Solids Including Damage Effects

The constitutive description of the inelastic deformation behavior of porous media is a challenging task. The complex hardening behavior (simultaneous isotropic, kinematic and distortional hardening) and anisotropic yielding depend strongly on the micro-structure of the porous medium and the inelastic behavior of its bulk material.  In previous work, the authors presented a homogenized material model for an elastic-plastic material at the microscopic scale based on an adapted yield function to describe the elastic-plastic deformation behavior, including damage, of open-cell structures. In this approach, the shape of the yield function is not specified completely a priori. The proper shape is rather found by regression with results of cell model simulations using neural networks. The aim of this contribution is to demonstrate that this hybrid approach shows good agreement with direct simulations. The necessary size of the neural network, the number of training data and the computational efficiency are also discussed. It can be concluded that this model can be used to analyze the deformation behavior of porous structures while considering the coupling of plastic deformations and damage of the bulk material

A Computed Tomographic Study of the Premolar Teeth of Babyrousa spp.

A photographic and computed tomography (CT) scanning study was carried out on the premolar teeth of 18 adult male Babyrousa babyrussa skulls, 10 skulls of Babyrousa celebensis, including 6 adult males, 1 adult female, 1 subadult male, 1 subadult female, and 1 juvenile male. The occlusal morphology of the permanent maxillary premolar teeth of B. babyrussa was very similar to that of B. celebensis. Almost all the maxillary third premolar teeth (107/207) had 2 roots, whereas maxillary fourth premolar teeth (108/208) had 3 or 4 roots. All of the mesial tooth roots of 107/207 and 108/208 were tapering rod-like structures; each contained a single pulp canal. Almost all distal roots of 107/207 were “C” shaped and contained 2 pulp canals. The 108/208 palatal roots were “C” shaped and contained 2 pulp canals. The mesial and distal roots of the mandibular third premolar teeth (307/407) teeth were uniformly rod-like, as were the mesial roots of the mandibular fourth premolar teeth (308/408) teeth. The distal roots of the 308/408 teeth were “C” shaped. All B. babyrussa 307/407 teeth have a single pulp canal located in each of the mesial and distal roots. The 308/408 mesial tooth root contained 1 pulp canal. In all but 3 of the 36 distal 308/408 roots of B. babyrussa teeth and in 7 of the 14 distal roots of B. celebensis teeth there was a single pulp canal; in the other 7 teeth there were 2 pulp canals. Each of the 3 medial roots contained 1 pulp canal

Anreizsysteme - Eine Möglichkeit zur Verbesserung der universitären Lehre?

Eingeleitet wird das Journal mit dem Beitrag "Anreize für gute Lehre" von Kiefer, Niederhaus, Balzani, Bobisch, Gerharz, Kruggel-Emden, Schwarz, Thielbörger & Weiss, Mitgliedern der Global Young Faculty. In ihrer Umfrage in den UMAR-Universitäten gingen sie der Frage nach "Was motiviert Lehrende qualitativ gute Lehre anzubieten?". Ihre Ergebnisse überraschen und zeigen, welchen Stellenwert nach Meinung der Interviewten Lehre generell einnimmt

Teaching Tips – Gute Lehre ist kein Glücksfall!

Fragen wir die Teilnehmerinnen und Teilnehmer unserer hochschuldidaktischen Weiterbildungen nach ihren Erwartungen, so nennen sie an erster Stelle immer „konkrete Hilfestellungen für den Lehralltag“. Schauen wir genauer hin, wie diese Hilfestellungen aussehen könnten, so zeigen sich deutliche Unterschiede in den Zielgruppen der Lehrenden. Stehen sie noch am Anfang ihrer Lehrkarriere, wünschen sie sich besonders Hilfestellungen, die den Einstieg in die Lehre erleichtern bzw. ihnen helfen, effektiv zu lehren und effiziente Lehrende zu werden. Für erfahrene Lehrende hingegen, die zudem mit Prüfungen betraut sind, stellt sich darüber hinaus oft die Frage nach der Auswahl von Prüfungsformen und die Bewertung von Prüfungsleistungen, vor allem da ihnen die Modulabschlussprüfungen eine größere Bandbreite an Formen alternativer Leistungsbewertung eröffnen. Beiden Zielgruppen gemein ist die Suche nach praktischer Hilfe bei der Professionalisierung ihres didaktischen Handelns. Mit Patentrezepten ist ihnen dabei nicht gedient. Das Interesse der Lehrenden an Methoden wird gleichwohl als ein legitimes Interesse gesehen, denn Methodenwissen spielt bei der Vermittlung von Wissen eine große Rolle. Besonders im Kontext von Medialisierung werden die Vermittlungsmethoden wichtiger. Die hochschuldidaktische Weiterbildung will den Lehrenden bei der Entwicklung ihres individuellen und professionellen Lehrprofils theoretisch begründet, serviceorientiert zur Seite stehen. Seit Mitte der 1990er Jahre ist die didaktische Ausbildung für die Lehre nicht mehr dem Zufall überlassen, ebenso wie es keine Notwendigkeit mehr ist, sich hochschuldidaktisches Wissen autodidaktisch anzueignen. Die Entwicklung der Hochschuldidaktik und damit einhergehend die Entwicklung von curriculumbasierten, modularisierten und systematisch aufgebauten Weiterbildungsprogrammen hat in den letzten Jahrzehnten nicht zuletzt dank verschiedener Programme und Initiativen (z.B. Länderprogramme „Qualität der Lehre“, „Exzellenzinitiative“, BMBF, Stifterverband) eine enorme Steigerung erfahren. Die Qualität der Lehre an Universitäten ist zu einem Wettbewerbsfaktor unter den Universitäten geworden und kann zu ihrer Profilbildung beitragen. Die Lehrkompetenz kann als Schlüssel für die Qualität der Lehre gesehen werden und ist ein Merkmal akademischer Personalentwicklung. Dieses Journal soll in kleinem Rahmen als praxisorientierter Ratgeber auftreten. Es soll darüber hinaus das Interesse an hochschuldidaktischer Weiterbildung wecken, Lust machen, sich mit der eigenen Lehre auseinanderzusetzen, sich den kollegialen Fragen der anderen Teilnehmer/inne/n in den Workshops zu stellen, gemeinsam mit ihnen und uns, den Hochschuldidaktikern und Hochschuldidaktikerinnen, mögliche Antworten aufzuspüren und so das eigene Lehrrepertoire zu erweitern

Metabolite Profiling Uncovers Plasmid-Induced Cobalt Limitation under Methylotrophic Growth Conditions

BACKGROUND:The introduction and maintenance of plasmids in cells is often associated with a reduction of growth rate. The reason for this growth reduction is unclear in many cases. METHODOLOGY/PRINCIPAL FINDINGS:We observed a surprisingly large reduction in growth rate of about 50% of Methylobacterium extorquens AM1 during methylotrophic growth in the presence of a plasmid, pCM80 expressing the tetA gene, relative to the wild-type. A less pronounced growth delay during growth under non-methylotrophic growth conditions was observed; this suggested an inhibition of one-carbon metabolism rather than a general growth inhibition or metabolic burden. Metabolome analyses revealed an increase in pool sizes of ethylmalonyl-CoA and methylmalonyl-CoA of more than 6- and 35-fold, respectively, relative to wild type, suggesting a strongly reduced conversion of these central intermediates, which are essential for glyoxylate regeneration in this model methylotroph. Similar results were found for M. extorquens AM1 pCM160 which confers kanamycin resistance. These intermediates of the ethylmalonyl-CoA pathway have in common their conversion by coenzyme B(12)-dependent mutases, which have cobalt as a central ligand. The one-carbon metabolism-related growth delay was restored by providing higher cobalt concentrations, by heterologous expression of isocitrate lyase as an alternative path for glyoxylate regeneration, or by identification and overproduction of proteins involved in cobalt import. CONCLUSIONS/SIGNIFICANCE:This study demonstrates that the introduction of the plasmids leads to an apparent inhibition of the cobalt-dependent enzymes of the ethylmalonyl-CoA pathway. Possible explanations are presented and point to a limited cobalt concentration in the cell as a consequence of the antibiotic stress

Selective intra-carotid blood cooling in acute ischemic stroke : a safety and feasibility study in an ovine stroke model

Selective therapeutic hypothermia (TH) showed promising preclinical results as a neuroprotective strategy in acute ischemic stroke. We aimed to assess safety and feasibility of an intracarotid cooling catheter conceived for fast and selective brain cooling during endovascular thrombectomy in an ovine stroke model. Transient middle cerebral artery occlusion (MCAO, 3 h) was performed in 20 sheep. In the hypothermia group (n = 10), selective TH was initiated 20 minutes before recanalization, and was maintained for another 3 h. In the normothermia control group (n = 10), a standard 8 French catheter was used instead. Primary endpoints were intranasal cooling performance (feasibility) plus vessel patency assessed by digital subtraction angiography and carotid artery wall integrity (histopathology, both safety). Secondary endpoints were neurological outcome and infarct volumes. Computed tomography perfusion demonstrated MCA territory hypoperfusion during MCAO in both groups. Intranasal temperature decreased by 1.1 °C/3.1 °C after 10/60 minutes in the TH group and 0.3 °C/0.4 °C in the normothermia group (p < 0.001). Carotid artery and branching vessel patency as well as carotid wall integrity was indifferent between groups. Infarct volumes (p = 0.74) and neurological outcome (p = 0.82) were similar in both groups. Selective TH was feasible and safe. However, a larger number of subjects might be required to demonstrate efficacy

Fundamental Investigations into Metoprolol Tartrate Deposition on Orodispersible Films by Inkjet Printing for Individualised Drug Dosing

Individualised medicine is continuously gaining attention in pharmaceutical research. New concepts and manufacturing technologies are required to realise this therapeutic approach. Off-label drugs used in paediatrics, such as metoprolol tartrate (MPT), are potential candidates for innovations in this context. Orodispersible films (ODFs) have been shown as an accepted alternative dosage form during the last years and inkjet printing is traded as seminal technology of precise deposition of active pharmaceutical ingredients (APIs). The objective of this study was to combine both technologies by developing imprinted ODFs based on hypromellose with therapeutically reasonable MPT single doses of 0.35 to 3.5 mg for paediatric use. After preselection, suitable ink compositions were analysed by confocal Raman microscopy regarding MPT distribution within the imprinted ODFs. Adjusted print settings, speed, print direction and angle, characterised the final ODF surface structure. The present investigations show that uniform dosages with acceptance values between 1 and 6 can be achieved. Nevertheless, changes in calibrated printed quantity due to nozzle aging have a significant effect on the final applied dose. At the lowest investigated quantity, the RSD was ±28% and at the highest, ±9%. This has to be considered for implementation of inkjet printing as a pharmaceutical production tool in the future