Zobrazeno 1 - 10
of 640
pro vyhledávání: '"Simoni S."'
Autor:
Brai, A., Provenzani, M.P., Pasqualini, C., Poggialini, F., Vagaggini, C., Tarchi, F., Frosinini, R., Francardi, V., Simoni, S., Dreassi, E.
Publikováno v:
Journal of Insects as Food & Feed; 2024, Vol. 10 Issue 6, p959-976, 18p
Autor:
Pandya, Paritosh K., Shah, Simoni S.
The class of Unambiguous Star-Free Regular Languages (UL) was defined by Schutzenberger as the class of languages defined by Unambiguous Polynomials. UL has been variously characterized (over finite words) by logics such as TL[X_a,Y_a], UITL, TL[F,P]
Externí odkaz:
http://arxiv.org/abs/1401.2714
Autor:
Pandya, Paritosh K., Shah, Simoni S.
Publikováno v:
Proc. ATAV 2012, LNCS 7561, 2012. pp 77-91
We study two unary fragments of the well-known metric interval temporal logic MITL[U_I,S_I] that was originally proposed by Alur and Henzinger, and we pin down their expressiveness as well as satisfaction complexities. We show that MITL[F_\inf,P_\inf
Externí odkaz:
http://arxiv.org/abs/1305.3204
Autor:
Pandya, Paritosh K., Shah, Simoni S.
Publikováno v:
Proc. CONCUR 2011, LNCS 6901, 2011. pp 60-75
Timed temporal logics exhibit a bewildering diversity of operators and the resulting decidability and expressiveness properties also vary considerably. We study the expressive power of timed logics TPTL[U,S] and MTL[U,S] as well as of their several f
Externí odkaz:
http://arxiv.org/abs/1102.5638
Publikováno v:
In Geomorphology 15 August 2017 291:159-173
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.
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.
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.
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.
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.