With software updates, Tesla upends product life cycle in the car industry

With this system, any product can be open-ended and continuously in the making, argue Antti Lyyra and Kari Koskine

Book review: Reciprocity in human societies

Antti Kujala & Mirkka Danielsbacka Reciprocity in Human Societies. From Ancient Times to the Modern Welfare State. Palgrave Macmillan 201

Convexity properties of quasihyperbolic balls on Banach spaces

We study convexity and starlikeness of quasihyperbolic and distance ratio metric balls on Banach spaces. In particular, problems related to these metrics on convex domains, and on punctured Banach spaces, are considered

Stop It, and Be Stubborn!

A system is AG EF terminating, if and only if from every reachable state, a terminal state is reachable. This publication argues that it is beneficial for both catching non-progress errors and stubborn set state space reduction to try to make verification models AG EF terminating. An incorrect mutual exclusion algorithm is used as an example. The error does not manifest itself, unless the first action of the customers is modelled differently from other actions. An appropriate method is to add an alternative first action that models the customer stopping for good. This method typically makes the model AG EF terminating. If the model is AG EF terminating, then the basic strong stubborn set method preserves safety and some progress properties without any additional condition for solving the ignoring problem. Furthermore, whether the model is AG EF terminating can be checked efficiently from the reduced state space

Weak separation condition, Assouad dimension, and Furstenberg homogeneity

We consider dimensional properties of limit sets of Moran constructions satisfying the finite clustering property. Just to name a few, such limit sets include self-conformal sets satisfying the weak separation condition and certain sub-self-affine sets. In addition to dimension results for the limit set, we manage to express the Assouad dimension of any closed subset of a self-conformal set by means of the Hausdorff dimension. As an interesting consequence of this, we show that a Furstenberg homogeneous self-similar set in the real line satisfies the weak separation condition. We also exhibit a self-similar set which satisfies the open set condition but fails to be Furstenberg homogeneous.Comment: 22 pages, 2 figure