4 Contributo in Atti convegno: [10477] Home page macrotipologia

Sfoglia

Prodotti recenti

A Characterization Theorem for Equivariant Networks with Point-wise Activations

Equivariant neural networks have shown improved performance, expressiveness and sample complexity on symmetrical domains. But for some specific symmetries, representations, and choice of coordinates, the most common point-wise activations, such as ReLU, are not equivariant, hence they cannot be employed in the design of equivariant neural networks. The theorem we present in this paper describes all possibile combinations of representations, choice of coordinates and point-wise activations to ...

Reinventing approaches to accessibility within the Digital Paradigm: some Italian case studies

With this paper, the authors present three case studies aimed at the valorization of Germanic and Italian Cultural Heritage in Venice and the neighboring territories with the goal of making the data accessible to a wider audience, thereby reinventing approaches to accessibilty of Cultural Heritage.

Teaching Through Practice: Advanced Static Analysis with LiSA

Nowadays, ready-to-use libraries and code generation are often used to streamline and speed up the software development process. The resulting programs are thus a collection of different modules that cooperate: proving their safety and reliability is increasingly complex, requiring sound formal techniques, such as static program analysis. However, while teaching static analysis to master’s or PhD students, the predominant focus on theoretical concepts often leaves limited space for students t...

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs

Ethereum enables the creation and execution of decentralized applications through smart contracts, that are compiled to Ethereum Virtual Machine (EVM) bytecode. Once deployed in the blockchain, the bytecode is immutable; hence, ensuring that smart contracts are bug-free before their deployment is of utmost importance. A crucial preliminary step for any effective static analysis of EVM bytecode is the extraction of the control-flow graph (CFG): this presents significant challenges due to poten...

Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA

Sound static analysis allows one to overapproximate all possible program executions to infer various properties. However, it requires quite some effort to formalize and prove the soundness of program semantics. Most software applications developed nowadays are distributed systems in which different [micro]services communicate through synchronous and asynchronous mechanisms. These applications are composed of programs developed in many programming languages and rely on many technologies. Howev...

Scopri
Tipologia
  • 4 Contributo in Atti convegno10477
Autore
  • PERIN, Guido231
  • SFRISO, Adriano227
  • PAVAN, Paolo132
  • MASIOL, Mauro129
  • MATTEOLI, Ugo119
  • MANENTE, Sabrina118
  • CORTESI, Agostino117
  • ARGESE, Emanuele112
  • ORLANDO, Salvatore112
  • DELMONTE, Rodolfo111
Data di pubblicazione
  • In corso di stampa80
  • 2020 - 20241245
  • 2010 - 20194151
  • 2000 - 20093441
  • 1990 - 19991141
  • 1980 - 1989327
  • 1970 - 197971
  • 1964 - 196921
Editore
  • IEEE285
  • Springer155
  • IEEE Computer Society97
  • ACM82
  • Springer Verlag76
  • Institute of Electrical and Elect...72
  • -63
  • Società Chimica Italiana53
  • CLEUP50
  • Copernicus Publications46
Rivista
  • GEOPHYSICAL RESEARCH ABSTRACTS42
  • ABSTRACTS OF PAPERS - AMERICAN CH...28
  • LECTURE NOTES IN COMPUTER SCIENCE12
  • INTERNATIONAL CONFERENCE ON PATTE...7
  • ACADEMY OF MANAGEMENT ANNUAL MEET...6
  • E3S WEB OF CONFERENCES6
  • GEOPHYSICAL RESEARCH ABSTRACTS5
  • CHEMICAL ENGINEERING TRANSACTIONS4
  • BUILDING SIMULATION CONFERENCE PR...3
  • CHEMICKÉ LISTY3
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE210
  • LECTURE NOTES IN ARTIFICIAL INTEL...44
  • IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
  • CEUR WORKSHOP PROCEEDINGS37
  • PROCEEDINGS OF SPIE, THE INTERNAT...37
  • PROCEEDINGS - ACADEMY OF MANAGEMENT24
  • MATERIALS RESEARCH SOCIETY SYMPOS...16
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...14
  • IEEE VTS ... VEHICULAR TECHNOLOGY...13
  • COMMUNICATIONS IN COMPUTER AND IN...10
Keyword
  • Venezia47
  • Green Chemistry28
  • Computer Science (all)23
  • Security21
  • Spain21
  • anaerobic digestion20
  • Giappone20
  • Computer Networks and Communications19
  • Theoretical Computer Science19
  • Abstract Interpretation18
Lingua
  • eng4474
  • ita2188
  • fre177
  • spa79
  • rus51
  • ger40
  • jpn29
  • gre23
  • grc13
  • pol11
Accesso al fulltext
  • no fulltext5507
  • reserved2673
  • open2209
  • embargoed49
  • partially open39