Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Robust Reasoning for Autonomous Cyber-Physical Systems in Dynamic EnvironmentsHåkansson, Anne ; Saad, Aya ; Sadanandan Anand, Akhil ; Gjærum, Vilde Benoni ; Robinson, Haakon ; Seel, KatrineProcedia computer science, 2021 [Periódico revisado por pares]ElsevierTexto completo disponível |
|
2 |
Material Type: Artigo
|
Safe Learning for Control using Control Lyapunov Functions and Control Barrier Functions: A ReviewSadanandan Anand, Akhil ; Seel, Katrine ; Gjærum, Vilde Benoni ; Håkansson, Anne ; Robinson, Haakon ; Saad, AyaProcedia computer science, 2021 [Periódico revisado por pares]ElsevierTexto completo disponível |
|
3 |
Material Type: Artigo
|
Dynamic path finding method and obstacle avoidance for automated guided vehicle navigation in Industry 4.0Dündar, Yigit CanProcedia computer science, 2021 [Periódico revisado por pares]ElsevierTexto completo disponível |
|
4 |
Material Type: Artigo
|
Machine Learning for Hydropower Scheduling: State of the Art and Future Research DirectionsBordin, Chiara ; Skjelbred, Hans Ivar ; Kong, Jiehong ; Yang, ZhirongProcedia computer science, 2020 [Periódico revisado por pares]ElsevierTexto completo disponível |
|
5 |
Material Type: Artigo
|
Smart Energy and power systems modelling: an IoT and Cyber-Physical Systems perspective, in the context of Energy InformaticsBordin, Chiara ; Håkansson, Anne ; Mishra, SambeetProcedia computer science, 2020 [Periódico revisado por pares]ElsevierTexto completo disponível |
|
6 |
Material Type: Artigo
|
The relative importance of healthy food labels when shopping for groceries onlineFagerstrøm, Asle ; Richartz, Philip ; Pawar, Sanchit ; Larsen, Nils Magne ; Sigurdsson, Valdimar ; Eriksson, NiklasProcedia computer science, 2019-01 [Periódico revisado por pares]ElsevierTexto completo disponível |
|
7 |
Material Type: Artigo
|
Privacy preserving distributed computation of community health research dataAndersen, Anders ; Saus, MereteProcedia computer science, 2017 [Periódico revisado por pares]ElsevierTexto completo disponível |
|
8 |
Material Type: Artigo
|
Finite dimensional dynamics for nonlinear filtration equationAkhmetzyanov, Atlas V ; Kushner, Alexei G ; Lychagin, ValentinProcedia computer science, 2017 [Periódico revisado por pares]ElsevierTexto completo disponível |
|
9 |
Material Type: Artigo
|
Assessing and Improving EHRs Data Quality through a Socio-technical ApproachDarko-Yawson, Samuel ; Ellingsen, GunnarProcedia computer science, 2016 [Periódico revisado por pares]Texto completo disponível |
|
10 |
Material Type: Artigo
|
Reflective Text Entry: A Simple Low Effort Predictive Input Method Based on Flexible AbbreviationsSandnes, Frode EikaProcedia Computer Science, 2015ElsevierTexto completo disponível |