Near-Optimal Scheduling for LTL with Future Discounting

We study the search problem for optimal schedulers for the linear temporal logic (LTL) with future discounting. The logic, introduced by Almagor, Boker and Kupferman, is a quantitative variant of LTL in which an event in the far future has only discounted contribution to a truth value (that is a real number in the unit interval [0, 1]). The precise problem we study---it naturally arises e.g. in search for a scheduler that recovers from an internal error state as soon as possible---is the following: given a Kripke frame, a formula and a number in [0, 1] called a margin, find a path of the Kripke frame that is optimal with respect to the formula up to the prescribed margin (a truly optimal path may not exist). We present an algorithm for the problem; it works even in the extended setting with propositional quality operators, a setting where (threshold) model-checking is known to be undecidable

Racism and hate speech – A critique of Scanlon’s Contractual Theory

The First Amendment is an important value in American liberal polity. Under this value, racism, hate speech and offensive speech are protected speech. This article scrutinizes one of the clear representatives of the American liberal polity - Thomas Scanlon. The paper tracks the developments in his theory over the years. It is argued that Scanlon’s arguments downplay tangible harm that speech might inflict on its target victim audience. Scanlon’s distinction between participant interests, audience interests, and the interests of bystanders is put under close scrutiny. The article criticizes viewpoint neutrality and suggests a balancing approach, further arguing that democracy is required to develop protective mechanisms against harm-facilitating speech as well as profound offences. Both should be taken most seriously

Taxonomy and structure of the Romanian personality lexicon

We identified 1746 personality-relevant trait-adjectives in a Romanian dictionary, of which 412 were classified as descriptors of dispositions by 10 judges. Self-ratings were collected from 515 participants on those 412 adjectives, and the ratings were factored using principal components analysis. Solutions with different numbers of factors were analysed. The two- and three-factor solutions, respectively, confirmed the Big Two and Big Three of personality traits. A five-factor solution reflected the Big Five model with a fifth factor emphasising Rebelliousness versus Conventionality. The five-factor solution was related to the International Personality Item Pool-Big Five scales, and the highest correlations were indeed between the corresponding factors and scales. A six-factor solution was indicative of the six-factor model as expressed in the HEXACO model, yet with a weak Honesty-Humility factor. Additional analysis with self-ratings from 218 participants on marker-scales for the six-factor solution and on the six scales of the HEXACO did not produce a clear one-to-one correspondence between the two sets of scales, confirming indeed that the six-factor model was only partially found

Developing "personality" taxonomies: Metatheoretical and methodological rationales underlying selection approaches, methods of data generation and reduction principles

Taxonomic "personality" models are widely used in research and applied fields. This article applies the Transdisciplinary Philosophy-of-Science Paradigm for Research on Individuals (TPS-Paradigm) to scrutinise the three methodological steps that are required for developing comprehensive “personality” taxonomies: 1) the approaches used to select the phenomena and events to be studied, 2) the methods used to generate data about the selected phenomena and events and 3) the reduction principles used to extract the “most important” individual-specific variations for constructing “personality” taxonomies. Analyses of some currently popular taxonomies reveal frequent mismatches between the researchers’ explicit and implicit metatheories about “personality” and the abilities of previous methodologies to capture the particular kinds of phenomena toward which they are targeted. Serious deficiencies that preclude scientific quantifications are identified in standardised questionnaires, psychology’s established standard method of investigation. These mismatches and deficiencies derive from the lack of an explicit formulation and critical reflection on the philosophical and metatheoretical assumptions being made by scientists and from the established practice of radically matching the methodological tools to researchers’ preconceived ideas and to pre-existing statistical theories rather than to the particular phenomena and individuals under study. These findings raise serious doubts about the ability of previous taxonomies to appropriately and comprehensively reflect the phenomena towards which they are targeted and the structures of individual-specificity occurring in them. The article elaborates and illustrates with empirical examples methodological principles that allow researchers to appropriately meet the metatheoretical requirements and that are suitable for comprehensively exploring individuals’ “personality”

Conflicted Emotions Following Trust-based Interaction

We investigated whether 20 emotional states, reported by 170 participants after participating in a Trust game, were experienced in a patterned way predicted by the “Recalibrational Model” or Valence Models. According to the Recalibrational Model, new information about trust-based interaction outcomes triggers specific sets of emotions. Unlike Valence Models that predict reports of large sets of either positive or negative emotional states, the Recalibrational Model predicts the possibility of conflicted (concurrent positive and negative) emotional states. Consistent with the Recalibrational Model, we observed reports of conflicted emotional states activated after interactions where trust was demonstrated but trustworthiness was not. We discuss the implications of having conflicted goals and conflicted emotional states for both scientific and well-being pursuits

‘There is a Time to be Born and a Time to Die’ (Ecclesiastes 3:2a): Jewish Perspectives on Euthanasia

Reviewing the publications of prominent American rabbis who have (extensively) published on Jewish biomedical ethics, this article highlights Orthodox, Conservative and Reform opinions on a most pressing contemporary bioethical issue: euthanasia. Reviewing their opinions against the background of the halachic character of Jewish (biomedical) ethics, this article shows how from one traditional Jewish textual source diverse, even contradictory, opinions emerge through different interpretations. In this way, in the Jewish debate on euthanasia the specific methodology of Jewish (bio)ethical reasoning comes forward as well as a diversity of opinion within Judaism and its branches

The differences in thermal profiles between normal and leukemic cells exposed to anticancer drug evaluated by differential scanning calorimetry

Chronic lymphocytic leukemia (CLL) is a heterogenous disease with an imbalance between apoptosis and cell proliferation. Therefore, the main goal in CLL therapy is to induce apoptosis and effectively support this process in transformed B lymphocytes. In the current study, we have compared differential scanning calorimetry (DSC) profiles of nuclei isolated from CLL cells and normal mononuclear cells exposed to cladribine or fludarabine combined with mafosfamide (CM; FM), and additionally to CM combined with monoclonal antibody—rituximab (RCM) for 48 h, as well as in culture medium only (controls). Under current study, the mononuclear cells from peripheral blood (PBMCs) of healthy individuals have been included. The obtained results have shown the presence of thermal transition at 95 ± 5 °C in most of nuclear preparations (92.2 %) isolated from blood of CLL patients. This thermal characteristic parameter was changed after drug exposure, however, to a different extent. These thermal changes were accompanied by the decrease of cell viability, an elevation of apoptosis rate and the changes in expression/proteolysis of poly(ADP-ribose)polymerase-1—main marker of apoptosis. Importantly, in DSC profiles of nuclear preparations of PBMCs from blood of healthy donors exposed to investigated drug combinations and control CLL cells, the lack of such changes was observed. Our results confirmed that DSC technique complemented with other biological approaches could be helpful in tailoring therapy for CLL patients.Research was sponsored by Grant from the Polish National Science Centre (No. 2011/01/B/NZ/0102); Results of presented study were partially presented in oral presentation on 2nd Central and Eastern European Conference on Thermal Analysis and Calorimetry in Vilnius, Lithuania, 201