In this paper we study the properties of systems of bounded arithmetic capturing small complexity classes and state conditions sufficient for such systems to capture the corresponding complexity class tightly. Our class of systems of bounded arithmetic is the class of secondorder systems with comprehension axiom for a syntactically restricted class of formulas Φ ⊂ Σ 1 based on a logic in the de...

Sensory evaluation is used to measure consciousness, and primarily developed in experimental and mathematical psychology. Sensory experiences can be reported using verbal (semantic) methods. This paper presents an overview of our semantic research achievements over the past decade, focusing on methodological attempts for substantiating the measure as a descriptive sensory analysis. Two types of...

Ehrenfeucht-Fraı̈ssé games and their generalizations have been quite successful in finite model theory and yield various inexpressibility results. However, for key problems such as P 6= NP or NP 6= co-NP no progress has been achieved using the games. We show that for these problems it is already hard to get the board for the corresponding Ehrenfeucht-Fraı̈ssé game. We obtain similar results for t...

Descriptive k-Means natomiast ekstrakcj˛ e fraz cz˛ estych, frazy nominalne oraz grupowanie przy pomocy algorytmu k-Means (k-´ srednich). W pracy przedstawiono eksperymenty obliczeniowe dla obu algorytmów. Wyniki eksperymentów porównuj ˛ a jako´s´c grupowania (rozumian ˛ a jako sposób odtworzenia znanego przydziału dokumentów do grup) przy u˙ zyciu Lingo oraz Descriptive k-Means, z ich najbli˙ ...

Descriptive document clustering aims to automatically discover groups of semantically related documents and to assign a meaningful label to characterise the content of each cluster. In this paper, we present a descriptive clustering approach that employs a distributed representation model, namely the paragraph vector model, to capture semantic similarities between documents and phrases. The pro...

The general view of descriptive research as a lower level form of inquiry has influenced some researchers conducting qualitative research to claim methods they are really not using and not to claim the method they are using: namely, qualitative description. Qualitative descriptive studies have as their goal a comprehensive summary of events in the everyday terms of those events. Researchers con...

We describe our development and use of DescriptiveEnvironment (DE). This is a program to aid researchers in Finite Model Theory and students of logic to automatically generate examples, counterexamples of conjectures, reductions between problems, and visualizations of structures and queries. DescriptiveEnvironment is available for free use under an ISC license at http://www.cs.umass.edu/∼immerm...

The concept of hairpin structures in formal languages is motivated from the biocomputing and bioinformatics fields. Hairpin (-free) DNA structures have numerous applications to DNA computing and molecular genetics in general. A word is called hairpin-free if it cannot be written in the form , with certain additional conditions, for an involution (a function with the property that equals the ide...

This article presents WhatsApp as a means of data collection among vulnerable populations, reporting on study conducted in South Africa and Zimbabwe, to determine the terminology used for different genders sexually diverse individuals. 19 LGBTIQ+ individuals, recruited through modified snowballing technique, participated study. Using text-based information, interview questions information regar...