1,356,075 research outputs found
Mints, Zara. Isikuarhiiv
No full text180 säilikutI Biografilised materjalid. 1. Autobiograafiad. Z. Mintsi isiklikud dokumendid, s. 1-7. 2. Päevikulised märkmed. Märkmikud, s. 8-17. 3. Kooliaegsed luuletused ja jutustused. Koolitööd, s. 18-21. 4. Z. Mintsi matustega seotud materjalid. Nekroloogid ja artiklid Z. Mints kohta, s. 22-24. 5. Z. Mintsi sugulaste dokumendid jm. materjalid, s.25-28. II Õpingud Leningradi ülikoolis, s.29-39. III Töö Tartu ülikoolis. 1. Dokumendid. Kutsed, s. 40-42. 2. Pedagoogiline tegevus, s. 43-48. 3. A. Bloki konverentsid ja A. Bloki kogumikud, s. 49-62. IV Teadustöö. 1. Tööde nimestikud. Arvamused Z. Mintsi teadustööde kohta, s. 63-67. 2. Kandidaaditöö, s. 68-89. 3. Doktoridissertatsioon, s. 90-94. 4. Monograafiad, s. 95-103. 5. Artiklid, s. 104-137. 6. Retsensioonid, s. 138-142. 7. Töömaterjalid. 7.1. Töömaterjalid A. Bloki kohta, s.143-153. 7.2. Töömaterjalid vene kirjanduse ja semiootika kohta, s. 154-171. 8. Konverentsikutsed, s. 172-173. V Fotod, s. 174-180http://www.ester.ee/record=b4466769*es
Cut-elimination for the mu-calculus with one variable
No full textWe establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Omega-rule
Lotman, Juri. Mints, Zara. Epistolaarne isikuarhiiv / Lotman, Juri. Mints, Zara
No full text2025 säilikutA: Juri Lotmani kirjad, s.1-8. B: Isikute kirjad Juri Lotmanile ja Zara Mintsile, s.9-1708. C: Kirjavahetus asutuste ja organisatsioonidega. a. Venemaal, s.1709-1815. b. Eestis, s.1816-1839. c. Endise NSV Liidu vabariikides, s.1840-1848. d. Välisriikides, s.1849-1936. D: Perekondlik kirjavahetus, s.1937-1978. E: Temaatiline kirjavahetus. a. Õnnitlused, kaastundeavaldused, s.1979-1988. b. Raamatute soovid ja tellimused, s.1989-1994. c. Lugejate ja televaatajate kirjad, s.1995-1999. F: Teiste isikute korrespondents, s.2000-2011http://www.ester.ee/record=b3547065*es
AMBRE-GaiaDR2 results from UniDAM
No full text<p>Extra results from UniDAM. See also <a href="http://www2.mps.mpg.de/homes/mints/unidam.html">UniDAM homepage</a></p>
The logic of transitive and dense frames : from the step-frame analysis to full cut-elimination
No full textWe introduce the system K4De. It is obtained by weakening the reflexivity axiom to the density axiom in the standard axiom set for S4. We analyze K4De both from the semantic and the proof theoretic side, giving in particular a cut-free system of rules for it
Roman Provincial Coins from Balkan Mints found in Lesser Poland
No full textThe aim of the present article is to summarize the current state of research on the problem of inflow
of Roman provincial coins struck in Balkan mints into Lesser Poland in Antiquity. The term “provincial coinage” as used here refers to coins from the mints producing coins for the purpose of provincial circulation, as well as to the so-called pseudo-autonomous and autonomous coinages struck in various local centres. To this time, 11 bronze coin finds produced in mints located in Dacia, Thrace, Moesia Superior and Macedonia have been registered in Lesser Poland. The chronological scope of this presentation is focused generally on the 3rd century AD; however, two coins come from the reigns of Augustus and Antoninus Pius
The mints of Mendoza (Argentina)
No full textSe realiza el relevamiento de las "mentas" espontáneas y cultivadas de la provincia. Se confecciona una clave con las mentas identificadas, a saber: tres especies, Mentha requienii Benth., M. spicata L. y M. aquatica L.; y dos híbridos: M. x piperita L. y M. x rotundifolia (L.) Hudson.An inventory of spontaneus and cultivated mints of Mendoza province is made. A key and a brief description of identificated mints is compounded: three species, Mentha requienii Benth., M. Spicata L. y M. aquatica L.; and two hybrids, M. x piperita L. y M. x rotundifolia (L.) Hudson.Fil: Rouquaud, Elena.
Universidad Nacional de Cuyo. Facultad de Ciencias Agrarias. Departamento de Ciencias BiológicasFil: Lúquez Bibiloni, Claudia V..
Universidad Nacional de Cuyo. Facultad de Ciencias Agrarias. Departamento de Ciencias Biológica
Mints as Volcanoes: Fire and Technology
No full textthe study of mints as workshops using fire, brings along the association with god Volcano since Antiquity down to the 17th century, with a special documentation for central Italy in the 13th centyry
Some thoughts on mints from unpublished notes by Philip Grierson
No full textThe paper presents some notes by Philip Grierson on mints, their technology and position within a city, and counterfeiting
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
- …
