by Claude Marché and Johannes Kanig
Recent technological advances in formal deductive verification are benefiting industry users of programming language “Ada”. Mathematical proof complements existing test activities whilst reducing costs.
by Christoph Köhn and Ute Ebert
Active thunderstorms can emit gamma-rays and even antimatter. In fact, growing lightning channels can act as enormous particle accelerators above our heads. Researchers of the Multiscale Dynamics group at CWI have modelled and simulated these multiscale processes. They corrected previous calculations of gamma-ray emissions and, for the first time, computed the emission and propagation of positrons and neutrons. The neutrons are produced in nuclear reactions in air and might reach the ground.
by Patrice Lopez and Laurent Romary
Scientific papers potentially offer a wealth of information that allows one to put the corresponding work in context and offer a wide range of services to researchers. GROBID is a high performing software environment to extract such information as metadata, bibliographic references or entities in scientific texts.
by Federico Maggi, Stefano Zanero, and Evangelos Markatos
Looking back at the evolution of cyber criminal activities, from the nineties to the present day, we observe interesting trends coming together in what may seem a perfectly orchestrated scene. In parallel with the ‘security by design’, we recall the importance of reactive security in a field of ever-changing arms races.
by Jan Camenisch, Anja Lehmann, Anna Lysyanskaya and Gregory Neven
The authors have developed a three-pronged approach that can secure all of your passwords for social media, email, cloud files, shopping and financial websites, with one practically hack-proof password. This password is secured by the new “Memento protocol.”
by Ioannis Askoxylakis, Paschalis Papagrigoriou, Diomedes Kastanis, Panos Karampelas, and George Spanoudakis
The SIREN project (Secure, Interoperable, UAV-assisted, Rapid Emergency Deployment Communication and sensing Infrastructure) implements a secure, distributed, open, self-configured and emergency-aware network and service platform for automated, secure and dependable support of multiple mission critical applications in highly demanding and dynamic emergency environments.
by Ioannis Refanidis and Christos Emmanouilidis
Following the masses is one way of being a tourist. But the modern creative tourist is eager to forge a personal trail. Tailoring an itinerary to individual desires has always been the realm of highly specialized tour operators. Context-aware computing and recommender systems make it possible to offer personalized services in tourism. MYVISITPLANNER is a cloud-based service employing a recommender engine to offer personalized suggestions for tour activities and a planning tool to create appropriate tour itineraries. Recommendations are offered on the basis of a hybrid approach that takes into account both a taxonomy of possible activities, as well as user preferences and past recommendations, thus offering recommendations tailored to the visit profile [1].
by Mats Carlsson
To create a fair timetable for the men's handball league is a much more complex task than you would think. There are actually many more ways to do it than there are atoms in the universe, and only one of them is perfect. The trick is to find it!
by Andrea Esuli and Fabrizio Sebastiani
Quantification - also known as class prior estimation – is the task of estimating the relative frequencies of classes in application scenarios in which such frequencies may change over time. This task is becoming increasingly important for the analysis of large and complex datasets. Researchers from ISTI-CNR, Pisa, are working with supervised learning methods explicitly devised with quantification in mind.
by Artemios G. Voyiatzis and John Gialelis
The aim of the Dynamic Cargo Routing on-the-go (Dynacargo) project is to optimize the fleet operation for the city waste collection through urban-scale sensor networks, delay-tolerant networking, citizen participation, and dynamic routing.
