Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraintsDania, Carolina ; Clavel, ManuelProceedings of the ACM/IEEE 19th International Conference on model driven engineering languages and systems, 2016, p.65-75ACMTexto completo disponível |
|
2 |
Material Type: Artigo
|
Concurrent Validity and Reliability of the Sprint Force–Velocity Profile Assessed with K-AI Wearable TechVantieghem-Nicolas, Laurine ; Morin, Jean-Benoit ; Cotte, Thierry ; Sangnier, Sébastien ; Rossi, JeremySensors (Basel, Switzerland), 2023-09, Vol.23 (19), p.8189 [Periódico revisado por pares]MDPI AGTexto completo disponível |
|
3 |
Material Type: Artigo
|
A survey on wireless body area networksLatré, Benoît ; Braem, Bart ; Moerman, Ingrid ; Blondia, Chris ; Demeester, PietWireless networks, 2011, Vol.17 (1), p.1-18 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
4 |
Material Type: Artigo
|
Unusual plastic deformation and damage features in titanium: Experimental tests and constitutive modelingRevil-Baudard, Benoit ; Cazacu, Oana ; Flater, Philip ; Chandola, Nitin ; Alves, J.L.Journal of the mechanics and physics of solids, 2016-03, Vol.88, p.100-122 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
5 |
Material Type: Artigo
|
Characteristics of bioeconomy systems and sustainability issues at the territorial scale. A reviewWohlfahrt, J. ; Ferchaud, F. ; Gabrielle, B. ; Godard, C. ; Kurek, B. ; Loyce, C. ; Therond, O.Journal of cleaner production, 2019-09, Vol.232, p.898-909 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
6 |
Material Type: Artigo
|
Sprint Acceleration Mechanical Outputs Derived from Position- or Velocity-Time Data: A Multi-System Comparison StudyFornasier-Santos, Charly ; Arnould, Axelle ; Jusseaume, Jérémy ; Millot, Benjamin ; Guilhem, Gaël ; Couturier, Antoine ; Samozino, Pierre ; Slawinski, Jean ; Morin, Jean-BenoîtSensors (Basel, Switzerland), 2022-11, Vol.22 (22), p.8610 [Periódico revisado por pares]Switzerland: MDPI AGTexto completo disponível |
|
7 |
Material Type: Artigo
|
Cell-Based Vascularization Strategies for Skin Tissue EngineeringHendrickx, Benoit ; Vranckx, Jan J. ; Luttun, AernoutTissue engineering. Part B, Reviews, 2011-02, Vol.17 (1), p.13-24 [Periódico revisado por pares]United States: Mary Ann Liebert, IncTexto completo disponível |
|
8 |
Material Type: Livro
|
Multimedia Semantics: Metadata, Analysis and InteractionTroncy, Raphaël ; Huet, Benoit ; Schenk, Simon Schenk, Simon ; Troncy, Raphael ; Huet, BenoitNewark: Wiley 2011Texto completo disponível |
|
9 |
Material Type: Artigo
|
Development of a 2D array of micromachined electromagnetic digital actuators for micro-conveyance applicationsShi, Zhichao ; Bélier, Benoît ; Martincic, Emile ; Petit, Laurent ; Moulin, Johan ; Lefeuvre, Elie ; Terrien, Jérémy ; Prelle, Christine ; Lamarque, FrédéricMicrosystem technologies : sensors, actuators, systems integration, 2018, Vol.24 (1), p.411-417 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
A Formal Framework to Prove the Correctness of Model Driven Engineering Composition OperatorsKezadri Hamiaz, Mounira ; Pantel, Marc ; Combemale, Benoit ; Thirioux, XavierFormal Methods and Software Engineering, p.235-250 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |