Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Formal verification of information flow security for a simple arm-based separation kernelDam, Mads ; Guanciale, Roberto ; Khakpour, Narges ; Nemati, Hamed ; Schwarz, OliverProceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.223-234New York, NY, USA: ACMTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Instrument support modules for the SOAR telescopeSantoro, Fernando G ; Ingerson, Thomas E ; Schwarz, Hugo E ; Tighe, Roberto ; Martinez, Manuel ; Gallardo, Juan ; Ochoa, HugoProceedings of SPIE, 2004, Vol.5489, p.913-926SPIETexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical SystemsHernández Luz, Carles ; Flich Cardo, José ; Paredes Palacios, Roberto ; Lefebvre, Charles-Alexis ; Allende, Imanol ; Abella, Jaume ; Trilla, David ; Matschnig, Martin ; Fischer, Bernhard ; Schwarz, Konrad ; Kiszka, Jan ; Ronnback, Martin ; Klockars, Johan ; McGuire, Nicholas ; Rammerstorfer, FranzIEEE 2020Texto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
The SOAR optical imager: status and first resultsSchwarz, Hugo E ; Ashe, Michael C ; Boccas, Maxime ; Bonati, Marco ; Delgado, Francisco ; Gavez, Ramon ; Martinez, Manuel ; Schurter, Patricio ; Schmidt, Ricardo ; Tighe, Roberto ; Walker, Alistair RSPIE 2004Texto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Fast Simple Linear Iterative Clustering by Early Candidate Cluster EliminationChoi, Kang-Sun ; Oh, Ki-Won Paredes, Roberto ; Pardo, Xosé M. ; Cardoso, Jaime S.Pattern Recognition and Image Analysis, p.579-586 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Scalable and efficient provable data possessionAteniese, Giuseppe ; Di Pietro, Roberto ; Mancini, Luigi V. ; Tsudik, GeneProceedings of the 4th international conference on Security and privacy in communication netowrks, 2008, p.1-10New York, NY, USA: ACMTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
The Application of PLS-SEM in Knowledge Management Processes in Higher Education InstitutionsRiccio, Emanuela ; Cerchione, Roberto ; Centobelli, PieraEuropean Conference on Knowledge Management, 2022, Vol.2, p.1473-R36Kidmore End: Academic Conferences International LimitedTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Efficient integrity checking of untrusted network storageHeitzmann, Alexander ; Palazzi, Bernardo ; Papamanthou, Charalampos ; Tamassia, RobertoProceedings of the 4th ACM international workshop on Storage security and survivability, 2008, p.43-54New York, NY, USA: ACMTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
On the limits of effectiveness in estimation of distribution algorithmsEchegoyen, Carlos ; Qingfu Zhang ; Mendiburu, Alexander ; Santana, Roberto ; Lozano, Jose A.2011 IEEE Congress of Evolutionary Computation (CEC), 2011, p.1573-1580 [Periódico revisado por pares]IEEETexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Q-CP: Learning Action Values for Cooperative PlanningRiccio, Francesco ; Capobianco, Roberto ; Nardi, Daniele2018 IEEE International Conference on Robotics and Automation (ICRA), 2018, p.6469-6475IEEETexto completo disponível |