Institution
Altran
Company•Neuilly-sur-Seine, France•
About: Altran is a company organization based out in Neuilly-sur-Seine, France. It is known for research contribution in the topics: Software development & Formal verification. The organization has 488 authors who have published 512 publications receiving 6395 citations.
Topics: Software development, Formal verification, Domain-specific language, Computer science, Convection
Papers published on a yearly basis
Papers
More filters
••
01 Jan 20211 citations
••
01 Nov 2015TL;DR: A framework to address the issue of sorting a large amount of profiles from different contexts and assigning them back to a specific individual by means of concepts and algorithms selected from different Artificial Intelligence fields is described.
Abstract: Persons are often asked to provide information about themselves. These data are very heterogeneous and result in as many “profiles” as contexts. Sorting a large amount of profiles from different contexts and assigning them back to a specific individual is quite a difficult problem. Semantic processing and machine learning are key tools to achieve this goal. This paper describes a framework to address this issue by means of concepts and algorithms selected from different Artificial Intelligence fields. Indeed, a Vector Space Model is customized to first transpose semantic information into a mathematical model. Then, this model goes through a Genetic Algorithm (GA) which is used as a supervised learning algorithm for training a computer to determine how much two profiles are similar. Amongst the GAs, this study introduces a new reproduction method (Best Together), and compare it to some usual ones (Wheel, Binary Tournament). This paper also evaluates the accuracy of the GAs predictions for profiles clustering with the computation of a similarity score, as well as its ability to classify two profiles are similar or non-similar. We believe that the overall methodology can be used for any kind of sources using profiles and, more generally, for similar data recognition.
1 citations
••
24 Jun 2007TL;DR: A hardware architecture for high speed network processors, focusing on support for quality of service in IPSec-dedicated systems, and an architecture of a memory system that provides automatic priority management is proposed.
Abstract: This paper introduces a hardware architecture for high speed network processors, focusing on support for quality of service in IPSec-dedicated systems. The effort is aimed at defining a secure system on chip environment, where the speed and security requirements are of utmost importance. In particular, a method is devised to introduce and support quality of service through priorities at this level. An architecture of a memory system that provides automatic priority management is proposed.
1 citations
•
11 May 2009TL;DR: The ROSE project was aimed at defining and studying a system for monitoring polluting wrecks based on the deployment of a set of subsea stations integrated in an acoustic network and communicating with shore through a wireless link.
1 citations
••
14 Sep 2016TL;DR: The needs for a new methodology and an adapted formalism to improve the collaboration between the system engineers and HSI practitioners are focused on and the methodology based on the Model-Based System Engineering (MBSE) and the SysML modelling language is presented.
Abstract: In response to the challenges related to integrate human considerations within complex interactive systems, the Human-System Integration (HSI) initiative has been proposed.Nevertheless, the HSI approach is difficult to fit efficiently into the system engineering processes because of the lack of shared methodologies, modeling semantics and tools.This paper focuses on the needs for a new methodology and an adapted formalism to improve the collaboration between the system engineers and HSI practitioners. It concludes with the presentation of our methodology based on the Model-Based System Engineering (MBSE) and the SysML modelling language.
1 citations
Authors
Showing all 489 results
Name | H-index | Papers | Citations |
---|---|---|---|
Khellil Sefiane | 52 | 292 | 8195 |
Jose L. Salmeron | 30 | 84 | 3207 |
Catherine Azzaro-Pantel | 28 | 168 | 2401 |
Ivan Kurtev | 25 | 53 | 4954 |
Jan Olaf Blech | 20 | 131 | 1134 |
Jacopo Belfi | 20 | 76 | 1045 |
Laura Rossi | 18 | 42 | 1498 |
M. Klein-Wolt | 18 | 30 | 1601 |
Hao Lu | 18 | 73 | 1019 |
Xiaoye Han | 17 | 61 | 883 |
Ivan Miguel Pires | 16 | 103 | 789 |
Luis A. S. de A. Prado | 13 | 17 | 678 |
Patricia Zunino | 11 | 24 | 716 |
Jon Arrospide | 11 | 19 | 481 |
Roderick Chapman | 11 | 18 | 651 |