136,217 research outputs found
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
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
Computer Architecture: A Quantitative Approach J. L. Hennessy, D. A. Patterson Morgan Kaufman, 4th Edition, 2007
No full textAn updated edition of the classic book on computer architecture by J. L. Hennessy and D. A. Patterson.\nAuthors show their high level standards for technological ideas, writing style, and teaching methodologies, all in one book. In fact, they maintain their quality since the first edition of this book. As authors explain, one of the main reasons for the fourth edition of the book is the focus on parallel architectures for high performance, more specifically: multiple processors or processors cores per chip designs
MeSH term explosion and author rank improve expert recommendations
No full textInformation overload is an often-cited phenomenon that reduces the productivity, efficiency and efficacy of scientists. One challenge for scientists is to find appropriate collaborators in their research. The literature describes various solutions to the problem of expertise location, but most current approaches do not appear to be very suitable for expert recommendations in biomedical research. In this study, we present the development and initial evaluation of a vector space model-based algorithm to calculate researcher similarity using four inputs: 1) MeSH terms of publications; 2) MeSH terms and author rank; 3) exploded MeSH terms; and 4) exploded MeSH terms and author rank. We developed and evaluated the algorithm using a data set of 17,525 authors and their 22,542 papers. On average, our algorithms correctly predicted 2.5 of the top 5/10 coauthors of individual scientists. Exploded MeSH and author rank outperformed all other algorithms in accuracy, followed closely by MeSH and author rank. Our results show that the accuracy of MeSH term-based matching can be enhanced with other metadata such as author rank
The Running Performance Decrement in Elite Hurling
No full textSince the COVID-19 restrictions, hurling games have been played in four quarters instead of two halves. This study described the decrement in running performance between quarters in elite hurling. GPS (10 Hz) were used to collect data from 48 players over 20 games during 2018–2020 season. Total distance (TD), high-speed running (HSR), high-metabolic-load distance (HMLD), sprint-distance, and number of sprints (N-sprints) between quarters were assessed. Greater TD was covered in Q1 than Q3 (Cohen’s d = 0.26). HSR and HMLD was greater in Q1 than Q2 (d = 0.45 and d = 0.55, respectively), Q3 (d = 0.34 and d = 44, respectively) and Q4 (d = 0.38 and d = 0.48, respectively). Sprint-distance and N-sprints were similar (p > 0.05) across quarters. All positions experienced a drop-off in at least one quarter (d = 0.43–1.46) in all metrics except midfielders’ TD and full-forwards’ HSR and HMLD. Sprint-distance and N-sprints were similar (p > 0.05) in each quarter for all positions. Following Q1, players were able to maintain their running performance. The current results can aid the timing of substitutions especially in positions where temporal decrements were observed
Computer Architecture: A Quantitative Approach J. L. Hennessy, D. A. Patterson Morgan Kaufman, 4th Edition, 2007
No full textAn updated edition of the classic book on computer architecture by J. L. Hennessy and D. A. Patterson.
Authors show their high level standards for technological ideas, writing style, and teaching methodologies, all in one book. In fact, they maintain their quality since the first edition of this book. As authors explain, one of the main reasons for the fourth edition of the book is the focus on parallel architectures for high performance, more specifically: multiple processors or processors cores per chip designs.Facultad de Informátic
Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic
No full textBi-intuitionistic logic is an extension of intuitionistic propositional logic with a binary operator that is residuated with respect
to disjunction. Our main result is a Hennessy-Milner property for biintuitionistic logic interpreted over certain classes of Kripke models. We
generalise this to obtain a corresponding result for modal bi-intuitionistic
logic. Our main technical tools are a categorical duality between (modal)
descriptive Kripke frames and (modal) bi-Heyting algebras, and the use
of behavioural equivalence
Inferring dynamic credentials for role-based trust management
No full textThe topic of this paper is the role-based trust-management language RT_0, a formalism inspired by logic programming that handles trust in large scale, decentralised systems. We provide a purely operational semantics for the language in which credentials can be established using a simple set of inference rules. We then extend RT_0 to include time validity and boolean guards that control the availability of credentials. In such an extended framework, credentials are conditional on the availability of supporting credentials in the execution context. In addition to a set-theoretic and a logic-programming semantics, we develop for the extended language a series of increasingly powerful inference systems for establishing these conditional credentials. By means of simple but realistic examples, we demonstrate the expressiveness and usability of our language, warranting its integration into existing trust-management tools
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
- …
