-
1دورية أكاديمية
المؤلفون: Falco, Enzo, Malavolta, Ivano, Radzimski, Adam, Ruberto, Stefano, Iovino, Ludovico, Gallo, Francesco
المصدر: Falco , E , Malavolta , I , Radzimski , A , Ruberto , S , Iovino , L & Gallo , F 2018 , ' Smart City L’Aquila : An Application of the “Infostructure” Approach to Public Urban Mobility in a Post-Disaster Context ' , Journal of Urban Technology , vol. 25 , no. 1 , pp. 99-121 . https://doi.org/10.1080/10630732.2017.1362901Test
مصطلحات موضوعية: infostructures, open-source software, post-disaster, smart city, spatial accessibility analysis, transit data, Urban mobility, /dk/atira/pure/sustainabledevelopmentgoals/sustainable_cities_and_communities, name=SDG 11 - Sustainable Cities and Communities
الإتاحة: https://doi.org/10.1080/10630732.2017.1362901Test
https://research.vu.nl/en/publications/d35d55f9-0bd7-46af-affe-61e575a9fe78Test
https://hdl.handle.net/1871.1/d35d55f9-0bd7-46af-affe-61e575a9fe78Test
http://www.scopus.com/inward/record.url?scp=85030567314&partnerID=8YFLogxKTest
http://www.scopus.com/inward/citedby.url?scp=85030567314&partnerID=8YFLogxKTest -
2
المؤلفون: Niels M. P. Neumann, R. Versluis, Frank Phillipson
المصدر: Digitale Welt: das Wirtschaftsmagazin zur Digitalisierung, 2, 24-29
مصطلحات موضوعية: Infostructures, Informatics, business.industry, Computer science, Information Society, Machine learning, computer.software_genre, Outcome (game theory), Identification (information), Face (geometry), Pattern recognition (psychology), Artificial intelligence, business, Quantum, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ccfcfa6484a074d81f954905ee8b7382Test
https://doi.org/10.1007/s42354-019-0164-0Test -
3
المؤلفون: 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
المساهمون: Beyer, D., Huisman, M., Kordon, F., Steffen, B., Software Engineering and Technology
المصدر: 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)مصطلحات موضوعية: Computer science, Obfuscation, Distributed computing, Benchmark generation, 02 engineering and technology, Information Society, Property-preservation, Synthesis, Temporal logics, Reachability, 0202 electrical engineering, electronic engineering, information engineering, Software Science, Information society, Reactive system, Infostructures, Event (computing), business.industry, 020207 software engineering, Automation, Obfuscation (software), Program verification, CTL, Benchmark (computing), 020201 artificial intelligence & image processing, business, LTL
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93777adc3d2fb89915b9ad1ff521fd2fTest
http://www.scopus.com/inward/record.url?scp=85064915589&partnerID=8YFLogxKTest -
4
المؤلفون: Rong Yuan, Paul Behrens, João F.D. Rodrigues, Arnold Tukker
المصدر: Applied Energy
Applied Energy, 228, 1994-2008مصطلحات موضوعية: Natural resource economics, 020209 energy, Information Society, 02 engineering and technology, Environment, 010501 environmental sciences, Management, Monitoring, Policy and Law, CO2 emissions, 01 natural sciences, Multi-regional input-output model, Non-fossil electricity, 0202 electrical engineering, electronic engineering, information engineering, 0105 earth and related environmental sciences, Infostructures, Wind power, business.industry, Mechanical Engineering, Fossil fuel, Building and Construction, Investment (macroeconomics), Nameplate capacity, General Energy, Electricity generation, Greenhouse gas, Carbon footprint, Environmental science, Electricity, Investment, business
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f94f77ae381b6f3ea74b2486bb5f584Test
https://doi.org/10.1016/j.apenergy.2018.07.069Test -
5كتاب
المؤلفون: Hofman, W.J.
المصدر: Proceedings of the I-ESA Conferences, 249-261
مصطلحات موضوعية: Open standards, Implementation guides, Data sharing infrastructure, Infostructures, Information Society, manag, stat
-
6دورية أكاديمية
المؤلفون: Vasenev, A., Stahl, F., Hamazaryan, H., Ma, Z., Shan, L., Kemmerich, J., Loiseaux, C.
المصدر: O.Helfert, M. gusikhin, VEHITS 2019 - Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 5th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2019, 3 May 2019 through 5 May 2019, 550-555
مصطلحات موضوعية: Data Flow Diagram, LINDDUN Methodology, Risk Management, STRIDE Taxonomy, UNECE Threat Catalogue, Infostructures, Information Society, manag, eco
-
7دورية أكاديمية
المؤلفون: Eendebak, P.T., Vazquez, A.R.
المصدر: JOSS The Journal of Open Source Software, 34, 4
مصطلحات موضوعية: Infostructures, Information Society
العلاقة: uuid:de42ed8f-3706-4beb-9fd2-a1cc0abeb28f; 875117; http://resolver.tudelft.nl/uuid:de42ed8f-3706-4beb-9fd2-a1cc0abeb28fTest
-
8دورية أكاديمية
المؤلفون: Steen, M.G.D.
المصدر: iBestuur magazine, Januari 29, 46-49
مصطلحات موضوعية: Ethiek, Artificiële intelligentie, Infostructures, Information Society
العلاقة: uuid:0b24355f-d75f-444e-b74c-c6cdd7ab5fbc; 859819; http://resolver.tudelft.nl/uuid:0b24355f-d75f-444e-b74c-c6cdd7ab5fbcTest
-
9دورية أكاديمية
المؤلفون: Sioutas, S., Stuijk, S., Waeijen, L., Basten, T., Corporaal, H., Somers, L.
المصدر: ACM Transactions on Architecture and Code Optimization, 2, 16
مصطلحات موضوعية: Infostructures, Information Society
العلاقة: uuid:2d80111e-732c-4461-957b-d2b0a247ebc8; 867360; http://resolver.tudelft.nl/uuid:2d80111e-732c-4461-957b-d2b0a247ebc8Test
-
10دورية أكاديمية
المؤلفون: Jasper, M., Mues, M., Murtovi, A., Schlüter, M., Howar, F., Steffen, B., Schordan, M., Hendriks, D., Schiffelers, R., Kuppens, H., Vaandrager, F.W.
المصدر: 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
مصطلحات موضوعية: Benchmark generation, CTL, LTL, Obfuscation, Program verification, Property-preservation, Synthesis, Temporal logics, Infostructures, Information Society
العلاقة: uuid:3429415a-7673-4876-bd59-0377c9be8ec6; 866952; http://resolver.tudelft.nl/uuid:3429415a-7673-4876-bd59-0377c9be8ec6Test