Zobrazeno 1 - 10
of 255
pro vyhledávání: '"Martini Simone"'
This research presents a novel, analytical, Koopman Operator based formulation for position and attitude dynamics which can be used to derive control strategies for underactuated systems. Compared to data driven Koopman based techniques, the analytic
Externí odkaz:
http://arxiv.org/abs/2407.16100
Autor:
Martini, Simone, Valavanis, Kimon P., Stefanovic, Margareta, Rutherford, Matthew J., Rizzo, Alessandro
This technical note proves analytically how the exact equivalence of the Newton-Euler and Euler-Lagrange modeling formulations as applied to multirotor UAVs is achieved. This is done by deriving a revised Euler-Lagrange multirotor attitude dynamics m
Externí odkaz:
http://arxiv.org/abs/2310.09306
We report our experience of an extracurricular online intervention on cryptography principles in 10th grade. This paper's first goal is to present the learning path we designed, influenced by cryptography core ideas rather than technical knowledge. W
Externí odkaz:
http://arxiv.org/abs/2112.10437
We extend to natural deduction the approach of Linear Nested Sequents and of 2-sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal systems in the original spirit of natural deduction -- only one introducti
Externí odkaz:
http://arxiv.org/abs/2007.11875
Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are presented in a uniform way-different logics are obtained by tuning a single p
Externí odkaz:
http://arxiv.org/abs/2001.02029
Autor:
Capelli Gioia, Drago Andrea, Martini Simone, Montarsi Fabrizio, Soppelsa Mauro, Delai Nicola, Ravagnan Silvia, Mazzon Luca, Schaffner Francis, Mathis Alexander, Di Luca Marco, Romi Roberto, Russo Francesca
Publikováno v:
Parasites & Vectors, Vol 4, Iss 1, p 188 (2011)
Abstract Background In the Veneto region (north-eastern Italy) an entomological surveillance system has been implemented since the introduction of the Asian tiger mosquito (Aedes albopictus) in 1991. During the routine monitoring activity in a tiger
Externí odkaz:
https://doaj.org/article/97b9f2a5a87f40f8b8953171ecdacc5b
Autor:
Martini, Simone1 simone.martini@unibo.it, Masini, Andrea2 andrea.masini@univr.it, Zorzi, Margherita2 margherita.zorzi@univr.it
Publikováno v:
Bulletin of the Section of Logic. Dec2023, Vol. 52 Issue 4, p459-495. 37p.