3,015 research outputs found
CONCUR test-of-time award for the period 1994–97 interview with uwe nestmann and Benjamin C. Pierce
No full textLast year, the CONCUR conference series inaugurated its Test-of-Time Award,
the purpose of which is to recognise important achievements in Concurrency
Theory that were published at the conference and have stood the test of time.
This year, Decoding Choice Encodings by Uwe Nestmann and Benjamin C.
Pierce was one of four papers chosen to receive the CONCUR Test-of-Time
Award for the periods 1994–1997 and 1996–1999 by a jury consisting of Rob
van Glabbeek (chair), Luca de Alfaro, Nathalie Bertrand, Catuscia Palamidessi,
and Nobuko Yoshida. This article is devoted to the engaging and interesting
interview conducted with Uwe Nestmann and Benjamin C. Pierce via video
conference
Preface Volume 16, Issue 3
No full textAbstractThe HLCL workshops are intended to bring together researchers involved in the design, development, foundations, and applications of high-level concurrent programming languages and models.Programming models should be simple, practical, high-level, and well founded. These qualities allow rigorous language specifications and support both formal and informal reasoning about programs. For concurrent and distributed systems, research on programming models has driven the design of several recent programming languages, including Erlang, versions of ML, like CML, Facile, and Haskell, as well as languages explicitly designed for concurrency or distribution such as Obliq, Oz, Pict, and the Join-Calculus language. Although the motivations behind the design of these languages are diverse (ranging from the development of graphical user interfaces and multi-agent systems to constraint, real-time, and distributed programming), suitable foundations have turned out to be quite similar in style and technique, often based on variants of well-known calculi for mobile processes.The first HLCL Workshop was organized by Benjamin Pierce and Matthew Hennessy at the Isaac Newton Institute for Mathematical Sciences, University of Cambridge, UK, in October 1995. The second HLCL Workshop was organized by Martin Müller and Joachim Niehren at Dagstuhl, Germany, in January 1997, chaired by Kohei Honda, Martin Odersky, Benjamin Pierce, Gert Smolka, and Phil Wadler. For more information see the workshop homepage.In addition to the six contributed papers presented at the workshop, this collection contains an abstract of the invited talk by James E. White (General Magic, US). We would like to thank the authors of the submitted papers, the invited speaker, and the members of the program committee for their contribution to both the meeting and this volume. We also would like to thank BRICS for the printing and Michael Mislove for his help with the editing of the proceedings, ERCIM for financial support, the CONCUR organizing committee at INRIA for hosting HLCL'98, and Silvano Dal-Zilio for further local organization
Decorated steam locomotive used by President Benjamin Harrison, April 24, 1891
No full textPhotograph of the decorated steam locomotive used by President Benjamin Harrison, April 24, 1891. The fireman stands beside the engine leaning against it. The conductor stands up on the engine close to the control booth. Another railroad car is barely visible behind the locomotive. Hills rise in the distance at right. Caption reads "The President's 'Special', left Los Angeles April 24, 1891.
Type systems for dummies
No full textWe extend Pure Type Systems with a function turning each term M of type A into a dummy |M| of the same type (|.| is not an identity, in that M ≠ |M|). Intuitively, a dummy represents an unknown, canonical object of the given type: dummies are opaque (cannot be internally inspected), and irrelevant in the sense that dummies of a same type are convertible to each other. This latter condition makes convertibility in PTS with dummies (DPTS) stronger than usual, hence raising not trivial consistency issues. DPTS offer an alternative approach to (proof) irrelevance, tagging irrelevant information at the level of terms and not of types, and avoiding the annoying syntactical duplication of products, abstractions and applications into an explicit and an implicit version, typical of systems like ICC*
Public worship and practical theology in the work of Benjamin Keach (1640-1704)
No full textThe late seventeenth century was a critical and fruitful period
for the Particular Baptists of England. Severely persecuted following
the Restoration, toleration in 1689 brought its own perils.
Particular Baptists were fortunate in having several strong leaders,
especially the London trio of Hanserd Knollys, William Kiffin, and
Benjamin Keach. Such a small and severely persecuted group as the
Baptists could afford little time for academic pursuits, thus of
necessity most of their theology was practical in nature.
Benjamin Keach (1640-1704) was the most outstanding practical
theologian among the English Particular Baptists of the late
seventeenth century. This dissertation is a study of Keach, in
particular his writings on public worship and practical theology.
Although Keach was a prolific author, he has been almost completely
neglected by scholars.
After a biographical sketch of Keach, this study considers his
writings on public worship and practical theology. In the area of
worship, Keach made two outstanding contributions: First, he was the
most vocal apologist for Baptist views on Baptism of his period.
Secondly, and more importantly, his hymn writing and defense of hymn
singing broke new ground, not just for Baptists, but for English
Protestantism, in general. In addition to his contributions in these
areas, he also dealt with the laying on of hands and the sabbath day
worship controversy.
Keach's contributions to practical theology fall into two main
groups: his writings that concern religious education and those that
deal with polity. In addition to these, Keach's vigorous advocacy of
a high Calvinist soteriology are also considered under the rubric of
practical theology. Keach's most important (although not his most
positive) contribution in this area were his soteriological writings.
Although well within the bounds of orthodoxy, some of the tendencies
in Keach's soteriology were taken up by the following generation of
Baptist leaders and developed into a stultifying hyper-Calvinism that
handicapped Baptist evangelism and missions.
In the conclusion, Keach's contributions to a theory of practical
theology are considered
Index to An Enduring Love: The Civil War Diaries of Benjamin Franklin Pierce (14th New Hampshire Vol. Inf.) and His Wife Harriett Jane Goodwin Pierce
No full textThis is an index created by Dr. George Rable for research
Four horse hack outside of the Los Angeles House hotel in Pasadena, at the disposal of United States President Benjamin Harrison, 1891
No full textPhotograph of a four horse hack outside of the Los Angeles House hotel in Pasadena, at the disposal of United States President Benjamin Harrison, 1891. Four horses, two black and two white, are hitched to a covered carriage decorated with leaves and flowers that stands in front of the Los Angeles House. The coachmen attends the horses' reigns. Behind, on the porch of the L.A. house, above which American flags and star-spangled ribbon are hung, spectators gather, looking out. A streetlamp and the rear of another carriage are visible to the extreme left
A Discourse Delivered at the Celebration of the Two Hundredth Anniversary of the Reformed Prot. Dutch Church of Bergen, in New Jersey, on Sabbath Morning, December 2nd, A.D. 1860, with a Manual of the Church
No full textSermon by pastor Benjamin C. Taylor from anniversary service details history of church, including names of early pastors and other prominent members. Church manual lists current officers, schedule of services, details of consistory and directory of members in full communion as of January 1, 1861
Comparison of several author indices for gauging academic productivity
No full textBackground
Many author indices exist to gauge academic productivity. Several of these indices are calculated based upon an author's scholarly publication record, but the measurement methodology to calculate each index varies considerably, and the precise function being used, as well as the end result, is often complex and difficult to assess.
Method
Two straightforward methods to weigh author productivity from the publication and citation record were evaluated as possible means for providing a clearer assessment of scholarly activity. The author characteristic index (termed c-index) assigns author rank for each publication based upon author position. The characteristic prime (c') -index normalizes author rank from author position, so that the total weight per publication is unity. The top 10 scholars with keyword 'celiac disease' in the Google Scholar database were then assessed using these metrics. Rankings according to total number of publications, h-index, and c- and c'-indices were compared, then tabulated along with total papers included for assessment, and mean values per paper for author position, number of authors, citations, and year of publication.
Results
The order of the top ten authors with keyword 'celiac disease' varied substantially depending upon whether the h-index, c-index, or c'-index was used as a gauge. The characteristic indices assign credit to authors according to their position in an author list. The affiliated metrics provided a more complete picture of scholarly activity.
Conclusions
Academic achievement by scholars, based upon quantitative publication characteristics, has recently become of interest for evaluating job candidates, for determining work performance, and for bestowing awards and honors. The characteristic indices as described herein are readily calculated and interpreted, and may improve the assessment of scholarly activity
Sermon to Returning Civil War Soldiers, 1861
No full textSermon preached by Rev. Benjamin C. Taylor, pastor, in Bergen Reformed Church on 2nd Samuel 10:12 - "Be of good courage, and let us play the men for our people and for the cities of our God: and the Lord do that which seemeth Him good." Compares Civil War with the conflict depicted in the biblical text, reflects on duty and courage
- …
