7,196 research outputs found
Recommended from our members
[Binder's Collection: A. Worrell]
No full textBound compilation of sheet music from the collection of Thurman Morrison, presumably compiled by Ann Worrell, whose name is inscribed on multiple works within the volume. The vast majority of titles in this collection were published in Philadelphia, and the remainder in Baltimore, between 1796 and 1830. A number of items have themes related to Scotland, along with several works about soldiers. Composers Michael Kelly, Joseph Mazinghi, John Stevenson, and Thomas H. Thompson are most prominent, with three works each, and Thomas Moore was the lyricist for four works. George Willig, G.E. Blake, and various iterations of the Carr publishing company are the most prominent publishers in this volume
Termination of Linear Loops over the Integers (Track B: Automata, Logic, Semantics, and Theory of Programming)
Get PDFWe consider the problem of deciding termination of single-path while loops with integer variables, affine updates, and affine guard conditions. The question is whether such a loop terminates on all integer initial values. This problem is known to be decidable for the subclass of loops whose update matrices are diagonalisable, but the general case has remained open since being conjectured decidable by Tiwari in 2004. In this paper we show decidability of determining termination for arbitrary update matrices, confirming Tiwari’s conjecture. For the class of loops considered in this paper, the question of deciding termination on a specific initial value is a longstanding open problem in number theory. The key to our decision procedure is in showing how to circumvent the difficulties inherent in deciding termination on a fixed initial value
Preface
No full textThis volume contains the papers presented at the 48th International Colloquium on Automata, Languages and Programming (ICALP 2021), held virtually, hosted by the University of Glasgow, UK, during July 12–16, 2021. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS), which first took place in 1972.
This year, the ICALP program consisted of two tracks:
Track A: Algorithms, Complexity, and Games
Track B: Automata, Logic, Semantics, and Theory of Programming
In response to the call for papers, a total of 362 submissions were received: 261 for Track A and 101 for Track B. Each submission was assigned to at least three Program Committee members, aided by 761 external subreviewers. The committees decided to accept 137 papers for inclusion in the scientific program: 108 papers for Track A and 29 for Track B. The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science. The quality of the manuscripts was very high indeed, and many deserving papers could not be selected.
The EATCS sponsored awards for both a best paper and a best student paper in each of the two tracks, selected by the Program Committees.
The best paper awards were given to the following papers:
Track A: Sayan Bhattacharya and Peter Kiss. Deterministic Rounding of Dynamic Frac-
tional Matchings.
Track B: Antoine Amarilli, Louis Jachiet and Charles Paperman. Dynamic Membership for
Regular Languages.
The best student paper awards, for papers that are solely authored by students, were given to the following paper:
Track A: Or Zamir. Breaking the 2n barrier for 5-coloring and 6-coloring.
Track B: none.
Apart from the contributed talks, ICALP 2021 included invited presentations by Christel Baier (Technical University of Dresden), Andrei Bulatov (Simon Fraser University, Canada), Keren Censor-Hillel (Technion, Israel), Toniann Pitassi (University of Toronto, Canada), Adi Shamir (Weizmann Institute of Science, Israel), David Woodruff (Carnegie Mellon University, USA).
This volume contains all the contributed papers presented at the conference, papers that accompany the invited talks of Christel Baier, Andrei Bulatov, Keren Censor-Hillel, Adi Shamir, David Woodruff, and an abstract of the invited presentation of Toniann Pitassi.
The program of ICALP 2021 also included presentations of the EATCS Award 2021 to Toniann Pitassi, the Presburger Award 2021 to Shayan Oveis Gharan, the EATCS Distinguished Dissertation Awards to Talya Eden, Marie Fortin, Vera Traub, and the induction of new EATCS Fellows Luca Aceto, Rajeev Alur, Samir Khuller, David Peleg, Davide Sangiorgi, Saket Saurabh.
The following workshops were held as satellite events of ICALP 2021 on July 12, 2021: Algorithmic Aspects of Temporal Graphs IV (AATG)
Verification of Session Types (VEST)
Programming Research in Mainstream Languages (PRiML)
Graph Width Parameters: from Structure to Algorithms (GWP)
Combinatorial Reconfiguration
Formal methods education on-line: Tips, Tricks and Tools
Flavours of Uncertainty in Verification, Planning and Optimization (FUNCTION)
We wish to thank all authors who submitted extended abstracts for consideration, the Program Committees for their scholarly effort, and all the referees who assisted the Program Committees in the evaluation process.
We are also grateful to the Conference General Chair, Simon Gay, and his colleagues from the School of Computing Science, University of Glasgow, for organizing ICALP 2021, and to the Scottish Informatics and Computer Science Alliance (SICSA) for sponsoring participation by PhD students from Scotland.
We would like to thank Anca Muscholl, the Chair of the ICALP Steering Committee, for her continuous support and Artur Czumaj, the president of EATCS, for his generous advice on the organization of the conference.
July 2021 Nikhil Bansal Emanuela Merelli
James Worrel
Engraved portrait of Sir James Turner (b. c.1615, d. in or after 1689)
No full textEngraved portrait of Sir James Turner, army officer and author (b. c.1615, d. in or after 1689) by Robert White (1645-1703
Polyphony and the anxiety of influence in the fiction of Henry James
Get PDFJames's fiction, especially in the Middle Phase, centres
on the figure of the artist and is characterized by, the two
interrelated aspects which previous criticism has largely
overlooked: the Bakhtinian 'polyphonic' -creation of
'author-thinkers'; and the conflict between ephebes and
precursors, for which Harold-Bloom's concept of 'the-anxiety of
influence' is the most illuminating model. Polyphony is the
narrative mode, and influence is the intra-artistic, theme.
These, as the Introduction to the thesis makes clear, are
rehearsed in James's inaugural novel, Roderick Hudson. Rowland
Mallet is an author-thinker, and his failure is caused by
authorial limitations. His monologism -is impaired by his
mistaking empathy for the authorial sympathy. Likewise,
Hudson's failure does not arise from a mercurial temperament,
but from a polyphonic shortcoming: not possessing the power of
fiction to contain the fiction of power in, his mentor. And the
relationships among the three artists - Gloriani, Hudson and
Singleton - perfectly exemplify the Bloomian-theme. It is these
two concepts, polyphony and influence, which are the major
preoccupation in the Middle Phase; as, the works chosen
demonstrate. These are a novella, a novel, and a number of
short stories all of which have been unjustifiably neglected.
Chapter One, on The Aspern Papers, argues that Tina Bordereau,
far from being, the artless victim seen by many critics,
actually challenges and defeats the narrator by the very form
of her narrative. Her 'realist' discourse undermines his
language of 'romance', and shows up its internal unstability.
Chapter Two is an extensive study of the critical reception of
The Tragic Muse. The most common areas of critical attention
have been its contemporary topicality, its relation to previous
novels on similar themes, and the possible genealogy of Gabriel
Nash. Those have all missed the core of the work. - Chapter Three
demonstrates how polyphony and the anxiety of influence make
the novel what it really is. Influence arises from the
juxtaposition of, and the wrestling between, artistic ephebes
and their precursors (Nick and Nash,, Miriam and Madame Carre).
The dialogic quality defined by Bakhtin is crucial to the
proper, and even-handed, characterization of all, the conflicts
in the novel. And since most of James's tales in the eighties
and nineties -are about 'masters - and acolytes, the anxiety of
influence remains central. Chapter Four is a study of 'The
Author of Beltraffiol' and 'The Lesson of the Master'. Again the
characters' manipulations are a crucial focus in a way that
G6rard Genette's terminology helps to illuminate. The fact that
the ephebe is the author-thinker emphasizes the inextricability
of the Bakhtinian and the Bloomian in James. Just as
polyphony offers a different focus for explicating the poetics
of James's fiction; so the ephebal conflict provides the basis
for a fresh perception of James's own artistic struggle
James Bond: international man of gastronomy
No full textThis article is concerned with the representation of food and drink in Ian Fleming’s James Bond novels. In particular, it examines how the author uses Bond’s culinary knowledge and habits of consumption as an important constituent of his hero’s character. Similarly, the food choices of other characters, notably villains, are shown to be linked, by Fleming, to core aspects of their identity − principally their ethnicity. Bond’s impulse to observe and classify, very much in evidence in the novels’ food sequences, is examined in terms of the texts’ construction of Bond as a skilled identifier of signs
A critical comparison of William James and Søren Kierkegaard on religious belief
No full textThis thesis is a critical comparison of the accounts of religious belief proposed byWilliam James and Søren Kierkegaard. Both James and Kierkegaard greatly emphasizethe subjective aspects of religious belief. In view of this fact, surprisingly littlecomparative work has been done in this area. I contribute to this literature in two ways.Firstly, I make a brief assessment of what James knew of Kierkegaard’s work.Secondly, I draw four comparisons between Kierkegaard and James. In Chapter One Iexamine the claim that Kierkegaard proposes a pragmatist account of faith of the kindthat James sets out in his essay The Will To Believe. I argue that this claim rests on amisunderstanding of Kierkegaard’s argument that to have faith is to take a risk. In thefollowing chapter I discuss James’s and Kierkegaard’s views on formal proofs for theexistence of God. Both philosophers reject the notion that faith can be based on suchproofs. I distinguish between their positions, and argue in favour of Kierkegaard’s. Inthe third chapter I compare Kierkegaard’s and James’s accounts of religious experience.James views religious experiences as a special kind of evidence for the existence ofGod. For Kierkegaard it is a mistake to view religious experiences as evidence. Suchexperiences should be understood in relation to the concept of religious authority. In thefinal chapter I examine Kierkegaard’s conception of faith as a life-view. I argue that forKierkegaard a life-view is a fundamental perspective on one’s existence. I compare thisconception with James’s concept of philosophical temperament and in relation to hisdiscussion of the sick soul
Theology in suspense : how the detective fiction of P.D. James provokes theological thought
No full textElectronic redacted version excludes material for which permission has not been granted by the rights holderThe following dissertation argues that the detective fiction of P.D. James
provokes her readers to think theologically. I present evidence from the body of
James’s work, including her detective fiction that features the Detective Adam
Dalgliesh, as well as her other novels, autobiography, and non-fiction work. I also
present a brief history of detective fiction. This history provides the reader with a
better understanding of how P.D James is influenced by the detective genre as well as
how she stands apart from the genre’s traditions.
This dissertation relies on an interview that I conducted with P.D. James in
November, 2008. During the interview, I asked James how Christianity has
influenced her detective fiction and her responses greatly contribute to this
dissertation. However, James’s novels should be interpreted and explored in the
manner that they are received by the reader. How the reader receives and responds to
the novels, not only how James writes the novels, is what causes her stories to
provoke theological thinking.
By examining Christian symbolism that is present in setting, character, the
Detective Adam Dalgliesh, and plot, this dissertation seeks to assert that James
contributes to a theological conversation through her popular detective fiction
Bill to James Berry from William B. Dewees, an Old 300 colonist
No full textDEWEES, WILLIAM B. (1819-1878). Document signed, Colorado County, January 31, 1844. Bill to James Berry. Dewees was author of “Letters From An Early Settler of Texas To A Friend.” 2pp
James Murray
No full textPhotograph - A crowd of men listening to James Murray, the principal of Olds School of Agriculture, on Field Day at the farm of E.J. Shank, Athabasca, Albert
- …
