• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 37
  • 19
  • 6
  • 2
  • 1
  • Tagged with
  • 65
  • 35
  • 26
  • 22
  • 22
  • 22
  • 6
  • 6
  • 6
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
31

A nice Cycle Rule for Goal-Directed E-unification

Morawska, Barbara 31 May 2022 (has links)
In this paper we improve a goal-directed E-unification procedure by introducing a new rule, Cycle, for the case of collapsing equations, i.e. equations of the type x ≈ v where x ∈ Var (v). In the case of these equations some obviously unnecessary infinite paths of inferences were possible, because it was not known if the inference system was still complete if the inferences were not allowed into positions of x in v. Cycle does not allow such inferences and we prove that the system is complete. Hence we prove that as in other approaches, inferences into variable positions in our goal-directed procedure are not needed.
32

Experimental Study of the 22Ne(p,γ)23Na Reaction and its Implications for Novae Scenarios

Menzel, Marie-Luise 22 May 2013 (has links) (PDF)
The 22Ne(p,γ)23Na reaction belongs to the catalytic neon-sodium cycle and has an important role in the explosive hydrogen burning. The neon-sodium cycle takes place at temperatures of T = 0:1 - 0:5GK and is assumed to occur in di erent astrophysical systems: e.g. in novae, in super novae of type Ia and during the shell-burning of red giant branch stars. The implications of 22Ne(p,γ)23Na and the neon-sodium cycle in a nova scenario have been studied by using the nuclear network code libnucnet at GSI in Darmstadt. A nova is an outburst of matter in a binary system consisting of a white dwarf and a red giant star. It is therefore a representative phenomenon for explosive hydrogen burning. For the calculation of the nucleosynthesis during the nova outburst, the code libnucnet requires the initial mass composition of the novae partners, the temperature and density pro les of the nova explosion and the thermonuclear reaction rates of the participating reactions. In the following, the code determined the ow and the nal atomic abundance in the neon-sodium cycle during the entire nova process. Additionally, the in uence of the temperature pro le of the novae outburst as well as the thermonuclear reaction rate of the 22Ne(p,γ)23Na reaction on the nal atomic abundance in the outburst has been studied. A characteristic measure for the reactions in astrophysical environments is the thermonuclear reaction rate. The reaction rate of 22Ne(p,γ)23Na has still strong uncertainties in the temperature range of T = 0:03-0:3 GK. These uncertainties are based on insu cient upper limits of the resonance strengths as well as the possible existence of tentative states that are populated in the energy range of Elabp = 30 - 300 keV. The research presented in this thesis is dedicated to the experimental study of the 22Ne(p,γ)23Na reaction for an improved determination of the thermonuclear reaction rate. Furthermore, the implications of 22Ne(p,γ)23Na and the neon-sodium-cycle in novae scenarios are discussed. The data taking has been performed at the Laboratori Nazionali del Gran Sasso, Italy. This laboratory provides the LUNA facility (Laboratory for Underground Nuclear Astrophysics) for the measurement of small reaction cross sections. The LUNA facility includes a 400 kV ion accelerator, a windowless gas target system and a HPGe-detector. Based on the measurements of the 22Ne(p,γ)23Na reaction at LUNA, upper limits for the strengths of ve isolated resonances in the energy range of Elabp = 150 - 340 keV have been determined. For the nuclear resonance at Elabres = 186 keV, a positive resonance strength has been measured for the rst time in literature.
33

Mitteilungen des URZ 3/2006

Clauß, Matthias, Müller, Thomas, Richter, Frank, Riedel, Wolfgang 18 September 2006 (has links)
Informationen des Universitätsrechenzentrums
34

Mitteilungen des URZ 3/2006

Clauß, Matthias, Müller, Thomas, Richter, Frank, Riedel, Wolfgang 18 September 2006 (has links)
Informationen des Universitätsrechenzentrums:Weiterbildungs-Zyklus 'Software-Tools' Ankündigung eines neuen Dienstes: Server Housing Software-News: PGI-Compiler 6.1, Neue Software-Handbücher, Antiviren-Software, CATIA, Neue Pool-Software Kurzinformationen: Neue Mozilla-Version: SeaMonkey, Senden von E-Mails
35

