Zobrazeno 1 - 10
of 11 322
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:
Parry, Jonathan
Publikováno v:
Anthropology Today, 2012 Oct 01. 28(5), 27-28.
Externí odkaz:
http://dx.doi.org/10.1111/j.1467-8322.2012.00904.x
Autor:
Lydall, Jean, Gardner, Robert
Publikováno v:
Anthropology Today, 2008 Aug 01. 24(4), 28-29.
Externí odkaz:
https://www.jstor.org/stable/20179939
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
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.
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