Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements
2023-01-01 Chahoki, A. Z.; Roveri, M.; Amyot, D.; Mylopoulos, J.
Robust synchronization of heterogeneous robot swarms on the sphere
2020-01-01 Markdahl, Johan; Proverbio, Daniele; Goncalves, Jorge
Nonlinear Stochastic Trajectory Optimization for Centroidal Momentum Motion Generation of Legged Robots
2023-01-01 Gazar, Ahmad; Khadiv, Majid; Kleff, Sébastien; Del Prete, Andrea; Righetti, Ludovic
Concept-level debugging of part-prototype networks
2023-01-01 Bontempelli, Andrea; Teso, Stefano; Tentori, Katya; Giunchiglia, Fausto; Passerini, Andrea
Experimental Studies on the Gasification of the Residues from Prune of Apple Trees with a Spouted Bed Reactor
2016-01-01 Bove, D.; Moliner, C.; Curti, M.; Rovero, G.; Baratieri, M.; Bosio, B.; Arato, E.; Garbarino, G.; Marchelli, F.
The FAILNOMORE Project – Practice‐Oriented Design Recommendations against Progressive Collapse in Steel and Steel‐Concrete Buildings
2023-01-01 Demonceau, Jean‐françois; Golea, Tudor; Elghazouli, Ahmed; Santiago, Aldina; Dinu, Florea; Baldassino, Nadia; Kuhlmann, Ulrike; Obiala, Renata; Weynand, Klaus
Enhancing Interpretability Using Human Similarity Judgements to Prune Word Embeddings
2023-01-01 Flechas Manrique, Natalia; Bao, Wanqian; Herbelot, Aurelie; Hasson, Uri
An Integrated Audio-Tactile Interface Based on Dielectric Elastomer Actuators for User Interaction
2023-01-01 Gratz-Kelly, Sebastian; Holz, Benedikt; Krüger, Tim; Seelecke, Stefan; Rizzello, Gianluca; Motzki, Paul; Moretti, Giacomo
Exploring Diffusion Models for Unsupervised Video Anomaly Detection
2023-01-01 Osman Tur, Anil; Dall'Asen, Nicola; Beyan, Cigdem; Ricci, Elisa
Improving Fairness using Vision-Language Driven Image Augmentation
2024-01-01 D'Inca, Moreno; Tzelepis, Christos; Patras, Ioannis; Sebe, Nicu
Narrowband Interferers Cancellation Versus Estimation: Impact on Synchrophasor Measurement
2023-01-01 Shan, Xuansheng; Macii, David; Wen, He; Petri, Dario
A Bi-objective Optimal PMU Placement Strategy Reconciling Costs and State Estimation Uncertainty
2022-01-01 Andreoni, Riccardo; Bashian, Amir; Brunelli, Matteo; Macii, David
Gaussian Filters for P Class PMUs: a Performance Comparison of Alternative FIR Design Procedures
2022-01-01 Shan, Xuansheng; Macii, David; Wen, He; Petri, Dario
Enhanced IpD2FT-based Synchrophasor Estimation through Narrowband Interferers Compensation
2022-01-01 Shan, Xuansheng; Macii, David; Petri, Dario; Wen, He
Nuevas diócesis en antiguos territorios: reflexiones en torno al norte de Italia e Hispania en la Alta Edad Media
2020-01-01 Santos Salazar, I
Development of a Detailed Model of Hybrid System Composed by Air-to-Water Heat Pump and Boiler
2022-01-01 Roccatello, E.; Prada, A.; Baratieri, M.; Baggio, P.
Experimental Campaign on Components of Steel Frames for Elevators
2023-01-01 Baldassino, Nadia; Bernuzzi, Claudio; Simoncelli, Marco
Recovery of 40 Gbps PAM4 in a 50 km optical link through a delayed complex perceptron
2023-01-01 Staffoli, E.; Mancinelli, M.; Bettotti, P.; Pavesi, L.
Reservoir Computing Model For Multi-Electrode Electrophysiological Data Analysis
2023-01-01 Auslender, Ilya; Pavesi, Lorenzo
Chromatic dispersion compensation via an all-optical perceptron
2024-01-01 Staffoli, Emiliano; Maddinelli, Gianpietro; Mancinelli, Mattia; Bettotti, Paolo; Pavesi, Lorenzo
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
- 04 Convegni (Proceedings)20335
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263394
- 2010 - 20197203
- 2000 - 20096482
- 1990 - 19992663
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2253
- Institute of Electrical and Elect...977
- Springer894
- ACM382
- IEEE Computer Society320
- Springer Verlag295
- SPIE186
- Association for Computing Machinery171
- CEUR-WS169
- Association for Computational Lin...168
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE686
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...181
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- PROCEEDINGS - IEEE COMPUTER SOCIE...53
- PROCEEDINGS OF THE IEEE CONFERENC...53
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore L-ANT/08 - Archeologia Cr...5
- Settore SECS-P/08 - Economia e Ge...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15257
- ita3575
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14958
- reserved3288
- open1568
- partially open514
- mixed7
- embargoed2