Social capital, local institutions, and cooperation between firms

There are many different reasons behind cooperation between firms and many possible interpretations are assumed to be based on an assessment of endogenous benefits of collective action directly generated by taking part in a joint project. This paper attempts at verifying the interpretative capacity of models analysing the cooperation between firms using not only technological or organisational factors and rivalry between firms, but also some proxy variables of social capital, of experience accumulation in collective action and of institutional capacity for initiative. The specific aim of our work is hence that of providing an interpretation of Italian inter-province differentials in the propensity of inter-firm cooperation.35

Verification of the TESLA protocol in MCMAS-X

We present MCMAS-X, an extension of the OBDD-based model checker MCMAS for multi-agent systems, to explicit and deductive knowledge. We use MCMAS-X to verify authentication properties in the TESLA secure stream protocol

Spin Hall effect in a two-dimensional electron gas in the presence of a magnetic field

We study the spin Hall effect of a two-dimensional electron gas in the presence of a magnetic field and both the Rashba and Dresselhaus spin-orbit interactions. We show that the value of the spin Hall conductivity, which is finite only if the Zeeman spin splitting is taken into account, may be tuned by varying the ratio of the in-plane and out-of-plane components of the applied magnetic field. We identify the origin of this behavior with the different role played by the interplay of spin-orbit and Zeeman couplings for in-plane and out-of-plane magnetic field components.Comment: 5 pages, 5 figures, submitte

Artificial intelligence for heart rate variability analyzing with arrhythmias

Introduction. Existing standards of Heart Rate Variability (HRV) technology limit its use to sinus rhythm. A small number of extrasystoles is allowed, if the device used has special procedures for the detection and replacement of ectopic complexes. However, it is important to expand the indicated limits of the applicability of the HRV technology. This specially regards the cases when the HRV technology looks promising in the diagnostics, as, for example, in atrial fibrillation and atrial flutter. Materials and Methods. All ECG measurements were performed on XAI-MEDICA® equipment and software. Processing of the obtained RR Series was carried out using the software Kubios® HRV Standard. All recommended HRV characteristics for Time-Domain, Frequency-Domain and Nonlinear were calculated. The purpose of the work. The article presents an artificial intelligence (AI) procedure for detecting episodes of arrhythmias and reconstruction of core patient’s rhythm, and demonstrates the efficacy of its use for the HRV analysis in patients with varying degrees of arrhythmias. The results of the study. It was shown efficiency of developed artificial intelligence procedure for HRV analyzing of patients with different level of arrhythmias. These were demonstrated for Time-Domain, Frequency-Domain and Nonlinear methods. The direct inclusion into review of Arrhythmia Episodes and the use of the initial RR Series leads to a significant distortion of the results of the HRV analysis for the whole set of methods and for all considered options for arrhythmia. Conclusion. High efficacy of operation of the procedure AI core rhythm extraction from initial RR Series for patients with arrhythmia was reported in all cases

Towards the Assessment of an Ecological Index for Quantifying Sustainability of Day Life. A Case Study of the Environmental Consequences of Dietary and Transport in a Standard Workday

e-Conferenc

NLC Luminosity as a Function of Beam Parameters

Realistic calculation of NLC luminosity has been performed using particle tracking in DIMAD and beam-beam simulations in GUINEA-PIG code for various values of beam emittance, energy and beta functions at the Interaction Point (IP). Results of the simulations are compared with analytic luminosity calculations. The optimum range of IP beta functions for high luminosity was identified.Comment: 4 pages, 7 figure

Inverse Spin Hall Effect and Anomalous Hall Effect in a Two-Dimensional Electron Gas

We study the coupled dynamics of spin and charge currents in a two-dimensional electron gas in the transport diffusive regime. For systems with inversion symmetry there are established relations between the spin Hall effect, the anomalous Hall effect and the inverse spin Hall effect. However, in two-dimensional electron gases of semiconductors like GaAs, inversion symmetry is broken so that the standard arguments do not apply. We demonstrate that in the presence of a Rashba type of spin-orbit coupling (broken structural inversion symmetry) the anomalous Hall effect, the spin Hall and inverse spin Hall effect are substantially different effects. Furthermore we discuss the inverse spin Hall effect for a two-dimensional electron gas with Rashba and Dresselhaus spin-orbit coupling; our results agree with a recent experiment.Comment: 5 page

Simulation Studies of the NLC with Improved Ground Motion Models

The performance of various systems of the Next Linear Collider (NLC) have been studied in terms of ground motion using recently developed models. In particular, the performance of the beam delivery system is discussed. Plans to evaluate the operation of the main linac beam-based alignment and feedback systems are also outlined.Comment: Submitted to XX International Linac Conferenc

Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol

We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity requirements specified. Two different model checking techniques (ordered binary decision diagrams and SAT-based bounded model checking) are evaluated and compared to verify the protocols