The use of experts by the International Tribunal for the Law of the Sea and Annex VII Arbitral Tribunals

von Lima, Lucas Carlos
Veröffentlicht in Interpretations of the United Nations Convention on the Law of the Sea by international courts and tribunals (2019)

Formal methods : foundations and applications, 25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings

Veröffentlicht 2022

Visual Specification of Properties for Robotic Designs

von Lindoso, Waldeck Jr.
Veröffentlicht in SBMF (24. : 2021 : Online) Formal Methods: Foundations and Applications (2021)

A Real Framework to Apply Collaborative Robots in Upper Limb Rehabilitation

von Lima, Lucas de Azevedo Fernandes, Thadeu Brito, Luis Piardi, José
Veröffentlicht in International Conference on Biomedical Electronics and Devices (13. : 2020 : Valletta) BIOSTEC 2020 ; Volume 1: BIODEVICES (2020)

Partial identification and inference for dynamic models and counterfactuals

von Kalouptsidi, Myrto
Veröffentlicht 2020

Multi-head Self-attention with Role-Guided Masks

von Wang, Dongsheng
Veröffentlicht in ECIR (43. : 2021 : Online) Advances in information retrieval ; Part 2 (2021)

A Context-Awareness Approach to Tourism and Heritage Routes Generation

von Ramos, Carlos
Veröffentlicht in International Symposium on Ambient Intelligence (9. : 2018 : Toledo) Ambient intelligence - software and applications -, 9th International Symposium on Ambient Intelligence (2019)