Ovula Ring® - Eine neue Methode der Zyklusdiagnostik bei der Frau. Die Darstellung der kontinuierlichen Körperkerntemperaturmessung in Form eines Cyclofertilogramms und die Erarbeitung eines Scores zur Zyklus-Klassifikation

Komár, Marta Alicja 10 March 2020 (has links)
Ovula Ring® - Eine neue Methode der Zyklusdiagnostik bei der Frau. Die Darstellung der kontinuierlichen Körperkerntemperaturmessung in Form eines Cyclofertilogramms und die Erarbeitung eines Scores zur Zyklus-Klassifikation:1 Einleitung 1.1 Eine historische Betrachtung der Körpertemperaturmessung 1.1.1 Carl August Wunderlich 1.1.2 Anpassung der Thermometer für die klinische Praxis 1.1.3 William Squire und Mary Putnam Jacobi 1.1.4 Ludwig Fraenkel 1.1.5 Theodoor Hendrik Van de Velde 1.1.6 Gerhard Döring 1.2 Die Körperkerntemperatur 1.3 Körpertemperaturmessung in der Medizin 1.4 Neue Temperaturmessmethoden in der Zyklusdiagnostik 1.5 Die Physiologie des weiblichen Menstruationszyklus 1.5.1 Ovarieller Zyklus 1.5.2 Endometrialer Zyklus 1.5.3 Biphasischer Zyklus 1.5.4 Der Einfluss weiblicher Hormone auf die Körperkerntemperatur 1.6 Der Einfluss von Zyklusstörungen auf die Körperkerntemperatur 1.6.1 Corpus-luteum-Insuffizienz 1.6.2 LUF-Syndrom 1.6.3 Oligoovulation und Anovulation 1.7 Unerfüllter Kinderwunsch 2 Aufgabenstellung 3 Materialien und Methoden 3.1 Materialien 3.1.1 Messinstrument mit technischer Beschreibung 3.1.2 Handhabung 3.1.3 Zyklustagebücher 3.1.4 Fragebogen zum Tragekomfort 3.1.5 Chronotypfragebogen 3.2 Methoden 3.2.1 Studiendesign und Datenerhebung 3.2.2 Geplanter Studienablauf 3.2.3 Verfahren bei erwünschten Ereignissen 3.2.4 Zyklusauswertung mittels OvulaRing® 3.2.5 Cyclofertilogramm-Score 3.2.6 Temperaturdaten 3.2.7 Datenschutz 4 Ergebnisse 4.1 Kollektivbeschreibung 4.2 Alter und Body-Mass-Index 4.3 Durchgeführter Studienablauf 4.4 Gründe für die Studienteilnahme 4.5 Registrierte Schwangerschaften 4.6 Ergebnisse des Zyklusmonitorings und Ermittlung des CFG-Scores 4.6.1 Verteilung der Zykluslängen 4.6.2 Normzyklen 4.6.3 Ovulationszeitpunkte 4.6.4 Oligoovulatorische Zyklen 4.6.5 Zyklen mit LUF-Syndrom 4.6.6 Hypo- und hypertherme Zyklusphasen 4.6.7 Cyclofertilogramme von registrierten Schwangerschaften 4.7 Ergebnisse der Temperaturauswertung 4.7.1 Nadir 4.7.2 Periovulatorischer Temperaturanstieg 4.8 Auswertung der Fragebögen 5 Diskussion 5.1 Zykluslänge 5.2 Ovulation 5.3 Hypertherme Zyklusphase 5.4 Cyclofertilogramm- Score 5.5 Biorhythmus und Nadir 5.6 Tragekomfort des OvulaRing® 5.7 OvulaRing® und andere kontinuierliche Temperaturmessmethoden in der Zyklusdiagnostik 6 Zusammenfassung der Arbeit 7 Literaturverzeichnis 8 Abbildungsverzeichnis 9 Tabellenverzeichnis 10 Anhang Zyklustagebuch Selbstständigkeitserklärung Publikationen Curriculum vitae Danksagung
36

