Stochastically timed predicate-based communication primitives for autonomic computing
2014-01-01 Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio
On-the-fly Probabilistic Model Checking
2014-01-01 Latella, Diego; Loreti, Michele; Massink, Mieke
Nonlinear response of bridge piers on inclined pile groups: the role of rocking foundation input motion
2017-01-01 Carbonari, S.; Morici, M.; Dezi, F.; Leoni, G.
The presence and localization of resistin in the sheep uterus: impact of diets characterized by different chemical composition.
2017-01-01 Pirino, Carolina; Mercati, Francesca; Petrucci, Linda; Maranesi, Margherita; Scocco, Paola; Acuti, Gabriele; Dall’Aglio, Cecilia
An algebraic representation for tree alignment of RNA pseudoknotted structures.
2017-01-01 Quadrini, Michela; Tesei, Luca; Merelli, Emanuela
EMERGENZA E'/E PERMANENZA. Prove d'innovazione dall'Appennino centromeridionale
2017-01-01 D'Annuntiis, Marco; di venosa, Matteo
The structure of liquid metals probed by XAS
2017-01-01 Filipponi, Adriano; Di Cicco, Andrea; Iesari, Fabio; Trapananti, Angela
Design for the ambient assisted living
2017-01-01 Losco, Giuseppe; Lupacchini, Andrea; Bradini, Luca; Paciotti, Davide
Seismic analysis of innovative hybrid steel concrete coupled walls
2017-01-01 Zona, Alessandro; Leoni, Graziano; Dall'Asta, Andrea
Performance evaluation of an innovative HCW system with Shear Dissipative Links
2017-01-01 Das, Rajarshi; Zona, Alessandro; Vandoren, Bram; Degée, Hervé
Performance-Based Seismic Design Of An Innovative HCW System With Shear Links based on IDA
2017-01-01 Das, Rajarshi; Zona, Alessandro; Vandoren, Bram; Degée, Hervé
Platelet-rich plasma to treat experimentally induced skin wounds in animals: a systematic review and meta-analysis
2017-01-01 Tambella, Adolfo Maria; Attili, Annarita; Dupré, G; Cantalamessa, Andrea; Martin, Stefano; Cuteri, Vincenzo; Marcazzan, S; Del Fabbro, M.
Development of a new HPLC-DAD/MS method to quantify olive oil polyphenols
2017-01-01 Fiorini, Dennis; Boarelli, Maria Chiara; Ballini, Roberto; Pacetti, Deborah; Sagratini, Gianni; Caprioli, Giovanni; Ricciutelli, Massimo
Determination of some water-soluble vitamins in donkey milk.
2017-01-01 Vincenzetti, Silvia; Astolfi, Gloria; Cellini, Elena; Ariani, Ambra; Pucciarelli, Stefania; Cammertoni, Natalina; Polidori, Paolo
A Graph Grammar for Modelling RNA Folding
2016-01-01 Mamuye, ADANE LETTA; Merelli, Emanuela; Tesei, Luca
Musepick: An Integrated Technological Framework To Present The Complex Of Santissima Annunziata In Ascoli Piceno (Italy)
2017-01-01 Rossi, Daniele; Petrucci, Enrica
Modeling of Falling Weight Impact Behavior of Hybrid Basalt/Flax Vinylester Composites
2016-01-01 Boria, Simonetta; Pavlovic, Ana; Fragassa, Cristiano; Santulli, Carlo
Influence of genotype and feeding on chemical composition of organi chicken meat
2009-01-01 Meluzzi, Adele; Sirri, Federico; Castellini, Cesare; Roncarati, Alessandra; Melotti, Paolo; Franchini, Achille
In vitro anticancer activity and neurotoxicity of novel heavy metal-based anticancer complexes
2014-01-01 Ceresa, C; Nicolini, G; Semperboni, S; Bossi, M; Requardt, H; Santini, Carlo; Pellei, Maura; Bravin, A; Cavaletti, G.
Rydberg excitation of a Bose-Einstein condensate
2015-01-01 Malossi, Nicola; Valado, M. M; Arimondo, E; Morsch, O; Ciampini, D.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Stochastically timed predicate-based communication primitives for autonomic computing | 1-gen-2014 | Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio | Contributo in atto di convegno su rivista | |
On-the-fly Probabilistic Model Checking | 1-gen-2014 | Latella, Diego; Loreti, Michele; Massink, Mieke | Contributo in atto di convegno su rivista | |
Nonlinear response of bridge piers on inclined pile groups: the role of rocking foundation input motion | 1-gen-2017 | Carbonari, S.; Morici, M.; Dezi, F.; Leoni, G. | Contributo in atto di convegno su rivista | |
The presence and localization of resistin in the sheep uterus: impact of diets characterized by different chemical composition. | 1-gen-2017 | Pirino, Carolina; Mercati, Francesca; Petrucci, Linda; Maranesi, Margherita; Scocco, Paola; Acuti, Gabriele; Dall’Aglio, Cecilia | Contributo in atto di convegno su rivista | |
An algebraic representation for tree alignment of RNA pseudoknotted structures. | 1-gen-2017 | Quadrini, Michela; Tesei, Luca; Merelli, Emanuela | Contributo in atto di convegno su rivista | |
EMERGENZA E'/E PERMANENZA. Prove d'innovazione dall'Appennino centromeridionale | 1-gen-2017 | D'Annuntiis, Marco; di venosa, Matteo | Contributo in atto di convegno su rivista | |
The structure of liquid metals probed by XAS | 1-gen-2017 | Filipponi, Adriano; Di Cicco, Andrea; Iesari, Fabio; Trapananti, Angela | Contributo in atto di convegno su rivista | |
Design for the ambient assisted living | 1-gen-2017 | Losco, Giuseppe; Lupacchini, Andrea; Bradini, Luca; Paciotti, Davide | Contributo in atto di convegno su rivista | |
Seismic analysis of innovative hybrid steel concrete coupled walls | 1-gen-2017 | Zona, Alessandro; Leoni, Graziano; Dall'Asta, Andrea | Contributo in atto di convegno su rivista | |
Performance evaluation of an innovative HCW system with Shear Dissipative Links | 1-gen-2017 | Das, Rajarshi; Zona, Alessandro; Vandoren, Bram; Degée, Hervé | Contributo in atto di convegno su rivista | |
Performance-Based Seismic Design Of An Innovative HCW System With Shear Links based on IDA | 1-gen-2017 | Das, Rajarshi; Zona, Alessandro; Vandoren, Bram; Degée, Hervé | Contributo in atto di convegno su rivista | |
Platelet-rich plasma to treat experimentally induced skin wounds in animals: a systematic review and meta-analysis | 1-gen-2017 | Tambella, Adolfo Maria; Attili, Annarita; Dupré, G; Cantalamessa, Andrea; Martin, Stefano; Cuteri, Vincenzo; Marcazzan, S; Del Fabbro, M. | Contributo in atto di convegno su rivista | |
Development of a new HPLC-DAD/MS method to quantify olive oil polyphenols | 1-gen-2017 | Fiorini, Dennis; Boarelli, Maria Chiara; Ballini, Roberto; Pacetti, Deborah; Sagratini, Gianni; Caprioli, Giovanni; Ricciutelli, Massimo | Contributo in atto di convegno su rivista | |
Determination of some water-soluble vitamins in donkey milk. | 1-gen-2017 | Vincenzetti, Silvia; Astolfi, Gloria; Cellini, Elena; Ariani, Ambra; Pucciarelli, Stefania; Cammertoni, Natalina; Polidori, Paolo | Contributo in atto di convegno su rivista | |
A Graph Grammar for Modelling RNA Folding | 1-gen-2016 | Mamuye, ADANE LETTA; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista | |
Musepick: An Integrated Technological Framework To Present The Complex Of Santissima Annunziata In Ascoli Piceno (Italy) | 1-gen-2017 | Rossi, Daniele; Petrucci, Enrica | Contributo in atto di convegno su rivista | |
Modeling of Falling Weight Impact Behavior of Hybrid Basalt/Flax Vinylester Composites | 1-gen-2016 | Boria, Simonetta; Pavlovic, Ana; Fragassa, Cristiano; Santulli, Carlo | Contributo in atto di convegno su rivista | |
Influence of genotype and feeding on chemical composition of organi chicken meat | 1-gen-2009 | Meluzzi, Adele; Sirri, Federico; Castellini, Cesare; Roncarati, Alessandra; Melotti, Paolo; Franchini, Achille | Contributo in atto di convegno su rivista | |
In vitro anticancer activity and neurotoxicity of novel heavy metal-based anticancer complexes | 1-gen-2014 | Ceresa, C; Nicolini, G; Semperboni, S; Bossi, M; Requardt, H; Santini, Carlo; Pellei, Maura; Bravin, A; Cavaletti, G. | Contributo in atto di convegno su rivista | |
Rydberg excitation of a Bose-Einstein condensate | 1-gen-2015 | Malossi, Nicola; Valado, M. M; Arimondo, E; Morsch, O; Ciampini, D. | Contributo in atto di convegno su rivista |
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
- 04 ATTO DI CONVEGNO SU RIVISTA507
Data di pubblicazione
- 2020 - 202333
- 2010 - 2019152
- 2000 - 2009202
- 1990 - 199989
- 1980 - 198931
Editore
- -1
Rivista
- ATTI DELLA SOCIETA' ITALIANA DELL...118
- ATTI DELLA SOCIETÀ ITALIANA DELLE...65
- PARASSITOLOGIA23
- ITALIAN JOURNAL OF ANATOMY AND EM...20
- IMACS SERIES COMPUTATIONAL AND AP...15
- JOURNAL OF PHYSICS. CONFERENCE SE...15
- ELECTRONIC PROCEEDINGS IN THEORET...14
- ELECTRONIC NOTES IN THEORETICAL C...13
- EUROPEAN JOURNAL OF HISTOCHEMISTRY9
- INVERTEBRATE SURVIVAL JOURNAL9
Keyword
- Collective Adaptive Systems1
- Formal Methods1
- Formal methods1
- formal semantics1
- Model checking1
- Probabilistic equivalences1
- Quantitative Analysis1
- quantitative analysis1
- stochastic process calculi1
Lingua
- eng288
- ita231
- enm2
- cat1
- fre1
- spa1
Accesso al fulltext
- no fulltext472
- open21
- reserved14