Výsledky vyhledávání

Report

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

Zobrazit plný text záznamu

Report

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version)

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

Zobrazit plný text záznamu

Akademický článek

Effects of vineyard soil management on the characteristics of soils and roots in the lower Oltrepò Apennines (Lombardy, Italy)

Autor: Bordoni, M., Vercesi, A., Maerker, M., Ganimede, C., Reguzzi, M.C., Capelli, E., Wei, X., Mazzoni, E., Simoni, S., Gagnarli, E., Meisina, C.

Publikováno v: In Science of the Total Environment 25 November 2019 693

Zobrazit plný text záznamu

Report

On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing

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

Zobrazit plný text záznamu