TY - INPR A1 - Arnold, Holger T1 - A linearized DPLL calculus with clause learning (2nd, revised version) N2 - Many formal descriptions of DPLL-based SAT algorithms either do not include all essential proof techniques applied by modern SAT solvers or are bound to particular heuristics or data structures. This makes it difficult to analyze proof-theoretic properties or the search complexity of these algorithms. In this paper we try to improve this situation by developing a nondeterministic proof calculus that models the functioning of SAT algorithms based on the DPLL calculus with clause learning. This calculus is independent of implementation details yet precise enough to enable a formal analysis of realistic DPLL-based SAT algorithms. N2 - Viele formale Beschreibungen DPLL-basierter SAT-Algorithmen enthalten entweder nicht alle wesentlichen Beweistechniken, die in modernen SAT-Solvern implementiert sind, oder sind an bestimmte Heuristiken oder Datenstrukturen gebunden. Dies erschwert die Analyse beweistheoretischer Eigenschaften oder der Suchkomplexität derartiger Algorithmen. Mit diesem Artikel versuchen wir, diese Situation durch die Entwicklung eines nichtdeterministischen Beweiskalküls zu verbessern, der die Arbeitsweise von auf dem DPLL-Kalkül basierenden SAT-Algorithmen mit Klausellernen modelliert. Dieser Kalkül ist unabhängig von Implementierungsdetails, aber dennoch präzise genug, um eine formale Analyse realistischer DPLL-basierter SAT-Algorithmen zu ermöglichen. KW - Automatisches Beweisen KW - Logikkalkül KW - SAT KW - DPLL KW - Klausellernen KW - automated theorem proving KW - logical calculus KW - SAT KW - DPLL KW - clause learning Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-29080 ER - TY - GEN A1 - Kliegl, Reinhold A1 - Masson, Michael E. J. A1 - Richter, Eike M. T1 - A linear mixed model analysis of masked repetition priming N2 - We examined individual differences in masked repetition priming by re-analyzing item-level response-time (RT) data from three experiments. Using a linear mixed model (LMM) with subjects and items specified as crossed random factors, the originally reported priming and word-frequency effects were recovered. In the same LMM, we estimated parameters describing the distributions of these effects across subjects. Subjects’ frequency and priming effects correlated positively with each other and negatively with mean RT. These correlation estimates, however, emerged only with a reciprocal transformation of RT (i.e., -1/RT), justified on the basis of distributional analyses. Different correlations, some with opposite sign, were obtained (1) for untransformed or logarithmic RTs or (2) when correlations were computed using within-subject analyses. We discuss the relevance of the new results for accounts of masked priming, implications of applying RT transformations, and the use of LMMs as a tool for the joint analysis of experimental effects and associated individual differences. T3 - Zweitveröffentlichungen der Universität Potsdam : Humanwissenschaftliche Reihe - paper 247 Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-57073 ER - TY - JOUR A1 - Schwarz, Ingo A1 - Kutzinski, Vera M. ED - Ette, Ottmar ED - Knobloch, Eberhard T1 - A Letter from Alexander von Humboldt to Joseph Albert Wright – Archival Traces JF - HiN : Alexander von Humboldt im Netz N2 - A few months before his death, A. v. Humboldt attended the celebration in honor of the 127th birthday of George Washington at the US legation in Berlin. A letter to the American Envoy, Joseph A. Wright (1810 – 1867), underlines Humboldt’s admiration for the fi rst president of the United States. At the same time Humboldt asked the diplomat to mail a letter to the German-American Bernard Moses (1832 – 1897) in Clinton, Louisiana, who had named his son Alexander Humboldt Moses (grave on the Hebrew Rest Cemetery #2 in New Orleans, burial plot A, 12, 5). It appears to be possible that the Moses family still owns Humboldt’s letter. N2 - Wenige Monate vor seinem Tod besuchte A. v. Humboldt die Feier zu Ehren des 127. Geburtstages von George Washington an der Gesandtschaft der Vereinigten Staaten in Berlin. Ein Brief an den Gesandten, Joseph A. Wright (1810 – 1867), betonte Humboldts Bewunderung für den ersten Präsidenten der Vereinten Staaten. Gleichzeit bat Humboldt den Diplomaten um die Beförderung eines Briefes an den Deutschamerikaner Bernard Moses(1832 – 1897) in Clinton, Louisiana, der seinen Sohn Alexander Humboldt Moses (Grab auf dem Hebrew Rest Cemetery #2 in New Orleans, Grabstelle A, 12, 5) genannt hat. N2 - Unos meses antes de su muerte, A. v. Humboldt asistió a la celebración en honor al 127º cumpleaños de George Washington en la legación estadounidense en Berlín. Una carta al delegado estadounidense, Joseph A. Wright (1810 – 1867), subraya la admiración de Humboldt por el primer presidente de los Estados Unidos. Al mismo tiempo, Humboldt le pidió al diplomático que enviara una carta al germano-estadounidense Bernard Moses (1832 – 1897) en Clinton, Louisiana, quien había puesto a su hijo, el nombre de Alexander Humboldt Moses(tumba en el cementerio Hebrew Rest número 2 en Nueva Orleans, lugar de enteramiento: A, 12, 5). KW - Alexander Humboldt KW - Moses KW - Korrespondenz Alexander von Humboldts KW - Vereinigten Staaten Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-532787 SN - 2568-3543 SN - 1617-5239 VL - XXII IS - 43 SP - 5 EP - 12 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - INPR A1 - Nazaikinskii, Vladimir A1 - Schulze, Bert-Wolfgang A1 - Sternin, Boris A1 - Shatalov, Victor T1 - A Lefschetz fixed point theorem for manifolds with conical singularities N2 - We establish an Atiyah-Bott-Lefschetz formula for elliptic operators on manifolds with conical singular points. T3 - Preprint - (1997) 20 KW - elliptic operator KW - Fredholm property KW - conical singularities KW - pseudo-diferential operators KW - Lefschetz fixed point formula KW - regularizer Y1 - 1997 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-25073 ER - TY - INPR A1 - Schulze, Bert-Wolfgang A1 - Tarkhanov, Nikolai Nikolaevich T1 - A Lefschetz fixed point formula in the relative elliptic theory N2 - A version of the classical Lefschetz fixed point formula is proved for the cohomology of the cone of a cochain mapping of elliptic complexes. As a particular case we show a Lefschetz formula for the relative de Rham cohomology. T3 - Preprint - (1998) 01 KW - elliptic complexes KW - relative cohomology KW - Lefschetz number Y1 - 1998 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-25159 ER - TY - JOUR A1 - Sariel, Eliezer T1 - A Historian from the World of Torah BT - The Historiographical Approach of Rabbi Yitzhak Isaac Halevy Rabinowitz (1847–1914) JF - PaRDES : Zeitschrift der Vereinigung für Jüdische Studien e. V. N2 - The article examines the work of Rabbi Yitzhak Isaac Halevy, arguably the most significant Orthodox response to the Wissenschaft des Judentums school of historiography. Halevy himself exemplified the Orthodox struggle against Wissenschaft, yet his work expressed a commitment to modern historiographical discipline that suggested an internalization of some of the very same premises adopted by Wissenschaft. While criticizing the representatives of Wissenschaft, Halevy was, at the same time, fighting for the internalization of its innovative characteristics into Orthodox society. He saw himself as a leader of a movement working towards the development of Orthodox Jewish studies and his application of modern historiographic principles from an Orthodox worldview as creating critical Orthodox historiography. Halevy’s approach promotes an understanding of Orthodoxy as a complex phenomenon, of which the struggle against modern secularization is just one of many characteristics. Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-417799 SP - 47 EP - 77 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - GEN A1 - Dortay, Hakan A1 - Müller-Röber, Bernd T1 - A highly efficient pipeline for protein expression in Leishmania tarentolae sing infrared fluorescence protein as marker N2 - Background: Leishmania tarentolae, a unicellular eukaryotic protozoan, has been established as a novel host for recombinant protein production in recent years. Current protocols for protein expression in Leishmania are, however, time consuming and require extensive lab work in order to identify well-expressing cell lines. Here we established an alternative protein expression work-flow that employs recently engineered infrared fluorescence protein (IFP) as a suitable and easy-to-handle reporter protein for recombinant protein expression in Leishmania. As model proteins we tested three proteins from the plant Arabidopsis thaliana, including a NAC and a type-B ARR transcription factor. Results: IFP and IFP fusion proteins were expressed in Leishmania and rapidly detected in cells by deconvolution microscopy and in culture by infrared imaging of 96-well microtiter plates using small cell culture volumes (2 μL - 100 μL). Motility, shape and growth of Leishmania cells were not impaired by intracellular accumulation of IFP. In-cell detection of IFP and IFP fusion proteins was straightforward already at the beginning of the expression pipeline and thus allowed early pre-selection of well-expressing Leishmania clones. Furthermore, IFP fusion proteins retained infrared fluorescence after electrophoresis in denaturing SDS-polyacrylamide gels, allowing direct in-gel detection without the need to disassemble cast protein gels. Thus, parameters for scaling up protein production and streamlining purification routes can be easily optimized when employing IFP as reporter. Conclusions: Using IFP as biosensor we devised a protocol for rapid and convenient protein expression in Leishmania tarentolae. Our expression pipeline is superior to previously established methods in that it significantly reduces the hands-on-time and work load required for identifying well-expressing clones, refining protein production parameters and establishing purification protocols. The facile in-cell and in-gel detection tools built on IFP make Leishmania amenable for high-throughput expression of proteins from plant and animal sources. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - paper 122 KW - System KW - Donovani Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-44773 ER - TY - INPR A1 - Fedosov, Boris A1 - Schulze, Bert-Wolfgang A1 - Tarkhanov, Nikolai Nikolaevich T1 - A general index formula on tropic manifolds with conical points N2 - We solve the index problem for general elliptic pseudodifferential operators on toric manifolds with conical points. T3 - Preprint - (1999) 15 Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-25501 ER - TY - INPR A1 - Tarkhanov, Nikolai Nikolaevich T1 - A fixed point formula in one complex variable N2 - We show a Lefschetz fixed point formula for holomorphic functions in a bounded domain D with smooth boundary in the complex plane. To introduce the Lefschetz number for a holomorphic map of D, we make use of the Bergman kernal of this domain. The Lefschetz number is proved to be the sum of usual contributions of fixed points of the map in D and contributions of boundary fixed points, these latter being different for attracting and repulsing fixed points. T3 - Preprint - (2003) 01 Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-26495 ER - TY - JOUR A1 - Petrova, Svetlana T1 - A discourse-based approach to verb placement in early West-Germanic N2 - The paper presents a novel approach to explaining word order variation in the early Germanic languages. Initial observations about verb placement as a device marking types of rhetorical relations made on data from Old High German (cf. Hinterhölzl & Petrova 2005) are now reconsidered on a larger scale and compared with evidence from other early Germanic languages. The paper claims that the identification of information-structural domains in a sentence is best achieved by taking into account the interaction between the pragmatic features of discourse referents and properties of discourse organization. KW - verb-second KW - early Germanic KW - discourse KW - information structure Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-19540 ER -