Both historians and scientists campaign under the banner of objectivity in the academic search for truths. Their paths seldom cross-historians look back, scientists look in-but, in recent years, historians of science have begun to make quite a stir, questioning whether the scientific claim to objectivity has a basis in historical reality. Peter J. Bowler operates from such a premise in this sho...

range of the weight function on F is innnite. Nevertheless, we conjecture: Conjecture 2. On graphs of tree width at most k the frame polynomials can be computed in polynomial time. It is not yet clear how the newly introduced interlace polynomials of Arratia, Bollobb as and Sorkin ABS] t into our framework. For for graphs representing link diagrams the are also computable from the Kauuman brack...

We show that any symmetric, Baire measurable function from the complement of E0 to a finite set is constant on an E0-nonsmooth square. A simultaneous generalization of Galvin’s theorem that Baire measurable colorings admit perfect homogeneous sets and the Kanovei-Zapletal theorem canonizing Borel equivalence relations on E0-nonsmooth sets, this result is proved by relating E0-nonsmooth sets to ...

1 Motivation Implementations of logic programming languages have terms as their main data type. But often it may be useful and more natural to represent objects by sets instead of simple terms. General agreement exists about the usefulness of sets as very high-level representations of complex data structures. In particular, sets can be used conveniently in rapid software prototyp-ing. Therefore...

In this paper we propose DeROT, a method for in-plane derotation of depth images using a deep convolutional neural network. The method is aimed at normalizing out the effects of rotation on highly articulated motion of deforming geometric surfaces such as hands. To support our approach we also describe a new pipeline for building a very large training database using high accuracy magnetic annot...

We present two different types of models where, for certain singular cardinals λ of uncountable cofinality, λ → (λ, ω + 1) 2 , although λ is not a strong limit cardinal. We announce, here, and will present in a subsequent paper, [7], that, for example, consistently, ℵω 1 → (ℵω 1 , ω + 1) 2 and consistently, 2 ℵ 0 → (2 ℵ 0 , ω + 1) 2. §0. INTRODUCTION. For regular uncountable κ, the Erdös-Dushni...

The order type of a point set in Rd maps a (d+1)-tuple of points to its orientation (e.g., clockwise or counterclockwise in R2). Two point sets X and Y have the same order type if there exists a mapping f from X to Y for which every (d+1)-tuple (a1, a2, . . . , ad+1) of X and the corresponding tuple (f(a1), f(a2), . . . , f(ad+1)) in Y have the same orientation. In this paper we investigate the...

Descriptive complexity theory is the area of theoretical computer science that is concerned with the abstract characterization of computations by means of mathematical logics. It shares the approach of complexity theory to classify problems on the basis of the resources that are needed to solve them. Instead of computational resources, however, descriptive complexity theory considers the expres...

In 2013, I was asked by the weekly Die Zeit to record a lecture series about world literature, focusing on works of authors who received Nobel Prize (www.zeitakademie.de/seminare/die-schoenen-kuenste/weltliteratur/). The recording raised number unanswered questions, which four years later sought answer in my book Eine Weltgeschichte der deutschsprachigen Literatur, trying show that processes ca...

As late as 1946, the ethics of both bedside medicine and bio-medical research were something physicians and scientists sorted out for themselves, or, at least, amongst themselves. Fifty years later, biomedical ethics was neither private, nor restricted to clinicians and scientists. It was a well-publicized field dominated by scholars trained in the humanities, law, and social science (including...