Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction Protocols
Chouali, Samir, Boukerche, Azzedine, Mostefaoui, Ahmed, Merzoug, Mohammed Amine
Published in IEEE transactions on vehicular technology (01.02.2023)
Published in IEEE transactions on vehicular technology (01.02.2023)
Get full text
Journal Article
Loading…
Learning interaction protocols using Augmented Baysian Networks applied to guided navigation
Mohammad, Y, Nishida, T
Published in 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (01.10.2010)
Published in 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (01.10.2010)
Get full text
Conference Proceeding
Loading…
A new Hierarchical Agent Protocol Notation
Winikoff, Michael, Yadav, Nitin, Padgham, Lin
Published in Autonomous agents and multi-agent systems (01.01.2018)
Published in Autonomous agents and multi-agent systems (01.01.2018)
Get full text
Journal Article
Loading…
Development of a prototype of multi-agent system of network interaction of educational institutions
Telnov, Yu. F., Danilov, A. V., Diveev, R. I., Kazakov, V. A., Yaroshenko, E. V.
Published in Otkrytoe Obrazovanie (14.01.2019)
Published in Otkrytoe Obrazovanie (14.01.2019)
Get full text
Journal Article
Loading…
A Commitment-Based Infrastructure for Programming Socio-Technical Systems
Baldoni, Matteo, Baroglio, Cristina, Capuzzimati, Federico
Published in ACM transactions on Internet technology (01.12.2014)
Published in ACM transactions on Internet technology (01.12.2014)
Get full text
Journal Article
Loading…
Loading…
Event-Triggered Consensus of Matrix-Weighted Networks Subject to Actuator Saturation
Pan, Lulu, Shao, Haibin, Li, Yuanlong, Li, Dewei, Xi, Yugeng
Published in IEEE transactions on network science and engineering (01.01.2023)
Published in IEEE transactions on network science and engineering (01.01.2023)
Get full text
Journal Article
Loading…
Loading…
Deconfined Global Types for Asynchronous Sessions
Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola
Published in Logical methods in computer science (01.01.2023)
Published in Logical methods in computer science (01.01.2023)
Get full text
Journal Article
Loading…
Diffusion in Social Networks: A Multiagent Perspective
Jiang, Yichuan, Jiang, J. C.
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.02.2015)
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.02.2015)
Get full text
Journal Article
Loading…
Loading…
Poster abstracts from fourth annual public meeting: Mobilizing computable biomedical knowledge (MCBK 2021)
Published in Learning health systems
(01.01.2022)
Get full text
Journal Article
Loading…
Loading…
Deconfined Global Types for Asynchronous Sessions
Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola
Published in arXiv.org (12.01.2023)
Published in arXiv.org (12.01.2023)
Get full text
Paper
Journal Article
Loading…
Loading…
Loading…
Loading…
A Comparison of Naive and Sophisticated Subject Behavior with Game Theoretic Predictions
McCabe, Kevin A., Smith, Vernon L.
Published in Proceedings of the National Academy of Sciences - PNAS (28.03.2000)
Published in Proceedings of the National Academy of Sciences - PNAS (28.03.2000)
Get full text
Journal Article
Loading…
Method for controlling smart home devices and controller
LIU DONG, YANG JIAPENG, WANG XINGRUI, LI XIAODONG, GAO XIANGJUN, ZHANG KE, YANG FANG
Year of Publication 14.09.2016
Get full text
Year of Publication 14.09.2016
Patent