Prognostische Bewertung endometrialer Veränderungen beim Rind

Merbach, Sabine 13 December 2011 (has links)
Ziel der vorliegenden Arbeit war es, die physiologische Zellinfiltration des bovinen Endo-metriums während des Zyklus bei fruchtbaren Rindern (immun-)histologisch zu bestimmen. Darauf aufbauend sollte die Endometritis unter besonderer Berücksichtigung ihres Grades histologisch definiert werden. Des Weiteren erfolgte eine histologische Dokumentation des endometrialen „Gesundheitszustandes“ klinisch gesunder Rinder und es sollte ermittelt wer-den, welche endometrialen Befunde hinsichtlich ihrer Qualität und Quantität mit einer Gravi-dität vereinbar sind und ob eine prognostische Aussage in Bezug auf die Fertilität möglich ist. Zudem wurden unterschiedliche Endometritisformen hinsichtlich Qualität und Quantität der beteiligten Entzündungszellen histologisch und immunhistologisch detailliert charakterisiert. Darüber hinaus erfolgte eine vergleichende Betrachtung der Ergebnisse der histologischen Untersuchung mit denen der Uteruszytologie. Zur Definition des Normalbefundes der endometrialen Infiltration mit freien Zellen wurden nach Ovulationsinduktion von zwölf klinisch-gynäkologisch gesunden Rindern im Östrus (Fol-likelphase) sowie von sieben Kühen zweimal im Laufe eines Zyklus (Zyklustag 6 ± 1, frühe Lutealphase und Zyklustag 14 ± 1, späte Lutealphase) zytologische Präparate und Endo-metriumbioptate entnommen und (immun-)histologisch untersucht. Das Vorkommen von Lymphozyten (T- und B-Lymphozyten), Plasmazellen, neutrophilen und eosinophilen Granu-lozyten, Makrophagen und Mastzellen (Tryptase- und Chymase-positive Mastzellen) wurde quantitativ bestimmt und statistisch untersucht. Mittels dieser Ergebnisse wurden Grenzwerte zwischen der physiologischen endometrialen Infiltration während des Zyklus und dem Vorlie-gen einer Endometritis festgelegt. Weniger als zehn neutrophile Granulozyten sowie weniger als zwölf mononukleäre Zellen (weniger als acht Lymphozyten und weniger als vier Plasma-zellen) pro Gesichtsfeld bei 400facher Vergrößerung im Bereich des Stratum compactum oder des luminalen Epithels mit angrenzenden Anteilen des Stratum compactum werden als Normalbefund angesehen. Um einen Überblick über das Endometrium klinisch gesunder Rinder zu erhalten, wurden Endometriumbioptate von 259 Milchkühen histologisch ausgewertet, wichtige Frucht¬barkeitskennzahlen dokumentiert und die Ergebnisse statistisch untersucht. Von 200 dieser Tiere wurden die Ergebnisse der rektalen Trächtigkeitsuntersuchung herangezogen und die Auswertung der Uteruszytologien in die Untersuchungen integriert. Histopathologisch zeigten sich größtenteils geringgradige Veränderungen. Chronische nicht-eitrige Endometritiden dominierten gegenüber eitrigen Entzündungen. Mit höherem Grad der Endometritis stieg der Besamungsaufwand, während sich der Besamungserfolg verringerte. Lymphfollikel traten vor allem zusammen mit nicht-eitrigen Endometritiden auf. Ein Einfluss der größtenteils gering¬gradigen Endometrose auf die Fruchtbarkeit konnte nicht nachgewiesen werden. Die Angiosklerose stieg mit der Anzahl an Abkalbungen und hatte, insbesondere interkarunkulär, mit höhergradigerer Ausprägung einen negativen Einfluss auf die Fertilität. Karunkuläre Angiosklerosen waren zudem stärker ausgeprägt als inter¬karunkuläre. Zur detaillierten Charakterisierung unterschiedlicher Endometritisformen wurden Endo¬metritiden bei 90 Rindern semiquantitiativ mittels H.E.-Färbung hinsichtlich ihres Grades und Charakters eingeteilt und anschließend die beteiligten Entzündungszellen anhand von Spe-zialverfahren (Immunhistologie, Spezialfärbung) ausgezählt. Vor allem Plasmazellen, neutrophile Granulozyten und T-Lymphozyten weisen im Vergleich zur Zyklusgruppe und mit zunehmendem Grad der Endometritis deutlich erhöhte Zellzahlen auf. Nicht-eitrige Endo-metritiden werden durch die Dominanz von Lymphozyten und insbesondere von Plasmazel-len sowie dem häufigen Vorkommen von Lymphfollikeln zu den chronischen Entzündungen gezählt. Die Entzündung innerhalb der Karunkel entspricht grundlegend in ihrem Charakter und ihrer Ausprägung der des umliegenden interkarunkulären Gewebes. Die endometrialen Zellinfiltrate fanden sich bei dieser Studie sowohl in den verschiedenen Zyklusphasen als auch bei den verschiedenen Endometritiden vor allem in den oberflächli-chen endometrialen Bereichen. Bei allen untersuchten Rindern fiel zudem auf, dass T- Lymphozyten im Endometrium in deutlich höherer Anzahl vorkommen als B-Lymphozyten. Ebenso ist die Anzahl an Mastzellen (gesamt) wesentlich höher als die Summe Tryptase- und Chymase-positiver Mastzellen. Darüber hinaus wurden erstmals Chymase-positive Mastzellen im bovinen Endometrium immunhistologisch dargestellt, die in signifikant gerin-gerer Anzahl als Tryptase-positive Mastzellen im Endometrium vorkommen. Histologie und Zytologie wiesen vor allem bei den klinisch gesunden Rindern (Gruppe 2) und den sub-/infertilen Rindern (Gruppe 3) deutliche Diskrepanzen auf. Vorkommen, Grad und Charakter einer Endometritis konnten durch die Uteruszytologie nicht eindeutig bestimmt werden. Zum einen wurde bei histologisch unauffälligen Endometrien mittels Zytologie die Diagnose ‚subklinische’ Endometritis gestellt. Zum anderen blieben histologisch festgestellte, insbesondere chronische nicht-eitrige Endometritiden, in der Zytologie unerkannt. Somit soll-te die Beurteilung der Uteruszytologie nur unter Berücksichtigung klinischer Ergebnisse so-wie unter Einbeziehung des Zyklusstandes erfolgen. Zudem sollten anhand der eigenen Er-gebnisse die Vorteile und die Aussagekraft dieses Verfahrens überdacht werden. Im Gegensatz zu den Ergebnissen der zytologischen Untersuchung konnten mittels Endo-metriumbiopsie auch chronische nicht-eitrige Endometritiden sowie degenerative endo-metriale Veränderungen (Endometrose, Angiosklerose) erkannt werden. Somit stellt die En-dometriumbiopsie, besonders bei „repeat breedern“ und bei Kühen mit unklarer klinischer Symptomatik, eine sinnvolle Ergänzung der klinischen Diagnostik dar, um klinisch nicht er-fassbare endometriale Erkrankungen festzustellen. Die Entnahme einer Endometriumbiopsie hat keine negativen Auswirkungen auf die prospektive Reproduktionsleistung bei Milchkühen. Eine hochfrequente Entnahme von Endometriumbioptaten über einen Zyklus hinweg ist dagegen nicht empfehlenswert. Beim Rind stellen geringgradige endometriale Veränderungen mit einer erneuten Gravidität vereinbare Befunde dar, während mittel- und hochgradige Veränderungen die Prognose für eine erneute Trächtigkeit stark herabsetzen.
37

