Suchergebnisse für 'proof'
3 Kurse gefunden
Maximilian Langohr
Beitragsreihe
Frei
... amp;nbsp;<b>Demonstrator & Evaluation</b>: As a testbed and a proof ...
Dr. Tadeusz Litak
Vorlesung
Passwort
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Prof. Dr. Rolf Wanka
Vorlesung
Frei
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
40 Clips gefunden
Frei
universitäre Vorlesung
2023-11-22
... and even publications in formal systems, usually expressive logical languages with machine-checkable proof ...
Frei
universitäre Vorlesung
2022-09-19
... It has also been exactly a quarter century since the resurrection of this method through its proof of ...
IdM-Anmeldung
universitäre Vorlesung
2022-01-07
... In this session, we give a converse proof to the channel coding problem. ...
IdM-Anmeldung
universitäre Vorlesung
2021-12-07
IdM-Anmeldung
universitäre Vorlesung
2021-11-19
... In this session, we finish with the proof of the first theorem of Shannon. ...
IdM-Anmeldung
universitäre Vorlesung
2021-11-15
... In this session, we state the first theorem of Shannon and start with the proof. ...
Frei
universitäre Vorlesung
2021-06-07
... <p>Proof of Yao </p> ...
Frei
universitäre Vorlesung
2021-05-02
... <p>Interactive proof systems, non-uniform algorithms, example graph non-isomorphism& ...
Frei
universitäre Vorlesung
2020-12-19
... Also, a short mention of the proof. </p> ...
IdM-Anmeldung
Sonstiges
2020-12-14
Frei
Kongress, Tagung
2020-03-06
... utilities and tools for creating decentralized applications that can be used to store and manage tamper-proof ...
Passwort
universitäre Vorlesung
2019-06-27
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-06-24
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-06-17
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-06-13
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-06-06
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-06-03
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-05-27
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-05-23
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-05-20
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-05-16
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-05-13
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-05-09
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-05-06
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-05-02
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-04-29
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Passwort
universitäre Vorlesung
2019-04-25
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Frei
Kolloquium
2015-07-24
... Then we turn to proof-carrying services, our approach for guaranteeing service properties ...
Frei
universitäre Vorlesung
2013-07-16
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-07-02
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-06-25
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-06-18
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-06-11
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-06-04
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-05-28
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-05-14
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-05-07
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-04-30
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-04-23
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...
Frei
universitäre Vorlesung
2013-04-16
... A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279. ...