Zobrazeno 1 - 10
of 2 808
pro vyhledávání: '"Mathias, C."'
Autor:
Carlsen, Falke B. Ø., Frydenskov, Lars Bo P., Jensen, Nicolaj Ø., Rasmussen, Jener, Sørensen, Mathias M., Weirsøe, Asger G., Jensen, Mathias C., Larsen, Kim G.
Publikováno v:
EPTCS 390, 2023, pp. 99-114
We present CGAAL, our efficient on-the-fly model checker for alternating-time temporal logic (ATL) on concurrent game structures (CGS). We present how our tool encodes ATL as extended dependency graphs with negation edges and employs the distributed
Externí odkaz:
http://arxiv.org/abs/2310.00999
Autor:
Jensen, Christian M., Frederiksen, Mathias C., Kallesøe, Carsten S., Jensen, Jeppe N., Andersen, Laurits H., Izadi-Zamanabadi, Roozbeh
A computationally efficient Model-Predictive Control (MPC) approach is proposed for systems with unknown delay using only input/output data. We use the Koopman operator framework and the related Hankel Alternative View of Koopman (HAVOK) algorithm to
Externí odkaz:
http://arxiv.org/abs/2211.00134
Autor:
Grimme, Christoph, Ma, Kan, Kupec, Robin, Oskay, Ceyhun, White, Emma M.H., Knowles, Alexander J., Galetz, Mathias C.
Publikováno v:
In Surface & Coatings Technology 15 June 2024 485
Publikováno v:
In International Journal of Refractory Metals and Hard Materials June 2024 121
Autor:
Estes, Zachary1 (AUTHOR) zachary.estes@city.ac.uk, Streicher, Mathias C.2 (AUTHOR) mathias.streicher@uibk.ac.at
Publikováno v:
Journal of Marketing. Nov2022, Vol. 86 Issue 6, p135-154. 20p. 3 Color Photographs, 6 Charts, 1 Graph.
Publikováno v:
Res. Notes AAS, 4, 195 (2020)
The Supernova X-Ray Database (SNaX) was established a few years ago to make X-ray data on supernovae (SNe) publicly available via an elegant searchable web interface. The database has recently been updated to PhP7, had security updates done, and move
Externí odkaz:
http://arxiv.org/abs/2011.04427
Autor:
Beck, Katharina, Ulrich, Anke S., Czerny, Andreas K., White, Emma M.H., Heilmaier, Martin, Galetz, Mathias C.
Publikováno v:
In Surface & Coatings Technology 30 January 2024 476
Autor:
Bauer, Benjamin U., Herms, T. Louise, Jahnke, Rico, Ossowski, Nina, Walter, Mathias C., Frangoulidis, Dimitrios, Runge, Martin, Ganter, Martin, Knittler, Michael R.
Publikováno v:
In Vaccine July 2024
Autor:
Eymery, Mathias C.1 (AUTHOR) meymery@embl.fr, Boumendjel, Ahcène2 (AUTHOR) ahcene.boumendjel@univ-grenoble-alpes.fr, McCarthy, Andrew A.1 (AUTHOR) andrewmc@embl.fr, Hausmann, Jens1,3 (AUTHOR) andrewmc@embl.fr
Publikováno v:
International Journal of Molecular Sciences. Mar2024, Vol. 25 Issue 6, p3212. 11p.
Publikováno v:
In Corrosion Science November 2023 224