#computational-model

5 collections 5 auteurs 5 ouvrages trié(s) par

Modelling Between Digital and Humanities

Ebooks

Modelling Between Digital and Humanities

Arianna Ciula, Øyvind Eide, Cristina Marras, Sahle Patrick

Modelling Between Digital and Humanities

Ebooks

Sciences humaines et sociales

Modelling Between Digital and Humanities

Arianna Ciula, Øyvind Eide, Cristina Marras, Sahle Patrick

77 pages

English

Lire

Introduction Symbolic Model Computational Model Implementations Conclusion

Documents

Introduction Symbolic Model Computational Model Implementations Conclusion

Bruno Blanchet

Introduction Symbolic Model Computational Model Implementations Conclusion

Documents

Education

Introduction Symbolic Model Computational Model Implementations Conclusion

Bruno Blanchet

53 pages

Lire

Mechanizing Game Based Proofs of Security Protocols

Documents

Mechanizing Game Based Proofs of Security Protocols

Bruno Blanchet

Mechanizing Game Based Proofs of Security Protocols

Documents

Rapports de stage

Mechanizing Game Based Proofs of Security Protocols

Bruno Blanchet

25 pages

English

Lire

Motivation The CryptoVerif input language Language annotations Code generation Conclusion

Documents

Motivation The CryptoVerif input language Language annotations Code generation Conclusion

David Cade

Motivation The CryptoVerif input language Language annotations Code generation Conclusion

Documents

Education

Motivation The CryptoVerif input language Language annotations Code generation Conclusion

David Cade

20 pages

English

Lire

Computational modeling of the mechanical modulation of the growth plate by sustained loading

Documents

Computational modeling of the mechanical modulation of the growth plate by sustained loading

Narváez-Tovar, Garzón-Alvarado

Computational modeling of the mechanical modulation of the growth plate by sustained loading

Documents

Savoirs

Computational modeling of the mechanical modulation of the growth plate by sustained loading

Narváez-Tovar, Garzón-Alvarado

10 pages

English

Lire

Aucun résultat à afficher.

1