A novel energetic approach for predicting fatigue crack growth in pseudoelastic NiTi alloys
2023-01-01 Sgambitterra, E; Hashemi, Ym; Kadkhodaei, M; Magaro, P; Niccoli, F; Maletta, C
X-ray computed mu-tomography analysis to evaluate the crack growth in an additive manufactured Ti-6Al-4V alloy sample stressed with in-phase axial and torsional loading
2023-01-01 Renzo, Da; Crocco, Mc; Maletta, C; Pagnotta, L; Sgambitterra, E; Berto, F; Furgiuele, F; Filosa, R; Beltrano, Jj; Barberi, Rc; Agostino, Rg; Formoso, V
The SAT-based Approach to Separation Logic
2005-01-01 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
TSAT++: an Open Platform for Satisfiability Modulo Theories
2005-01-01 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco
Answer Set Programming based on Propositional Satisfiability
2006-01-01 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems
2006-01-01 Maratea, Marco
Solving satisfiability problems with preferences
2010-01-01 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
Introducing Preferences in Planning as Satisfiability
2011-01-01 Giunchiglia, Enrico; Maratea, Marco
Planning as Satisfiability with IPC Simple Preferences and Action Costs
2012-01-01 Maratea, Marco
Solving Disjunctive Temporal Problems with Preferences using Maximum Satisfiability
2012-01-01 Maratea, Marco; Luca, P. u. l. i. n. a.
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints
2012-01-01 Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
Enhancing Energy Processes and Facilities Redesign in an Anaerobic Digestion Plant for Biomethane Production
2023-01-01 Corigliano, O; Iannuzzi, M; Pellegrino, C; D'Amico, F; Pagnotta, L; Fragiacomo, P
Exploring the passengers’ socio-economic structure and its impact on the perception of railway infrastructures and services in Tripura, India
2024-01-01 Roy, S.; Mazzulla, G.; Hore, S.; Mitra, S.
CO2 conversion into hydrocarbons via modified Fischer-Tropsch synthesis by using bulk iron catalysts combined with zeolites
2023-01-01 Corrao, E.; Salomone, F.; Giglio, E.; Castellino, M.; Ronchetti, S. M.; Armandi, M.; Pirone, R.; Bensaid, S.
Critical issues for the deployment of plastic waste pyrolysis
2023-01-01 Giglio, E; Marino, A; Pizarro, P; Escola, Jm; Migliori, M; Giordano, G; Serrano, Dp
Efficient DTPP solving with a reduction-based approach
2014-01-01 Maratea, Marco; Pulina, Luca
Disjunctive answer set solvers via templates
2016-01-01 Brochenin, Remi; Lierler, Yuliya; Maratea, Marco
CASP Solutions for Planning in Hydrid Domains
2017-01-01 Balduccini, M.; Magazzeni, D.; Maratea, M.; Leblanc, E.
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets
2023-01-01 Nigro, Libero; Cicirelli, Franco
On the manipulation of articulated objects in human-robot cooperation scenarios
2018-01-01 Capitanelli, A.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
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
- 1 Contributo su Rivista40392
- 2 Contributo in Volume2
Data di pubblicazione
- In corso di stampa38
- 2020 - 202713193
- 2010 - 201915036
- 2000 - 20097892
- 1990 - 19993088
- 1980 - 19891038
- 1971 - 1979109
Editore
- Society for information display2
- TAYLOR & FRANCIS LTD, 4 PARK SQUA...2
- "Il pensiero scientifico" Editore1
- American Physical Society1
- Athens Institute for Education an...1
- Deputazione Storia Patria per la ...1
- Edizioni Scientifiche Calabresi1
- ELSEVIER SCIENCE BV, PO BOX 211, ...1
- ETS1
- Geological Society of America Spe...1
Rivista
- JOURNAL OF HIGH ENERGY PHYSICS498
- PHYSICS LETTERS. SECTION B469
- THE EUROPEAN PHYSICAL JOURNAL. C,...397
- PHYSICAL REVIEW LETTERS272
- MOLECULES176
- PHYSICAL REVIEW D173
- BOLLETTINO FILOSOFICO168
- INTERNATIONAL JOURNAL OF MOLECULA...166
- APPLIED SCIENCES164
- FILOLOGIA ANTICA E MODERNA151
Serie
- ATINER'S CONFERENCE PAPER SERIES1
- INTERNATIONAL REVIEW OF NEUROBIOLOGY1
Keyword
- Humans268
- COVID-19164
- Italy154
- Calabria113
- Hadron-Hadron Scattering111
- Female110
- High Energy Physics - Experiment106
- Palladium105
- Hadron-Hadron scattering (experim...95
- Carbonylation88
Lingua
- eng28603
- ita6840
- fre287
- spa245
- ger96
- grc23
- alb18
- por16
- tur12
- lat10
Accesso al fulltext
- no fulltext39865
- open457
- reserved44
- restricted21
- internalNetwork5
- embargoed1
- partially open1