4.1 Contributo in Atti di convegno: [3442] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 281 a 300 di 3.442
Titolo Data di pubblicazione Autore(i) File
Formare i docenti alla didattica ludica attraverso il gioco: Un’esperienza di formazione in servizio [Training Teachers for Play-Based Pedagogy: An In-Service Learning Experience]. 1-gen-2026 Tinterri, Andrea; Di Cataldo Maria, Clara; Dipace, Anna
The Thematic Evolution of Sustainability Reporting: Cost-Benefit Analysis and Regulatory Consolidation 1-gen-2026 Belfiore, Alessandra; Cuccurullo, Corrado; Ippolito, Adelaide; Smarra, Margherita; Sorrentino, Marco
Pantagruel, tra saperi e sapori: un laboratorio di educazione sensoriale e partecipata al cibo e al territorio 1-gen-2026 Greco, Eleonora
Narrazioni digitali e intelligenza artificiale: il digital storytelling come dispositivo per la promozione di competenze digitali e metodologiche dei docenti 1-gen-2026 De Marco, Elisabetta Lucia; Carruba, Maria Concetta
Dal dialogo tra pari al pensiero riflessivo “sinestetico”: evidenze sperimentali sull’efficacia del Team-Based Learning nei processi di interiorizzazione cognitiva 1-gen-2026 Basta, Angelo; De Martino, Delio
Utilizzare Chatbot di intelligenza artificiale per facilitare l’apprendimento universitario 1-gen-2026 Garavaglia, A.; Petti, L.
CORPORATE TAX BEHAVIORS AND FIRM VALUE: THE MODERATING ROLE OF AUDIT CHARACTERISTICS 1-gen-2021 Iazzi, Antonio; Maizza, Amedeo; Ligorio, Lorenzo; Fait, Monica
Il ruolo degli indicatori ESG nel “Modello di Business Sostenibile”: un’analisi sistematica della letteratura 1-gen-2020 Benvenuto, Marco; Ligorio, Lorenzo; Viola, Carmine
Taming the complexity of timeline-based planning over dense temporal domains 1-gen-2019 Bozzelli, L.; Montanari, A.; Peron, A.
Decision Problems for Lower/Upper Bound Parametric Timed Automata 1-gen-2007 Bozzelli, L; Salvatore La, Torre
The Complexity of One-Agent Refinement Modal Logic 1-gen-2012 Bozzelli, L; Hans P., Van Ditmarsch; Sophie, Pinchinat
The Complexity of CTL* + Linear Past 1-gen-2008 Bozzelli, L
Complexity Results on Branching-Time Pushdown Model Checking 1-gen-2006 Bozzelli, L
On decidability of LTL model checking for process rewrite systems 1-gen-2006 Bozzelli, L.; Kretinsky, M.; Rehak, V.; Strejcek, J.
Full Characterisation of Extended CTL 1-gen-2024 Benerecetti, M.; Bozzelli, L.; Mogavero, F.; Peron, A.
Strong Termination for Gap-Order Constraint Abstractions of Counter Systems 1-gen-2012 Bozzelli, L
Verification of Well-Formed Communicating Recursive State Machines 1-gen-2006 Bozzelli, L; Salvatore La, Torre; Adriano, Peron
Branching-time temporal logic extended with qualitative presburger constraints 1-gen-2006 Bozzelli, L.; Gascon, R.
Pushdown Module Checking 1-gen-2005 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints 1-gen-2006 Bozzelli, L; Régis, Gascon
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 281 a 300 di 3.442
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 ...3442
Autore
  • De Pietro, Giuseppe183
  • Sorrentino, Nicola131
  • Mirone, Vincenzo102
  • Scotto di Santolo, Anna85
  • Fabbrocino, Francesco76
  • Gallo, Luigi67
  • Gambardella, Carmine65
  • Bozzelli, Laura61
  • Dipace, Anna59
  • Agrati, Laura Sara56
Data di pubblicazione
  • In corso di stampa13
  • 2020 - 20261523
  • 2010 - 20191408
  • 2000 - 2009451
  • 1990 - 199946
  • 1987 - 19891
Editore
  • IOS Press111
  • Institute of Electrical and Elect...80
  • IEEE72
  • Springer Science and Business Med...54
  • Springer51
  • Pensa MultiMedia44
  • IEEE Computer Society38
  • CEUR-WS31
  • EuroMed Press26
  • Elsevier B.V.24
Rivista
  • PROCEDIA STRUCTURAL INTEGRITY38
  • PROCEDIA COMPUTER SCIENCE20
  • CE/PAPERS10
  • ELECTRONIC PROCEEDINGS IN THEORET...10
  • ANALELE UNIVERSITATII "OVIDIUS" C...8
  • JOURNAL OF PHYSICS. CONFERENCE SE...7
  • ENERGY PROCEDIA5
  • JOURNAL OF PREVENTIVE MEDICINE AN...5
  • MEMORIE GEOGRAFICHE5
  • SPORT SCIENCES FOR HEALTH5
Serie
  • COMMUNICATIONS IN COMPUTER AND IN...25
  • LECTURE NOTES IN COMPUTER SCIENCE25
  • CEUR WORKSHOP PROCEEDINGS18
  • LECTURE NOTES IN CIVIL ENGINEERING10
  • LECTURE NOTES IN COMPUTER SCIENCE7
  • LECTURE NOTES IN NETWORKS AND SYS...6
  • AIP CONFERENCE PROCEEDINGS5
  • EDULEARN PROCEEDINGS5
  • LECTURE NOTES IN COMPUTER SCIENCE5
  • PROCEEDINGS OF THE ... EUROPEAN C...5
Keyword
  • Empirical Software Engineering19
  • Digital Industry and Space18
  • Artificial Intelligence17
  • Internet of Things17
  • Machine Learning17
  • Cultural Heritage16
  • Cold spray14
  • Software14
  • Deep Learning12
  • BIM11
Lingua
  • eng1931
  • ita833
  • und80
  • spa14
  • fre10
  • lat6
  • ger3
  • ara1
  • grc1
  • ind1
Accesso al fulltext
  • no fulltext3436
  • reserved6