Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
5 Research products, page 1 of 1

  • Other research products
  • Other ORP type
  • EU
  • HAL-Rennes 1

Relevance
arrow_drop_down
  • Other research product . Other ORP type . 2012
    French
    Authors: 
    Le Bail, Pierre-Yves; Bugeon, Jérôme; Chemineau, Philippe; Dameron, Olivier; Fatet, Alice; Hue, Isabelle; Hurtaud, Catherine; Joret, Léa; Salaun, Marie-Christine; Park, C.; +4 more
    Publisher: HAL CCSD
    Country: France
    Project: EC | AQUAEXCEL (262336)

    il s'agit d'un type de produit dont les métadonnées ne correspondent pas aux métadonnées attendues dans les autres types de produit : SOFTWARE; absent

  • Other research product . Other ORP type . 2012
    English
    Authors: 
    Bouzigues, Marc-Antoine; Siaud, Isabelle; Hélard, Maryline; Ulmer-Moll, Anne-Marie;
    Publisher: HAL CCSD
    Country: France
    Project: EC | OMEGA (213311), EC | EARTH (247733)

    WWRF 29th meeting, Berlin.; In this article, Time Reversal (TR) signal processing techniques are studied and evaluated over novel realistic green use cases. The principles of Time Reversal and practical uses cases for green communications are designed considering Long Term Evolution-Advanced Coordinated Multi-Point transmission/reception (LTE-A CoMP), Fast Session Transfer (FST) extensions and multi-Radio Access Technology (RAT) architectures foreseen as promising green networks. Dedicated TR use cases are defined in order to identify limit and advantages of TR in a green radio context.

  • English
    Authors: 
    Agravante, Don Joven; Chaumette, François;
    Publisher: HAL CCSD
    Country: France
    Project: EC | COMANOID (645097)

    Journées Nationales de la Recherche Humanoïde, Toulouse, France; This work aims to create a solution to executing visually guided tasks on a humanoid robot while taking advantage of its floating base. The base framework is an acceleration-resolved weighted Quadratic Programming approach for whole-body control.

  • Other research product . Other ORP type . 2013
    English
    Authors: 
    Mignogna, Alessandro; Mangeruca, Leonardo; Boyer, Benoît; Legay, Axel; Arnold, Alexandre;
    Publisher: HAL CCSD
    Country: France
    Project: EC | DANSE (287716)

    Workshop paper presenting the Toolchain to be produced by the DANSE project for modelling and verifying systems of systems; Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems of systems: 1) the model of the SoS, which includes stochastic aspects; 2) the formalization of the SoS requirements in the form of contracts; 3) the tool-chain to support statistical model checking for SoS. We adapt the SMC technique for application to heterogeneous SoS. We extend the UPDM/SysML specification language to express the SoS requirements that the implemented strategies over the SoS must satisfy. The requirements are specified with a new contract language specifically designed for SoS, targeting a high-level English-pattern language, but relying on an accurate semantics given by the standard temporal logics. The contracts are verified against the UPDM/SysML specification using the Statistical Model Checker (SMC) PLASMA combined with the simulation engine DESYRE, which integrates heterogeneous behavioral models through the functional mock-up interface (FMI) standard. The tool-chain allows computing an estimation of the satisfiability of the contracts by the SoS. The results help the system architect to trade-off different solutions to guide the evolution of the SoS.

  • Other research product . Other ORP type . 2019
    English
    Authors: 
    Antonini, Alessio; Carmen Suárez-Figueroa, Mari; Adamou, Alessandro; Benatti, Francesca; Vignale, François; Gravier, Guillaume; Lupi, Lucia; Ouvry-Vial, Brigitte;
    Publisher: HAL CCSD
    Country: France
    Project: EC | JHEP2 (699523)

    Work in progress from the READ-IT program (www.readitproject.eu), Project Leader Brigitte Ouvry-Vial, funded by the EU- Joint Programming Initiative for Cultural Heritage; Large scale cultural heritage datasets and computational methods for the humanities research framework are the two pillars of Digital Humanities, a research field aiming to expand humanities studies beyond specific sources and periods to address macroscope research questions on broad human phenomena. In this regard, the development of machine-readable semantically enriched data models based on a cross-disciplinary "language" of phenomena is critical for achieving the interoperabil-ity of research data. This contribution reports, documents, and discusses the development of a model for the study of reading experiences as part of the EU JPI-CH project Reading Europe Advanced Data Investigation Tool (READ-IT). Through the discussion of the READ-IT ontology of reading experience, this contribution will highlight and address three challenges emerging from the development of a conceptual model for the support of research on cultural heritage. Firstly, this contribution addresses modelling for multidisciplinary research. Secondly, this work addresses the development of an ontology of reading experience, under the light of the experience of previous projects, and of ongoing and future research developments. Lastly, this contribution addresses the validation of a conceptual model in the context of ongoing research, the lack of a consolidated set of theories and of a consensus of domain experts.

Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
5 Research products, page 1 of 1
  • Other research product . Other ORP type . 2012
    French
    Authors: 
    Le Bail, Pierre-Yves; Bugeon, Jérôme; Chemineau, Philippe; Dameron, Olivier; Fatet, Alice; Hue, Isabelle; Hurtaud, Catherine; Joret, Léa; Salaun, Marie-Christine; Park, C.; +4 more
    Publisher: HAL CCSD
    Country: France
    Project: EC | AQUAEXCEL (262336)

    il s'agit d'un type de produit dont les métadonnées ne correspondent pas aux métadonnées attendues dans les autres types de produit : SOFTWARE; absent

  • Other research product . Other ORP type . 2012
    English
    Authors: 
    Bouzigues, Marc-Antoine; Siaud, Isabelle; Hélard, Maryline; Ulmer-Moll, Anne-Marie;
    Publisher: HAL CCSD
    Country: France
    Project: EC | OMEGA (213311), EC | EARTH (247733)

    WWRF 29th meeting, Berlin.; In this article, Time Reversal (TR) signal processing techniques are studied and evaluated over novel realistic green use cases. The principles of Time Reversal and practical uses cases for green communications are designed considering Long Term Evolution-Advanced Coordinated Multi-Point transmission/reception (LTE-A CoMP), Fast Session Transfer (FST) extensions and multi-Radio Access Technology (RAT) architectures foreseen as promising green networks. Dedicated TR use cases are defined in order to identify limit and advantages of TR in a green radio context.

  • English
    Authors: 
    Agravante, Don Joven; Chaumette, François;
    Publisher: HAL CCSD
    Country: France
    Project: EC | COMANOID (645097)

    Journées Nationales de la Recherche Humanoïde, Toulouse, France; This work aims to create a solution to executing visually guided tasks on a humanoid robot while taking advantage of its floating base. The base framework is an acceleration-resolved weighted Quadratic Programming approach for whole-body control.

  • Other research product . Other ORP type . 2013
    English
    Authors: 
    Mignogna, Alessandro; Mangeruca, Leonardo; Boyer, Benoît; Legay, Axel; Arnold, Alexandre;
    Publisher: HAL CCSD
    Country: France
    Project: EC | DANSE (287716)

    Workshop paper presenting the Toolchain to be produced by the DANSE project for modelling and verifying systems of systems; Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems of systems: 1) the model of the SoS, which includes stochastic aspects; 2) the formalization of the SoS requirements in the form of contracts; 3) the tool-chain to support statistical model checking for SoS. We adapt the SMC technique for application to heterogeneous SoS. We extend the UPDM/SysML specification language to express the SoS requirements that the implemented strategies over the SoS must satisfy. The requirements are specified with a new contract language specifically designed for SoS, targeting a high-level English-pattern language, but relying on an accurate semantics given by the standard temporal logics. The contracts are verified against the UPDM/SysML specification using the Statistical Model Checker (SMC) PLASMA combined with the simulation engine DESYRE, which integrates heterogeneous behavioral models through the functional mock-up interface (FMI) standard. The tool-chain allows computing an estimation of the satisfiability of the contracts by the SoS. The results help the system architect to trade-off different solutions to guide the evolution of the SoS.

  • Other research product . Other ORP type . 2019
    English
    Authors: 
    Antonini, Alessio; Carmen Suárez-Figueroa, Mari; Adamou, Alessandro; Benatti, Francesca; Vignale, François; Gravier, Guillaume; Lupi, Lucia; Ouvry-Vial, Brigitte;
    Publisher: HAL CCSD
    Country: France
    Project: EC | JHEP2 (699523)

    Work in progress from the READ-IT program (www.readitproject.eu), Project Leader Brigitte Ouvry-Vial, funded by the EU- Joint Programming Initiative for Cultural Heritage; Large scale cultural heritage datasets and computational methods for the humanities research framework are the two pillars of Digital Humanities, a research field aiming to expand humanities studies beyond specific sources and periods to address macroscope research questions on broad human phenomena. In this regard, the development of machine-readable semantically enriched data models based on a cross-disciplinary "language" of phenomena is critical for achieving the interoperabil-ity of research data. This contribution reports, documents, and discusses the development of a model for the study of reading experiences as part of the EU JPI-CH project Reading Europe Advanced Data Investigation Tool (READ-IT). Through the discussion of the READ-IT ontology of reading experience, this contribution will highlight and address three challenges emerging from the development of a conceptual model for the support of research on cultural heritage. Firstly, this contribution addresses modelling for multidisciplinary research. Secondly, this work addresses the development of an ontology of reading experience, under the light of the experience of previous projects, and of ongoing and future research developments. Lastly, this contribution addresses the validation of a conceptual model in the context of ongoing research, the lack of a consolidated set of theories and of a consensus of domain experts.

Send a message
How can we help?
We usually respond in a few hours.