39 research outputs found
Glocalizing genre fiction in the global South
No full textThis study offers a comprehensive overview of post-millennial Indian (English) and Latin American crime fiction. Drawing on genre theory and the field of literature & globalization, Neele Meyer examines the history of crime fiction and traces similar developments in the book markets in these largely disconnected regions.
In an analysis of the characteristics of the genre, the author studies the works of 17 writers from India, Argentina and Chile focusing on aspects like detective figures (particularly women detectives or journalists), the plot structure, intertextuality, settings or the impact of media and technology. The analysis shows that authors consciously choose the globally circulating genre and modify it as “social commentaries” to accommodate economic or social transformations. Neele Meyer challenges the idea that the global presence of the genre leads to homogenization and argues that global circulation of crime fiction in the Global South is a ‘glocal’ phenomenon that reflects the heterogeneous outcomes of processes of globalization
Encyclopaedia heraldica, or, Complete dictionary of heraldry /
No full textEngraved t.-p.s, with vignettes.v.1. Complete dictionary of heraldry. Glover's Ordinary of arms, augm. and improved, with indexes, &c. Mottos of the nobility &c. Appendix, containing baronets of Scotland and Ireland... Supplement to Dictionary of heraldry, and addenda -- v.2. Dictionary of arms of the principal private families in England, Scotland, and Ireland -- v.3. Explanatory plates to the Dictionary of heraldry, orders of knighthood and the arms of subscribersMode of access: Internet.Plates engraved by James Joshua Neele, Josiah Neele, John Walker, James Mutlow, and Oliver; after James Joshua Neele, Josiah Neele, and James Mutlow.BAC : British Art Center copy is bound in 2 vols., in original boards
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
No full textOne of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correctness proofs to ensure the issue is resolved. Furthermore, we analyse in which formalisms the problem may occur. The impact on practical implementations is limited, since they all compute a correct approximation of the theory.peerReviewe
Post-Reformation Reformed sources and children
No full textThis article suggests that the topic “children” received considerable attention in the post-Reformation era – the period of CA 1565-1725. In particular, the author argues that the post-Reformation Reformed sources attest of a significant interest in the education and parenting of children. This interest not only continued, but intensified during the sixteenth-century Protestant Reformation when much thought was given to the subject matter. This article attempts to appraise the aim of post-Reformation Reformed sources on the topic “children.
Infinite-data PBES Quotienting with the mCRL2 toolset
No full textThis folder contains the benchmarks that were performed as part of the publications Thomas Neele, Tim A. C. Willemse, Jan Friso Groote: Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. FACS 2018. LNCS 11222, pp. 216-236. and Thomas Neele, Tim A. C. Willemse, Jan Friso Groote: Finding Compact Proofs for Infinite-Data Parameterised Boolean Equation Systems. Science of Computer Programming (FACS 2018 special issue), vol. 188, 102389, 2020
Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'
No full textThis archive contains the experiments that were performed as part of the publication Thomas Neele, Tim A. C. Willemse, Wieger Wesselink: Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. TACAS 2020 (accepted for publication)
Chile 1816
No full textRelief shown by hachures. Includes inset map. "Pinkerton's modern atlas" -- across the top margin.This hand-colored map of 1816 shows most of Chile, from its northern border to approximately 44° South. Relief is shown by hachures. An inset map depicts Isola de Tierra, the easternmost of the Juan Fernández Islands, the archipelago in the Pacific Ocean that appears at the far western edge of the map. The map has two distance scales, Spanish geographical miles and British statute miles. Yellow is used to highlight the borders of the Viceroyalty of La Plata, an administrative unit of the Spanish Empire established in 1776 out of territories previously part of the Viceroyalty of Peru (comprising all or parts of present-day Argentina, Uruguay, Paraguay, and Bolivia). The map was included in Pinkerton’s Modern Atlas, which was published in London between 1808 and 1815 and in a special American edition in 1818. John Pinkerton (1758-1826) was a Scottish scholar and author who wrote books on Scottish history and poetry, numismatics, and other topics. In 1808–14 he published the 17-volume A General Collection of the Best and Most Interesting Voyages and Travels in All Parts of the World. A six-volume edition of Pinkerton’s compilation was issued in Philadelphia in 1810–12. The map was engraved by Samuel John Neele (1758–1824), who was from an important family of British engravers who worked from offices on the Strand in London. WDLColor1:3,000,00
A major new standard work on post-reformation reformed studies
No full textThis study is an advancement
of previous scholarship that has assessed the Post-Reformation reformed sources as ‘dead orthodoxy’, ‘dry’,
‘ridged’, and theologically diverted from the sixteenth-century
Protestant Reformation. Muller attempts to show continuity and
discontinuity of intellectual scholastic thought, particularly on
the theological prolegomena, the doctrine of Scripture and
doctrine of God, from the Medieval time, through the Protestant
Reformation to the post-Reformation Reformed period
(approximately 1565-1725)
