Minimization of Incompletely Specified Sequential Machines

A simple yet efficient method for the minimization of incompletely specified sequential machines (ISSMs) is proposed. Precise theorems are developed, as a consequence of which several compatibles can be deleted from consideration at the very first stage in the search for a minimal closed cover. Thus, the computational work is significantly reduced. Initial cardinality of the minimal closed cover is further reduced by a consideration of the maximal compatibles (MC's) only; as a result the method converges to the solution faster than the existing procedures. "Rank" of a compatible is defined. It is shown that ordering the compatibles, in accordance with their rank, reduces the number of comparisons to be made in the search for exclusion of compatibles. The new method is simple, systematic, and programmable. It does not involve any heuristics or intuitive procedures. For small- and medium-sized machines, it canle used for hand computation as well. For one of the illustrative examples used in this paper, 30 out of 40 compatibles can be ignored in accordance with the proposed rules and the remaining 10 compatibles only need be considered for obtaining a minimal solution.

Constructing Ethical Patterns in Times of Globalization : Hans Küng's Global Ethic Project and Beyond

The purpose of this study is to evaluate contemporary philosophical models for global ethics in light of the Catholic theologian Hans Küng s Global Ethic Project (Projekt Weltethos). Küng s project starts with the motto, No survival without world ethos. No global peace without peace between religions. I will use the philosophically multidimensional potential of Projekt Weltethos in terms of its possible philosophical interpretations to evaluate the general discussion of global ethics within political philosophy today. This is important in its own right, but also because through it, opportunities will emerge to articulate Küng s relatively general argument in a way that leaves less room for mutually contradictory concretizations of what global ethics ultimately should be like. The most important question in this study is the problem of religious and ideological exclusivism and its relation to the ethically consistent articulation of global ethics. I will first explore the question of the role of religion as the basis for ethics in general and what Küng may mean by his claim that only the unconditional can oblige unconditionally. I will reconstruct two different overall philosophical interpretations of the relationship between religious faith and human rationality, each having two different sub-divisions: a liberal interpretation amounts to either a Kantian-Scheiermacherian or a Jaspersian view, whereas what I call postliberal interpretation amounts to either an Aristotelian-Thomistic or an Augustinian view. Thereafter, I will further clarify how Küng views the nature of ethics beyond the question of its principal foundation in religious faith: Küng searches for a middle way between consequentialist and non-consequentialist ethics, a way in which the latter dimension has the final stake. I will then set out to concretize further this more or less general notion of the theoretical potential of Projekt Weltethos in terms of certain precise philosophico-political models. I categorize these models according to their liberal or postliberal orientation. The liberal concretization leads me to consider a wide spectrum of post-Kantian and post-Hegelian models from Rawls to Derrida, while the alternative concretization opens up my ultimate argument in favor of a postliberal type of modus vivendi. I will suggest that the only theoretically and practically plausible way to promote global ethics, in itself a major imperative today, is the recognition of a fundamental and necessary contest between mutually exclusive ideologies in the public sphere. On this basis I will proceed to my postliberal proposal, namely, that a constructive and peaceful encountering of exclusive difference as an ethical vantage point for an intercultural and inter-religious peace dialogue is the most acute challenge for global ethics today.

Optimal adaptive sequential spatial sampling of soil using pair-copulas

A spatial sampling design that uses pair-copulas is presented that aims to reduce prediction uncertainty by selecting additional sampling locations based on both the spatial configuration of existing locations and the values of the observations at those locations. The novelty of the approach arises in the use of pair-copulas to estimate uncertainty at unsampled locations. Spatial pair-copulas are able to more accurately capture spatial dependence compared to other types of spatial copula models. Additionally, unlike traditional kriging variance, uncertainty estimates from the pair-copula account for influence from measurement values and not just the configuration of observations. This feature is beneficial, for example, for more accurate identification of soil contamination zones where high contamination measurements are located near measurements of varying contamination. The proposed design methodology is applied to a soil contamination example from the Swiss Jura region. A partial redesign of the original sampling configuration demonstrates the potential of the proposed methodology.

Learning style and digital activity: An ecological study

In order to understand student engagement in higher education through the use of digital technologies, it is necessary to appreciate the broader use of differing technologies. Forty-eight first-year university students completed an online survey that queried patterns of digital activity across home, school and community contexts and that included rating scale items that measured learning style (i.e., active-reflective, sensing-intuitive, visual-verbal, sequential-global). Results suggest that students vary widely in digital activities and that such variation is related to differences in learning style. For example, active learners were more likely than reflective learners to engage in digital activities in the community and users of some specific application, as opposed to non-users, were more likely to be verbal than visual learners. Implications for instructional applications of digital technology in higher education are presented.

Patterns of support in an online community for smoking cessation

Social support offers various benefits for health and behaviour change. However, previous work has shown that individuals are typically reluctant to ask for support on social network sites, unless they can present a changed, healthier identity. To examine the relationship between stage of change and social support we conducted a thematic analysis of messages posted in a public Facebook support group for people trying to quit smoking. Our findings show that the kind of support exchanged online is related to participants' stage of change. Contrary to our expectations, supportive responses and leadership in the support group came mainly from users who just started their change process rather than people who had already changed. We discuss contributions to theories of online participation and impression management as well as implications for practitioners who seek to establish support groups.

State Minimization of Incompletely Specified Sequential Machines

A simple procedure for the state minimization of an incompletely specified sequential machine whose number of internal states is not very large is presented. It introduces the concept of a compatibility graph from which the set of maximal compatibles of the machine can be very conveniently derived. Primary and secondary implication trees associated with each maximal compatible are then constructed. The minimal state machine covering the incompletely specified machine is then obtained from these implication trees.

Inflammation-driven bone formation in a mouse model of ankylosing spondylitis: Sequential not parallel processes

Background Ankylosing spondylitis (AS) is an immune-mediated arthritis particularly targeting the spine and pelvis and is characterised by inflammation, osteoproliferation and frequently ankylosis. Current treatments that predominately target inflammatory pathways have disappointing efficacy in slowing disease progression. Thus, a better understanding of the causal association and pathological progression from inflammation to bone formation, particularly whether inflammation directly initiates osteoproliferation, is required. Methods The proteoglycan-induced spondylitis (PGISp) mouse model of AS was used to histopathologically map the progressive axial disease events, assess molecular changes during disease progression and define disease progression using unbiased clustering of semi-quantitative histology. PGISp mice were followed over a 24-week time course. Spinal disease was assessed using a novel semi-quantitative histological scoring system that independently evaluated the breadth of pathological features associated with PGISp axial disease, including inflammation, joint destruction and excessive tissue formation (osteoproliferation). Matrix components were identified using immunohistochemistry. Results Disease initiated with inflammation at the periphery of the intervertebral disc (IVD) adjacent to the longitudinal ligament, reminiscent of enthesitis, and was associated with upregulated tumor necrosis factor and metalloproteinases. After a lag phase, established inflammation was temporospatially associated with destruction of IVDs, cartilage and bone. At later time points, advanced disease was characterised by substantially reduced inflammation, excessive tissue formation and ectopic chondrocyte expansion. These distinct features differentiated affected mice into early, intermediate and advanced disease stages. Excessive tissue formation was observed in vertebral joints only if the IVD was destroyed as a consequence of the early inflammation. Ectopic excessive tissue was predominantly chondroidal with chondrocyte-like cells embedded within collagen type II- and X-rich matrix. This corresponded with upregulation of mRNA for cartilage markers Col2a1, sox9 and Comp. Osteophytes, though infrequent, were more prevalent in later disease. Conclusions The inflammation-driven IVD destruction was shown to be a prerequisite for axial disease progression to osteoproliferation in the PGISp mouse. Osteoproliferation led to vertebral body deformity and fusion but was never seen concurrent with persistent inflammation, suggesting a sequential process. The findings support that early intervention with anti-inflammatory therapies will be needed to limit destructive processes and consequently prevent progression of AS.

An annotated checklist of amphibian of India with some insights into the patterns of species discoveries, distribution and endemism

An annotated checklist of 284 species of amphibians of India accommodated under 50 genera and 14 families is provided. Synonyms, English names, type localities, deposition of type specimens, type specimen availability and distributional records in India and outside India are provided for all the species. Among the 284 species of amphibians from India, 132 are endemic to Western Ghats; 29 to Northeastern India; and 5 to Andaman Nicobar islands. Species discovery patterns from the various biogeographic zones in India are discussed in detail. Cumulative discovery pattern with special reference to the genera Fejervarya (17 species), Nyctibatrachus (16 species), Indirana (10 species), Micrixalus (11 species), Philautus (46 species) and Gegeneophis (10 species) are also discussed.

Mining topical relevant patterns for multi-document summarization

Multi-document summarization addressing the problem of information overload has been widely utilized in the various real-world applications. Most of existing approaches adopt term-based representation for documents which limit the performance of multi-document summarization systems. In this paper, we proposed a novel pattern-based topic model (PBTMSum) for the task of the multi-document summarization. PBTMSum combining pattern mining techniques with LDA topic modelling could generate discriminative and semantic rich representations for topics and documents so that the most representative and non-redundant sentences can be selected to form a succinct and informative summary. Extensive experiments are conducted on the data of document understanding conference (DUC) 2007. The results prove the effectiveness and efficiency of our proposed approach.

Joint evaluation of multiple speech patterns for speech recognition and training

We are addressing the novel problem of jointly evaluating multiple speech patterns for automatic speech recognition and training. We propose solutions based on both the non-parametric dynamic time warping (DTW) algorithm, and the parametric hidden Markov model (HMM). We show that a hybrid approach is quite effective for the application of noisy speech recognition. We extend the concept to HMM training wherein some patterns may be noisy or distorted. Utilizing the concept of ``virtual pattern'' developed for joint evaluation, we propose selective iterative training of HMMs. Evaluating these algorithms for burst/transient noisy speech and isolated word recognition, significant improvement in recognition accuracy is obtained using the new algorithms over those which do not utilize the joint evaluation strategy.