Alternation trading proofs are motivated by the goal of separating NP from complexity classes such as Logspace or NL; they have been used to give super-linear runtime bounds for deterministic and conondeterministic sublinear space algorithms which solve the Satisfiability problem. For algorithms which use n space, alternation trading proofs can show that deterministic algorithms for Satisfiabil...

Multiphoton ionization of thymine and uracil clusters generated by a supersonic molecular beam gave rise to a remarkable alternation of mass spectral intensities between even- and odd-numbered clusters. Such alternation was observed in clusters of up to 30 molecules. Excitation to the two lowest electronically excited states seemed to be a strong prerequisite. In view of the well known photodim...

The anterior thalamic nuclei (ATN) are important for learning and memory as damage to this region produces a persistent amnestic syndrome. Dense connections between the ATN and the hippocampus exist, and importantly, damage to the ATN can impair hippocampal functioning. Acetylcholine (ACh) is a key neurotransmitter in the hippocampus, and in vivo measures of ACh are correlated to learning and m...

In the area of workflow management, one is confronted with a large number of competing languages and the relations between them (e.g. relative expressiveness) are usually not clear. Moreover, even within the same language it is generally possible to express the same workflow in different ways, a feature known as variability. This paper aims at providing some of the formal groundwork for studyin...

Canadian Raising is the best-known of a diverse class of English allophonic height alternations in /ai/ conditioned by coda voicing. The alternations have been independently re-innovated and show a systematic typology: The voiceless environment selects the higher allophone. We hypothesize that the phonetic basis of the asymmetry is the tendency for diphthongs to assimilate to their nuclei befor...

This study was designed to investigate the potential effects of medial mammillary nucleus (MMn) lesions on spontaneous alternation behavior in rats. Behavioral measurements were made in a water T maze in which the side arms were not differentially reinforced. Spontaneous alternation was tested before and after surgery alone. In both experiments, volumetric estimates of the MMn lesion were made ...

Target identification plays a crucial role in web based question answering. But still current approaches are not matured enough to extract the exact target of any given question and therefore leads the system to low precision. To address this gap in the current researches we propose thematic role based methodology to extract the target type of the question. Proposed solution is fully wrapped in...

It is rare for a language to be able to use noun class markers in the nominal domain to categorise entities, and at the same time, use these same linguistic markers to categorise events from the verbal domain. Such a system can be found in Eegimaa and some other related Atlantic languages spoken in the Basse-Casamance area of Southern Senegal, where non-finite verbs and the events they refer to...

Our paper reports an attempt to apply an unsupervised clustering algorithm to a Hungarian treebank in order to obtain semantic verb classes. Starting from the hypothesis that semantic metapredicates underlie verbs’ syntactic realization, we investigate how one can obtain semantically motivated verb classes by automatic means. The 150 most frequent Hungarian verbs were clustered on the basis of ...