Although artificial intelligence has been given an unprecedented amount of attention in both the public and academic domains in the last few years, its convergence with other transformative technologies like cloud computing, robotics, and augmented/virtual reality is predicted to exacerbate its impacts on society. The adoption and integration of these technologies within industry and manufacturing spaces is a fundamental part of what is called Industry 4.0, or the Fourth Industrial Revolution. The impacts of this paradigm shift on the human operators (...) who continue to work alongside and symbiotically with these technologies in the industry bring with it novel ethical issues. Therefore, how to design these technologies for human values becomes the critical area of intervention. This paper takes up the case study of robotic AI-based assistance systems to explore the potential value implications that emerge due to current design practices and use. The design methodology known as Value Sensitive Design (VSD) is proposed as a sufficient starting point for designing these technologies for human values to address these issues. (shrink)

The Supreme Court seems poised to overrule Roe v. Wade and hold that there is no constitutional right to choose abortion. The reversal of Roe seems to run counter to public opinion in the United St...

We study the groups Gal L and Gal KP, and the associated equivalence relations EL and EKP, attached to a first order theory T. An example is given where EL≠ EKP. It is proved that EKP is the composition of EL and the closure of EL. Other examples are given showing this is best possible.

We give an exposition of the compactness of L(QcfC), for any set C of regular cardinals.

Animals and plants are metaorganisms and associate with microbes that affect their physiology, stress tolerance, and fitness. Here the hypothesis that alteration of the microbiome may constitute a fast‐response mechanism to environmental change is examined. This is supported by recent reciprocal transplant experiments with reef corals, which have shown that their microbiome adapts to thermally variable habitats and changes over time when transplanted into different environments. Further, inoculation of corals with beneficial bacteria increases their stress tolerance. But corals differ in (...) their ability to flexibly associate with different bacteria. How scales of microbiome flexibility may reflect different metaorganism adaptation mechanisms is discussed and future directions for research are pinpointed. It is posited that microbiome flexibility is a broad phenomenon that contributes to the ability of organisms to respond to environmental change. Importantly, adapting with microbial help may provide an alternate route to organismal adaptation that facilitates rapid responses. (shrink)

This article aims to classify those reducts of expansions of (Q, <) by unary predicates which eliminate quantifiers, and in particular to show that, up to interdefinability, there are only finitely many for a given language. Equivalently, we wish to classify the closed subgroups of Sym(Q) containing the group of all automorphisms of (Q, <) fixing setwise certain subsets. This goal is achieved for expansions by convex predicates, yielding expansions by constants as a special case, and for the expansion by (...) a dense, co-dense predicate. Partial results are obtained in the general setting of several dense predicates. (shrink)

The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskiĭ, Tseĭtin, Kreisel, and Lacombe have asserted the existence of non-empty co-r. e. closed sets devoid of computable points: sets which are even “large” in the sense of positive Lebesgue measure.This leads us to investigate for various classes of computable real subsets whether they always contain a computable point.

In this volume, a diverse group of world experts in personality assessment showcase a range of different viewpoints on response distortion. Contributors consider what it means to "fake" a personality assessment, why and how people try to obtain particular scores on personality tests, and what types of tests people can successfully manipulate. The authors present and discuss the usefulness of a range of traditional and cutting-edge methods for detecting and controlling the practice of faking. These methods include social desirability scales, (...) warnings, affective neutralization, unidimensional and multidimensional pairwise preferences, decision trees, linguistic analysis, situational measures, and methods based on item response theory. The wide range of viewpoints presented in this book are then summarized, synthesized, and evaluated. The authors make practical recommendations and suggest areas for future research. Anyone who wonders whether people exaggerate or lie outright on personality tests -- or questions what psychologists can and should do about it -- will find in this book stimulating questions and useful answers. (shrink)

In [6] Messmer and Wood proved quantifier elimination for separably closed fields of finite Ershov invariant e equipped with a (certain) Hasse derivation. We propose a variant of their theory, using a sequence of e commuting Hasse derivations. In contrast to [6] our Hasse derivations are iterative.

We give an exposition of Hrushovskiʼs New Strongly Minimal Set : A strongly minimal theory which is not locally modular but does not interpret an infinite field. We give an exposition of his construction.

A first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. We show the equationality of the theory of proper extensions of algebraically closed fields and of the theory of separably closed fields of arbitrary imperfection degree.

The COVID-19 pandemic plunged economies into recessions and advancements in artificial intelligence create widespread automation of job tasks. A debate around how to address these challenges has moved the introduction of a universal basic income (UBI) center stage. However, existing UBI research mainly focuses on economic aspects and normative arguments but lacks an individual perspective that goes beyond examining the association between socio-demographic characteristics and UBI support. We add to this literature by investigating not only socio-demographic but also psychological predictors (...) of UBI acceptance in a multivariate analysis using a representative sample of the German working population collected in 2020 (N = 1986). Our results indicate that being more supportive of a UBI went along with being comparably younger, of East-German origin, and more in favor of equal living standards, as well as perceiving one’s economic situation to be worse and the threat of the corona-pandemic to be higher. (shrink)