Bestimmung von Sexualzyklus und Trächtigkeit mit Hilfe des Nachweises von Gestagenen im Kot von im Zoo gehaltenen Giraffen (Giraffa camelopardalis) und Spitzmaulnashörnern (Diceros bicornis)

Neumann, Gaby 08 May 2003 (has links)
Da die afrikanischen Spitzmaulnashörner in ihrer Heimat vom Aussterben bedroht sind, besitzt ihre Nachzucht in Zoologischen Gärten große Bedeutung. Zwar sind die Bestände der Giraffen in der Wildnis noch nicht besonders gefährdet, die Verlustrate dieser empfindlichen Tierart in menschlicher Obhut ist jedoch zu hoch. Die Gestagen-konzentrationen im Kot wurden bestimmt, um detailliertere Kenntnisse der Fortpflan-zungsphysiologie dieser beiden Spezies, die für eine erfolgreiche Reproduktion notwendig sind, zu erlangen. Die nichtinvasive Methode erwies sich als geeignet zur Überwachung der Fortpflanzung sowohl bei den Giraffen als auch den Spitzmaulnas-hörnern. Die Gestagenbestimmung im Kot erfolgte in 3 Schritten: Einwiegen des Kotes, Extraktion der Gestagene mit Hilfe von Methanol und ihre Bestimmung mittels Radioimmunoassay. Im methodischen Teil der Arbeit ergaben sich innerhalb einer Tierart (Giraffen, Spitzmaulnashorn und zusätzlich Damagazellen) nur geringfügige Schwankungen der Trockenmasse des Kotes von maximal 5 %, so dass sich auch bei unterschiedlichem Wassergehalt des Kotes ohne vorherige Trocknung der Proben gut vergleichbare Gestagenwerte in verschiedenen Kotproben der gleichen Tierart ermitteln lassen. Nach 24- bzw. 48-stündiger Lagerung bei Raumtemperatur waren im Kot von Giraffen und Nashörnern die Gestagenwerte im Vergleich zum sofortigen Einfrieren der Proben signifikant erhöht. Bei Nashörnern und Gazellen wurden nach längerer Lagerzeit (1 und 3 Monate) bei – 20 °C keine signifikanten Veränderungen der niedrigen Gestagen-konzentrationen im Kot festgestellt. Im Gegensatz dazu zeigte sich bei Kotproben von Giraffen mit hohen Ausgangskonzentrationen eine signifikante Erniedrigung (durchschnittlich 45 %). Im Vergleich zu einmaligem führte mehrmaliges Auftauen der Proben zum signifikanten Absinken der Gestagenkonzentrationen im Kot von Spitzmaulnashörnern und Gazellen. Im Ergebnis dieser Voruntersuchungen wurde für das weitere Vorgehen eine standardisierte Behandlung der Kotproben bis zur Bestimmung ihrer Gestagenkonzentrationen eingehalten. Bei 13 Giraffen und 8 östlichen Spitzmaulnashörnern aus 7 deutschen Zoos (insgesamt 2618 Kotproben) erfolgte zwischen 1997 und 2002 eine Zyklus- und/ oder Graviditäts-diagnostik mittels Gestagenbestimmungen im Kot. Dabei zeigten die Konzentrationen an Progesteronmetaboliten im Kot von 6 adulten, ingraviden Giraffen zyklische Schwankungen mit einer Zykluslänge von ca. 14 Tagen. Die Follikelphase dauerte im Mittel 6,9 Tage mit Gestagengehalten von durchschnittlich 259 ± 49 ng/g Kot und die Lutealphase hatte eine Länge von im Mittel 7,6 Tagen bei Konzentrationen an Progesteronmetaboliten von durchschnittlich 1163 ± 223 ng/g Kot. Brunstsymptome und/ oder Paarungen fielen immer mit dem Ende der Lutealphase zusammen. Am Beginn von 8 Graviditäten kam es bei den Giraffen zum Anstieg der Hormonkonzen-trationen auf Werte, die auch während der Lutealphase erreicht werden. Danach blieb die Gestagenausscheidung mit dem Kot zwischen der 58. und 1. Woche a. p. auf hohem Niveau. Eine Rückkehr auf Basalwerte, die während der Follikelphase auftreten, erfolgte erst 3 Tage p. p. Nach der Geburt konnten bei einigen Tieren postpartale Östren mit einer kurzfristigen Erhöhung der Hormonausscheidung im Kot festgestellt werden. Bei 7 adulten, ingraviden Spitzmaulnashörnern konnte mit der angewandten Methode kein Sexualzyklus ermittelt werden. Diese Tiere zeigten nur geringe Schwankungen der Gestagenausscheidung auf niedrigem Niveau (im Mittel 74 ± 18 ng/g Kot). Im Rahmen von 4 Graviditäten kam es bei den Spitzmaulnashörnern zunächst zu einer langsamen Erhöhung der Ausscheidung von Progesteronmetaboliten mit dem Kot, gefolgt von einem starken Anstieg ab der 56. Woche a. p. auf maximale Konzentrationen von ca. 674 ng/g Kot zwischen der 40. und 36. Woche a. p. Im weiteren Verlauf der Gravidität schwankten die Gestagengehalte zwischen 450-600 ng/g Kot. Eine Rückkehr auf das Niveau der Gestagenausscheidung von ingraviden Tieren war erst 3 Tage p. p. zu verzeichnen. Durch Festlegung eines Schwellenwertes von 200 ng/g Kot konnte eine Graviditätsdiagnose bei den Spitzmaulnashörnern ab etwa 52 Wochen vor der Geburt erfolgen. Eine Vorhersage des Geburtszeitpunktes war durch die Bestimmung der Gestagene im Kot weder bei Giraffen noch bei Spitzmaulnashörnern möglich. / Since the African black rhinoceros is threatened to become extinct in its homeland, its offspring in zoological gardens possesses great importance. The existence of the giraffe is not yet particularly endangered in the wild, the loss of this sensible species in captivity is however very high. Gestagen concentrations in the faeces were determined in order to get more knowledge on the reproduction physiology of these two species, which is necessary for a successful reproduction. These non-invasive method was shown to be suitable for monitoring of the reproduction both in giraffes and black rhinoceroses. The gestagens in the faeces were analyzed in 3 steps: weighing of faeces specimens, gestagen extraction with methanol and their determination by means of radioimmunoassay. In the methodical part of the study the dry mass of the faeces showed only small variations up to 5 % within one species (Baringo giraffe, black rhinoceros and also dama gazelle). Thus, it was possible to estimate comparable gestagen levels from several faecal samples within one species without drying, in spite of their different amounts of water. After storage at room temperature for about 24 and/ or 48 hours gestagen concentrations in the faeces of giraffes and rhinoceroses were significantly increased in comparison to samples frozen immediately. After prolonged storage time (1 and 3 months) at – 20 °C no significant changes of low gestagen concentrations were stated in the faeces of rhinoceroses and gazelles. In opposite to this, in the faeces of giraffes with high initial gestagen concentrations a significant decrease (average 45 %) was evident. Repeated thawings of the samples led to a significant dropping of the gestagen levels in the faeces of rhinoceroses and gazelles compared to single thawing. As a result of these preceding investigations a standardized treatment of the faeces samples prior to determination of their gestagen concentrations was observed. Control of reproduction cycle and pregnancy respectively by means of faecal gestagen monitoring was carried out in a total of 2618 faecal samples of 13 giraffes and 8 eastern black rhinoceroses, collected in 7 German zoos from 1997 to 2002. Concentrations of progesterone metabolites in the faeces of 6 adult, nonpregnant giraffes showed cyclic fluctuations with a cycle length of approximately 14 days. The follicular phase took 6.9 days on an average with a mean gestagen concentration of 259 ± 49 ng/g faeces and the luteal phase had a length of 7.6 days on an average with a mean concentration of 1163 ± 223 ng/g faeces. Oestrus behaviour and/ or mating was observed always at the end of the luteal phase. A rise of hormone concentrations to a level, which is characteristic for the luteal phase, was evident at the beginning of 8 pregnancies in giraffes. Afterwards the excretion of faecal gestagens remained on a high level between week 58th and 1st a. p. Basal values, which are characteristic for the follicular phase, were detected 3 days p. p. After parturition some animals showed oestrus behaviour with a short increase of hormone excretion by the faeces. In 7 adult, nonpregnant black rhinoceroses no reproduction cycle could be ascertained by determination of gestagens in the faeces. Only small fluctuations of the gestagen excretion on a low level (on an average 74 ± 18 ng/g faeces) were evident in these animals. Within 4 pregnancies of black rhinoceroses a slow increase of the excretion of faecal progesterone metabolites could be detected, followed by a massive rise from week 56th a. p. to maximum concentrations of approximately 674 ng/g faeces between week 40th and 36th a. p. In the ongoing pregnancy the gestagen concentrations varied between 450-600 ng/g faeces. A return to the level of the gestagen excretion of nonpregnant animals was noticed 3 days p. p. Diagnosis of pregnancy of black rhinoceroses was possible approximately 52 weeks prior to parturition by defining a threshold value of 200 ng/g faeces. Prediction of the day of delivery by means of gestagen determination in the faeces was neither possible in giraffes nor in black rhinoceroses.
38

