7,218 research outputs found
Hennessy, M, NX6122
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/391821Surname: HENNESSY. Given Name(s) or Initials: M. Military Service Number or Last Known Location: NX6122. Missing, Wounded and Prisoner of War Enquiry Card Index Number: 5402.209194
Item: [2016.0049.24114] "Hennessy, M, NX6122
Hennessy, R M S, SX6497
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/391824Surname: HENNESSY. Given Name(s) or Initials: R M S. Military Service Number or Last Known Location: SX6497. Missing, Wounded and Prisoner of War Enquiry Card Index Number: C1245.209199
Item: [2016.0049.24117] "Hennessy, R M S, SX6497
Security Policies as Membranes in Systems for Global Computing
No full textWe propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane which regulates the interactions between the computing body and the external environment. More precisely, membranes are filters which control access to the associated site, and they also rely on the well-established notion of trust between sites. We develop a basic theory to express and enforce security policies via membranes. Initially, these only control the actions incoming agents intend to perform locally. We then adapt the basic theory to encompass more sophisticated policies, where the number of actions an agent wants to perform, and also their order, are considered
The early ownership of the Hennessy Hours
No full textHurt Jethro-M. The early ownership of the Hennessy Hours. In: Scriptorium, Tome 27 n°1, 1973. pp. 43-46
Colleens Catherine Hennessy and Marie Catherine Riley
No full textColleens Catherine Hennessy, left, and Marie Catherine Riley celebrating Saint Patrick\u27s Day. Miss Hennessy is the daughter of Mr. and Mrs. J. M. Hennessy, of 3401 South Jennings Avenue. Miss Riley is the daughter of Mr. and Mrs. A. D. Riley, of 1822 May Street. Miss Hennessy\u27s blouse has a bow detail on the front and she is wearing bows in her hair as well as a necklace. Miss Riley is wearing a blouse with floral embroidery details above the breast pockets.https://mavmatrix.uta.edu/specialcollections_startelegram1940s/2321/thumbnail.jp
Hennessy-Milner Classes and Process Algebra
No full textThis paper studies Hennessy-Milner classes, classes of Kripke models where
modal-logical equivalence coincides with bisimulation. Concepts associated
with these classes in the literature (Goldblatt [6], Visser [8])are studied and
compared and the structure of the collection of maximal Hennessy-Milner
classes is investigated (how many are there, what is their intersection?). The
insights into these classes are applied to process algebra. This results in a
Hennessy-Milner process algebra for a non-trivial process language, whose
standard graph-semantics is not Hennessy-Milner
Portrait of Reverend M.N. Hennessy, 1911 [picture] /
No full textTitle from inscription on reverse.; Condition: Good.; Inscriptions: "The Johnson Studios, corner Pitt & Market Streets, Sydney" --Printed lower right corner. "Rev. M. N. Hennessy, 1911" --In pencil on reverse.; Also available in an electronic version via the Internet at: http://nla.gov.au/nla.pic-an24213050
A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics
No full textCoalgebraic modal logic, as in [9, 6], is a framework in which modal logics for specifying coalgebras can be developed parametric in the signature of the modal language and the coalgebra type functor T. Given a base logic (usually classical propositional logic), modalities are interpreted via so-called predicate liftings for the functor T. These are natural transformations that turn a predicate over the state space X into a predicate over TX. Given that T-coalgebras come with general notions of T-bisimilarity [11] and behavioral equivalence [7], coalgebraic modal logics are designed to respect those. In particular, if two states are behaviourally equivalent then they satisfy the same formulas. If the converse holds, then the logic is said to be expressive. and we have a generalisation of the classic Hennessy-Milner theorem [5] which states that over the class of image-fjnite Kripke models, two states are Kripke bisimilar if and only if they satisfy the same formulas in Hennessy-Milner logic
The accuracy of measuring backfat and loin muscle thicknesses on pork carcasses by the Hennessy HGP2, Destron PG-100, CGM and ultrasound CVT grading probes
No full text Research was undertaken to evaluate the accuracy of different grading probes measuring backfat (F) and loin muscle thicknesses (M). Thus, 270 pig carcasses were selected according to a 2 × 3 × 3 factorial arrangement. Gender (barrows and gilts), fat thickness at the Canadian grading site (< 15.75, 15.75 to 19.75 and > 19.75 mm), and hot carcass weight (75.5 to 81.8, 81.9 to 86.2 and 86.3 to 92.7 kg) were the main factors. The Hennessy (HGP2), Destron (PG-100) and CGM optic probes and the CVT ultrasound probe with two transducers [PCA-5049, 172 mm (CVT-1) and PCB-5011, 125 mm (CVT-2)] were evaluated. Grading measures were compared to the equivalent measures taken in a digitized image. The F and M precision was evaluated in terms of random bias (ED). Hennessy F and CVT-1 M had the lower ED. For F measurements, CGM, Destron, CVT-2 and CVT-1 ED was respectively, 1.65, 1.72, 1.78 and 2.14 times greater than Hennessy ED. For M measurements, ED of CVT-2, CGM, DPG and Hennessy was 1.02, 1.84, 2.03 and 2.20 times greater than CVT-1 ED. Measures of the intercostal muscles were not reliable in any of the probes able to take that measure. Key words: Pork, carcass grading, grading probes, HGP2, PG-100, CGM, CVT </jats:p
- …
