Zobrazeno 1 - 10
of 420
pro vyhledávání: '"Karsai, Gabor"'
Autor:
Bombaerts, Gunter, Hannes, Tom, Adam, Martin, Aloisi, Alessandra, Anderson, Joel, Berger, Lawrence, Bettera, Stefano Davide, Campo, Enrico, Candiotto, Laura, Panizza, Silvia Caprioglio, Citton, Yves, DâAngelo, Diego, Dennis, Matthew, Depraz, Nathalie, Doran, Peter, Drechsler, Wolfgang, Duane, Bill, Edelglass, William, Eisenberger, Iris, McGuire, Beverley Foulks, Fredriksson, Antony, Gill, Karamjit S., Hershock, Peter D., Hongladarom, Soraj, Jacobs, Beth, Karsai, Gábor, Lennerfors, Thomas, Lim, Jeanne, Lin, Chien-Te, Losoncz, Mark, Loy, David, Marin, Lavinia, Marosán, Bence Péter, Mascarello, Chiara, McMahan, David, Park, Jin Y., Petek, Nina, Puzio, Anna, Schaubroek, Katrien, Schlieter, Jens, Schroeder, Brian, Shakya, Shobhit, Shi, Juewei, Solomonova, Elizaveta, Tormen, Francesco, Uttam, Jitendra, Van Vugt, Marieke, Vörös, Sebastjan, Wehrle, Maren, Wellner, Galit, Wirth, Jason M., Witkowski, Olaf, Wongkitrungrueng, Apiradee, Wright, Dale S., Zheng, Yutong
As the signatories of this manifesto, we denounce the attention economy as inhumane and a threat to our sociopolitical and ecological well-being. We endorse policymakers' efforts to address the negative consequences of the attention economy's technol
Externí odkaz:
http://arxiv.org/abs/2410.17421
Cyber-physical systems such as microgrids consist of interconnected components, localized power systems, and distributed energy resources with clearly defined electrical boundaries. They can function independently but can also work in tandem with the
Externí odkaz:
http://arxiv.org/abs/2407.06217
Cyber-physical power systems, such as grids, integrate computational and communication components with physical systems to introduce novel functions and improve resilience and fault tolerance. These systems employ computational components and real-ti
Externí odkaz:
http://arxiv.org/abs/2406.17785
Publikováno v:
Wiener Studien, 2016 Jan 01. 129, 361-364.
Externí odkaz:
https://www.jstor.org/stable/24752794
Autor:
Luo, Baiting, Ramakrishna, Shreyas, Pettet, Ava, Kuhn, Christopher, Karsai, Gabor, Mukhopadhyay, Ayan
Learning Enabled Components (LEC) have greatly assisted cyber-physical systems in achieving higher levels of autonomy. However, LEC's susceptibility to dynamic and uncertain operating conditions is a critical challenge for the safety of these systems
Externí odkaz:
http://arxiv.org/abs/2302.09750
Autor:
Stehlíková, Eva
Publikováno v:
Listy filologické / Folia philologica, 2015 Jan 01. 138(1/2), 198-201.
Externí odkaz:
https://www.jstor.org/stable/24623215
Despite recent advances in autonomous driving systems, accidents such as the fatal Uber crash in 2018 show these systems are still susceptible to edge cases. Such systems must be thoroughly tested and validated before being deployed in the real world
Externí odkaz:
http://arxiv.org/abs/2208.06309
Executing distributed cyber-physical software processes on edge devices that maintains the resiliency of the overall system while adhering to resource constraints is quite a challenging trade-off to consider for developers. Current approaches do not
Externí odkaz:
http://arxiv.org/abs/2206.13000
Autor:
Coglio, Alessandro, McCarthy, Eric, Westfold, Stephen, Balasubramanian, Daniel, Dubey, Abhishek, Karsai, Gabor
Publikováno v:
EPTCS 359, 2022, pp. 151-167
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more familiarity and automation, in order to make this technology more widely
Externí odkaz:
http://arxiv.org/abs/2205.11706
Autonomous Cyber-Physical Systems must often operate under uncertainties like sensor degradation and shifts in the operating conditions, which increases its operational risk. Dynamic Assurance of these systems requires designing runtime safety compon
Externí odkaz:
http://arxiv.org/abs/2202.13510