A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL

Baader, Franz 31 May 2022 (has links)
In two previous papers we have investigates the problem of computing the least common subsumer (lcs) and the most specific concept (msc) for the description logic EL in the presence of terminological cycles that are interpreted with descriptive semantics, which is the usual first-order semantics for description logics. In this setting, neither the lcs nor the msc needs to exist. We were able to characterize the cases in which the lcs/msc exists, but it was not clear whether this characterization yields decidability of the existence problem. In the present paper, we develop a common graph-theoretic generalization of these characterizations, and show that the resulting property is indeed decidable, thus yielding decidability of the existence of the lcs and the msc. This is achieved by expressing the property in monadic second-order logic on infinite trees. We also show that, if it exists, then the lcs/msc can be computed in polynomial time.
39

Funktionelle Charakterisierung des Oviductins der Hauskatze (Felis catus)

Hachen, Alexandra 26 February 2015 (has links)
In der Forschung dient die Hauskatze als Modellspezies für die Entwicklung und Verbesserung assistierter Reproduktionstechniken (ART) für wildlebende Katzenarten, von denen die meisten der 36 Arten auf der Roten Liste für bedrohte Tierarten als gefährdet eingestuft sind. Eine erfolgreich angewandte Methode der ART bei Hauskatzen ist die In-vitro-Produktion von Embryonen. Allerdings gestaltet sich die Übertragbarkeit der Protokolle auf andere Feliden aufgrund speziesspezifischer reproduktionsbiologischer Besonderheiten oft sehr schwierig. Das Ziel dieser Doktorarbeit war daher die Charakterisierung des felinen Oviductins, ein Glykoprotein, welches ausschließlich im Eileiter exprimiert wird und das in mehreren Studien bei anderen Tierarten einen positiven Effekt auf die Interaktion der Gameten, Befruchtung, Teilungsraten und Embryonalentwicklung gezeigt hat. Die feline Oviductinsequenz konnte in der vorliegenden Arbeit vollständig identifiziert werden. Sowohl auf mRNA- als auch auf Proteinebene zeigte sich eine zyklusabhängige Expression von Oviductin im Eileiter mit höchsten mRNA-Kopienzahlen bzw. höchster Proteinsynthese während des Östrus. Für funktionelle Studien wurde eine Methode zur Herstellung eines rekombinant exprimierten Oviductins in E.coli etabliert. Die Anwesenheit des rekombinanten Proteins führte zu einer signifikant höheren Spermienbindung an die Zona pellucida feliner Eizellen. Die Zugabe des rekombinanten Proteins während der In-vitro Fertilisation (IVF) hatte keinen Einfluss auf die Teilungs- oder Entwicklungsraten der Embryonen, allerdings zeigten Blastocysten, die sich aus einer IVF mit Oviductin entwickelten, eine signifikant höhere Expression des gap junction protein alpha 1 Gens, was für eine verbesserte Embryonenqualität spricht. / The domestic cat serves as a model to develop and improve assisted reproductive techniques for wild felid species from which most of them are listed on the IUCN Red List of threatened species. In-vitro embryo production is successfully applied for the domestic cat but adaption to other felids, caused by their diversity in reproductive physiology, is often difficult. The biggest challenge is to create an in-vitro environment as near as possible to in-vivo conditions within the oviduct where final maturation of gametes, fertilization and early embryo development occur. Therefore, the aim of this doctoral thesis was to characterize feline oviductin, a glycoprotein which is exclusively expressed in the oviduct. Several functional studies with other species could show an influence of oviductin on gamete interaction, fertilization, cleavage rates and embryo development. In the present work gene sequence of the feline oviductin could be identified. Highest mRNA copy numbers and protein synthesis were detected during oestrus, indicating a cycle-dependent expression of oviductin in the cat. For functional studies, a method for production of recombinant oviductin in E.coli was established. Sperm-zona binding was significantly higher when recombinant oviductin was present. Addition of oviductin during in-vitro fertilization (IVF) had no effect on cleavage, morula rates or blastocyst development. In contrast, in blastocysts developed from IVF with oviductin, we found a significantly higher mRNA expression of gap junction alpha protein 1, suggesting a higher quality of in-vitro produced embryos.
40

