142,382 research outputs found
Kurtze Anleitung Gerichts-Acta geschickt zu extrahiren, zu referiren und eine Sententz darüber abzufassen / Zum Gebrauch seiner Zuhörer entworfen, von D. Ferdinand August Hommeln, de Verb. Signif. & Reg. Jur. P. P. O. auf der Universität Leipzig ...
No full textAutopsie nach Ex. der ULB Sachsen-AnhaltVorlageform des Erscheinungsvermerks: Leipzig, verlegts Jacob Schuster 1739
Methodvs Nova Præservandi Et Curandi Atrophiam Seu Maciem Infantvm & per consequens Morbum sic dictum Anglicvm / Qvam Mvltiplici Experientia Confirmatam Pvblicis Vsibvs Commendat D. Christianvs Fridericvs Chuden. Physicus Provincialis In Veteri Marchia Et Collegii Medici Berolinensis Adjvnctvs
No full textNicht identisch mit VD18 11382643, dort: Fingerprint "R.RT teum de*. tico 3 1726A"Titelbl. in Rot- und Schwarzdr.Vorlageform des Erscheinungsvermerks: Lipsiæ, Sumptibus Ernesti Henrici Campen, Bibliopolæ Veteris Marchiæ. Soltqvellæ, excudebat Christianus Schuster, 1726
Alt-Märkisch- und Prignitzisches Neu-eingerichtetes Gesang-Buch : Darinnen sowol die älteste des sel. D. Lutheri und anderer erleuchteten Gottes-Männer, Als auch einige Neue Geistreiche Gesänge befindlich, zum Gebrauch der Kirchen, bey dem öffentlichen Gottesdienst, Besonders in der alten Mark und Prignitz eingerichtet / Mit allem Fleiß ... zusammen getragen, und mit einem Gebet-Büchlein, wie auch nöthigen Registern versehen, ...
No full textDie Vorlage enthält insgesamt 2 WerkeVorlageform des Erscheinungsvermerks: Salzwedel, gedruckt bey J. C. G. Schuster 1780
Perlohmannia nasuta Schuster
No full textPerlohmannia nasuta Schuster, 1960 [57d] Syn., Tax.: Schuster 1965 (B). Balogh & Mahunka 1983 (B); Miko 1989 (B). Die "Form D" aus Deutschland (Halle) von P. nasuta nach Schuster (1960a) ist durchschnittlich kleiner als die österreichischen Nominalformen und hat die Rostralborsten hintereinander, die Nominalform nebeneinander oder schräg versetzt. Beide Formen werden hier als eine Art zusammengefaßt. Ökologie: Acker-, Wiesen-, Waldböden. Verbreitung: Schwerpunkt SO-Europa; Deutschland selten.Published as part of Weigmann, G. & Miko, L., 2006, Hornmilben (Oribatida) [pages 102 to 148], pp. 102-148 in Hornmilben (Oribatida) [Dahl, Tierwelt Deutschlands, Teil 76], Keltern :Goecke & Evers on page 11
Concepts of Proof in Mathematics, Philosophy, and Computer Science
No full textA proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction
Licneremaeus prodigiosus SCHUSTER 1958
No full textLicneremaeus prodigiosus SCHUSTER, 1958 Z u r n d o r f e r E i c h e n w a l d: vereinzelt (2 Individuen). H a b i t a t b i n d u n g: inausgesprochenenxerothermenStandorten, Trockenwiesen. A l l g e m e i n e V e r b r e i t u n g: In Österreich in Trockenrasen in Kärnten (PERLINGER & SCHATZ 2009) und am Alpen-Ostrand gefunden: Burgenland: Seewinkel (locus typicus im Boden eines Trockenwäldchens nahe Illmitz, SCHUSTER 1958, 1959a, 1959b), Niederösterreich: Hundsheimer Berge (SCHATZ & FISCHER 2007). Ungarn: mehrere Fundorte in West- und Zentralungarn (MAHUNKA & MAHUNKA- PAPP 2004). Südliche Paläarktis: Süd-, Südosteuropa, Krim, Kazakhstan; "südliche Art", selten.Published as part of Schatz, H. & Hofstätter, S., 2014, Hornmilben (Acari, Oribatida) aus dem Europa-Schutzgebiet Zurndorfer Eichenwald (Burgenland, Österreich), pp. 1775-1793 in Linzer biologische Beiträge 46 (2) on page 1785, DOI: 10.5281/zenodo.531233
Near Wall PIV-Measurements on the Windward Slope of a Hill
No full textThe turbulent flow over periodic hills was measured near to the wall, using planar Particle-Image-Velocimetry (PIV) at high spatial resolution. Our focus is on the near wall turbulence structure on the windward slope of the hill. For large-eddy simulation (LES) we suspect that, if this was not predicted accurately, it affects the prediction of the velocity profiles over the hill crest which in turn will affect the recirculation length downstream of the hill. Regarding the time averaged velocities, we were able to resolve the linear viscous region of the boundary layer. The velocity distribution and also the Reynolds stress does not comply with the law of the wall as it is valid for a turbulent boundary layer at equilibrium
The Jacobson radical for an inconsistency predicate
No full textAs a form of the Axiom of Choice about relatively simple structures (posets), Hausdorff's Maximal Chain Principle appears to be little amenable to computational interpretation. This received view, however, requires revision: maximal chains are more reminiscent of maximal ideals than it seems at first glance. The latter live in richer algebraic structures (rings), and thus are readier to be put under computational scrutiny. Exploiting this, and of course the analogy between maximal chains and maximal ideals, the concept of Jacobson radical carries over from a ring to an arbitrary set with an abstract inconsistency predicate: that is, a distinguished monotone family of finite subsets. All this makes possible not only to generalise Hausdorff's principle, but also to express it as a syntactical conservation theorem. The latter, which encompasses the desired computational core of Hausdorff's principle, is obtained by a generalised inductive definition. The over-all setting is constructive set theory
A General Extension Theorem for Directed-Complete Partial Orders
No full textThe typical indirect proof of an abstract extension theorem, by the Kuratowski-Zorn lemma, is based on a one-step extension argument. While Bell has observed this in case of the axiom of choice, for subfunctions of a given relation, we now consider such extension patterns on arbitrary directed-complete partial orders. By postulating the existence of so-called total elements rather than maximal ones, we can single out an immediate consequence of the Kuratowski-Zorn lemma from which quite a few abstract extension theorems can be deduced more directly, apart from certain definitions by cases. Applications include Baer's criterion for a module to be injective. Last but not least, our general extension theorem is equivalent to a suitable form of the Kuratowski-Zorn lemma over constructive set theory
Global science meets ethnic diversity : Ian McGonigle interviews GenomeAsia100K scientific chairman Stephan Schuster
No full textGenomeAsia100K is a human genome project based at Nanyang Technological University in Singapore that aims to sequence one hundred thousand Asian genomes in an effort that addresses an ethnic bias towards Western populations in previous genomic research. GenomeAsia100K consists of a team of bioinformaticians, statisticians and population geneticists, and was initiated by the Nanyang Technological University in collaboration with industrial partners MedGenome (an Indian R&D company specializing in genomic data) and the California Biotech company Genentech. The GenomeAsia100K project is amongst the most ambitious precision medicine projects to date but it is not clear how the project will challenge or reshape understandings of ethnic and racial differences in Asian populations. Ian McGonigle, a scientist and cultural anthropologist, sat down with geneticist Stephan C. Schuster, the scientific chairman of GenomeAsia100K, to discuss the project and the implications of genomics for social identity in the 21st century.Published versio
- …
