skip to main content
Lingue:

Risutati 1 - 10 di 4.226  per Ricerca globale

Risultati 1 2 3 4 5 next page
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On the verification of parametric and real-time systems
Material Type:
Tesi
Aggiungi allo Scaffale Elettronico

On the verification of parametric and real-time systems

Di Giampaolo, Barbara ; Napoli, Margherita ; Napoli, Margherita

Accesso online

2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata

Herber, Paula

it - Information Technology, 2012, Vol.54(6), 2012, Vol.54(6), pp.296-300 [Rivista Peer Reviewed]

Fulltext disponibile

3
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Posterior predictive checks to quantify lack-of-fit in admixture models of latent population structure

Mimno , David ; David M. Blei ; Barbara E. Engelhardt

Proceedings of the National Academy of Sciences of the United States of America, 2015, Vol.112(26), pp.E3441-E3450 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
4
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Why preferring parametric forecasting to nonparametric methods?

Jabot, Franck

Journal of Theoretical Biology, 07 May 2015, Vol.372, pp.205-210 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Data-driven modeling of Alzheimer Disease pathogenesis

Anastasio, Thomas J

Journal of Theoretical Biology, 2011, Vol.290, pp.60-72 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
6
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Bayesian Comparison of Alternative Graded Response Models for Performance Assessment Applications

Zhu, Xiaowen ; Stone, Clement A

Educational and Psychological Measurement, October 2012, Vol.72(5), pp.774-799 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
7
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Extending model checkers for hybrid system verification: the case study of SPIN

Gallardo, María‐Del‐Mar ; Panizo, Laura

Software Testing, Verification and Reliability, September 2014, Vol.24(6), pp.438-471 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
8
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Z2SAL: a translation-based model checker for Z

Derrick, John ; North, Siobhán ; Simons, Anthony

Formal Aspects of Computing, 2011, Vol.23(1), pp.43-71 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
9
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On estimating the reliability of ecological forecasts

Perretti, Charles T ; Munch, Stephan B

Journal of Theoretical Biology, 07 May 2015, Vol.372, pp.211-216 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
10
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Analyzing resilience properties in oscillatory biological systems using parametric model checking

Andreychenko, Alexander ; Magnin, Morgan ; Inoue, Katsumi

BioSystems, November 2016, Vol.149, pp.50-58 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Risutati 1 - 10 di 4.226  per Ricerca globale

Risultati 1 2 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (2.434)
  2. In biblioteca (1)

Data di pubblicazione 

Da A
  1. Prima del1992 
  2. 1992-1998 
  3. 1999-2005 
  4. 2006-2013 
  5. Dopo il 2013 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Santone, Antonella
  2. Legay, Axel
  3. Kwiatkowska, Marta
  4. Liu, Yang
  5. Sun, Jun

Ricerca in corso nelle risorse remote ...