Search results for "Cryptography"
showing 10 items of 657 documents
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2019
Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic interaction among heterogeneous systems. To achieve this vision, interoperability among heterogeneous systems represents a key enabler, and mediators are often built to solve protocol mismatches. Many approaches propose the synthesis of mediators. Unfortunately, a rigorous characterization of the concept of interoperability is still lacking, hence making hard to assess their applicability and soundness. In this paper, we provide a framework for the synthesis of mediators that allows us to: (i) characterize the conditions for the mediator existence and correctness; and (ii) establish the applicability bo…
PArthENoPE reloaded
2018
We describe the main features of a new and updated version of the program PArthENoPE, which computes the abundances of light elements produced during Big Bang Nucleosynthesis. As the previous first release in 2008, the new one, PArthENoPE 2.0, will be soon publicly available and distributed from the code site, http://parthenope.na.infn.it. Apart from minor changes, which will be also detailed, the main improvements are as follows. The powerful, but not freely accessible, NAG routines have been substituted by ODEPACK libraries, without any significant loss in precision. Moreover, we have developed a Graphical User Interface (GUI) which allows a friendly use of the code and a simpler implemen…
An updated version of the computational package SIMPRE that uses the standard conventions for Stevens crystal field parameters
2014
The crystal field approach used by SIMPRE is analyzed, verifying the exactness of the results concerning energy levels and magnetic properties calculated by the package. To coincide with the prevailing conventions, we reformulate the presentation of the crystal field parameters, so that the results are now, also from a formal point of view, strictly correct. New calculations are presented to test the influence of neglecting the excited J states, a common but critical approximation employed by SIMPRE. For that, we examine the case of Er(trensal) complex (H3 trensal = 2,2',2″-tris(salicylideneimino)triethylamine) where the influence of this approximation is found to be minimal. A patched vers…
Sport and civil society in the Nordic region
2017
This paper examines the key elements within the relationships of sport and civil society in Scandinavia. The analysis combines themes and developments in Nordic sport and civil society, such as the role of the welfare state and the impacts of neoliberalism, with consideration of specific national experiences, especially in Finland. The discussion has four main parts. First, we set out the principal features of the ‘Nordic model’ of society, and how it shapes sport and civil society relations. Second, we advance a Finnish case study, examining the historical connections of three sectors to the national sport culture. Third, we consider how, in recent decades, the Nordic model has encountered…
Shared experiencing, shared understandings: Intersubjectivity as a key phenomenon in drama education
2018
This article is a philosophical reflection on intersubjectivity in the context of drama education; it draws on the concept’s most recent neuroscientific basis as well as the perspectives of Merleau-Ponty, Buber and Husserl. Its purpose is to deepen our understanding of the mechanisms of interaction in learning processes in drama education. In the stream of interaction in drama, the central conditions are shared experiencing and shared understandings. Intersubjectivity encompasses both of these. This study views intersubjectivity as an innate capacity and a real phenomenon – one that is a key phenomenon in the interactions of drama education. peerReviewed
Modeling crowd dynamics through coarse-grained data analysis
2018
International audience; Understanding and predicting the collective behaviour of crowds is essential to improve the efficiency of pedestrian flows in urban areas and minimize the risks of accidents at mass events. We advocate for the development of crowd traffic management systems, whereby observations of crowds can be coupled to fast and reliable models to produce rapid predictions of the crowd movement and eventually help crowd managers choose between tailored optimization strategies. Here, we propose a Bi-directional Macroscopic (BM) model as the core of such a system. Its key input is the fundamental diagram for bi-directional flows, i.e. the relation between the pedestrian fluxes and d…
Toward fast and accurate emergency cases detection in BSNs
2020
International audience; In body sensor networks (BSNs), medical sensors capture physiological data from the human body and send them to the coordinator who act as a gateway to health care. The main aim of BSNs is to save peoples' lives. Therefore, fast and correct detection of emergencies while maintaining low-energy consumption of sensors is essential requirement of BSNs. In this study, the authors propose a new adaptive data sampling approach, where the sampling ratio is adapted based on the sensed data variation. The idea is to use the modified version of the cumulative sum (CUSUM) algorithm (modified CUSUM) that they previously proposed for wireless sensor networks to monitor the data v…
Key Drivers of Mobile Commerce Adoption. An Exploratory Study of Spanish Mobile Users
2007
Despite dramatic differences between non-store shoppers were discovered, very limited research has been conducted to examine them. This paper analyses the background of M-commerce and key drivers of future Mcommerce decision among Spanish mobile users. Our objective is two-fold: (1) to determine the influence of relations with the Mobile (frequency of Mobile use, length of Mobile use and Mobile affinity), demographics, non-store shopping previous experience (mail, catalogue, Television and Internet) and attitude to M-commerce and its influence on the M-commerce decision and (2) to identify key drivers of future M-commerce intention. We examined data from 606 personal interviews given to Spa…
ideal: an R/Bioconductor package for interactive differential expression analysis
2020
AbstractBackgroundRNA sequencing (RNA-seq) is an ever increasingly popular tool for transcriptome profiling. A key point to make the best use of the available data is to provide software tools that are easy to use but still provide flexibility and transparency in the adopted methods. Despite the availability of many packages focused on detecting differential expression, a method to streamline this type of bioinformatics analysis in a comprehensive, accessible, and reproducible way is lacking.ResultsWe developed the ideal software package, which serves as a web application for interactive and reproducible RNA-seq analysis, while producing a wealth of visualizations to facilitate data interpr…
Joint transform correlator with spatial code division multiplexing.
2006
A joint transform correlator may suffer from overlapping of the zero diffraction order of the output, which does not contain relevant information, and the correlation peaks that appear in the first diffraction orders if objects are not sufficiently separated. Such overlapping significantly reduces the signal-to-noise ratio of the identification process. We propose a novel approach based on code division multiplexing technique in which the contrast of the identification peaks is significantly enhanced. The approach does not include placing the two objects side by side but rather includes code multiplexing them. Moreover, the code division multiplexing technique allows the space-bandwidth pro…