IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 641 a 660 di 827
Titolo Data di pubblicazione Autore(i) File
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 1-gen-2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Control software synthesis for cyber-physical systems with QKS 1-gen-2020 Alimguzhin, V; Mari, F; Melatti, I
On model based synthesis of embedded control software 1-gen-2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Model Checking Nash Equilibria in MAD Distributed Systems 1-gen-2008 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, L; Clement, A; Li, H.
Undecidability of quantized state feedback control for discrete time linear hybrid systems 1-gen-2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 1-gen-2014 Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Sinisi, Stefano; Mari, Federico; Melatti, Igor; Massini, Annalisa; Davi', Francesco; T., Dierkes; R., Ehrig; S., Roeblitz; B., Leeners; T. H. C., Krüger; M., Egli; F., Ille
From Boolean Relations to Control Software 1-gen-2011 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 1-gen-2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
On Placing Skips Optimally In Expectation 1-gen-2008 Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro
Computing biological model parameters by parallel statistical model checking 1-gen-2015 Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor
Parallel statistical model checking for safety verification in smart grids 1-gen-2018 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Klaas Gruber, Jorn; Hayes, Barry; Prodanovic, Milan; Elmegaard, Lars
User flexibility aware price policy synthesis for smart grids 1-gen-2015 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Gruber, Jorn Klaas; Hayes, Barry; Prodanovic, Milan; Elmegaard, Lars
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 1-gen-2014 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Model checking driven simulation of sat procedures 1-gen-2012 Giovanni, Verzino; F., Cavaliere; Mari, Federico; Melatti, Igor; G., Minei; Salvo, Ivano; Y., Yushtein; Tronci, Enrico
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 1-gen-2020 Sinisi, S; Alimguzhin, V; Mancini, T; Tronci, E; Mari, F; Leeners, B
A glimpse of SmartHG project test-bed and communication infrastructure 1-gen-2015 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Tronci, Enrico; Ebeid, E.; Mikkelsen, S. A.; Jacobsen, Rune Hylsberg; Gruber, Jorn K.; Hayes, Barry; Huerta, Francisco; Prodanovic, Milan
Selective cortical representation of action semantics revealed by cross-modal unconscious repetition priming 1-gen-2006 Galati, G; Committeri, G; Aprile, T; Spitoni, G; DI RUSSO, F; Pitzalis, S; Pizzamiglio, L
The Human Homologue of Macaque Area V6A 1-gen-2012 Pitzalis, S; Sereno, Mi; Committeri, G; Fattori, P; Galati, G; Tosoni, A; Galletti, C
Task-set shifting selectively modulates activity of extrastriate task-related regions 1-gen-2007 Sdoia, S; Pitzalis, S; Galati, G
Visuotopic properties of the putative human homologue of the macaque V6A 1-gen-2006 Pitzalis, S; Galletti, C; Huang, R-S; Patria, F; Committeri, G; Galati, G; Fattori, P; Sereno, Mi
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 641 a 660 di 827
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 ...827
Autore
  • CAPRANICA, LAURA150
  • ROMANO SPICA, VINCENZO102
  • FRANCHITTO, ANTONIO98
  • PIACENTINI, MARIA FRANCESCA91
  • TESSITORE, ANTONIO55
  • GIOMBINI, ARRIGO51
  • BORRIONE, PAOLO48
  • VALERIANI, FEDERICA40
  • ISIDORI, EMANUELE38
  • CARPINO, GUIDO37
Data di pubblicazione
  • 2020 - 202655
  • 2010 - 2019212
  • 2000 - 2009386
  • 1990 - 1999159
  • 1988 - 198915
Editore
  • national swimming pool foundation15
  • IATED11
  • Wiley-Blackwell8
  • Institute of Electrical and Elect...6
  • Advanced Distributed Learning Ass...5
  • Elsevier Science Bv5
  • IEEE4
  • IEEE Computer Society4
  • Adl Romania3
  • Spriger Milan3
Rivista
  • ITALIAN JOURNAL OF ANATOMY AND EM...28
  • HEPATOLOGY20
  • GASTROENTEROLOGY12
  • ANNALI DI IGIENE MEDICINA PREVENT...9
  • JOURNAL OF HEPATOLOGY8
  • ELEARNING AND SOFTWARE FOR EDUCATION6
  • ELEARNING AND SOFTWARE FOR EDUCATION5
  • EUROPEAN JOURNAL OF HISTOCHEMISTRY5
  • INTERNAL AND EMERGENCY MEDICINE4
  • MOLECULAR BIOLOGY OF THE CELL4
Serie
  • INTED PROCEEDINGS2
  • ... NATIONAL CONGRESS OF BIOENGIN...1
  • ICSPORTS1
Keyword
  • E-learning5
  • liver4
  • Pedagogy4
  • pedagogy4
  • sport4
  • -3
  • biliary tree3
  • Biomechanics3
  • E-Learning3
  • e-learning3
Lingua
  • eng600
  • ita164
  • ger3
  • fre2
  • ara1
  • rus1
Accesso al fulltext
  • no fulltext768
  • reserved45
  • open14