211 research outputs found
Middlesex, England 1829
No full text"Corrected to the present period & published July 4, 1829."
"Engraved by J. & J. Neele ...".
Vignettes: "Westminster Abbey" ; "St. Paul's Cathedral" ; signed by "R. Creighton delt.".
Differs from previous state by the addition of a list of polling places.
Shows boundaries, roads with distances, woods, parks and settlements.
List of hundreds ; list of polling places ; compass rose.
Relief shown by hachures.
Greenwich meridian.
County of Middlesex, divided into hundreds.Color;[1:200,000
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
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. Accepted for publication.</p
Early Modern Biblical Commentary and Jonathan Edwards
No full textAdriaan C. Neele introduces the early modern context of biblical interpretation by discussing Matthew Poole’s Synopsis Criticorum aliorumque Sacrae Scripturae (1669–1674), a frequently referenced volume for many biblical interpreters, whether in England, on the European continent, or in the New World. Neele shows how this work represents early modern exegesis well and how it became an important channel for bringing medieval commentaries into the hands of post-Reformation exegetes. He also establishes the high esteem that this multivolume work gained in New England and its important role in Jonthan Edwards’ exegesis. The Synopsis gives us insight into early modern interpretation yet also serves as a contrast to New England exegesis, helping us set Edwards in his time.</p
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
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).</p
Raloxifene treatment increases plasma levels of beta-endorphin in postmenopausal women: a randomized, placebo-controlled study.
No full textAbstract
OBJECTIVE:
To evaluate the effect of the selective estrogen receptor modulator raloxifene hydrochloride (Evista, Eli Lilly and Company, Indianapolis, IN) on plasma levels of beta-endorphin, and to determine whether beta-endorphin levels and menopausal symptoms are related.
DESIGN:
A randomized, double-blind, placebo-controlled pilot study.
SETTING:
Endocrinology outpatient department.
PATIENT(S):
Forty postmenopausal women.
INTERVENTION(S):
The women received raloxifene, 60 mg/d, or placebo for 3 months. A questionnaire on climacteric symptoms was administered before and after treatment.
MAIN OUTCOME MEASURE(S):
Circulating levels of beta-endorphin, climacteric symptom score, and correlation with beta-endorphin levels.
RESULT(S):
Raloxifene treatment significantly increased levels of beta-endorphin and did not significantly affect climacteric symptoms, with the exception of worsening vasomotor symptoms. No significant relation was seen between plasma levels of beta-endorphin and climacteric symptoms.
CONCLUSION(S):
Raloxifene modulates plasma levels of beta-endorphin without concomitantly relieving climacteric symptoms, as seen with hormone replacement therapy
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).</p
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
A view of the natural, political and commercial circumstances of Ireland /
No full textSignatures: pi² a-d⁴ *B⁴ C-2T⁴ 2U⁴ (-2U4), ²A-G⁴ H² chi⁴.Illustrations: 1 map : engraving, col., hand col. ; 43 x 32 cm. By S. Neele, Strand. Imprint: Published Jany. 10th, 1809, by Cadell & Davies, Strand.Errata: p. [xxx].Publisher's advertisements: Last 8 pages in volume.Mode of access: Internet.Binding (Pforzheimer copy): Original boards, white spine label
- …
