Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
A socially intelligent approach to consumers' collective capabilities in smart gridsOliveira, Sonja ; Atkins, Ed ; Chatzimichali, Anna2023 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2023 - Proceedings, 2023 [Periódico revisado por pares]GBR: IEEETexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Experiences in a Cyber-Physical Co-Simulation Testbed Development for a Smart-er Distribution NetworkWagle, Raju ; Pham, Le Nam Hai ; Tricarico, Gioacchino ; Sharma, Pawan ; Rueda, Jose Luis ; Gonzalez-Longatt, FranciscoIEEE 2023Texto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Concise Definition of the Overcurrent Protection System for CIGRE European Medium Voltage Benchmark NetworkPham, Le Nam Hai ; Wagle, Raju ; Gonzalez-Longatt, FranciscoIEEE 2023Texto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Fishing Trawler Event Detection: An Important Step Towards Digitization of Sustainable FishingNordmo, Tor-Arne Schmidt ; Ovesen, Aril Bernhard ; Dagenborg, Håvard ; Halvorsen, Pål ; Riegler, Michael Alexander ; Johansen, DagIEEE 2023Texto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
A Modified Version of the IEEE 39-bus Test System for the Day-Ahead MarketTricarico, Gioacchino ; Wagle, Raju ; Dicorato, Maria ; Forte, Giuseppe ; Gonzalez-Longatt, Francisco ; Rueda, Jose LuisIEEE 2023Texto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Awaiting for Godot : Stateless Model Checking that Avoids Executions where Nothing HappensJonsson, Bengt ; Lång, Magnus ; Sagonas, KonstantinosUppsala universitet, Avdelningen för datorteknik 2022Texto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
TRICERA : Verifying C Programs Using the Theory of HeapsEsen, Zafer ; Rümmer, PhilippUppsala universitet, Avdelningen för datorteknik 2022Texto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Exposing Data Value On a Risc-V Based SoCTalaki, Ezinam-Bertrand ; Bouvier Des Noes, Mathieu ; Savry, Olivier ; Hely, David ; Bacles-Min, Simone ; Lemaire, RomainIEEE access, 2022, p.1-8 [Periódico revisado por pares]IEEETexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Agent-based Modelling of Strategic behavior in PoW ProtocolsSchwarz-Schilling, Caspar ; Li, Sheng-Nan ; Tessone, ClaudioIEEE 2021Texto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Autonomous Temporal Transaction DatabaseMichal KvetProceedings of the XXth Conference of Open Innovations Association FRUCT, 2021, Vol.30 (1), p.121-128 [Periódico revisado por pares]FRUCTTexto completo disponível |