After the Supreme Court overturned Roe in Dobbs v. Jackson Women’s Health Organization, legal commentators and bioethicists asked whether other constitutional rights were on the chopping block (Coh...

Let T1 and T2 be two countable strongly minimal theories with the DMP whose common theory is the theory of vector spaces over a fixed finite field. We show that T1 ∪ T2 has a strongly minimal completion.

For regular sets in Euclidean space, previous work has identified twelve ‘basic’ computability notions to which many previous notions considered in literature were shown to be equivalent. With respect to those basic notions we now investigate on the computability of natural operations on regular sets: union, intersection, complement, convex hull, image, and pre-image under suitable classes of functions. It turns out that only few of these notions are suitable in the sense of rendering all those operations uniformly computable.

We recently examined gene expression during Xenopus tadpole tail appendage regeneration and found that carbohydrate regulatory genes were dramatically altered during the regeneration process. In this essay, we speculate that these changes in gene expression play an essential role during regeneration by stimulating the anabolic pathways required for the reconstruction of a new appendage. We hypothesize that during regeneration, cells use leptin, slc2a3, proinsulin, g6pd, hif1α expression, receptor tyrosine kinase (RTK) signaling, and the production of reactive oxygen species (ROS) to (...) promote glucose entry into glycolysis and the pentose phosphate pathway (PPP), thus stimulating macromolecular biosynthesis. We suggest that this metabolic shift is integral to the appendage regeneration program and that the Xenopus model is a powerful experimental system to further explore this phenomenon.Also watch the Video Abstract. (shrink)

We apply Hrushovski-Fraïssé's amalgamation procedure to obtain a theory of fields of prime characteristic of Morley rank 2 equipped with a definable additive subgroup of rank 1.

When analyzing database query languages a roperty, of theories, the pseudo-finite homogeneity property, has been introduced and applied (cf. [3]). We show that a stable theory has the pseudo-finite homogeneity property just in case its expressive power for finite states is bounded. Moreover, we introduce the corresponding pseudo-finite saturation property and show that a theory fails to have the finite cover property if and only if it has the pseudo-finite saturation property.

Graphical AbstractIn article number 2000004 by Christian R. Voolstra and Maren Ziegler, microbiome flexibility, i.e., the potential for dynamic restructuring of the host microbiome, as a fast-response mechanism to environmental change is examined. How scales of microbiome flexibility may reflect different metaorganism adaptation mechanisms and future research directions are discussed. Adapting with microbial help may provide an alternate route to organismal adaptation that facilitates rapid responses. Art designer: Ivan Gromicho, King Abdullah University of Science and Technology (KAUST).

Fire setting is a significant problem for society, costing many human lives and causing great property damage. One important risk factor of fire setting observed in forensic samples is fire interest. However, less is known about the relationship of fire interest and fire setting to other variables such as personality traits in subclinical samples. In this study, we observed the relationship of potentially important personality traits with fire interest and fire setting in a sample of N = 222 students. In (...) addition to zero-order correlations, we calculated path models and a logistic regression including all predictor variables. From the Dark Tetrad, consisting of psychopathy, narcissism, Machiavellianism, and three facets of sadism, psychopathy, and physical sadism were found to be associated with fire interest and fire setting. Furthermore, vicarious sadism was associated with fire interest. The other Dark Tetrad traits and four sensation seeking facets did not substantially add to the predictions. This confirms the results of previous studies with clinical and forensic samples with psychopathy and sadism as relevant predictors for fire interest and fire setting. Our results also provide evidence for viewing sadism as the multidimensional construct discriminating between vicarious and other forms of sadism, for the distinction of psychopathy and Machiavellianism, and for the Dark Tetrad being linked to object related violence. (shrink)

Poly(ADP‐ribosyl)ation is a post‐translational modification occurring in the nucleus. The most abundant and best‐characterized enzyme catalyzing this reaction, poly(ADP‐ribose) polymerase 1 (PARP1), participates in fundamental nuclear events. The enzyme functions as molecular “nick sensor”. It binds with high affinity to DNA single‐strand breaks resulting in the initiation of its catalytic activity. Activated PARP1 promotes base excision repair. In addition, PARP1 modifies several transcription factors and thereby precludes their binding to DNA. We propose that a major function of PARP1 includes the (...) silencing of transcription preventing expression of damaged genes. Concomitant stimulation of DNA repair suggests that PARP1 acts as a switch between transcription and DNA repair. Another PARP‐type enzyme, tankyrase, is involved in the regulation of telomere elongation. Tankyrase modifies a telomere‐associated protein and thereby prevents it masking telomeric repeats providing access of telomerase for telomere elongation. Therefore, poly(ADP‐ribosyl)ation reactions may act as molecular switches in DNA metabolism. BioEssays 23:543–548, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

For the computability of subsets of real numbers, several reasonable notions have been suggested in the literature. We compare these notions in a systematic way by relating them to pairs of ‘basic’ ones. They turn out to coincide for full-dimensional convex sets; but on the more general class of regular sets, they reveal rather interesting ‘weaker/stronger’ relations. This is in contrast to single real numbers and vectors where all ‘reasonable’ notions coincide.