In 1957, Chandler Davis proved that unitarily invariant convex functions on the space of hermitian matrices are precisely those which are convex and symmetrically invariant on the set of diagonal matrices. We give a simple perturbation theoretic proof of this result. (Davis’ argument was also very short, though based on completely different ideas). Consider an orthogonally invariant function f ...

Argument maps as schematic representations of arguments and their logical and evidential relationships are effective diagrams for instruction in education as well as in L2 development. However, their use for teaching L2 writing in EFL contexts has not been adequately studied. Therefore, this study investigated the effect of argument mapping instruction on Iranian EFL learners’ writing achieveme...

Two things are striking about this medieval definition. The first is that it is very close to the modern conception of formal consequence one finds in Bolzano and Tarski3. The second is that although Buridan and the other fourteenth-century logicians state these distinctions with a great deal of precision, they say almost nothing about the point of the distinctions. Why are these distinctions d...

We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by homotopy equivalent maps. The main result of this article is to show that for a principal fibre bundle over a paracompact manifold, there is a principal fibre bundle isomorphism between pull-backs obtained from homot...

This paper develops a probabilistic reconstruction of the No Miracles Argument (NMA) in the debate between scientific realists and anti-realists. The goal of the paper is to clarify and to sharpen the NMA by means of a probabilistic formalization. In particular, I demonstrate that the persuasive force of the NMA depends on the particular disciplinary context where it is applied, and the stabili...

This paper introduces AIFdb Corpora, an addition to AIFdb for collecting and presenting sets of AIF argument maps. AIFdb Corpora allows any user to create a corpus and share the contents.

Two transformations between the complex space and 2dimensional Euclidean topological space are defined. By them, the concept of argument is induced to 2-dimensional vectors using argument of complex number. Similarly, the concept of an angle is introduced using the angle of two complex numbers. The concept of a triangle and related concepts are also defined in n-dimensional Euclidean topologica...

Systems of linear differential equations with constant coefficients, as well as Lotka–Volterra equations, with delays in the off–diagonal terms are considered. Such systems are shown to be asymptotically stable for any choice of delays if and only if the matrix has a negative weakly dominant diagonal.

buildings with wall or frame-wall systems are more effective against earthquake forces and sustain less damage than buildings which their lateral resistance is solely depends on frames. four reinforced concrete (rc) structural wall specimens were subjected to cyclic loading using finite elements method with abaqus software in order to study influence of diagonal web reinforcement. the research ...

Credence products are those whose quality is difficult or impossible for consumers to assess, even after consuming the product (Darby & Karni, 1973). For example, it is difficult to assess the technical skill and knowledge of a physician even after a visit. This research is focused on the content, structure and consumer perceptions of online reviews for credence services. We start by examining ...