pinecone/core-2020-05-10-deduplication huggingface dataset:
A second order cone formulation of continuous CTA model

The final publication is available at link.springer.comIn this paper we consider a minimum distance Controlled Tabular Adjustment (CTA) model for statistical disclosure limitation (control) of tabular data. The goal of the CTA model is to find the closest safe table to some original tabular data set that contains sensitive information. The measure of closeness is usually measured using l1 or l2 norm; with each measure having its advantages and disadvantages. Recently, in [4] a regularization of the l1 -CTA using Pseudo-Huber func- tion was introduced in an attempt to combine positive characteristics of both l1 -CTA and l2 -CTA. All three models can be solved using appro- priate versions of Interior-Point Methods (IPM). It is known that IPM in general works better on well structured problems such as conic op- timization problems, thus, reformulation of these CTA models as conic optimization problem may be advantageous. We present reformulation of Pseudo-Huber-CTA, and l1 -CTA as Second-Order Cone (SOC) op- timization problems and test the validity of the approach on the small example of two-dimensional tabular data set.Peer ReviewedPostprint (author's final draft
A novel hybrid engineering methodology to enhance collaboration during the design and development of meta product services

Since the Product-Service System (PSS) is accompanied by a paradigm shift towards the sustainability of the production process, it demands an advanced level of collaboration throughout the design and development process. This poses new challenges to enhance collaboration among cross-sectional, multi-disciplinary design teams in order to incorporate a variety of interdisciplinary services in a complex service-oriented system. Therefore, a new collaboration methodology is needed to reduce barriers to collaboration in a cross- organizational structure domain. This research work aims at highlighting the collaboration challenges that Meta-Product design teams face and also proposes a novel methodology to enhance collaboration among multi-disciplinary teams. The proposed methodology is a hybrid engineering model designed by integrating an Information Delivery Manual approach with a traditional software development process along with three interlinked collaboration services
Towards a Gamified Approach for Enhancing the VBE Preparedness for Establishing Virtual Collaborations

Formation of collaborative settings (virtual organizations, collaborative network organizations, etcetera) is hindered by the lack of trust between unfamiliar but potential partners. Gamification is the application of game design principles to non- game environments. We claim that incorporating the concepts of gamification into Virtual Organisation Breeding Environments (VBEs) leads to building trust between VBE members, as well as motivating them to be proactive members of the VBEs that contribute towards the flourishing of VBEs. This paper explores a novel gamified approach, supported by a suitable methodology, to address the relatively neglected concept of ‘preparedness’ of VBEs.Peer-reviewedPost-print17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, 201
A remark on Leclerc's Frobenius categories

Leclerc recently studied certain Frobenius categories in connection with
cluster algebra structures on coordinate rings of intersections of opposite
Schubert cells. We show that these categories admit a description as Gorenstein
projective modules over an Iwanaga-Gorenstein ring of virtual dimension at most
two. This is based on a Morita type result for Frobenius categories.Comment: 5 pages, extended abstract for a talk at the Workshop Homological
  Bonds between Commutative Algebra and Representation Theory at CRM Barcelona,
  February 2015, comments welcom
Activity matching with human intelligence

Effective matching of activities is the first step toward successful process model matching and search. The problem is nontrivial and has led to a variety of computational similarity metrics and matching approaches, however all still with low performance in terms of precision and recall. In this paper, instead, we study how to leverage on human intelligence to identify matches among activities and show that the problem is not as straightforward as most computational approaches assume. We access human intelligence (i) by crowdsourcing the activity matching problem to generic workers and (ii) by eliciting ground truth matches from experts. The precision and recall we achieve and the qualitative analysis of the results testify huge potential for a human-based activity matching that contemplates disagreement and interpretation
Process model comparison based on cophenetic distance

The automated comparison of process models has received increasing attention in the last decade, due to the growing existence of process models and repositories, and the consequent need to assess similarities between the underlying processes. Current techniques for process model comparison are either structural (based on graph edit\ud
distances), or behavioural (through activity profiles or the analysis of the execution semantics). Accordingly, there is a gap between the quality of the information provided by these two families, i.e., structural techniques may be fast but inaccurate, whilst behavioural are accurate but complex. In this paper we present a novel technique, that is based on a well-known technique to compare labeled trees through the notion of Cophenetic distance. The technique lays between\ud
the two families of methods for comparing a process model: it has an structural nature, but can provide accurate information on the differences/similarities of two process models. The experimental evaluation on various benchmarks sets are reported, that position the proposed technique as a valuable tool for process model comparison.Peer ReviewedPostprint (author's final draft
Linear and nonlinear fractional Voigt models

We consider fractional generalizations of the ordinary differential equation
that governs the creep phenomenon. Precisely, two Caputo fractional Voigt
models are considered: a rheological linear model and a nonlinear one. In the
linear case, an explicit Volterra representation of the solution is found,
involving the generalized Mittag-Leffler function in the kernel. For the
nonlinear fractional Voigt model, an existence result is obtained through a
fixed point theorem. A nonlinear example, illustrating the obtained existence
result, is given.Comment: This is a preprint of a paper whose final and definite form will
  appear in the Springer LNEE book series. Submitted 16-April-2016; Revised
  11-June-2016; Accepted 12-June-201
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration

Whereas in classic robotic applications there is a clear segregation between robots and operators, novel robotic and cyber-physical systems have evolved in size and functionality to include the collaboration with human operators within common workspaces. This new application field, often referred to as Human-Robot Collaboration (HRC), raises new challenges to guarantee system safety, due to the presence of operators. We present an innovative methodology, called SAFER-HRC, centered around our logic language TRIO and the companion bounded satisfiability checker Zot, to assess the safety risks in an HRC application. The methodology starts from a generic modular model and customizes it for the target system; it then analyses hazards according to known standards, to study the safety of the collaborative environment
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems.

Unlike practices in electrical and mechanical equipment engineering, Cyber-Physical Systems (CPS) do not have a set of standardized and harmonized practices for assurance and certification that ensures safe, secure and reliable operation with typical software and hardware architectures. This paper presents a recent initiative called AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) to promote harmonization, reuse and automation of labour-intensive certification-oriented activities via using model-based approaches and incremental techniques. AMASS will develop an integrated and holistic approach, a supporting tool ecosystem and a self-sustainable community for assurance and certification of CPS. The approach will be driven by architectural decisions (fully compatible with standards, e.g. AUTOSAR and IMA), including multiple assurance concerns such as safety, security and reliability. AMASS will support seamless interoperability between assurance/certification and engineering activities along with third-party activities (external assessments, supplier assurance). The ultimate aim is to lower certification costs in face of rapidly changing product features and market needs.This project has received funding from the Electronic Component Systems for European Leadership Joint Undertaking under grant agreement No 692474. This Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programme and Spain, Czech Republic, Germany, Sweden, Austria, Italy, United Kingdom, Franc
Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study

Securing critical systems such as cyber physical systems (CPS) is an important feature especially when it comes to critical transmitted data. At the same time, the implementation of security counter-measures in such systems may impact other functional or non-functional concerns. In this context, we propose a model-based approach for securing critical systems at early design stage. This approach combines security analysis and mitigation solution proposals with multi-concern architectural evaluation. It exploits two views of security counter-measures patterns: abstract and concrete. The abstract view is used to select relevant solutions to security requirements on a logical point of view. Then, the concrete view helps the architect evaluating different possible implementation alternatives against other design constraints. The modeling is based on accepted OMG standards such as UML and MARTE. In this paper, the approach is illustrated on a SCADA (Supervisory Control and Data Acquisition) system case study and a tool chain based on Papyrus UML supports the approach
Your Paper has been Accepted, Rejected, or Whatever: Automatic Generation of Scientific Paper Reviews

Peer review is widely viewed as an essential step for ensuring scientific quality of a work and is a cornerstone of scholarly publishing. On the other hand, the actors involved in the publishing process are often driven by incentives which may, and increasingly do, undermine the quality of published work, especially in the presence of unethical conduits. In this work we investigate the feasibility of a tool capable of generating fake reviews for a given scientific paper automatically. While a tool of this kind cannot possibly deceive any rigorous editorial procedure, it could nevertheless find a role in several questionable scenarios and magnify the scale of scholarly frauds.\ud
A key feature of our tool is that it is built upon a small knowledge base, which is very important in our context due to the difficulty of finding large amounts of scientific reviews. We experimentally assessed our method 16 human subjects. We presented to these subjects a mix of genuine and machine generated reviews and we measured the ability of our proposal to actually deceive subjects judgment. The results highlight the ability of our method to produce reviews that often look credible and may subvert the decision
A dynamic programming approach\ud
to improving translation memory matching\ud
and retrieval using paraphrases

Translation memory tools lack semantic knowledge like paraphrasing when they perform matching and retrieval. As a result, paraphrased segments are often not retrieved. One of the primary reasons\ud
for this is the lack of a simple and efficient algorithm to incorporate\ud
paraphrasing in the TM matching process. Gupta and Or˘asan [1] proposed an algorithm which incorporates paraphrasing based on greedy\ud
approximation and dynamic programming. However, because of greedy\ud
approximation, their approach does not make full use of the paraphrases\ud
available. In this paper we propose an efficient method for incorporating\ud
paraphrasing in matching and retrieval based on dynamic programming\ud
only. We tested our approach on English-German, English-Spanish and\ud
English-French language pairs and retrieved better results for all three\ud
language pairs compared to the earlier approac
Influence of expressive speech on ASR performances: application to elderly assistance in smart home

International audienceSmart homes are discussed as a win-win solution for maintaining the Elderly at home as a better alternative to care homes for dependent elderly people. Such Smart homes are characterized by rich domestic commands devoted to elderly safety and comfort. The vocal command has been identified as an efficient , well accepted, interaction way, it can be directly addressed to the "habitat", or through a robotic interface. In daily use, the challenges of vocal commands recognition are the noisy environment but moreover the reformulation and the expressive change of the strictly authorized commands. This paper focuses (1) to show, on the base of elicited corpus, that expressive speech, in particular distress speech, strongly affects generic state of the art ASR systems (20 to 30%) (2) how interesting improvement thanks to ASR adaptation can regulate (15%) this degradation. We conclude on the necessary adaptation of ASR system to expressive speech when they are designed for person's assistance
Automated data pre-processing via meta-learning

The final publication is available at link.springer.comA data mining algorithm may perform differently on datasets with different characteristics, e.g., it might perform better on a dataset with continuous attributes rather than with categorical attributes, or the other way around.\ud
As a matter of fact, a dataset usually needs to be pre-processed. Taking into account all the possible pre-processing operators, there exists a staggeringly large number of alternatives and nonexperienced users become overwhelmed.\ud
We show that this problem can be addressed by an automated approach, leveraging ideas from metalearning.\ud
Specifically, we consider a wide range of data pre-processing techniques and a set of data mining algorithms. For each data mining algorithm and selected dataset, we are able to predict the transformations that improve the result\ud
of the algorithm on the respective dataset. Our approach will help non-expert users to more effectively identify the transformations appropriate to their applications, and hence to achieve improved results.Peer ReviewedPostprint (published version
Unifying Warehoused Data with Linked Open Data: A Conceptual Modeling Solution

Linked Open Data (LOD) become one of the most important sources of information allowing enhancing business analyses based on warehoused data with external data. However, Data Warehouses (DWs) do not directly cooperate with LOD datasets due to the differences between data models. In this paper, we describe a conceptual multidimensional model, named Unified Cube, which is generic enough to include both warehoused data and LOD. Unified Cubes provide a comprehensive representation of useful data and, more importantly, support well-informed decisions by including multiple data sources in one analysis. To demonstrate the feasibility of our proposal, we present an implementation framework for building Unified Cubes based on DWs and LOD datasets
Exploring quality-aware architectural transformations at run-time : the ENIA case

The final publication is available at http://link.springer.com/chapter/10.1007/978-3-319-45547-1_23Adapting software systems at run-time is a key issue, especially when these systems consist of components used as intermediary for human-computer interaction. In this sense, model transformation techniques have a widespread acceptance as a mechanism for adapting and evolving the software architecture of such systems.\ud
However, existing model transformations often focus on functional requirements, and quality attributes are only manually considered after the transformations are done. This paper aims to improve the quality of adaptations and evolutions in component-based software systems by taking into account quality attributes within the model transformation process. To this end, we present a quality-aware transformation process using software architecture metrics to select among many alternative model transformations. Such metrics evaluate the quality attributes of an architecture. We validate the presented quality-aware transformation process in ENIA, a geographic information system whose user interfaces are based on coarsegrained components and need to be adapted at run-time.Peer ReviewedPostprint (author's final draft
Towards a Methodological Tool Support for Modeling Security-Oriented Processes

Development processes for software construction are common knowledge and widely used in most development organizations. Unfortunately, these processes often offer only little or no support in order to meet security requirements. In our work, we propose a methodology to build domain specific process models with security concepts on the foundations of industry-relevant security approaches, backed by a security-oriented process model specification language. Instead of building domain specific security-oriented process models from the ground, the methodology allows process designers to fall back on existing well established security approaches and add domain relevant concepts and repository-centric approaches, as well as supplementary information security risk management standards (e.g., Common Criteria), to fulfill the demand for secure software engineering. Supplementary and/or domain specific concepts can be added trough our process modeling language in an easy and direct way. The methodology and the process modeling language we propose have been successfully evaluated by the TERESA project for specifying development processes for trusted applications and integrating security concepts into existing process models used in the railway domain
Resilient store: a heuristic-based data format selector for intermediate results

The final publication is available at link.springer.comLarge-scale data analysis is an important activity in many organizations that typically requires the deployment of data-intensive workflows. As data is processed these workflows generate large intermediate results, which are typically pipelined from one operator to the following. However, if materialized, these results become reusable, hence, subsequent workflows need not recompute them. There are already many solutions that materialize\ud
intermediate results but all of them assume a fixed data format. A fixed format, however, may not be the optimal one for every situation. For example, it is well-known that different data fragmentation strategies (e.g., horizontal and\ud
vertical) behave better or worse according to the access patterns of the subsequent operations. In this paper, we present ResilientStore, which assists on selecting the most appropriate data format for materializing intermediate\ud
results. Given a workflow and a set of materialization points, it uses rule-based heuristics to choose the best storage data format based on subsequent access patterns.We have implemented ResilientStore for HDFS and three different\ud
data formats: SequenceFile, Parquet and Avro. Experimental results show that our solution gives 18% better performance than any solution based on a single fixed format.Peer ReviewedPostprint (author's final draft
Estimation of Round-off Errors in OpenMP Codes

International audienceIt is crucial to control round-off error propagation in numerical simulations, because they can significantly affect computed results, especially in parallel codes like OpenMP ones. In this paper, we present a new version of the CADNA library that enables the numerical validation of OpenMP codes. With a reasonable cost in terms of execution time, it enables one to estimate which digits in computed results are affected by round-off errors and to detect numerical instabilities that may occur during the execution. The interest of this new OpenMP-enabled CADNA version is shown on various applications, along with performance results on multi-core and many-core (Intel Xeon Phi) architectures
Approaches for Task Affinity in OpenMP

OpenMP tasking supports parallelization of irregular algorithms. Recent OpenMP specifications extended tasking to increase functionality and to support optimizations, for instance with the taskloop construct. However, task scheduling remains opaque, which leads to inconsistent performance on NUMA architectures. We assess design issues for task affinity and explore several approaches to enable it. We evaluate these proposals with implementations in the Nanos++ and LLVM OpenMP runtimes that improve performance up to 40 % and significantly reduce execution time variation.Sandia National Laboratories is a multi-program laboratory managed and operated by Sandia Corporation, a wholly owned subsidiary of Lockheed Martin Corporation, for the U.S. Department of Energys National Nuclear Security Administration under contract DE-AC04-94AL85000.\ud
This work has been developed with the support of the grant SEV-2011-00067 of the\ud
Severo Ochoa Program, awarded by the Spanish Government, by the Spanish Ministry\ud
of Science and Innovation (TIN2015-65316-P, Computacion de Altas Prestaciones VII)\ud
and by the Intel-BSC Exascale Lab collaboration project.\ud
Some of the experiments were performed with computing resources granted by JARA-\ud
HPC from RWTH Aachen University under project jara0001. Parts of this work were\ud
funded by the German Federal Ministry of Research and Education (BMBF) under grant\ud
numbers 01IH13008A(ELP).\ud
Intel and Xeon are trademarks or registered trademarks of Intel Corporation or its\ud
subsidiaries in the United States and other countries.\ud
* Other names and brands are the property of their respective owners.\ud
Software and workloads used in performance tests may have been optimized for per-\ud
formance only on Intel microprocessors. Performance tests, such as SYSmark and Mobile-Mark, are measured using specific computer systems, components, software, operations and functions. Any change to any of those factors may cause the results to vary. You should consult other information and performance tests to assist you in fully evaluating your contemplated purchases, including the performance of that product when combined with other products. For more information go to http://www.intel.com/performance.\ud
Intel’s compilers may or may not optimize to the same degree for non-Intel micro-\ud
processors for optimizations that are not unique to Intel microprocessors. These opti-\ud
mizations include SSE2, SSE3, and SSSE3 instruction sets and other optimizations. Intel does not guarantee the availability, functionality, or effectiveness of any optimization on microprocessors not manufactured by Intel. Microprocessor-dependent optimizations in this product are intended for use with Intel microprocessors. Certain optimizations not specific to Intel microarchitecture are reserved for Intel microprocessors. Please refer to the applicable product User and Reference Guides for more information regarding the\ud
specific instruction sets covered by this notice.Peer ReviewedPostprint (author's final draft