Post

Visualizzazione dei post da 2017

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 .

Less depression by talking to a granny on a bench

Mindre depresjon med bestemor på en benk:  Når du ikke får psykolog, kan det være hjelp i en erfaren kvinne som lytter. http ://forskning.no/helse-psykiske-lidelser-samfunn-psykologi-sosiale-relasjoner/2016/12/vennskapsbenker-gir-bedre

Insects save your life every day: should we worry about climate change also for them?

Today the Norwegian broadcasting corporation website started with presenting these research results:  "Uten insekter hadde du druknet i dritt. Ikke hadde du fått sjokolade heller." Cacao is extracted by an insect.. if it disappears, then probably there will be no chocolate anymore. Read more: https://www.nrk.no/viten/xl/1.13284314

You become so healthy with a bike

Good research results from Swedish and Danish research papers. Needed more than 1km a day with a bike, but in places where it is safe to bike, not in narrow streets without a bike lane (what is that?, Not even in cities...) with many even narrower road curves populated by cars going 90 km/h (overtaking if necessary to keep that speed) while talking at the phone or looking at a smartphone, taking care more to reach destination as quick as possible, touching the break so few times as possible (typical Italian style): http://forskning.no/helse-sykling/2016/12/sa-mye-sunnere-blir-du-av-sykle