Zobrazeno 1 - 10 of 740 pro vyhledávání: '"Infostructures"'
1
Machine learning in the quantum era
Autor: Niels M. P. Neumann, R. Versluis, Frank Phillipson
Publikováno v: Digitale Welt: das Wirtschaftsmagazin zur Digitalisierung, 2, 24-29
Everyday computers can be used to solve numerous tasks which are often too difficult for humans to do quickly. Whether it is finding the shortest route between your home and your work or automatically finding the solutions to puzzles such as sudoku
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ccfcfa6484a074d81f954905ee8b7382
https://doi.org/10.1007/s42354-019-0164-0
Zobrazit plný text záznamu
2
RERS 2019
Autor: Jasper, Marc, Mues, Malte, Murtovi, Alnis, Schlüter, Maximilian, Howar, Falk, Steffen, Bernhard, Schordan, Markus, Hendriks, Dennis, Schiffelers, Ramon, Kuppens, Harco, Vaandrager, Frits W., Beyer, Dirk, Kordon, Fabrice, Huisman, Marieke
Publikováno v: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 6 April 2019 through 11 April 2019, 101-115
Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 101-115. Cham : Springer International Publishing
STARTPAGE=101;ENDPAGE=115;ISSN=0302-9743;TITLE=Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, pp. 101-115
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, 101-115
STARTPAGE=101;ENDPAGE=115;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthesized from
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93777adc3d2fb89915b9ad1ff521fd2f
http://www.scopus.com/inward/record.url?scp=85064915589&partnerID=8YFLogxK
Zobrazit plný text záznamu
3
The impact of the expansion in non-fossil electricity infrastructure on China’s carbon emissions
Autor: Rong Yuan, Paul Behrens, João F.D. Rodrigues, Arnold Tukker
Publikováno v: Applied Energy
Applied Energy, 228, 1994-2008
In recent years, China has embarked upon an ambitious roll-out of non-fossil electricity investments. This has led to substantial impacts on carbon emissions, which is expected to continue into the future. However, non-fossil electricity has a signif
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f94f77ae381b6f3ea74b2486bb5f584
https://doi.org/10.1016/j.apenergy.2018.07.069
Zobrazit plný text záznamu
4
Schedule synthesis for halide pipelines through reuse analysis
Autor: Twan Basten, Luc Waeijen, Savvas Sioutas, Sander Stuijk, Lou Somers, Henk Corporaal
Publikováno v: ACM Transactions on Architecture and Code Optimization, 16(2):10. Association for Computing Machinery, Inc
ACM Transactions on Architecture and Code Optimization, 2, 16
Efficient code generation for image processing applications continues to pose a challenge in a domain where high performance is often necessary to meet real-time constraints. The inherently complex structure found in most image-processing pipelines,
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb995a63c8a92f9429a9c955ab461d8b
https://doi.org/10.1145/3310248
Zobrazit plný text záznamu
6
Machine learning in the quantum era
Everyday computers can be used to solve numerous tasks which are often too difficult for humans to do quickly. Whether it is finding the shortest route between your home and your work or automatically finding the solutions to puzzles such as sudoku
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dris___00893::9f9ae5aac4ce4c3fc836afd36a57ff8e
http://resolver.tudelft.nl/uuid:a11351fb-a9fe-46a2-b57e-4ae017870f4e
Zobrazit plný text záznamu
7
Practical security and privacy threat analysis in the automotive domain: Long term support scenario for over-the-air updates
Keeping a vehicle secure implies provide of a long-term support, where over-the-air updates (OTA) play an essential role. Clear understanding of OTA threats is essential to counter them efficiently. Existing research on OTA threats often exclude huma
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dris___00893::6964e45254ad4c53c4d1eff3587643cc
http://resolver.tudelft.nl/uuid:72ac3afa-e9c3-47ae-b2a4-36bef3376a32
Zobrazit plný text záznamu
8
Toward large-scale logistics interoperability based on an analysis of available open standards
Autor: Hofman, W.J.
Publikováno v: Proceedings of the I-ESA Conferences, 249-261
Data sharing is important to optimize and manage logistics chains. Open standards have been developed and implemented by various logistics stakeholders. These implementations have led to closed solutions with barriers to change and implement innovati
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9ba4df5e5c241853f4d99db2bad2032a
http://resolver.tudelft.nl/uuid:80109bb5-7fb5-45c5-8686-b0fe00469986
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje