Relazione in Atti di Convegno: [14972] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.461 a 1.480 di 14.972
Titolo Data di pubblicazione Autore(i) File
Coverage Control for Exploration of Unknown Non-convex Environments with Limited Range Multi-robot Systems 1-gen-2024 Catellani, Mattia; Pratissoli, Federico; Bertoncelli, Filippo; Sabattini, Lorenzo
On Limited-Range Coverage Control for Large-Scale Teams of Aerial Drones: Deployment and Study 1-gen-2024 Bertoncelli, Filippo; Belal, Mehdi; Albani, Dario; Pratissoli, Federico; Sabattini, Lorenzo
Bridging Islamic Knowledge and AI: Inquiring ChatGPT on Possible Categorizations for an Islamic Digital Library (full paper) 1-gen-2023 El Ganadi, Amina; Vigliermo, Riccardo Amerigo; Sala, Luca; Vanzini, Matteo; Ruozzi, Federico; Bergamaschi, Sonia
How Can We Understand Multi-Robot Systems? a User Study to Compare Implicit and Explicit Communication Modalities 1-gen-2024 Villani, Valeria; Vercellino, Cristina; Sabattini, Lorenzo
Analytical Approach for Modelling the Pull-Out Mechanism of Recycled Synthetic Fibres in Fibre-Reinforced Concrete (FRC) 1-gen-2022 Sorzia, A.; Signorini, C.; Volpini, V.; Di Maida, P.
Preliminary Assessment of Rice Husk Ash (RHA) as Functional Interphase Agent in Sustainable Composite Systems for Structural Strengthening 1-gen-2022 Sola, Antonella; Signorini, Cesare; Hanuskova, Miriam; Zapparoli, Mauro
Assessment of the Behaviour of Low-Modulus Polyurethane Foams Subjected to Severe Shear Deformation Conditions 1-gen-2022 Signorini, C.
Knowledge extraction, management and long-term preservation of non-Latin cultural heritages - Digital Maktaba project presentation 1-gen-2023 Martoglia, Riccardo; Bergamaschi, Sonia; Ruozzi, Federico; Vanzini, Matteo; Sala, Luca; Vigliermo, Riccardo Amerigo
Safety Shields, an Automated Failure Handling Mechanism for {BDI} Agents 1-gen-2022 Ferrando, Angelo; Cardoso, Rafael C.
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO 1-gen-2023 Sadeghi Garjan, Mahyar; Chaanine, Tommy; Pasquale, Cecilia; Paolo Pastore, Vito; Ferrando, Angelo
{RVPLAN:} a general purpose framework for replanning using runtime verification 1-gen-2021 Ferrando, Angelo; Cardoso, Rafael C.
Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile and Safe at the same time? 1-gen-2020 Ferrando, Angelo; Kootbally, Zeid; Piliptchak, Pavel; Cardoso, Rafael C.; Schlenoff, Craig; Fisher, Michael
Timed trace expressions 1-gen-2019 Ciccone, L.; Ferrando, A.; Ancona, D.; Mascardi, V.
RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa 1-gen-2023 Ferrando, Angelo; Gatti, Andrea; Mascardi, Viviana
Integrating Ontologies and Cognitive Conversational Agents in On2Conv 1-gen-2023 Namakizadeh Esfahani, Zeinab; Cristina Engelmann, Débora; Ferrando, Angelo; Margarone, Massimiliano; Mascardi, Viviana
RV4JaCa - Runtime Verification for Multi-Agent Systems 1-gen-2022 Engelmann, D. C.; Ferrando, A.; Panisson, A. R.; Ancona, D.; Bordini, R. H.; Mascardi, V.
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 1-gen-2018 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Decentralizing MAS Monitoring with DecAMon 1-gen-2017 Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana
Using a {BDI} Agent to Represent a Human on the Factory Floor of the {ARIAC} 2023 Industrial Automation Competition 1-gen-2023 Buss Becker, Leandro; Downs, Anthony; Schlenoff, Craig; Albrecht, Justin; Kootbally, Zeid; Ferrando, Angelo; Cardoso, Rafael C.; Fisher, Michael
On enactability of agent interaction protocols: Towards a unified approach 1-gen-2020 Ferrando, A.; Winikoff, M.; Cranefield, S.; Dignum, F.; Mascardi, V.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.461 a 1.480 di 14.972
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Scopri
Tipologia
  • Atti di CONVEGNO14971
  • Contributo su VOLUME1
Autore
  • CUCCHIARA, Rita447
  • ZAMBONELLI, Franco281
  • SELMI, LUCA228
  • FANTUZZI, Cesare217
  • GUNDUZ, Deniz215
  • FERRARI, Fabrizio212
  • BERGAMASCHI, Sonia203
  • SECCHI, Cristian195
  • LARCHER, Luca186
  • PALESTRI, Pierpaolo176
Data di pubblicazione
  • 2020 - 20262813
  • 2010 - 20195584
  • 2000 - 20094697
  • 1990 - 19991488
  • 1980 - 1989359
  • 1970 - 197930
  • 1967 - 19691
Editore
  • Institute of Electrical and Elect...1325
  • IEEE1012
  • IEEE Computer Society376
  • Springer Science and Business Med...250
  • Springer241
  • -235
  • Springer Verlag205
  • SAE International192
  • CEUR-WS124
  • SPRINGER-VERLAG BERLIN100
Rivista
  • SAE TECHNICAL PAPER202
  • JOURNAL OF PHYSICS. CONFERENCE SE...95
  • ...SUMMER SCHOOL FRANCESCO TURCO....63
  • POS PROCEEDINGS OF SCIENCE41
  • ACTA HORTICULTURAE35
  • ENERGY PROCEDIA29
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE402
  • CEUR WORKSHOP PROCEEDINGS163
  • PROCEEDINGS OF SPIE, THE INTERNAT...160
  • LECTURE NOTES IN ARTIFICIAL INTEL...85
  • LECTURE NOTES IN MECHANICAL ENGIN...80
  • COMMUNICATIONS IN COMPUTER AND IN...72
  • IFAC-PAPERSONLINE69
  • PROCEEDINGS OF THE ANNUAL CONFERE...67
  • IFAC PROCEEDINGS VOLUMES65
  • TECHNICAL DIGEST - INTERNATIONAL ...64
Keyword
  • Electrical and Electronic Enginee...166
  • -160
  • Control and Systems Engineering104
  • Software86
  • Industrial and Manufacturing Engi...85
  • Computer Networks and Communications72
  • Computer Science (all)72
  • Computer Science Applications1707...72
  • CFD67
  • Artificial Intelligence63
Lingua
  • eng11774
  • ita2912
  • fre119
  • ger62
  • spa58
  • por15
  • rus12
  • und8
  • cat5
  • chi2
Accesso al fulltext
  • no fulltext10048
  • reserved2942
  • open1861
  • partially open113
  • embargoed8