SEPARATING REGULAR LANGUAGES WITH TWO QUANTIFIER ALTERNATIONS

Separating regular languages with two quantifier alternations

We investigate a famous decision problem in automata theory: separation.Given a class of language C, the separation problem for C takes as input two regular languages and asks whether there exists a third one which belongs to C, includes the first one and is disjoint from the second.Typically, obtaining an algorithm for separation yields a deep und

read more

Scrutinizing the feasibility of macroscopic quantum coherence in the brain: a field-theoretical model of cortical dynamics

The neural activity patterns associated with advanced cognitive processes are characterized by a high degree of collective organization, which raises the question of whether macroscopic quantum phenomena play a significant role in cortical dynamics.In order to pursue this question and scrutinize the feasibility of macroscopic quantum coherence in t

read more


Evaluation of a Native Preparation of HCV Core Protein (2-122) For Potential Applications in Immunization, Diagnosis and Mab Production

Infection with hepatitis C virus (HCV) is a worldwide problem.Among HCV proteins, core antigen (Ag), besides its importance for diagnostic application is a prime candidate for component of a vaccine.Herein, we report results of studies on production of the hydrophilic domain of core Ag (2-122) in native conformation by an arabinose induction system

read more

Distributed Cooperative Sliding Mode Fault-Tolerant Control for Multiple High-Speed Trains Based on Actor-Critic Neural Network

This article investigates the cooperative fault-tolerant control problem for multiple high-speed trains (MHSTs) with actuator faults and communication delays.Based on the actor-critic neural network, a distributed sliding mode fault-tolerant controller is designed for MHSTs to solve the problem of actuator faults.To eliminate the negative effects o

read more