Zobrazeno 1 - 10
of 1 233
pro vyhledávání: '"Software science"'
Autor:
Yingxu Wang
Publikováno v:
Frontiers in Computer Science, Vol 3 (2022)
Advances in software engineering, software science, computational intelligence, and intelligent mathematics have led to the establishment of Frontiers in Computer Science—Software (FCSS). FCSS aims to promote transdisciplinary research on software
Externí odkaz:
https://doaj.org/article/f629a93d7d14484fa57b1d9074cb2c72
Autor:
Sergio García, Daniel Strüber, Davide Brugali, Alessandro Di Fava, Patrizio Pelliccione, Thorsten Berger
Publikováno v:
Empirical Software Engineering, 28, 2, pp. 1-67
Empirical Software Engineering, 28, 1-67
Empirical Software Engineering, 28, 1-67
Robots artificially replicate human capabilities thanks to their software, the main embodiment of intelligence. However, engineering robotics software has become increasingly challenging. Developers need expertise from different disciplines as well a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78578da0cc2ef49f9f18388bc84767c6
https://hdl.handle.net/2066/286470
https://hdl.handle.net/2066/286470
Autor:
Jules Jacobs, Thorsten Wißmann
Publikováno v:
Proceedings of the ACM on Programming Languages, 7, 1514-1641
Proceedings of the ACM on Programming Languages, 7, POPL, pp. 1514-1641
Proceedings of the ACM on Programming Languages, 7, POPL, pp. 1514-1641
Coalgebraic bisimilarity minimization generalizes classical automaton minimization to a large class of automata whose transition structure is specified by a functor, subsuming strong, weighted, and probabilistic bisimilarity. This offers the enticing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa2a4b148c999e5ce45996c090ea6e05
https://hdl.handle.net/2066/289909
https://hdl.handle.net/2066/289909
Publikováno v:
Proceedings of the ACM on Human-Computer Interaction, 6, 1-33
Proceedings of the ACM on Human-Computer Interaction, 6, CSCW2, pp. 1-33
Proceedings of the ACM on Human-Computer Interaction, 6, CSCW2, pp. 1-33
Conversational interfaces require two types of curation: data curation by data science workers and content curation by domain experts. Recent years have seen the possibilities for content curators to instruct conversational machines in the customer s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2425a254f9fd038d9cb56bf4bf1f4495
https://doi.org/10.1145/3555768
https://doi.org/10.1145/3555768
Publikováno v:
Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, pp. 493-512
Theor. Comput. Sci., 935, 82-104. Elsevier
Theoretical Computer Science, 935, pp. 82-104
Theoretical Computer Science, 935, 82-104
Open Universiteit
Venhoek, D, Moerman, J & Rot, J 2022, ' Fast computations on ordered nominal sets ', Theor. Comput. Sci., vol. 935, pp. 82-104 . https://doi.org/10.1016/j.tcs.2022.09.002
Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, 493-512. Cham : Springer International Publishing
STARTPAGE=493;ENDPAGE=512;ISSN=0302-9743;TITLE=Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Theor. Comput. Sci., 935, 82-104. Elsevier
Theoretical Computer Science, 935, pp. 82-104
Theoretical Computer Science, 935, 82-104
Open Universiteit
Venhoek, D, Moerman, J & Rot, J 2022, ' Fast computations on ordered nominal sets ', Theor. Comput. Sci., vol. 935, pp. 82-104 . https://doi.org/10.1016/j.tcs.2022.09.002
Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, 493-512. Cham : Springer International Publishing
STARTPAGE=493;ENDPAGE=512;ISSN=0302-9743;TITLE=Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Nominal automata are models for recognising languages over infinite alphabets, based on the algebraic notion of nominal set. Motivated by their use in automata theory, we show how to compute efficiently with nominal sets over the so-called total orde
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::639712b9c358129a07e775e344e43366
https://doi.org/10.1016/j.tcs.2022.09.002
https://doi.org/10.1016/j.tcs.2022.09.002
Publikováno v:
Machine Learning, 112, 3, pp. 859-887
Machine Learning, 112, 859-887
Machine Learning, 112(3)
Machine Learning, 112, 859-887
Machine Learning, 112(3)
Safety is critical to broadening the real-world use of reinforcement learning. Modeling the safety aspects using a safety-cost signal separate from the reward and bounding the expected safety-cost is becoming standard practice, since it avoids the pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::510e800f6edfe3ba0869d49a6371ff95
https://doi.org/10.1007/s10994-022-06187-8
https://doi.org/10.1007/s10994-022-06187-8
Autor:
Geuvers, H., Nederpelt, R.
Publikováno v:
Fundamenta Informaticae, 185, pp. 313-336
Fundamenta Informaticae, 185(4), 313-336. IOS Press
Fundamenta Informaticae, 185, 313-336
Fundamenta Informaticae, 185(4), 313-336. IOS Press
Fundamenta Informaticae, 185, 313-336
The ‘mathematical language’ Automath, conceived by N.G. de Bruijn in 1968, was the first theorem prover actually working and was used for checking many specimina of mathematical content. Its goals and syntactic ideas inspired Th. Coquand and G. H
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82050f46100c3e032f24de3a5f252f4e
https://doi.org/10.3233/fi-222112
https://doi.org/10.3233/fi-222112
Publikováno v:
Sergey, I. (ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, 575-602. Cham : Springer International Publishing
STARTPAGE=575;ENDPAGE=602;ISSN=0302-9743;TITLE=Sergey, I. (ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022 : proceedings, 575-602
STARTPAGE=575;ENDPAGE=602;TITLE=Programming Languages and Systems
Sergey, I. (ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, pp. 575-602
STARTPAGE=575;ENDPAGE=602;ISSN=0302-9743;TITLE=Sergey, I. (ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022 : proceedings, 575-602
STARTPAGE=575;ENDPAGE=602;TITLE=Programming Languages and Systems
Sergey, I. (ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, pp. 575-602
We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through state. We provide a model of the language based on partially-ordered m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae76153d24492cdc4faeb88f01651422
https://doi.org/10.48550/arxiv.2201.10485
https://doi.org/10.48550/arxiv.2201.10485
Publikováno v:
Proc. 36th AAAI Conference on Artificial Intelligence (AAAI'22)
Proceedings of the AAAI Conference on Artificial Intelligence, 36, 9, pp. 9669-9678
Proceedings of the AAAI Conference on Artificial Intelligence, 36, 9669-9678
Proceedings of the AAAI Conference on Artificial Intelligence, 36, 9, pp. 9669-9678
Proceedings of the AAAI Conference on Artificial Intelligence, 36, 9669-9678
Controllers for autonomous systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modeled as process noise, and common assumptions are that the underlying distributions are known and/or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c993f9f4efde5bf1b0a6dfe6f19871d4
https://hdl.handle.net/2066/253565
https://hdl.handle.net/2066/253565
Publikováno v:
Chechik, M. (ed.), Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings, pp. 199-221
Contains fulltext : 292154.pdf (Publisher’s version ) (Closed access) FM 2023
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1236::56d4d6b35814b2f9b1f1e605bd708ae5
https://repository.ubn.ru.nl/handle/2066/292154
https://repository.ubn.ru.nl/handle/2066/292154
