Post

Мой маленький гид для презентации

В этом посте я немного объясню, как я организовал презентацию для моей магистерской диссертации, а также другие презентации позже. Обратите внимание, что я пишу все на русском языке, в качестве упражнения, с помощью Google Translate. Чтобы организовать презентацию, я положил в последовательности: (1) контекст и представление проблемы, (2) краткое изложение того, что я сделал, (3) существующие решения проблемы (связанная работа), (4) мой новый метод решения проблема, (5) оценка и эксперименты, (6) выводы. Часть «3» также может быть размещена непосредственно перед выводами. В моей диссертации целью было упростить логические выражения. В начале я поместил несколько слайдов, чтобы объяснить, что они есть, затем один слайд с «индексом» того, что я сделал, затем некоторые существующие методы, чтобы упростить их, затем оценку (моя работа), стратегии визуализации (моя работа тоже ) и выводы. Я попытался поместить не много текста на слайд (в идеале, максимум 8 строк на слайд) и поместить гр...

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/

A song to remember we can stop cruelty on creatures

Immagine
Choose beans, peas and nuts over beef, bacon a lam. Stop cruelty, save lives, help planet. Why are we here for? If not to make this world A better place For us And for everybody And for every living creature? #stopcruelty #vegeterianlife #wwf #greenpeace

Cos'è il Deutsche Schlager oggi?

Ecco qui , finalmente, un reportage che mi ha lasciato a bocca aperta da com'è ben curato, anche con un giochino web . Ora ho capito, finalmente, perché i tedeschi, i giovani tedeschi, mi guardavano male quando dicevo loro che mi piaceva lo schlager! Il motivo è che lo considerano "un genere per stupidi" (" nur für die Dumme "), ma un professore dice che "anche se in pubblico non lo dicono, in realtà in privato lo ascoltano". Non è il genere preferito dei giovani, anche se grazie a Helene Fischer - che ha rivoluzionato lo Schlager avvicinandolo al Pop - ha acquisito molta popolarità, ma allora perché ci sono così tanti giovani cantanti ? Helene Fischer , Andrea Berg , Roland Kaiser , Vanessa Mai, Linda Hesse , sono fra i cantanti Schlager più famosi, che sono molti, basti vedere eventi Schlager come " Schlagernacht des Jahres ", la Musikantenstadl , Immer wieder Sonntags  o la  ZDF Fernsehgarten  . Alcune storie personali Un ragazz...

Building Lithium Battery for 50 MWh

Wind Mills in northern Germany have to be turned off for 40% of the time, because there is too much power and the lines to South Germany are saturated. To store wind energy, one of the biggest batteries in the world is going to be built... 50 MWh!! Worth reading this article from Norwegian technology magazine TU: http://feedproxy.google.com/~r/tekniskukebladrss/~3/1v4iN6JWsAg/379785

What happens as a turist in a big city

Immagine
Last week I was in Tokyo to attend a conference where I published a paper, as a co-author and a student volunteer. Aside the conference I walked a lot throughout the city, and my Samsung S app tells the results

Festa della donna nell'ICT

Oggi è la festa della donna, e in Norvegia due aziende di ICT,  Abelia og Oda-Nettverk, hanno deciso di renderlo ancora più speciale per 50 di queste. Hanno pubblicato una lista delle prime 50 donne più di rilievo nell'ICT in Norvegia. Ho deciso di fare un post su questa notizia in quanto, scorrendo la lista ho ritrovato un nome noto: Lillian Røstad. E' stata la mia professoressa di un interessante corso all'NTNU durante la laurea magistrale, in cui come parte pratica, fra le altre cose, dovevamo fare hacker prima, e proteggere da falle di sicurezza poi, un sito web. E ho imparato molto: ha invitato anche esperti del settore. Oggi ho scoperto che lavora a tempo pieno come  ‎ Head of Information Security per Sopra Steria, una delle maggiori società di business consulting in Norvegia. Complimenti! La lista è consultabile qui (norvegese):  https://www.tu.no/artikler/dette-er-landets-50-fremste-teknologikvinner/377564 .