1,207 research outputs found
Process Creation and Full Sequential Composition in a Name-Passing Calculus
This paper presents the underlying theory for a process calculus featuring process creation and sequential composition, instead of the more usual parallel composition and action prefixing, in a setting where mobility is achieved by communicating channel names. We discuss the questions of scope and name binding, raised by the interaction of mobility and sequential composition. Substitution of names is integrated as a syntactic operator in the calculus. We present an axiomatic theory for the calculus and show its soundness and completeness w.r.t. bisimulation equivalence
A duality theoretic view on limits of finite structures: Extended version
A systematic theory of structural limits for finite models has been developed by Nešetřil and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a space of measures, where the desired limits can be computed. We show that a closely related but finer grained space of (finitely additive) measures arises—via Stone-Priestley duality and the notion of types from model theory—by enriching the expressive power of first-order logic with certain “probabilistic operators”. We provide a sound and complete calculus for this extended logic and expose the functorial nature of this construction. The consequences are two-fold. On the one hand, we identify the logical gist of the theory of structural limits. On the other hand, our construction shows that the duality theoretic variant of the Stone pairing captures the adding of a layer of quantifiers, thus making a strong link to recent work on semiring quantifiers in logic on words. In the process, we identify the model theoretic notion of types as the unifying concept behind this link. These results contribute to bridging the strands of logic in computer science which focus on semantics and on more algorithmic and complexity related areas, respectively
Recommended from our members
A DUALITY THEORETIC VIEW ON LIMITS OF FINITE STRUCTURES
A systematic theory of structural limits for finite models has been developed by Nešetřil and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a space of measures, where the desired limits can be computed. We show that a closely related but finer grained space of (finitely additive) measures arises—via Stone-Priestley duality and the notion of types from model theory—by enriching the expressive power of first-order logic with certain “probabilistic operators”. We provide a sound and complete calculus for this extended logic and expose the functorial nature of this construction. The consequences are two-fold. On the one hand, we identify the logical gist of the theory of structural limits. On the other hand, our construction shows that the duality theoretic variant of the Stone pairing captures the adding of a layer of quantifiers, thus making a strong link to recent work on semiring quantifiers in logic on words. In the process, we identify the model theoretic notion of types as the unifying concept behind this link. These results contribute to bridging the strands of logic in computer science which focus on semantics and on more algorithmic and complexity related areas, respectively
2,2′-[(E,E)-cis-(CycloÂhexane-1,4-diÂyl)bisÂ(nitriloÂmethanylylÂidene)]diphenol
In the title compound, C20H22N2O2, the asymmetric unit contains two independent half-molÂecules, which are both completed by crystallographic inversion symmetry. The cycloÂhexane rings of both molÂecules adopt chair conformations; the N atoms are in equatorial orientations in one molÂecule and in axial orientations in the other. Both molÂecules feature two intraÂmolecular O—Hâ‹ŻN hydrogen bonds, which generate S(6) rings
Recognisable languages over monads
The principle behind algebraic language theory for various kinds of
structures, such as words or trees, is to use a compositional function from the
structures into a finite set. To talk about compositionality, one needs some
way of composing structures into bigger structures. It so happens that category
theory has an abstract concept for this, namely a monad. The goal of this paper
is to propose monads as a unifying framework for discussing existing algebras
and designing new algebras
Clinically insignificant trunnionosis in large-diameter metal-on-polyethylene total hip arthroplasty.
OBJECTIVES: Mechanical wear and corrosion at the head-stem junction of total hip arthroplasties (THAs) (trunnionosis) have been implicated in their early revision, most commonly in metal-on-metal (MOM) hips. We can isolate the role of the head-stem junction as the predominant source of metal release by investigating non-MOM hips; this can help to identify clinically significant volumes of material loss and corrosion from these surfaces. METHODS: In this study we examined a series of 94 retrieved metal-on-polyethylene (MOP) hips for evidence of corrosion and material loss at the taper junction using a well published visual grading method and an established roundness-measuring machine protocol. Hips were retrieved from 74 male and 20 female patients with a median age of 57 years (30 to 76) and a median time to revision of 215 months (2 to 324). The reasons for revision were loosening of both the acetabular component and the stem (n = 29), loosening of the acetabular component (n = 58) and infection (n = 7). No adverse tissue reactions were reported by the revision surgeons. RESULTS: Evidence of corrosion was observed in 55% of hips. The median Goldberg taper corrosion score was 2 (1 to 4) and the annual rate of material loss at the taper was 0.084 mm(3)/year (0 to 0.239). The median trunnion corrosion score was 1 (1 to 3). CONCLUSIONS: We have reported a level of trunnionosis for MOP hips with large-diameter heads that were revised for reasons other than trunnionosis, and therefore may be clinically insignificant.Cite this article: H. S. Hothi, D. Kendoff, C. Lausmann, J. Henckel, T. Gehrke, J. Skinner, A. Hart. Clinically insignificant trunnionosis in large-diameter metal-on-polyethylene total hip arthroplasty. Bone Joint Res 2017;6:52-56. DOI: 10.1302/2046-3758.61.BJR-2016-0150.R2
Efficient computation of min and max sensor values in multihop networks
Consider a wireless sensor network (WSN) where a broadcast from a sensor node does not reach all sensor nodes in the network; such networks are often called multihop networks. Sensor nodes take sensor readings but individual sensor readings are not very important. It is important however to compute aggregated quantities of these sensor readings. The minimum and maximum of all sensor readings at an instant are often interesting because they indicate abnormal behavior, for example if the maximum temperature is very high then it may be that a fire has broken out. We propose an algorithm for computing the min or max of sensor readings in a multihop network. This algorithm has the particularly interesting property of having a time complexity that does not depend on the number of sensor nodes; only the network diameter and the range of the value domain of sensor readings matter
Labeling Adipose-Derived Stem Cells with Hoechst 33342: Usability and Effects on Differentiation Potential and DNA Damage
Adipose-derived stem cells (ASCs) have been extensively studied in the field of stem cell research and possess numerous clinical applications. Cell labeling is an essential component of various experimental protocols and Hoechst 33342 (H33342) represents a cost-effective and easy methodology for live staining. The purpose of this study was to evaluate the labeling of rat ASCs with two different concentrations of H33342 (0.5 μg/mL and 5 μg/mL), with particular regard to usability, interference with cell properties, and potential DNA damage. Hoechst 33342 used at a low concentration of 0.5 μg/mL did not significantly affect cell proliferation, viability, or differentiation potential of the ASCs, nor did it cause any significant DNA damage as measured by the olive tail moment. High concentrations of 5 μg/mL H33342, however, impaired the proliferation and viability of the ASCs, and considerable DNA damage was observed. Undesirable colabeling of unlabeled cocultivated cells was seen in particular with higher concentrations of H33342, independent of varying washing procedures. Hence, H33342 labeling with lower concentrations represents a usable method, which does not affect the tested cell properties. However, the colabeling of adjacent cells is a drawback of the technique
Porting Decision Tree Algorithms to Multicore using FastFlow
The whole computer hardware industry embraced multicores. For these machines,
the extreme optimisation of sequential algorithms is no longer sufficient to
squeeze the real machine power, which can be only exploited via thread-level
parallelism. Decision tree algorithms exhibit natural concurrency that makes
them suitable to be parallelised. This paper presents an approach for
easy-yet-efficient porting of an implementation of the C4.5 algorithm on
multicores. The parallel porting requires minimal changes to the original
sequential code, and it is able to exploit up to 7X speedup on an Intel
dual-quad core machine.Comment: 18 pages + cove
- …