Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 99
Issue Date | Title | Author(s) | Type | Access Type |
Feb-2022 | Graded epistemic logic with public announcement | Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. | article |  |
Jan-2022 | A pretorsion theory for the category of all categories | Xarez, João J. | article |  |
15-Dec-2021 | Learning complex functions with GeoGebra | Breda, Ana Maria D’Azevedo; Santos, José Manuel dos Santos dos | article |  |
29-Jul-2021 | Hybrid dynamic logic institutions for event/data-based systems | Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre | article |  |
Aug-2021 | Observational interpretations of hybrid dynamic logic with binders and silent transitions | Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre | article |  |
2021 | Generalizações da etiquetagem de Pak-Stanley | Duarte, Rui; Guedes de Oliveira, António | article |  |
27-Aug-2021 | Pak-Stanley labeling of the m-Catalan hyperplane arrangement | Duarte, Rui; Guedes de Oliveira, António | article |  |
Jun-2021 | Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic | Costa, Diana; Martins, Manuel A. | article |  |
May-2021 | Introducing fuzzy reactive graphs: a simple application on biology | Santiago, Regivan; Martins, Manuel A.; Figueiredo, Daniel | article |  |
26-Oct-2018 | A family of graded epistemic logics | Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. | article |  |
13-Feb-2021 | A semantics and a logic for Fuzzy Arden Syntax | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís Soares | article |  |
2020 | Strong map-symmetry of SL(3, K) and PSL(3, K) for every finite field K | Breda d'Azevedo, António; Catalano, Domenico A. | article |  |
2020 | Mapification of n-dimensional abstract polytopes and hypertopes | Breda d'Azevedo, António | article |  |
5-Nov-2020 | Représentation de la courbe intersection d’une quadrique et d’une quartique | Breda, Ana; Trocado, Alexandre; Neves, António; Santos, José dos | article |  |
Jan-2021 | A new rank metric for convolutional codes | Almeida, P.; Napp, D. | article |  |
Dec-2020 | Complete j-MDP convolutional codes | Almeida, Paulo J.; Lieb, Julia | article |  |
14-Aug-2020 | Promover o raciocínio geométrico em alunos com Perturbação do Espectro do Autismo através de um ambiente digital | Santos, Maria Isabel Gomes dos; Breda, Ana Maria Reis d’Azevedo; Almeida, Ana Margarida Pisco | article |  |
Oct-2020 | Hausdorff coalgebras | Hofmann, Dirk; Nora, Pedro | article |  |
14-Jul-2020 | Automatic adjoint differentiation for gradient descent and model calibration | Goloubentsev, Dmitri; Lakshtanov, Evgeny | article |  |
Feb-2020 | Cartesian closed exact completions in topology | Clementino, Maria Manuel; Hofmann, Dirk; Ribeiro, Willian | article |  |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 99