Publications

Type of document

Keywords

Author

Of

At

Affichage de 3201 à 3210 sur 5639

Communication dans un congrès

Méthode de vérification des exigences pour l'ingénierie système à partir d'une représentation logique du système modélisé en RDF.

Albéric Cornière, Virginie Fortineau, Thomas Paviot, Samir Lamouri

<p>L'ingénierie des exigences est souvent considérée comme le processus de départ du cycle de vie du produit, qui débuterait par l'expression des besoins des utilisateurs, et qui vise à en tirer un ensemble cohérent de spécifications. Les exigences portent par nature sur un système…

Xème Conférence Internationale : Conception et Production Intégrées, Dec 2015, Tanger, Maroc. ⟨hal-01260674⟩

Communication dans un congrès

BiMov : vers une analyse dynamique de navigabilité dans les bâtiments

Ahmed Hamieh, Dominique Deneux, Christian Tahon

La détermination automatique de chemins à l'intérieur d'un bâtiment présente un intérêt majeur pour différentes applications de conception architecturale et de construction (AEC). En conception, elle permet par exemple d'étudier les scénarios d'évacuation d'urgence. En…

Xème Conférence Internationale : Conception et Production Intégrées, Dec 2015, Tanger, Maroc. ⟨hal-01260729⟩

Article dans une revue

An explication of uncertain evidence in Bayesian networks: likelihood evidence and probabilistic evidence

Ali Ben Mrad, Véronique Delcroix, Sylvain Piechowiak, Philip Leicester, Mohamed Abid

This paper proposes a systematized presentation and a terminology for observations in a Bayesian network. It focuses on the three main concepts of uncertain evidence, namely likelihood evidence and fixed and not-fixed probabilistic evidence, using a review of previous literature. A probabilistic…

Applied Intelligence, 2015, 43 (4), pp.802-824. ⟨10.1007/s10489-015-0678-6⟩. ⟨hal-03401086⟩

Article dans une revue

The V ( z ) Inversion Technique for Evaluation of an Adhesively Bonded Structure

Jing Liu, Wei-Jiang Xu, Wen-Xiang Hu, Mohamed Ourak, André Dubois

Based on the fact that the evolution trace in incident angle and frequency of the resonance zeros of the reflection coefficient function for a water charged layered medium is equivalent to its guided wave mode dispersion, the interfacial adhesion of a three-layer aluminum–adhesive–aluminum bonding…

Chinese Physics Letters, 2015, 32 (12), pp.124303. ⟨10.1088/0256-307X/32/12/124303⟩. ⟨hal-03451911⟩

Article dans une revue

Gender and texture classification: A comparative analysis using 13 variants of local binary patterns

Abdenour Hadid, Juha Ylioinas, Messaoud Bengherabi, Mohammad Ghahramani, Abdelmalik Taleb-Ahmed

Pattern Recognition Letters, 2015, 68 (2), pp.231-238. ⟨10.1016/j.patrec.2015.04.017⟩. ⟨hal-03430005⟩

Article dans une revue

Solving the flexible job-shop just-in-time scheduling problem with quadratic earliness and tardiness costs

Gabriel Zambrano Rey, Abdelghani Bekrar, Damien Trentesaux, Binghai Zhou

The flexible job-shop scheduling problem is known to be an (Non-deterministic Polynomial-time hard) combinatorial problem and has become a challenge in optimization and manufacturing control. Although flexibility is important in order to respond effectively to higher product variety, shorter lead…

International Journal of Advanced Manufacturing Technology, 2015, 81 (9-12), pp.1871-1891. ⟨10.1007/s00170-015-7347-0⟩. ⟨hal-03429005⟩

Article dans une revue

Scalable row-based parallel H.264 decoder on embedded multicore processors

Elias Michel Baaklini, Santhosh Kumar Rethinagiri, Hassan Sbeity, Smail Niar

Multimedia applications are present in most mobile hand-held devices, which are still equipped with limited battery resources. The H.264 standard is currently dominating the video compression world. H.264 has high computational requirements in terms of memory, energy, and time. Many techniques…

Signal, Image and Video Processing, 2015, 9 (S1), pp.57-71. ⟨10.1007/s11760-014-0633-8⟩. ⟨hal-03578528⟩

Article dans une revue

Comparison Based on Exergetic Analyses of Two Hot Air Engines: A Gamma Type Stirling Engine and an Open Joule Cycle Ericsson Engine

Houda Hachem, Marie Creyx, Ramla Gheith, Eric Delacourt, Céline Morin, Fethi Aloui, Sassi Ben Nasrallah

In this paper, a comparison of exergetic models between two hot air engines (a Gamma type Stirling prototype having a maximum output mechanical power of 500 W and an Ericsson hot air engine with a maximum power of 300 W) is made. Referring to previous energetic analyses, exergetic models are set up…

Entropy, 2015, 17 (11), pp.7331-7348. ⟨10.3390/e17117331⟩. ⟨hal-03448497⟩

Article dans une revue

Thermocapillary instability in an evaporating two-dimensional thin layer film

Andriy A. Avramenko, Igor V. Shevchuk, Souad Harmand, Andrii I. Tyrinov

A novel two-dimensional model for the thermocapillary instability of a thin liquid film was developed and validated in the paper. The model incorporates a novel solution for the unperturbed velocity components and the thin film thickness (based on the boundary layer approach and balance equation)…

International Journal of Heat and Mass Transfer, 2015, 91, pp.77-88. ⟨10.1016/j.ijheatmasstransfer.2015.07.063⟩. ⟨hal-03448389⟩

Article dans une revue

Scheduling operating theatres: Mixed integer programming vs. constraint programming

Tao Wang, Nadine Meskens, David Duvivier

The daily scheduling of an operating theatre is a highly constrained problem. In addition to standard scheduling constraints, many additional constraints on human and material resources encountered in real life should be taken into account. These constraints concern the priority of operations, the…

European Journal of Operational Research, 2015, 247 (2), pp.401 - 413. ⟨10.1016/j.ejor.2015.06.008⟩. ⟨hal-01787907⟩