Zobrazeno 1 - 10
of 472
pro vyhledávání: '"Martins, Manuel A."'
Reactive graphs are transition structures whereas edges become active and inactive during its evolution, that were introduced by Dov Gabbay from a mathematical's perspective. This paper presents Marge (https://fm-dcc.github.io/MARGe), a web-based too
Externí odkaz:
http://arxiv.org/abs/2407.14705
In this paper, we deal with the problem of putting together modal worlds that operate in different logic systems. When evaluating a modal sentence $\Box \varphi$, we argue that it is not sufficient to inspect the truth of $\varphi$ in accessed worlds
Externí odkaz:
http://arxiv.org/abs/2203.00673
Autor:
Morais, Filipa, Pires, Valérie, Almeida, Mónica, Martins, Manuel A., Oliveira, Miguel, Lopes, Isabel
Publikováno v:
In Science of the Total Environment 15 November 2024 951
Autor:
Lopes, Ana Filipa, Ribeiro Ferreira, Mariana, do Vale, Beatriz, Santos, Marlene, Silveira, Inês, Claudino, Sofia, Martins, Manuel, Brida, Telma, Figueira, Luís, Cardoso, Luís, Lopes, Ana Patrícia, Coelho, Ana Cláudia, Matos, Manuela, Matos, Ana Cristina
Publikováno v:
In Current Research in Parasitology & Vector-Borne Diseases 2024 6
Publikováno v:
In Fuzzy Sets and Systems 30 August 2023 466
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2023 133
Publikováno v:
In Journal of Economic Dynamics and Control June 2023 151
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical objects. GAP is a compu
Externí odkaz:
http://arxiv.org/abs/1806.08648