Party politics in the former Soviet Union is fundamentally different from party politics in Western democracies in many ways. Since 1991, two crucial aspects of party politics in the less-than-democratic former Soviet republics have been the impact of authoritarian practices on party politics and the volatile nature of party politics. Starting with the observation that the creation and operatio...

We propose a proof-theoretical way of obtaining detailed and precise information on conceptual hierarchies. The notion of concept finding proof, which represents a hierarchy of concepts, is introduced based on a substructural logic with mingle and strong negation. Mingle, which is a structural inference rule, is used to represent a process for finding a more general (or specific) concept than s...

For a general logic program, a set of n+ 1 logic values is considered and an unde ned value denoted u. Partial multi-valued interpretations are also de ned. A general logic program P may contain the constants that are de ned for every logic value. A pseudo-negation denoted eh is de ned for every integer h, where 0 h < n. A partial ordering denoted h is de ned between multi-valued interpretation...

We prove that the Fourier dimension of any Boolean function with Fourier sparsity s is at most O ( s ) . Our proof method yields an improved bound of Õ( √ s) assuming a conjecture of Tsang et. al. [TWXZ13], that for every Boolean function of sparsity s there is an affine subspace of F2 of co-dimension O(poly log s) restricted to which the function is constant. This conjectured bound is tight up...

Araştırmanın genel amacı; ilköğretim 4. ve 5. sınıf Fen Bilimleri dersinde araştırmaya dayalı öğrenme yaklaşımı modellerinden rehberli keşfetme modeli ile geleneksel öğretim yaklaşımına göre işlenen dersin, görme yetersizliği olan öğrencilerin fen dersine ilişkin tutumları arasında anlamlı bir farklılık olup olmadığının belirlenmesidir. Araştırmada deneysel araştırma desenlerinden çok denekli d...

Recent research in membrane computing examines and confirms the anticipated modelling potential of kernel P systems in several case studies. On the one hand, this computational model is destined to be an abstract archetype which advocates the unity and integrity of P systems onto a single formalism. On the other hand, this envisaged convergence is conceived at the expense of a vast set of primi...