How to increase efficienxy of SMT solvers
http://composition.al/blog/2017/05/31/proving-that-safety-critical-neural-networks-do-what-theyre-supposed-to-where-we-are-where-were-going-part-2-of-2/
Мой маленький гид для презентации
В этом посте я немного объясню, как я организовал презентацию для моей магистерской диссертации, а также другие презентации позже. Обратите внимание, что я пишу все на русском языке, в качестве упражнения, с помощью Google Translate. Чтобы организовать презентацию, я положил в последовательности: (1) контекст и представление проблемы, (2) краткое изложение того, что я сделал, (3) существующие решения проблемы (связанная работа), (4) мой новый метод решения проблема, (5) оценка и эксперименты, (6) выводы. Часть «3» также может быть размещена непосредственно перед выводами. В моей диссертации целью было упростить логические выражения. В начале я поместил несколько слайдов, чтобы объяснить, что они есть, затем один слайд с «индексом» того, что я сделал, затем некоторые существующие методы, чтобы упростить их, затем оценку (моя работа), стратегии визуализации (моя работа тоже ) и выводы. Я попытался поместить не много текста на слайд (в идеале, максимум 8 строк на слайд) и поместить гр
Commenti
Posta un commento