Impact of Process Variations on Back-Bias Effect in 100V p-GaN Gate AlGaN/GaN HEMTs
2023 Cioni, M.; Giorgino, G.; Chini, A.; Marletta, G.; Miccoli, C.; Castagna, M. E.; Luongo, G.; Moschetti, M.; Tringali, C.; Iucolano, F.
Screening Gender Medicine: Health and the Gendered Body in Recent US-Based Medical Dramas and Dramedies
2023 Barotsi, Rosa; Nicastro, Clio; Zagarella, Roberta Martina
Surrogate-based bayesian model updating of a historical masonry tower
2022 Ponsi, F.; Bassoli, E.; Varzaneh, G. E.; Vincenzi, L.
Mapping High-level Semantic Regions in Indoor Environments without Object Recognition
2024 Bigazzi, Roberto; Baraldi, Lorenzo; Kousik, Shreyas; Cucchiara, Rita; Pavone, Marco
Coverage Control for Exploration of Unknown Non-convex Environments with Limited Range Multi-robot Systems
2024 Catellani, Mattia; Pratissoli, Federico; Bertoncelli, Filippo; Sabattini, Lorenzo
On Limited-Range Coverage Control for Large-Scale Teams of Aerial Drones: Deployment and Study
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)
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
2024 Villani, Valeria; Vercellino, Cristina; Sabattini, Lorenzo
Analytical Approach for Modelling the Pull-Out Mechanism of Recycled Synthetic Fibres in Fibre-Reinforced Concrete (FRC)
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
2022 Sola, Antonella; Signorini, Cesare; Hanuskova, Miriam; Zapparoli, Mauro
Assessment of the Behaviour of Low-Modulus Polyurethane Foams Subjected to Severe Shear Deformation Conditions
2022 Signorini, C.
Knowledge extraction, management and long-term preservation of non-Latin cultural heritages - Digital Maktaba project presentation
2023 Martoglia, Riccardo; Bergamaschi, Sonia; Ruozzi, Federico; Vanzini, Matteo; Sala, Luca; Vigliermo, Riccardo Amerigo
Safety Shields, an Automated Failure Handling Mechanism for {BDI} Agents
2022 Ferrando, Angelo; Cardoso, Rafael C.
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO
2023 Sadeghi Garjan, Mahyar; Chaanine, Tommy; Pasquale, Cecilia; Paolo Pastore, Vito; Ferrando, Angelo
{RVPLAN:} a general purpose framework for replanning using runtime verification
2021 Ferrando, Angelo; Cardoso, Rafael C.
Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile and Safe at the same time?
2020 Ferrando, Angelo; Kootbally, Zeid; Piliptchak, Pavel; Cardoso, Rafael C.; Schlenoff, Craig; Fisher, Michael
Timed trace expressions
2019 Ciccone, L.; Ferrando, A.; Ancona, D.; Mascardi, V.
RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa
2023 Ferrando, Angelo; Gatti, Andrea; Mascardi, Viviana
Integrating Ontologies and Cognitive Conversational Agents in On2Conv
2023 Namakizadeh Esfahani, Zeinab; Cristina Engelmann, Débora; Ferrando, Angelo; Margarone, Massimiliano; Mascardi, Viviana
RV4JaCa - Runtime Verification for Multi-Agent Systems
2022 Engelmann, D. C.; Ferrando, A.; Panisson, A. R.; Ancona, D.; Bordini, R. H.; Mascardi, V.
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 CONVEGNO15057
- Contributo su VOLUME1
Data di pubblicazione
- 2020 - 20262895
- 2010 - 20195588
- 2000 - 20094697
- 1990 - 19991488
- 1980 - 1989359
- 1970 - 197930
- 1967 - 19691
Editore
- Institute of Electrical and Elect...1379
- IEEE1015
- IEEE Computer Society382
- Springer Science and Business Med...267
- Springer245
- -235
- Springer Verlag205
- SAE International200
- CEUR-WS129
- SPRINGER-VERLAG BERLIN100
Rivista
- SAE TECHNICAL PAPER202
- JOURNAL OF PHYSICS. CONFERENCE SE...97
- ...SUMMER SCHOOL FRANCESCO TURCO....64
- POS PROCEEDINGS OF SCIENCE41
- ACTA HORTICULTURAE35
- ENERGY PROCEDIA29
Serie
- LECTURE NOTES IN COMPUTER SCIENCE409
- CEUR WORKSHOP PROCEEDINGS166
- PROCEEDINGS OF SPIE, THE INTERNAT...160
- LECTURE NOTES IN ARTIFICIAL INTEL...85
- LECTURE NOTES IN MECHANICAL ENGIN...81
- COMMUNICATIONS IN COMPUTER AND IN...72
- IFAC-PAPERSONLINE71
- 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
- eng11851
- ita2921
- fre119
- ger62
- spa58
- por15
- rus12
- und8
- cat5
- chi2
Accesso al fulltext
- no fulltext10045
- reserved2982
- open1906
- partially open116
- embargoed9
