IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 621 a 640 di 827
Titolo Data di pubblicazione Autore(i) File
Platelet derived growth factors in muscle healing 1-gen-2012 Borrione, P
Pourcentage des differents types et sous-types des neurones au niveau des ganglions chez lezard 1-gen-1992 Borrione, P; S., Geuna; A., Poncino; GIACOBINI ROBECCHI, M. G.
An efficient algorithm for network vulnerability analysis under malicious attacks 1-gen-2018 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Automatic control software synthesis for quantized discrete time hybrid systems 1-gen-2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 1-gen-2014 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 1-gen-2010 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 1-gen-2016 Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B
Formal verification at system level 1-gen-2009 S., Mazzini; S., Puri; Mari, Federico; Melatti, Igor; Tronci, Enrico
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction 1-gen-2018 Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Stefano, Sinisi; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, and B.
Simulator semantics for system level formal verification 1-gen-2015 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
SyLVaaS: system level formal verification as a service 1-gen-2015 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Control Software Visualization 1-gen-2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Electricity network constraint management using individualised demand aware price policies 1-gen-2020 Melatti, I; Alimguzhin, V; Mari, F; Prodanovic, M; Hayes, B
Model Checking Satellite Operational Procedures 1-gen-2011 F., Cavaliere; G., Minei; G., Verzino; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Y., Yushtein
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 1-gen-2009 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li
On-the-Fly Control Software Synthesis 1-gen-2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 1-gen-2007 Mari, F; E., Tronci
System level formal verification via distributed multi-core hardware in the loop simulation 1-gen-2014 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
System level formal verification via model checking driven simulation 1-gen-2013 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Fabio, Merli; Tronci, Enrico
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 1-gen-2009 Andrea, Bobbio; Ester, Ciancamerla; Saverio Di, Blasi; Alessandro, Iacomini; Mari, Federico; Melatti, Igor; Michele, Minichino; Alessandro, Scarlatti; Tronci, Enrico; Roberta, Terruggia; Emilio, Zendri
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 621 a 640 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