16,953 research outputs found
ha-Lewijjim sive ordo Levitarum in Israele, specimine philologico adumbratus, consensu ampliss. facult. philosoph. praeside ... dn. m. Davide Lund, sacrar. lingvarum professore in Regia Academia Aboënsi celeberrimo, praeceptore suo submissè devenerando, ac in examen eruditorum delatus â Jacobo Werandro, O-Bothn. Ad diem 9 Martii, a. 1695.
No full textInvokaatio: I.N.J.Dedikaatio: Johannes Gezelius nuor., Jacobus Falander, Johannes Forsman, Gabriel Werander, Ernest Grandelius, Martinus Galle, Jacobus Wezyntius, Carolus Werander, Gabriel Werander.Gratulaatio: David Lund, Torst. Rudeen, H. Ross, C[hristophorus] P[rochaeus?], P[etrus] P[elander], Christiern Bonelius, Christiernus Werander.Painovuosi nimekkeestä.Arkit: 4 arkintunnuksetonta lehteä, A-B8 C2.Nimekkeessä on hepreaa. Ensimmäinen gratulaatio on kreikankielinen. Kolmas gratulaatio on ruotsinkielinen. Viides gratulaatio on ruotsinkielinen
Hilkot gerim seu de proselytis Ebraeorum, exercitium academicum, quod ex autoritate ampl. facult. phil. in famigeratiss. ad Auram lycèo, sub moderamine, ... dn. m. Davidis Lund, sacrar. l. l. professoris celeberrimi, facult. phil. h. t. decani maxime spectabilis, hospitis atque promotoris sui indefesse colendi, publico candidorum examini sistit Ericus Cajanus, E. f. O-Bothn. In audit. max. ad 23 Febr. a. M.DC.XCV.
No full textArkit: 3 arkintunnuksetonta lehteä, A-D4.Dedikaatio: Johannes Gezelius nuor., Jacobus Lang, Johannes Cajanus, Jacobus Frosterus, Zacharias Ulhegius, Ericus E. Cajanus, Gabriel Fortelius, Gustavus Cajanus, Zacharias Matzson, Ericus J. Cajanus.Esipuhe.Gratulaatio: David Lund, Abrah. Alanus, A[lexander] Kranck, G[ustavus] C[ajanus], C[hristiernus] G[isselkors].Invokaatio: Q.F.F.Q.S.Painovuosi nimekkeestä.Nimekkeen kaksi ensimmäistä sanaa on hepreankielisiä. Ensimmäinen gratulaatio on kreikankielinen.Nimekkessä on hepreaa. Ensimmäinen gratulaatio on kreikankielinen
De magnetismo polorum cogitatum, qvod dissertatione philosophica, veniá ampliss: ordinis philosophici, praeside ... dn. m. Petro Hahn, scientiae nat. professore regio ord. Regiae que ad Auram Acad. bibliothecario celeberrimo, in illustri Aboënsi lycéo, pro gradu magisterii candidi censoris placiae censurae, summa modestia defert. Christ: Procopoeus C. f. Satag. Finl. Ad diem 28 Maji anno M. DC. XCVIII. horis locoque consvetis.
No full textInvokaatio: Adsit Deus sua gratia!Dedikaatio: Johannes Gezelius, David Lund, Johannes Rungius.Gratulaatio: Jo. Rungius, Daniel Sirenius, Joh. Polviander.Esipuhe.Painovuosi nimekkeestä.Arkit: b6, A8 B4 C2 - S. [2] tyhjä
Dissertationem perì toû Krónou angylometéo ex indultu ampliss: ord. phil. Acad. Ab. praeside viro celeberrimo, dn. Isr. J. N. Gr. & Orient. l. l. prof. regio. Pro gradu magisterii, publico eruditorum examini modestè submittit Ericus C. Herkepaeus, loco horisque consvetis d. 25 Maji, a. 1707.
No full textInvokaatio: I.N.J.Dedikaatio: David Lund, Gustavus J. Berner, Matthias Martinius, Thomas Florinus.Arkit: 2 arkintunnuksetonta lehteä, A-B4.Painovuosi nimekkeestä.Nimekkeessä on kreikkaa
Dissertatio philologica, de chior bemaroth hatzobheoth, Exod. XXXIIX: v. 8. Quam consensu amplissimi collegii philosophici in Regia Academia Aboensi, praeside admodum reverendo atq[ue] amplissimo dn. mag. Johanne Munster, in Regio ad Auram Athenaeo phil. pract. & histor. professore celeberrimo, pro gradu in philosophia consequendo publice examinandam exhibet s. r. m. alumnus, Gabriel Erichsson, Anstro[!]-Finlandus. Ad diem 13. Febr. a:o r. s. 1712. h. 8. in audit. majori.
No full textInvokaatio: I.N.J.Dedikaatio: Johannes Gezelius, David Lund, Gabriel Thauvonius, Ericus Steenbergius, Gabriel Salonius, Gabriel Escholinus, Zacharias Lundanus, Johannes Saxenius.Painovuosi nimekkeestä.Arkit: A-C4. - Sivu [6] ja viimeinen sivu tyhjä.Nimekkeen hepreankieliset sanat on kirjoitettu latinalaisin kirjaimin
Dissertatio theologica, de gratiae Dei proprietatibus, qva gratuita, supernaturalis et universalis; succinctè in thesei & antithesei adornata: qvam e censurâ & approbatione admodum reverendae facultatis theologicae, in Regiâ Academiâ Aboënsi, praeside Petro Laurbecchio, s.s. th. d. & professore ordinario, publicae disceptationi submittit Andreas Jac. Frosterus, Bothn. In auditorio superiori [et] maximo, ad diem 9 Aprilis, anni ch. [M. DC.] XCII.
No full textInvokaatio: A.S.S.ae [et] I.T.Dedikaatio: Jacobus Frosterus, Zacharias Ulgehius.Gratulaatio: David Lund, C. Hoffren.Painovuosi nimekkeestä.Arkit: 2 arkintunnuksetonta lehteä, E-F4.Nimekkeessä on kreikkaa. Ensimmäinen gratulaatio on kreikankielinen
Aiax, sive de nece accersita, disputatio philologica quam coelesti annuente numine, consensu item amplissimae facultatis philosophicae, sub praesidio, ... dn. m. Torst. Rudeen, poës. professoris ordinarii. Publico examini exhibet Jodocus Festing, ad d. 5. Martii, in audit. max. an. M.DC.XCVIII. horis & loco consvetis.
No full textInvokaatio: B.C.D.Dedikaatio: Gabriel Falckenberg, Henricus Heerdhielm, Johannes Lillienstedt.Esipuhe.Gratulaatio: David Lund, Matthias Sveder, C. Thelaus, Dan. Steksenius.Painovuosi nimekkeestä.Arkit: 5 arkintunnuksetonta lehteä, A-C4, 1 arkintunnukseton lehti
Panel C: Author-Meets-Readers Session
No full textAuthor David Webber discusses his book The Rise of the Working Class Shareholder: Labor\u27s Last Best Weapon published on Harvard University Press
Cult: A Composite Novel
No full textCult (redacted)
The first component of the thesis is a composite novel called Cult which falls into two parts with seven narratives in each. Part 1 tracks the protagonist, Ellen, from her first involvement with the cult through to her eventually leaving it. Although fiction, the first half of the book answers the kinds of questions the author is asked when people discover that she was once a sannyasin (a follower of the guru Bhagwan Shree Rajneesh). While the experiences of meditation, group therapy and communal living are all faithfully rendered within the stories, the need for strong characters, narrative drive and a lightness of touch takes precedence.
Part 2 picks up Ellen’s story some twenty or so years later and explores what becomes of her in middle age. It also looks at other groups in society, such as academia, the law and the internet dating community which each have their own jargon, hierarchies, rituals and rules but are not considered to be cults.
The book examines the question raised in the Epigraph, ‘how do we be together when we feel so alone’ with a focus on relationships other than the familial and the romantic.
Collisions, Chasms and Connections: a Performative Exploration of the Composite Novel Form
The second part of the thesis is both a critical and creative response to three contemporary American books: Olive Kitteridge by Elizabeth Strout; A Visit from the Goon Squad by Jennifer Egan; and Legend of a Suicide by David Vann. The critical element comprises a close reading of the three books; a chronological reconstruction of their overarching storylines; and a consideration of what their authors have said about writing the books. It concludes that, in the composite novel, the simultaneous presentation of multiple views and storylines operate much like a 3D image to give the impression of depth to the characters and situations rendered. The creative element of the essay is a playful and personal response to the texts
Analysis of a File System Using the Verifying C Compiler
No full textTitle: Analysis of a File System Using the Verifying C Compiler Author: Bc. David Škorvaga Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Jan Kofroň, Ph.D. Abstract: Formal verification is a way to improve reliability of software systems. One approach of formal verification is focused on proving correctness of annotat- ed source code of an established programming language. Verifying C Compiler (VCC) is a verifier for concurrent C that accepts an annotated code in C language and automatically verifies its correctness with respect to the given annotation. There have been successful attempts to verify some critical systems, including the operating system kernel. Another critical part of operating system is its file system. In the thesis, we choose FatFs file system, a simple device-independent implementation of the FAT file system. We specify a part of it using the VCC annotation and successfully verify its correctness. Keywords: Formal Verification, File System, VC
- …
