Sfoglia
Deep Learning-Based Active Fire Detection Using Satellite Imagery
2024-01-01 Reis, Cristiano Emanoel Pereira; Dos Santos, Luciana Brasil Rebelo; Morelli, Fabiano; Vijaykumar, Nandamudi Lankalapalli
How have Ethics been Addressed in the Software Development Lifecycle? A Systematic Mapping Study
2025-01-01 Gomes, Otávio Santos; Silva, Gláucia Braga E; Souza, Érica Ferreira De; Rebelo, Luciana; Vijaykumar, Nandamudi L.; Fernandes, Gabriel Zoéga
Computational Solutions for Supporting Systematic Reviews in Software Engineering: a Comprehensive Overview
2025-01-01 De Abreu Aguiar, Maria Fernanda; De Souza, Érica Ferreira; Felizardo, Katia Romero; Rebelo, Luciana
A virtual sensor fusion approach for state of charge estimation of lithium-ion cells
2025-01-01 Previtali, Davide; Masti, Daniele; Mazzoleni, Mirko; Previdi, Fabio
LA VIOLENZA SOTTILE NELLE NARRAZIONI E NELLE PRATICHE ISTITUZIONALI SUL PAESAGGIO. IL CASO DEI COLLI EUGANEI
2024-01-01 Di Matteo, Giovanna; Cisani, Margherita; Castiglioni, Benedetta
CONFINI VISIBILI E INVISIBILI A LAMPEDUSA. IL CASO DEGLI SPAZI VISSUTI DAI VOLUNTEER TOURISTS
2020-01-01 Di Matteo, Giovanna
Isole e migrazioni: Abitare temporaneo o detenzione forzata? Il caso dell’isola di Lesbo, Grecia
2023-01-01 Di Matteo, Giovanna
On the onset of transition in 90?-bend pipe flow
2019-01-01 Lupi, V.; Canton, J.; Schlatter, P.
Fair Join Pattern Matching for Actors
2024-01-01 Haller, Philipp; Hussein, Ayman; Melgratti, Hernàn C.; Scalas, Alceste; Tuosto, Emilio
Automated Static Analysis of Quality of Service Properties of Communicating Systems
2024-01-01 Lopez Pombo, Carlos G.; Eloy Martinez Suñé, Agustín; Tuosto, Emilio
Choreographies for Program Understanding
2025-01-01 Genovese, Gabriele; Lanese, Ivan; Di Giusto, Cinzia; Tuosto, Emilio; Vidal, Germán
Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services
2025-01-01 Lopez Pombo, Carlos G.; Melgratti, Hernán; Martinez-Suñé, Agustín E.; Senarruzza Anabia, Diego; Tuosto, Emilio
Measuring shape rectangularities
2011-01-01 Martinez-Ortiz, Carlos; Zunic, Dragisa; Zunic, Jovisa
Classical computation with negation
2012-01-01 Zunic, Dragisa; Lescanne, Pierre
Classical Proofs' Essence and Diagrammatic Computation
2011-01-01 Lescanne, Pierre; Zunic, Dragisa
A Congruence Relation for Restructuring Classical Terms
2018-01-01 Lescanne, Pierre; Zunic, Dragisa
Migrating from Monoliths to Microservices: Enforcing Correct Coordination
2023-01-01 Autili, Marco; Filippone, Gianluca; Tivoli, Massimo
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules
2009-01-01 Lescanne, Pierre; Ghilezan, Silvia; Ivetic, Jelena; Zunic, Dragisa
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization
2023-01-01 Filippone, G.; Qaisar Mehmood, N.; Autili, M.; Rossi, F.; Tivoli, M.
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization
2021-01-01 Filippone, Gianluca; G., And Autili; M., And Rossi; F., And Tivoli
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Deep Learning-Based Active Fire Detection Using Satellite Imagery | 1-gen-2024 | Reis, Cristiano Emanoel Pereira; Dos Santos, Luciana Brasil Rebelo; Morelli, Fabiano; Vijaykumar, Nandamudi Lankalapalli | |
| How have Ethics been Addressed in the Software Development Lifecycle? A Systematic Mapping Study | 1-gen-2025 | Gomes, Otávio Santos; Silva, Gláucia Braga E; Souza, Érica Ferreira De; Rebelo, Luciana; Vijaykumar, Nandamudi L.; Fernandes, Gabriel Zoéga | |
| Computational Solutions for Supporting Systematic Reviews in Software Engineering: a Comprehensive Overview | 1-gen-2025 | De Abreu Aguiar, Maria Fernanda; De Souza, Érica Ferreira; Felizardo, Katia Romero; Rebelo, Luciana | |
| A virtual sensor fusion approach for state of charge estimation of lithium-ion cells | 1-gen-2025 | Previtali, Davide; Masti, Daniele; Mazzoleni, Mirko; Previdi, Fabio | |
| LA VIOLENZA SOTTILE NELLE NARRAZIONI E NELLE PRATICHE ISTITUZIONALI SUL PAESAGGIO. IL CASO DEI COLLI EUGANEI | 1-gen-2024 | Di Matteo, Giovanna; Cisani, Margherita; Castiglioni, Benedetta | |
| CONFINI VISIBILI E INVISIBILI A LAMPEDUSA. IL CASO DEGLI SPAZI VISSUTI DAI VOLUNTEER TOURISTS | 1-gen-2020 | Di Matteo, Giovanna | |
| Isole e migrazioni: Abitare temporaneo o detenzione forzata? Il caso dell’isola di Lesbo, Grecia | 1-gen-2023 | Di Matteo, Giovanna | |
| On the onset of transition in 90?-bend pipe flow | 1-gen-2019 | Lupi, V.; Canton, J.; Schlatter, P. | |
| Fair Join Pattern Matching for Actors | 1-gen-2024 | Haller, Philipp; Hussein, Ayman; Melgratti, Hernàn C.; Scalas, Alceste; Tuosto, Emilio | |
| Automated Static Analysis of Quality of Service Properties of Communicating Systems | 1-gen-2024 | Lopez Pombo, Carlos G.; Eloy Martinez Suñé, Agustín; Tuosto, Emilio | |
| Choreographies for Program Understanding | 1-gen-2025 | Genovese, Gabriele; Lanese, Ivan; Di Giusto, Cinzia; Tuosto, Emilio; Vidal, Germán | |
| Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services | 1-gen-2025 | Lopez Pombo, Carlos G.; Melgratti, Hernán; Martinez-Suñé, Agustín E.; Senarruzza Anabia, Diego; Tuosto, Emilio | |
| Measuring shape rectangularities | 1-gen-2011 | Martinez-Ortiz, Carlos; Zunic, Dragisa; Zunic, Jovisa | |
| Classical computation with negation | 1-gen-2012 | Zunic, Dragisa; Lescanne, Pierre | |
| Classical Proofs' Essence and Diagrammatic Computation | 1-gen-2011 | Lescanne, Pierre; Zunic, Dragisa | |
| A Congruence Relation for Restructuring Classical Terms | 1-gen-2018 | Lescanne, Pierre; Zunic, Dragisa | |
| Migrating from Monoliths to Microservices: Enforcing Correct Coordination | 1-gen-2023 | Autili, Marco; Filippone, Gianluca; Tivoli, Massimo | |
| Intuitionistic Sequent-Style Calculus with Explicit Structural Rules | 1-gen-2009 | Lescanne, Pierre; Ghilezan, Silvia; Ivetic, Jelena; Zunic, Dragisa | |
| From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization | 1-gen-2023 | Filippone, G.; Qaisar Mehmood, N.; Autili, M.; Rossi, F.; Tivoli, M. | |
| Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization | 1-gen-2021 | Filippone, Gianluca; G., And Autili; M., And Rossi; F., And Tivoli |
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
- 4 Contributo in Atti di Convegno ...1329
Data di pubblicazione
- In corso di stampa1
- 2020 - 2026441
- 2010 - 2019622
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE36
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM17
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...12
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LECTURE NOTES IN COMPUTER SCIENCE36
- LEIBNIZ INTERNATIONAL PROCEEDINGS...22
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...7
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS5
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng776
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1128
- open97
- reserved94
- partially open10