The 14N(p,γ)O15 reaction studied at low and high beam energy

Marta, Michele 08 August 2012 (has links) (PDF)
The Bethe-Weizsäcker cycle consists of a set of nuclear reactions that convert hydrogen into helium and release energy in the stars. It determines the luminosity of low-metal stars at their turn-off from the main-sequence in the Hertzsprung-Russel diagram, so its rate enters the calculation of the globular clusters’ age, an independent lower limit on the age of the universe. The cycle contributes less than 1% to our Sun’s luminosity, but it produces neutrinos that can in principle be measured on Earth in underground experiments and bring direct information of the physical conditions in the solar core, provided that the nuclear reaction rate is known with sufficient precision. The 14N(p,γ)15O reaction is the slowest reaction of the Bethe-Weizs¨acker cycle and establishes its rate. Its cross section is the sum of the contributions by capture to different excited levels and to the ground state in 15O. Recent experiments studied the region of the resonance at Ep = 278 keV. Only one modern data set from an experiment performed in 1987 is available for the high-energy domain. Both energy ranges are needed to constrain the fit of the excitation function in the R-matrix framework and to obtain a reliable extrapolated S-factor at the very low astrophysical energies. The present research work studied the 14N(p,γ)15O reaction in the LUNA (Laboratory for Underground Nuclear Astrophysics) underground facility at three proton energies 0.36, 0.38, 0.40MeV, and in Dresden in the energy range Ep = 0.6 - 2MeV. In both cases, an intense proton beam was sent on solid titanium nitride sputtered targets, and the prompt photons emitted from the reaction were detected with germanium detectors. At LUNA, a composite germanium detector was used. This enabled a measurement with dramatically reduced summing corrections with respect to previous studies. The cross sections for capture to the ground state and to the excited states at 5181, 6172, and 6792 keV in 15O have been determined. An R-matrix fit was performed for capture to the ground state, that resolved the literature discrepancy of a factor two on the extrapolated S-factor. New precise branching ratios for the decay of the Ep = 278 keV resonance were measured. In Dresden, the strength of the Ep = 1058 keV resonance was measured relative to the well-known resonance at Ep = 278 keV, after checking the angular distribution. Its uncertainty is now half of the error quoted in literature. The branching ratios were also measured, showing that their recommended values should be updated. Preliminary data for the two most intense transitions off resonance are provided. The presence in the targets of the other stable nitrogen isotope 15N with its well- known isotopic abundance, allowed to measure the strength of two resonances at Ep = 430 and 897 keV of the 15N(p,αγ)12 C reaction, improving the precision for hydrogen depth profiling.

Page generated in 0.0268 seconds