Search results for "Computer network"
showing 10 items of 1634 documents
Privacy Preserving Client/Vertical-Servers Classification
2019
We present a novel client/vertical-servers architecture for hybrid multi-party classification problem. The model consists of clients whose attributes are distributed on multiple servers and remain secret during training and testing. Our solution builds privacy-preserving random forests and completes them with a special private set intersection protocol that provides a central commodity server with anonymous conditional statistics. Subsequently, the private set intersection protocol can be used to privately classify the queries of new clients using the commodity server’s statistics. The proviso is that the commodity server must not collude with other parties. In cases where this restriction …
All congruences below stability-preserving fair testing or CFFD
2020
AbstractIn process algebras, a congruence is an equivalence that remains valid when any subsystem is replaced by an equivalent one. Whether or not an equivalence is a congruence depends on the set of operators used in building systems from subsystems. Numerous congruences have been found, differing from each other in fine details, major ideas, or both, and none of them is good for all situations. The world of congruences seems thus chaotic, which is unpleasant, because the notion of congruence is at the heart of process algebras. This study continues attempts to clarify the big picture by proving that in certain sub-areas, there are no other congruences than those that are already known or …
Unifying vectors and matrices of different dimensions through nonlinear embeddings
2020
Complex systems may morph between structures with different dimensionality and degrees of freedom. As a tool for their modelling, nonlinear embeddings are introduced that encompass objects with different dimensionality as a continuous parameter $\kappa \in \mathbb{R}$ is being varied, thus allowing the unification of vectors, matrices and tensors in single mathematical structures. This technique is applied to construct warped models in the passage from supergravity in 10 or 11-dimensional spacetimes to 4-dimensional ones. We also show how nonlinear embeddings can be used to connect cellular automata (CAs) to coupled map lattices (CMLs) and to nonlinear partial differential equations, derivi…
ROS/Gazebo-Based Simulation of Quadcopter Aircrafts
2018
The main purpose of this work is to present a tutorial description on how to design and develop an observer, which is capable of estimating the position and the orientation of a drone commanded by a controller, whose shape and structure are unknown. Starting from Newton's and Euler's laws, a mathematical model describing the dynamics of a quadcopter has first been obtained. By linearizing this model it is possible to implement a Luenberger observer and validate it with simulations in a Linux environment, thanks to the use of the Ardupilot controller and the Gazebo simulator. Finally, starting from the results obtained from the simulation, it is possible to evaluate the error made in the est…
Quality System for Production Software as Tool for Monitoring and Improving Organization KPIs
2013
In this paper we propose a solution as support for quality systems for production software. The motivation behind this study was to reduce that cost in the production area caused by gaps in the quality of the production software. Our proposal: QSPS (Quality System for Production Software) is offering support in the "vulnerable points" of these quality systems which usually generate nonconformities and have proved to be difficult or impossible to control. QSPS is a method in seven steps or modules that integrates also software tools, templates, checklists, evaluating tools elaborated complying to products, process and system quality standards. If other analyzed methods like: Scrum, XP, Fuzzy…
Energy-Efficiency and Coverage Quality Management for Reliable Diagnostics in Wireless Sensor Networks
2020
International audience; The processing of data and signals provided by sensors aims at extracting rnrelevant features which can be used to assess and diagnose the health state rnof the monitored targets. Nevertheless, Wireless Sensor Networks (WSNs) present rna number of shortcomings that have an impact on the quality of the gathered rndata at the sink level, leading to imprecise diagnostics rnof the observed targets. To improve data accuracy, two main critical and related issues, namely the energy consumption and coverage quality, need to be considered. The goal is to maximize the network lifetime while guaranteeing the complete coverage of all the targets. Unfortunately, these performance…
Nonclassicality detection from few Fock-state probabilities
2020
We devise a new class of criteria to certify the nonclassicality of photon- and phonon-number statistics. Our criteria extend and strengthen the broadly used Klyshko's criteria, which require knowledge of only a finite set of Fock-state probabilities. This makes the criteria well-suited to experimental implementation in realistic conditions. Moreover, we prove the completeness of our method in some scenarios, showing that, when only two or three Fock-state probabilities are known, it detects all finite distributions incompatible with classical states. In particular, we show that our criteria detect a broad class of noisy Fock states as nonclassical, even when Klyshko's do not. The method is…
Sensitive magnetometry in challenging environments
2020
State-of-the-art magnetic field measurements performed in shielded environments under carefully controlled conditions rarely reflect the realities of those applications envisioned in the introductions of peer-reviewed publications. Nevertheless, significant advances in magnetometer sensitivity have been accompanied by serious attempts to bring these magnetometers into the challenging working environments in which they are often required. This review discusses the ways in which various (predominantly optically pumped) magnetometer technologies have been adapted for use in a wide range of noisy and physically demanding environments.
Electrical two-qubit gates within a pair of clock-qubit magnetic molecules
2022
Enhanced coherence in HoW$_{10}$ molecular spin qubits has been demonstrated by use of Clock Transitions (CTs). More recently it was shown that, while operating at the CTs, it was possible to use an electrical field to selectively address HoW$_{10}$ molecules pointing in a given direction, within a crystal that contains two kinds of identical but inversion-related molecules. Herein we theoretically explore the possibility of employing the electric field to effect entangling two-qubit quantum gates among two neighbouring CT-protected HoW$_{10}$ qubits within a diluted crystal. We estimate the thermal evolution of $T_1$, $T_2$, find that CTs are also optimal operating points from the point of…
Quantum chemical meta-workflows in MoSGrid
2014
Quantum chemical workflows can be built up within the science gateway Molecular Simulation Grid. Complex workflows required by the end users are dissected into smaller workflows that can be combined freely to larger meta-workflows. General quantum chemical workflows are described here as well as the real use case of a spectroscopic analysis resulting in an end-user desired meta-workflow. All workflow features are implemented via Web Services Parallel Grid Runtime and Developer Environment and submitted to UNICORE. The workflows are stored in the Molecular Simulation Grid repository and ported to the SHIWA repository. © 2014 John Wiley & Sons, Ltd.