Global flows of e-waste from the Global North to the Global South continue to damage local environments and harm human health. Weak e-waste regulations and limited use of safety measures for e-waste workers in Accra, Ghana, foster an exploitative environment within the industry, and pose health risks for those working and living near e-waste processing sites. This paper presents an integrated r...

Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we refine activities by pairs of preand post-conditions formulated by interrelated object diagrams. To define a clear semantics for refined activity diagrams with object flow, we use a graph transformation approach. Control...

Diagrammatic models of argument are increasingly prominent in AI and Law. Unlike everyday language these models formalize many of the the components and relationships present in arguments and permit a more formal analysis of an arguments’ structural weaknesses. Formalization, however, can raise problems of agreement. In order for argument diagramming to be widely accepted as a communications to...

The minimum energy requirements of six different heat-integrated multieffect and three nonintegrated distillation arrangements for separating a ternary mixture have been considered. The focus is on a heat-integrated complex distillation configuration, called a multieffect prefractionator arrangement. The comparison of the different arrangements is based on the minimum vapor flow rates at infini...

We want to sketch the support of a probability measure on Euclidean space from samples that have been drawn from the measure. This problem is closely related to certain manifold learning problems, where one assumes that the sample points are drawn from a manifold that is embedded in Euclidean space. Here we propose to sketch the support of the probability measure (that does not need to be a man...

We apply the imperfect bifurcation theory in Banach spaces to study the exact multiplicity of solutions to a perturbed logistic type equations on a symmetric spatial domain. We obtain the precise bifurcation diagrams.

A necessary and sufficient condition for a one-dimensional q-state n-input cellular automaton rule to be number-conserving is established. Two different forms of simpler and more visual representations of these rules are given, and their flow diagrams are determined. Various examples are presented and applications to car traffic are indicated. Two nontrivial three-state threeinput self-conjugat...

A new multivariate analysis technique, developed to relate community composition to known variation in the environment, is described. The technique is an extension of correspondence analysis (reciprocal averaging), a popular ordination technique that extracts continuous axes of vari? ation from species occurrence or abundance data. Such ordination axes are typically interpreted with the help of...

Generating decision rule sets from observational data is an established branch of machine learning. Although such rules may be well-suited to machine execution, a human being may have problems interpreting them. Making inferences about the dependencies of a number of attributes on each other by looking at the rules is hard, hence the need to summarize and visualize a rule set. In this paper we ...