Varanus: Runtime Verification for CSP
2026 Luckcuck, M.; Ferrando, A.; Faruq, F.
Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems
2025 Ancona, D.; Avola, S.; Ferrando, A.; Baglietto, P.; Ter Beek, M. H.; Parodi, A.; Camera, G.; Pinasco, M.
Orchestrating mathematical discussions with and through Padlet.
2025 Lemmo, A.; Bagossi, S.; Cazzaniga, P.; Giberti, C.; Taranto, E.; Swidan, O.
Interpreting the gap between foreign and native speaker students in national standardised assessment.
2023 Barbero, M.; Cascella, C.; Giberti, C.; Viale, M.
An introduction to TWG21: Assessment in mathematics education.
2023 Morselli, F.; Drüke-Noe, C.; Giberti, C.; Kaplan-Can, G.; Rämö, J.
Mathematical discussion in problem solving activities supported by technology: An achievable goal in primary school
2023 Cavalletti, S.; Manzoni, V.; Bolondi, G.; Cazzaniga, P.; Giberti, C.
Real tasks in Italian mathematics standardized assessment.
2022 Giberti, C.; Passerella, S.
Order of factors in multiplying decimal numbers and gender differences: a comparison of tasks.
2019 Cascella, Clelia.; Giberti, C.
How much item formulations affect the probability of a correct answer? An experimental study.
2018 Bolondi, G.; Cascella, C.; Giberti, C.
Highlights on gender gap from Italian standardized assessment in mathematics.
2017 Bolondi, Giorgio; Cascella, Clelia; Giberti, C.
Gender differences and didactic contract: analysis of two INVALSI tasks on powers properties.
2016 Giberti, C.; Zivelonghi, Alessia; Bolondi, G.
El projecte OLEA. Cloenda de dos anys de recerca sobre màquies, paisatges en mosaic i humans a les Gimnèsies durant l’Holocè.
2025 Servera Vives, GABRIEL - ANGEL; Snitker, Grant; Ricucci, Cristina; Florenzano, Assunta; Mercuri, Anna Maria
RadlER: Deduplicated Sampling On-Demand
2025 Zecchini, L.; Abedjan, Z.; Efthymiou, V.; Simonini, G.
Evaluating the Effects of Occupational Exoskeletons on Foot Pressure Distribution and Physiological Responses in Manual Material Handling Tasks
2025 Perini, M.; Bacchetta, A. P.; Cavazza, N.; Khamaisi, R. K.; Melloni, R.; Peruzzini, M.; Sannasardo, A.; Botti, L.
Evaluation of a Simple Method to Estimate the Shaft Torque in a Gerotor Pump
2025 Totaro, G.; Zardin, B.; Borghi, M.
MONITORING THE PHENOMENON OF SEAWATER INTRUSION IN THE ESTUARY AREA OF THE RIVER MAGRA AND IN THE ALLUVIAL PLAIN OF THE LOWER VAL DI MAGRA (SP)
2024 Sabattini, Marco; Ronchetti, Francesco; Arosio, Diego; Brozzo, Gianpiero; Panzani, Andrea
No More Slice Wars: Towards Harmonized Brain MRI Synthesis for the BraSyn Challenge
2025 Carpentiero, Omar; Marchesini, Kevin; Grana, Costantino; Bolelli, Federico
On-the-Edge Inference Enabled Vision System for Smart Cities
2025 Scribano, Carmelo; Sanudo Olmedo, Ignacio; Verucchi, Micaela; Pani Paudel, Danda; Bertogna, Marko; Van Gool, Luc
Pilot Test to Evaluate Ergonomic Risk of Industrial Exoskeleton with Semi-autonomous Method that Relies on AzKCLI and the Equivalent Weight
2025 Di Natali, C.; Leggieri, S.; Fanti, V.; Forgione, C.; Coruzzolo, A. M.; Lolli, F.; Caldwell, D. G.
Investigation of the surface properties of the LISA Pathfinder witness samples and their implications on the LISA discharge system
2025 Klaser, T.; Dell'Anna, R.; Pedrielli, A.; Cavalleri, A.; Dimiccoli, F.; Sala, L.; Canteri, R.; Dolesi, R.; Venturelli, F.; Bosco, D. D.; Missale, E.; Weber, W. J.; Chiavegato, V.; Pasquali, L.
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 CONVEGNO14911
- Contributo su VOLUME1
Data di pubblicazione
- 2020 - 20262731
- 2010 - 20195598
- 2000 - 20094703
- 1990 - 19991491
- 1980 - 1989358
- 1970 - 197930
- 1967 - 19691
Editore
- Institute of Electrical and Elect...1310
- IEEE1009
- IEEE Computer Society376
- Springer240
- Springer Science and Business Med...236
- -234
- Springer Verlag205
- SAE International192
- CEUR-WS123
- SPRINGER-VERLAG BERLIN100
Rivista
- SAE TECHNICAL PAPER202
- JOURNAL OF PHYSICS. CONFERENCE SE...93
- ...SUMMER SCHOOL FRANCESCO TURCO....62
- POS PROCEEDINGS OF SCIENCE41
- ACTA HORTICULTURAE35
- ENERGY PROCEDIA29
Serie
- LECTURE NOTES IN COMPUTER SCIENCE394
- PROCEEDINGS OF SPIE, THE INTERNAT...161
- CEUR WORKSHOP PROCEEDINGS160
- LECTURE NOTES IN ARTIFICIAL INTEL...85
- LECTURE NOTES IN MECHANICAL ENGIN...74
- COMMUNICATIONS IN COMPUTER AND IN...71
- 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
- eng11716
- ita2910
- fre119
- ger62
- spa58
- por15
- rus12
- und8
- cat5
- chi2
Accesso al fulltext
- no fulltext10025
- reserved2937
- open1835
- partially open112
- embargoed3
