Zobrazeno 1 - 10
of 3 370
pro vyhledávání: '"A. Loizos"'
In this paper, we introduce a hybrid zonotope-based approach for formally verifying the behavior of autonomous systems operating under Linear Temporal Logic (LTL) specifications. In particular, we formally verify the LTL formula by constructing tempo
Externí odkaz:
http://arxiv.org/abs/2404.03308
Autor:
Christophorou, Christophoros, Ioannou, Iacovos, Vassiliou, Vasos, Christofi, Loizos, Vardakas, John S, Seder, Erin E, Chiasserini, Carla Fabiana, Iordache, Marius, Issaid, Chaouki Ben, Markopoulos, Ioannis, Franzese, Giulio, Järvet, Tanel, Verikoukis, Christos
In the upcoming 6G era, mobile networks must deal with more challenging applications (e.g., holographic telepresence and immersive communication) and meet far more stringent application requirements stemming along the edge-cloud continuum. These new
Externí odkaz:
http://arxiv.org/abs/2403.05277
Autor:
Isaak, Nicos, Michael, Loizos
Publikováno v:
Journal of Logic and Computation 31(8), 2028-2056
In the last decade, the Winograd Schema Challenge (WSC) has become a central aspect of the research community as a novel litmus test. Consequently, the WSC has spurred research interest because it can be seen as the means to understand human behavior
Externí odkaz:
http://arxiv.org/abs/2309.02534
Publikováno v:
J. Phys. G: Nucl. Part. Phys. 51 (2024) 075002
We revisit the Standard Model fit to electroweak precision observables using the latest data and the Particle Data Group value of the mass of the W boson. This analysis is repeated for the value reported by CDF. The constraints on the parameter space
Externí odkaz:
http://arxiv.org/abs/2306.13408
Publikováno v:
37th Conference on Neural Information Processing Systems (NeurIPS 2023)
Natural target functions and tasks typically exhibit hierarchical modularity -- they can be broken down into simpler sub-functions that are organized in a hierarchy. Such sub-functions have two important features: they have a distinct set of inputs (
Externí odkaz:
http://arxiv.org/abs/2305.18402
Autor:
Hadjiloizou, Loizos, Makridis, Evagoras, Charalambous, Themistoklis, Deliparaschos, Kyriakos M.
We present a multisensor fusion framework for the onboard real-time navigation of a quadrotor in an indoor environment. The framework integrates sensor readings from an Inertial Measurement Unit (IMU), a camera-based object detection algorithm, and a
Externí odkaz:
http://arxiv.org/abs/2303.09561
Autor:
Hadjiloizou, Loizos, Deliparaschos, Kyriakos M., Makridis, Evagoras, Charalambous, Themistoklis
We propose a multisensor fusion framework for onboard real-time navigation of a quadrotor in an indoor environment, by integrating sensor readings from an Inertial Measurement Unit (IMU), a camera-based object detection algorithm, and an Ultra-WideBa
Externí odkaz:
http://arxiv.org/abs/2212.01599
Publikováno v:
Frontiers in Plant Science, Vol 15 (2024)
Wheat yellow (stripe) rust, caused by the fungus Puccinia striiformis f.sp. tritici (Pst), is a devastating disease of wheat worldwide. The success of Pst is largely due to the pathogens ability to rapidly overcome host resistance, generating new rac
Externí odkaz:
https://doaj.org/article/063f211fd0454d15874454c9f38f45fe
Autor:
Petrikkos, Loizos1 (AUTHOR) condilia.and@gmail.com, Kourti, Maria2 (AUTHOR) lpetrikkos@gmail.com, Antoniadi, Kondylia1 (AUTHOR) sophpol@otenet.gr, Tziola, Tatiana-Sultana3 (AUTHOR) t.s.tziola@hotmail.com, Sfetsiori, Angeliki-Eleni4 (AUTHOR) angelina.sfe@gmail.com, Antari, Vasiliki5 (AUTHOR) antarivaso@gmail.com, Savoukidou, Sofia6 (AUTHOR) sof_savvouk@hotmail.com, Avgerinou, Georgia3 (AUTHOR) g.avgerinou@yahoo.gr, Filippidou, Maria3 (AUTHOR) m.filippidou@hotmail.com, Papakonstantinou, Eugenia6 (AUTHOR) eugepapa@yahoo.gr, Polychronopoulou, Sophia1 (AUTHOR) vpapadak@otenet.gr, Hatzipantelis, Emmanuel5 (AUTHOR) hatzip@auth.gr, Doganis, Dimitrios4 (AUTHOR) doganisd@gmail.com, Kattamis, Antonios3 (AUTHOR) ankatt@med.uoa.gr, Papadakis, Vassilios1 (AUTHOR), Roilides, Emmanuel2 (AUTHOR), Tragiannidis, Athanasios5 (AUTHOR) atragian@auth.gr
Publikováno v:
Journal of Fungi. Sep2024, Vol. 10 Issue 9, p654. 9p.
Autor:
Jialin Yuan, Loizos Siakallis, Hongwei Bran Li, Sebastian Brandner, Jianguo Zhang, Chenming Li, Laura Mancini, Sotirios Bisdas
Publikováno v:
BMC Medical Imaging, Vol 24, Iss 1, Pp 1-15 (2024)
Abstract Background The role of isocitrate dehydrogenase (IDH) mutation status for glioma stratification and prognosis is established. While structural magnetic resonance image (MRI) is a promising biomarker, it may not be sufficient for non-invasive
Externí odkaz:
https://doaj.org/article/a1e9650c0ff046408927a138367e9354