AGG - Artigos : [99] Collection home page
RSS Feed



Browse
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 99
Issue DateTitleAuthor(s)TypeAccess Type
Feb-2022Graded epistemic logic with public announcementBenevides, Mário; Madeira, Alexandre; Martins, Manuel A.articlerestrictedAccess
Jan-2022A pretorsion theory for the category of all categoriesXarez, João J.articleopenAccess
15-Dec-2021Learning complex functions with GeoGebraBreda, Ana Maria D’Azevedo; Santos, José Manuel dos Santos dosarticleopenAccess
29-Jul-2021Hybrid dynamic logic institutions for event/data-based systemsHennicker, Rolf; Knapp, Alexander; Madeira, AlexandrearticleopenAccess
Aug-2021Observational interpretations of hybrid dynamic logic with binders and silent transitionsHennicker, Rolf; Knapp, Alexander; Madeira, AlexandrearticlerestrictedAccess
2021Generalizações da etiquetagem de Pak-StanleyDuarte, Rui; Guedes de Oliveira, AntónioarticlerestrictedAccess
27-Aug-2021Pak-Stanley labeling of the m-Catalan hyperplane arrangementDuarte, Rui; Guedes de Oliveira, AntónioarticleembargoedAccess
Jun-2021Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logicCosta, Diana; Martins, Manuel A.articleembargoedAccess
May-2021Introducing fuzzy reactive graphs: a simple application on biologySantiago, Regivan; Martins, Manuel A.; Figueiredo, DanielarticlerestrictedAccess
26-Oct-2018A family of graded epistemic logicsBenevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A.articleopenAccess
13-Feb-2021A semantics and a logic for Fuzzy Arden SyntaxGomes, Leandro; Madeira, Alexandre; Barbosa, Luís SoaresarticlerestrictedAccess
2020Strong map-symmetry of SL(3, K) and PSL(3, K) for every finite field KBreda d'Azevedo, António; Catalano, Domenico A.articlerestrictedAccess
2020Mapification of n-dimensional abstract polytopes and hypertopesBreda d'Azevedo, AntónioarticleopenAccess
5-Nov-2020Représentation de la courbe intersection d’une quadrique et d’une quartiqueBreda, Ana; Trocado, Alexandre; Neves, António; Santos, José dosarticlerestrictedAccess
Jan-2021A new rank metric for convolutional codesAlmeida, P.; Napp, D.articleopenAccess
Dec-2020Complete j-MDP convolutional codesAlmeida, Paulo J.; Lieb, JuliaarticleopenAccess
14-Aug-2020Promover o raciocínio geométrico em alunos com Perturbação do Espectro do Autismo através de um ambiente digitalSantos, Maria Isabel Gomes dos; Breda, Ana Maria Reis d’Azevedo; Almeida, Ana Margarida PiscoarticleopenAccess
Oct-2020Hausdorff coalgebrasHofmann, Dirk; Nora, PedroarticleembargoedAccess
14-Jul-2020Automatic adjoint differentiation for gradient descent and model calibrationGoloubentsev, Dmitri; Lakshtanov, EvgenyarticleopenAccess
Feb-2020Cartesian closed exact completions in topologyClementino, Maria Manuel; Hofmann, Dirk; Ribeiro, WillianarticleopenAccess
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 99