201,450 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
Photomorphus (Photomorphina) Schuster
No full text<i>Photomorphus</i> (<i>Photomorphina</i>) Schuster <p> <i>Photomorphus</i> (<i>Photomorphina</i>) Schuster, 1952. Brooklyn Ent. Soc., Bul. 47: 53. Type species: <i>Photomorphus</i> (<i>Photomorphina</i>) <i>aurifera</i> Schuster. Orig. desig.</p>Published as part of <i>Brabant, Craig M., Williams, Kevin A. & Pitts, James P., 2010, True females of the subgenus Photomorphina Schuster (Hymenoptera: Mutillidae), pp. 58-68 in Zootaxa 2559</i> on page 60, DOI: <a href="http://zenodo.org/record/196992">10.5281/zenodo.196992</a>
Photomorphus (Photomorphus) Schuster
No full textPhotomorphus (Photomorphus) Schuster Photomorphus Viereck, 1903. Ent. News 14: 249. Type species: Photomorphus johnsoni Viereck. Orig. desig.Published as part of Brabant, Craig M., Williams, Kevin A. & Pitts, James P., 2010, True females of the subgenus Photomorphina Schuster (Hymenoptera: Mutillidae), pp. 58-68 in Zootaxa 2559 on page 65, DOI: 10.5281/zenodo.19699
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
Odontophotopsis setifera Schuster
No full textOdontophotopsis setifera Schuster (Fig. 29–31) Odontophotopsis (Odontophotopsis) setifera Schuster, 1952. Brooklyn Ent. Soc., 47: 47–49, male. Holotype: California, Riverside Co., Palms to Pines Highway, 28.May. 1940, R.M. Bohart (UMSP). Odontophotopsis (Odontophotopsis) setifera Schuster, 1958. Ent. Amer. (n. s.) 37: 56, male. Diagnosis. This species is differentiated from O. biramosa by the mandible having four teeth, the clypeus having short, peg-like setae, but in lacking a horseshoe-shaped tubercle located posteromedially on the clypeus, by having two teeth on each side of the midline (the posterior tooth is approximately a third of the height of the anterior tooth; Fig. 29), and by having the cuspis being approximately equal to the free length of the paramere (Figs. 30, 31). Distribution. The western Sonoran and Mojave Deserts of Arizona, California, Nevada, and Baja California, Mexico. Material examined. USA, Arizona: La Paz Co., Ehrenberg, 1 paratype male, 29.Apr. 1939, F.H. Parker (UMSP). California, Fresno Co., Jacalitos, 4 males, 31.Jul. 1956, R.O. Schuster (UCDC); Imperial Co., Dos Palmas Ranch, 2 males, 7.May. 1983, B.K. Dozier (FSCA); Inyo Co., Olancha, 4 mi E, 57 males, 19– 20.Jun. 2006, K.A. Williams (EMUS); Tinemaha Reservoir Sand Dunes, East Side, 2 males, 12.Aug. 1975, Andrews and Hardy (CDFA); Riverside Co., Corn Springs, 10 mi S Desert Center, 22 males, 17.Jul. 2005, K.A. Williams (EMUS); Deep Canyon, 1 male, 16.May. 1963, E.I. Schlinger (UCRC); Magnesia Canyon, 20.Jul. 1952, McClay (UCDC); Palm Springs, 1 male, 27.May– 6.Jun. 1932, T. Zschokke (UMSP), 1 male, 6.Jun. 1932, T. Zschokke (UAIC), 1 male, 15.Sep– 15.Oct. 1932 (UMSP); San Bernardino Co., 5mi. S. of Barstow on HW 247, 40 males, 16.Jul. 2005, K.A Williams (EMUS); Kelso Dunes, S. side, 1 male, 19.Jun. 1999, G.R. Ballmer, Hawks, Powell and Yanega (UCRC); 29 Palms, 10 mi. E, 8 males, 16.Jun. 1966, (CDFA). Nevada, Lincoln Co., Game Range Dunes, 1 male, 14.Aug. 1975, Andrews and Hardy (CDFA). MEXICO: Baja California, San Felipe, 5 mi N, 1 male, 3.Jun. 1961, H.F. Howden (CNCI). Remarks. Schuster described this species as new twice, first in 1952 and again with the same name in 1958. The specimen listed as a paratype above was published as a paratype in Schuster (1952), but bears a label stating “c.w. type, 1959, R.M. Schuster” and apparently was the holotype specimen for the 1958 publication. This label should be disregarded and the specimen considered a paratype only.Published as part of Pitts, James P., 2007, Revision of Odontophotopsis Viereck (Hymenoptera: Mutillidae), Part 1, with a description of a new Genus Laminatilla, pp. 1-43 in Zootaxa 1619 on page 19, DOI: 10.5281/zenodo.17915
Troctognathus Schuster & Summers 1978
No full text<i>Troctognathus</i> Schuster & Summers, 1978 <p> <i>Troctognathus</i> Schuster & Summers, 1978: 319.</p> <p> Type species <i>Troctognathus tetradis</i> Schuster & Summers, 1978: 319, by original designation.</p>Published as part of <i>Halliday, R. B., 2015, Catalogue of genera and their type species in the mite Suborder Uropodina (Acari: Mesostigmata), pp. 101-147 in Zootaxa 3972 (2)</i> on page 132, DOI: 10.11646/zootaxa.3972.2.1, <a href="http://zenodo.org/record/232777">http://zenodo.org/record/232777</a>
Henri Schuster
No full textHenri Schuster. In: Revue internationale de l'enseignement, tome 52, Juillet-Décembre 1906. p. 250
Henri Schuster
No full textHenri Schuster. In: Revue internationale de l'enseignement, tome 52, Juillet-Décembre 1906. p. 250
Laminatilla bicornigera Schuster
No full textLaminatilla bicornigera (Schuster) (Figs. 69–73) Odontophotopsis (Odontophotopsis) bicornigera Schuster, 1958. Ent. Amer. (n. s.) 37: 56. male. Holotype: Mexico, Baja California Sur, San José del Cabo, 9.Jul. 1958, Michelbacher & Ross (UMSP). Diagnosis. This species can be separated from other species in this genus by the presence of a dentate antennal tubercle, by the unique mandible that has the dorsal carina projecting anteriorly while the dorsal tooth projects posteriorly and overlies the anterior margin of the clypeus (Figs. 69–71), by the strongly triangular shape of the posterior margin of the head, and by the transverse carina that connects the mesosternal processes. The genitalia are as in Figs. 72 and 73. Distribution. Based on the few specimens available for study, this species appears to be limited to Baja California Sur, Mexico. Material examined. Mexico, Baja California Sur, Cabo San Lucas, 8 mi NE, 1 paratype male (UMSP); Las Barracas, ca. 30 km E Santiago, 4 males, 7–12.May. 1982, P. DeBach (CISC); La Paz, 7 mi SW, 4 males, 8.Aug. 1966, Chemsak and Powell (CISC); Santiago, 6 mi SW, 1 male, 31.Aug. 1959, K.W. Radford and F.G. Werner (UAIC); Triunfo, 1 paratype male (UMSP). Remarks. The mandible of L. bicornigera is superficially similar to Acanthophotopsis falciformis Schuster in having a tooth that protrudes posteriorly from the mandible and overlies the clypeus when the mandible is relaxed. The actual structure that is involved in the protrusion, however, differs between the species. For L. bicornigera, the third mandibular tooth overlies the clypeus being out of alignment with the other mandibular teeth. Acanthophotopsis falciformis has a forth tooth located behind the third tooth that causes the protrusion.Published as part of Pitts, James P., 2007, Revision of Odontophotopsis Viereck (Hymenoptera: Mutillidae), Part 1, with a description of a new Genus Laminatilla, pp. 1-43 in Zootaxa 1619 on page 37, DOI: 10.5281/zenodo.17915
Ogyges furcillatus Schuster y Reyes-Castillo 1990
No full text<i>Ogyges furcillatus</i> Schuster y Reyes-Castillo, 1990 Holotipo, Fig. 9 <p> <i>Ogyges furcillatus</i> Schuster y Reyes-Castillo 1990: 26–27, 30; Schuster 1992: 361; Schuster y Schuster 1997: 264–265; Schuster et al. 2000: 200; Schuster y Cano 2005: 258–259, 2006: 62, 67; Schuster 1993: 119, 2006: 382, 389; Cano 2014: 479, 481.</p> <p>Holotipo almacenado en etanol junto con dos larvas (una de primero y otra del tercer instar) y un isópodo, en la UVGC. Fue descrito de San Lorenzo en la Sierra de las Minas, Guatemala (aproximadamente 15.14932, –89.638422, 2200 m). Las medidas del holotipo son: 29.90 (longitud total), 16.23 (longitud elitral), 9.64 (ancho humeral), 7.21 (largo del pronoto) y 9.87 (ancho del pronoto).</p>Published as part of <i>Cano, Enio B., 2017, Redescripción del género Ogyges Kaup (Coleoptera: Passalidae) con una lista comentada de los tipos primarios, pp. 1-38 in Insecta Mundi 2017 (598)</i> on page 7, DOI: <a href="http://zenodo.org/record/5169736">10.5281/zenodo.5169736</a>
- …
