Name-passing calculi and crypto-primitives: A survey

The paper surveys the literature on high-level name-passing process calculi, and their extensions with cryptographic primitives. The survey is by no means exhaustive, for essentially two reasons. First, in trying to provide a coherent presentation of different ideas and techniques, one inevitably ends up leaving out the approaches that do not fit the intended roadmap. Secondly, the literature on the subject has been growing at very high rate over the years. As a consequence, we decided to concentrate on few papers that introduce the main ideas, in the hope that discussing them in some detail will provide sufficient insight for further reading

Light scattering from a rough metal surface: theory and experiment

There is still great interest in the determination of microtopographic properties of rough metallic surfaces from light scattering measurements. According to Beckmann–Kirchhoff theory a clear relationship is established between the in-plane angular scattered light intensity and the statistical properties of the surface. We discuss one way to invert this relationship, and we introduce a new iterative procedure to retrieve the height autocorrelation function even for a very rough metallic surface (rms surface roughness of the same order of the optical wavelength). The procedure is eventually applied to the experimental data of a known metallic surface for validation

Drill control studies with formulations of Polystream and Sevin for 1963

During 1963 , the Virginia Institute of Marine Science conducted a series of tests on oyster drill control with formulations of Polystream , a chlorinated hydrocarbon and Sevin , an insecticide . The utility of these two compounds had previously been investigated by the U. S. Fish and Wildlife Service in Long Is land Sound, in the laboratory and in field trials on commercial beds. Several of these earlier fie ld studies indicated that the treatment prescribed was effective in drill control. Consequently, application was made to the U. S. Department of Agriculture for an experimental permit. The permit was granted , laying the groundwork for further experimental field trials supervised by state or federal agencies

The flat entropy profile at the outskirts of the Abell 2244 galaxy cluster

Entropy is an advantageous diagnostics to study the thermodynamic history of the intracluster plasma of galaxy clusters. We present the entropy profile of the Abell 2244 galaxy cluster derived both exclusively using X-ray data from the low-background Swift XRT telescope and also using Planck y data. The entropy profile derivation using X-rays only is robust at least to the virial radius because the cluster brightness is large compared to the X-ray background at low energies, temperature is strongly bounded by the lack of cluster X-ray photons at energies kT>3 keV, and the XRT background is low, stable and understood. In the observed solid angle, about one quadrant, the entropy radial profile deviates from a power-law at the virial radius, mainly because of a sharp drop of the cluster temperature. This bending of the entropy profile is confirmed when X-ray spectral information is replaced by the Compton map. Clumping and non-thermal pressure support are insufficient to restore a power law entropy profile because they are bound to be small by: a) the agreement between mass estimates from different tracers (gas and galaxies), b) the agreement between entropy profile determinations based on combinations of observables with different sensitivities and systematics, and c) the low value of clumping as estimated using the azimuthal scatter and the gas fraction. Based on numerical simulations, ion-electron equilibration is also insufficient to restore a linear entropy profile. Therefore, the bending of the entropy profiles seems to be robustly derived and witnesses the teoretically-predicted decrease in the inflow through the virial boundary.Comment: MNRAS, in pres

Capillary breakup and electrospinning of PA6 solutions containing FeCl3: experimental findings and correlations

In several applications, ranging from electronic to chemical sensing, great interest has grown for the exploitation of conducting polymer nanofibers, whose processing is, however, not straightforward, due to polymer low solubility and presence of rigid backbones. An interesting method to overcome this issue consists in the electrospinning of a spinnable polymer to obtain a template for the successive in situ polymerization of the conducting polymer monomers. Considering PANI nanofibers, a suitable template can be electrospun from PA6 solutions in formic acid containing FeCl3. In this system, the ionic salt may perturb or prevent H-bonds formation between amide groups of PA6 backbones: this could modify solution viscoelasticity, and thus affect fibres morphology. The aim of the present work is to identify the effect of FeCl3 on the solution rheological behaviour and to correlate it to electrospun fibres morphology. To this aim, solutions at several salt content underwent electrospinning and were characterized both in shear, by rotational rheometry, and extension, by capillary breakup rheometry, while fibres morphology and crystallinity were evaluated through SEM and DSC. The rheological analysis enlightens that a critical FeCl3 content exists above which the viscous component of the viscoelastic response becomes predominant. At the same concentration, the SEM observations of the electrospun fibres show the formation of severely inhomogeneous structures. A correlation between these results is proposed through the adimensional analysis of competing viscoelastic stabilization and surface tension-driven instability phenomena. Besides the aforementioned effects, the FeCl3 content affects also fibre crystallinity, as above a critical concentration fibres turn out to be completely amorphous. Interestingly, this concentration coincides with the one at which a transition is observed in the rheological behaviour

