-
1دورية أكاديمية
المؤلفون: Alan F. T. Winfield, Serena Booth, Louise A. Dennis, Takashi Egawa, Helen Hastie, Naomi Jacobs, Roderick I. Muttram, Joanna I. Olszewska, Fahimeh Rajabiyazdi, Andreas Theodorou, Mark A. Underwood, Robert H. Wortham, Eleanor Watson
المصدر: Frontiers in Robotics and AI, Vol 8 (2021)
مصطلحات موضوعية: transparency, explainability, autonomous systems, robot ethics, AI ethics, Mechanical engineering and machinery, TJ1-1570, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Page, Fabio Papacchini, Matt Webster
المصدر: Robotics, Vol 10, Iss 2, p 67 (2021)
مصطلحات موضوعية: robotic inspection, software architectures, formal verification, testing, Mechanical engineering and machinery, TJ1-1570
وصف الملف: electronic resource
-
3دورية أكاديمية
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 20, Iss Proc. FMA 2009, Pp 63-67 (2010)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4
-
5
المؤلفون: Louise A. Dennis
المصدر: AI Matters. 8:4-10
مصطلحات موضوعية: General Medicine
-
6
المؤلفون: Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis
المصدر: Electronic Proceedings in Theoretical Computer Science. 362
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2bc67a51d3214f1e4871b29850a8f08c
https://doi.org/10.4204/eptcs.362.0 -
7
المؤلفون: Davide Ancona, Michael Fisher, Louise A. Dennis, Viviana Mascardi, Rafael C. Cardoso, Angelo Ferrando
المصدر: ACM Transactions on Software Engineering and Methodology. 30:1-43
مصطلحات موضوعية: Model checking, Domain-specific language, Computer science, business.industry, Runtime verification, Autonomous cruise control system, 020207 software engineering, 02 engineering and technology, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Software engineering, business, Formal verification, Software, TRACE (psycholinguistics), Abstraction (linguistics), Verification and validation
-
8
المؤلفون: Louise A. Dennis
المصدر: AI Matters. 7:5-7
مصطلحات موضوعية: General Medicine, GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries)
-
9
المؤلفون: Louise A Dennis, Yu Fu, Marija Slavkovik
المصدر: Journal of Logic and Computation
Dennis, L A, Fu, Y & Slavkovik, M 2022, ' Markov Chain Model Representation of Information Diffusion in Social Networks ', Journal of Logic and Computation . https://doi.org/10.1093/logcom/exac018مصطلحات موضوعية: Arts and Humanities (miscellaneous), Logic, Hardware and Architecture, Software, Theoretical Computer Science
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fa1cc8d29049d45c0ae7569f7818b8f
https://hdl.handle.net/11250/3060873 -
10
المؤلفون: Rafael C. Cardoso, Louise A. Dennis, Peter Stringer, Xiaowei Huang
المصدر: AREA@ECAI
EPTCS 319, 2020, pp. 117-125
University of Manchester-PURE
Stringer, P, Cardoso, R, Huang, X & Dennis, L 2020, ' Adaptable and Verifiable BDI Reasoning ', Paper presented at Agents and Robots for reliable Engineered Autonomy, Online, 4/09/20-4/09/20 pp. 117-125 .مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer science, media_common.quotation_subject, Autonomous agent, 020207 software engineering, 02 engineering and technology, ComputingMethodologies_ARTIFICIALINTELLIGENCE, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Action (philosophy), Human–computer interaction, 0202 electrical engineering, electronic engineering, information engineering, Systems architecture, Position paper, Computer Science - Multiagent Systems, 020201 artificial intelligence & image processing, Verifiable secret sharing, Autonomy, Multiagent Systems (cs.MA), media_common
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6de7469029583da7776e3266c01718f3
https://doi.org/10.4204/eptcs.319.9