Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence of any backdoor to bypass a program’s authentication. One...
01a Articolo in rivista
-
-
-
-
-
A fully robotized polishing of metallic surfaces may be insufficient in case of parts with complex geometric shapes, where a manual intervention is still preferable. Within the EU SYMPLEXITY project, we are considering tasks where manual polishing operations are performed in strict physical Human-...
-
The secretion of insulin by the pancreas has been the object of much attention over the past several decades. Insulin is known to be secreted by pancreatic β-cells in response to hyperglycemia: its blood concentrations however exhibit both high-frequency (period approx. 10 minutes) and low-...
-
-
-
-
Targeted advertising is a key characteristic of online as well as traditional-media marketing. However it is very limited in outdoor advertising, that is, performing campaigns by means of billboards in public places. The reason is the lack of information about the interests of the particular...