Sfoglia per ???browse.type.metadata.subjectIsicrui???
Program verification using constraint handling rules and array constraint generalizations
2017-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Project management and scheduling
2020-01-01 Caramia, M
Project scheduling with generalized precedence relations: a new method to analyze criticalities and flexibilities
2022-01-01 Bianco, L; Caramia, M; Giordani, S
Projective cones for sequential dispersing billiards
2023-01-01 Demers, M; Liverani, C
Promoting digital awareness at school: a three-year investigation in primary and secondary school teachers
2021-07-01 Corradini, I; Nardelli, E
Prompting LLMs in Italian language for Text-to-SQL translation
2023-12-01 Ranaldi, F; Ruzzetti, Es; Ranaldi, L; Venditti, D; Giannone, C; Favalli, A; Romagnoli, R; Zanzotto, Fm
Proof of a conjecture of Klopsch-Voll on Weyl groups of type A
2017-01-01 Brenti, F; Carnevale, A
A proof of the Muir–Suffridge conjecture for convex maps of the unit ball in Cn
2018-01-01 Bracci, F; Gaussier, H
A proposal for ranking through selective computation of centrality measures
2023-01-01 Bertaccini, D; Filippo, A
A proposal for the thermodynamics of certain open systems
2017-01-01 Fidaleo, F; Viaggiu, S
Protection of flows under targeted attacks
2017-01-01 Matuschke, J; Mccormick, S; Oriolo, G; Peis, B; Skutella, M
Providing online operational support for distributed, security sensitive electronic business processes
2016-01-01 Talamo, M; Povilionis, A; Arcieri, F; Schunck, C
Providing online operational support for distributed, security sensitive electronic business processes
2016-01-01 Talamo, M; Povilionis, A; Arcieri, F; Schunck, C
Proving correctness of imperative programs by linearizing constrained Horn clauses
2015-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Proving correctness of imperative programs by linearizing constrained horn clauses
2015-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Pseudo-parabolic regularization of forward-backward parabolic equations: Power-type nonlinearities
2016-01-01 Bertsch, M; Smarrazzo, F; Tesei, A
Pseudoparabolic regularization of forward-backward parabolic equations: a logarithmic nonlinearity
2013-01-01 Bertsch, M; Smarrazzo, F; Tesei, A
Q-tensor continuum energies as limits of head-to-tail symmetric spin systems
2015-01-01 Braides, A; Cicalese, M; Solombrino, F
QED representation for the net of causal loops
2015-01-01 Ciolli, F; Ruzzi, G; Vasselli, E
A Quadratic-Linear Bilevel Programming Approach to Green Supply Chain Management
2024-01-01 Caramia, M; Stecca, G
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