Shell and pallet morphology in early developmental stages of Teredo navalis Linne (Bivalvia : Teredinidae)

Dimensions of the shell and provinculum distinguish Teredo novalis larvae from the larvae o[ other bivalve mollusks. In the present scanning electron microscopic stud) of shell and pallet morphology during early ontogenetic stages of this species, the characteristic teredinid provinculum, with two interlocking pairs of small teeth and a wide central loath and socket was well-developed in shells 90 μm long. Provinculurn length ranged from 44 to 51 μm during the larval period. Average lengths of provincular teeth of the left valve were 9.6 μm for the anterior tooth and 8.2 μm for the posterior tooth; in the right valve, lengths were 7.2 μm for the anterior tooth, 16.4 μm for the central tooth, and 6.6 μm for the posterior tooth. Larval shell height prior to metamorphosis was just under 230 μm. Formation of a ligament pit preceded secretion of the dissoconch and development of the apophyses, condyles, and exterior denticulated ridges. Shell loss along the posterior margin of the right valve accompanied a shift in the axis of articulation from the dorsal to the posterior plane; subsequent secretion of the dissoconch restored bilaleral symrnetry. The initial triangular shape of the pallet blade became increasingly rectangular and finally elongate with growth along the distal margin

Resolving Non-Determinism in Choreographies

Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies –called whole-spectrum implementation– that rules out deterministic implementations of roles that, no matter which context they are placed in, will never follow one of the branches of a non-deterministic choice. We show that, under some conditions, it is decidable whether an implementation is whole-spectrum. As a case study, we analyse the POP protocol under the lens of whole-spectrum implementation

Mixed trichuroid infestation in a dog from Italy

Background: Capillaria aerophila, Capillaria boehmi and Trichuris vulpis are trichuroid nematodes affecting wild and companion animals all over the World. The canine intestinal whipworm, T. vulpis, is the most common and wellknown in veterinary practice, whereas the respiratory C. aerophila and C. boehmi have been rarely reported in pets as a likely consequence of overlapping morphometric and morphological features of the eggs, which impair a correct etiological diagnosis. Findings: In December 2011, a mixed infestation by T. vulpis, C. aerophila and C. boehmi was diagnosed in an asymptomatic dog living in central Italy. Morphometric and morphological findings and pictures of the eggs found at the copromicroscopic analysis are herein reported. Conclusions: The present work demonstrates that when trichuroid eggs are found in a faecal sample from a dog, a careful morphological and morphometric analysis of individual parasite elements is mandatory. Key diagnostic features (i.e., size, wall surface pattern and aspects of plugs) should be carefully examined when eggs with overlapping shape and appearance are detected. In conclusion, given the importance in clinical practice of canine trichuroids and the zoonotic potential of C. aerophila, these nematodes should be included into the differential diagnosis of intestinal and respiratory parasitoses of dogs by a thorough microscopic analysis of all trichuroid ova present in microscopic fields

The effect of match standard and referee experience on the objective and subjective match workload of English Premier League referees

The aim of the present study was to examine the effect of match standard and referee experience upon the objective and subjective workload of referees during Premier and Football league soccer matches. We also examined the relationship between heart rate (HR) and ratings of perceived exertion (RPE) for assessing match intensity in soccer referees. Heart rate responses were recorded using short-range telemetry and RPE scores were collected using a 10-point scale. Analysis revealed a significant relationship between mean match HR and match RPE scores (r = 0.485, p < 0.05, n =18). There were significant differences in match HR (Premier league 83.6 2.6 %HRmax vs. Football league 81.5 2.2 %HRmax, p < 0.05) and match RPE scores (Premier league 7.8 0.8 vs. Football league 6.9 0.8, p < 0.05) between standards of competition. Referee experience had no effect upon match heart rate and RPE responses to Premier and Football league matches. The results of the present study demonstrate the validity of using HR and RPE as a measure of global match intensity in soccer referees. Referee experience had no effect upon the referees’ objective and subjective match workload assessments, whereas match intensity was correlated to competition standard. These findings have implications for fitness preparation and evaluation in soccer referees. When progressing to a higher level of competition, referees should ensure that appropriate levels of fitness are developed in order to enable them to cope with an increase in physical match demands