Orchestrating Tuple-based Languages

The World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a pro- gramming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi. To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client applications to access information about their goods and to place orders

Some comments on nˉp\bar n p-annihilation branching ratios into ππ\pi \pi-, KˉK\bar K K- and πη\pi \eta-channels

We give some remarks on the $\bar n p$-partial branching ratios in flight at low momenta of antineutron, measured by OBELIX collaboration. The comparison is made to the known branching ratios from the $p \bar p$-atomic states. The branching ratio for the reaction $\bar n p \to \pi^+\pi^0$ is found to be suppressed in comparison to what follows from the $p \bar p$-data. It is also shown, that there is no so called dynamic I=0-amplitude suppression for the process $N\bar N \to K\bar K$.Comment: 8 pages, LaTeX, no figure

Evidence of spontaneous spin polarized transport in magnetic nanowires

The exploitation of the spin in charge-based systems is opening revolutionary opportunities for device architecture. Surprisingly, room temperature electrical transport through magnetic nanowires is still an unresolved issue. Here, we show that ferromagnetic (Co) suspended atom chains spontaneously display an electron transport of half a conductance quantum, as expected for a fully polarized conduction channel. Similar behavior has been observed for Pd (a quasi-magnetic 4d metal) and Pt (a non-magnetic 5d metal). These results suggest that the nanowire low dimensionality reinforces or induces magnetic behavior, lifting off spin degeneracy even at room temperature and zero external magnetic field.Comment: 4 pages, 3 eps fig

Ultrasonographic honeycomb pattern of the spleen in cats: correlation with pathological diagnosis in 33 cases

Objectives: The aim of this study was to evaluate the relationship between the ultra sonographic (US) diffuse honeycomb pattern (HCP) of the spleen and a pathological diagnosis in cats, and to assess the influence of transducer type on HCP visualisation. Methods: Abdominal ultrasounds of cats with an HCP were reviewed and splenic size, shape, margination, other parenchymal alterations and splenic hilar lymphadenopathy were recorded. When applicable, images acquired with high-frequency linear and curvilinear transducers were compared to determine if an HCP was more frequently demonstrated on high-resolution images. A retrospective review of the corresponding splenic cyto histopathological samples was also performed. Results: Thirty-three cats met the inclusion criteria. Five cases were diagnosed by histology and 28 by cytology, confirmed by PCR for antigen receptor rearrangements (PARR) in uncertain cases. There were 15 cases of lymphoid hyperplasia, eight cases of lymphoma (four B cell, three T cell and one large granular lymphocytes), six cats with splenitis, three with extramedullary haematopoiesis and one with histiocytic sarcoma. The prevalence of lymphoma in cats with an HCP of the spleen was 24%. Splenomegaly was the most frequent US feature associated with an HCP and was observed in all lymphoma cases. In the images obtained from both high-frequency linear and micro-convex transducers the visualisation of an HCP was enabled in all cases (24/24) and in 62.5% (15/24), respectively. Conclusions and relevance: Based on our findings, an US HCP of the spleen in cats can be associated with benign and malignant disorders and is infrequently associated with lymphoma in comparison with dogs. Cytological or histological examination, possibly supplemented by PARR, should always be performed for diagnostic support. Use of high-frequency linear transducers is recommended to properly recognise an HCP or subtle changes in splenic parenchyma

Is Privacy Regulation Slowing Down Research on Pervasive Computing?

Privacy legislation has often been identified as a roadblock for advanced context-aware applications. The feedback collected from more than 150 researchers in pervasive computing reveals a different attitude. Has pervasive computing\u2019s privacy challenge been solved

Rates for the reactions antiproton-proton --> pi phi and gamma phi

We study antiproton-proton annihilation at rest into $\pi\phi$ and $\gamma\phi$. Rescattering by $\overline{K^*}K+K^*\overline{K}$ and $\rho^{+}\rho^{-}$ for $\overline{p}p\rightarrow\pi\phi$ states is sizable, of order $(0.90\, {\rm to}\,2.6)\times 10^{-4}$ in the branching ratio, but smaller than experiment. For $\overline{p}p\rightarrow\gamma\phi$ the rescattering contributions are negligible, but the $\gamma\phi$ channel is well explained by a $\rho\phi$ intermediate state combined with vector meson dominance.Comment: 12 pages, plain latex, 2 postscript figures available upon request, PSI-PR-93-2

Towards a Formal Verification Methodology for Collective Robotic Systems

We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML. These XACML policies are then translated in FACPL, a policy language with a formal semantics, and the resulting policies are evaluated by means of a Java-based software tool

Inertial Sensor Based Modelling of Human Activity Classes: Feature Extraction and Multi-sensor Data Fusion Using Machine Learning Algorithms

Wearable inertial sensors are currently receiving pronounced interest due to applications in unconstrained daily life settings, ambulatory monitoring and pervasive computing systems. This research focuses on human activity recognition problem, in which inputs are multichannel time series signals acquired from a set of body-worn inertial sensors and outputs are automatically classified human activities. A general-purpose framework has been presented for designing and evaluating activity recognition system with six different activities using machine learning algorithms such as support vector machine (SVM) and artificial neural networks (ANN). Several feature selection methods were explored to make the recognition process faster by experimenting on the features extracted from the accelerometer and gyroscope time series data collected from a number of volunteers. In addition, a detailed discussion is presented to explore how different design parameters, for example, the number of features and data fusion from multiple sensor locations - impact on overall recognition performance

Dynamic Context Modeling for Agile Case Management

International audienceCase Management processes are characterized by their high unpredictability and, thus, cannot be handled following traditional process- or activity-centered approaches. Adaptive Case Management paradigm proposes an alternative data-centered approach for management such processes. In this paper, we elaborate on this approach and explore the role of context data in Case Management. We use the state-oriented representation of the process that allows us to incorporate the contextual information in a systematic and transparent way, leading towards agile case management