8,073 research outputs found
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
- …