Search results for "termini"
showing 10 items of 365 documents
A description based on languages of the final non-deterministic automaton
2014
The study of the behaviour of non-deterministic automata has traditionally focused on the languages which can be associated to the different states. Under this interpretation, the different branches that can be taken at every step are ignored. However, we can also take into account the different decisions which can be made at every state, that is, the branches that can be taken, and these decisions might change the possible future behaviour. In this case, the behaviour of the automata can be described with the help of the concept of bisimilarity. This is the kind of description that is usually obtained when the automata are regarded as labelled transition systems or coalgebras. Contrarily t…
Complexity of operations on cofinite languages
2010
International audience; We study the worst case complexity of regular operation on cofinite languages (i.e., languages whose complement is finite) and provide algorithms to compute efficiently the resulting minimal automata.
Real-Time Vector Automata
2013
We study the computational power of real-time finite automata that have been augmented with a vector of dimension k, and programmed to multiply this vector at each step by an appropriately selected k×k matrix. Only one entry of the vector can be tested for equality to 1 at any time. Classes of languages recognized by deterministic, nondeterministic, and "blind" versions of these machines are studied and compared with each other, and the associated classes for multicounter automata, automata with multiplication, and generalized finite automata.
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations
2009
We show that every finitely satisfiable two-variable first-order formula with two equivalence relations has a model of size at most triply exponential with respect to its length. Thus the finite satisfiability problem for two-variable logic over the class of structures with two equivalence relations is decidable in nondeterministic triply exponential time. We also show that replacing one of the equivalence relations in the considered class of structures by a relation which is only required to be transitive leads to undecidability. This sharpens the earlier result that two-variable logic is undecidable over the class of structures with two transitive relations.
Active Learning of Recursive Functions by Ultrametric Algorithms
2014
We study active learning of classes of recursive functions by asking value queries about the target function f, where f is from the target class. That is, the query is a natural number x, and the answer to the query is f(x). The complexity measure in this paper is the worst-case number of queries asked. We prove that for some classes of recursive functions ultrametric active learning algorithms can achieve the learning goal by asking significantly fewer queries than deterministic, probabilistic, and even nondeterministic active learning algorithms. This is the first ever example of a problem where ultrametric algorithms have advantages over nondeterministic algorithms.
Molecular, Biological and Structural Features of V
2018
Microtubules are important drug targets in tumor cells, owing to their role in supporting and determining the cell shape, organelle movement and cell division. The complementarity-determining regions (CDRs) of immunoglobulins have been reported to be a source of anti-tumor peptide sequences, independently of the original antibody specificity for a given antigen. We found that, the anti-Lewis B mAb light-chain CDR1 synthetic peptide Rb44, interacted with microtubules and induced depolymerization, with subsequent degradation of actin filaments, leading to depolarization of mitochondrial membrane-potential, increase of ROS, cell cycle arrest at G2/M, cleavage of caspase-9, caspase-3 and PARP, …
A Wideband One-Ring MIMO Channel Model Under Non-Isotropic Scattering Conditions
2008
In this paper, we present a wideband one-ring multiple-input multiple-output (MIMO) channel model for non-isotropic scattering environments. The model is designed in such a way that the delay power spectral density (PSD) of the resulting reference channel model is identical to a given delay PSD. Furthermore, we present an efficient deterministic channel simulation model obtained by using the principle of deterministic channel modeling. The statistical properties of both the reference model and the simulation model are also studied. Analytical expressions will be presented for the temporal autocorrelation function (ACF), the two-dimensional (2D) space cross-correlation function (CCF), and th…
The use of two-diode substitute model in predicting the efficiency of PV conversion in low solar conditions
2017
The article presents theoretical foundations of a two-diode equivalent model of a photovoltaic cell/module (PV), together with calculation procedures. A physical interpretation of individual components of an equivalent model was presented. Its practical application in predicting efficiency of operation of various PV cells and modules in low insulation conditions was demonstrated. The obtained predictions were verified with the actual results of their operation in open space (outdoor). The practical suitability of the “model” in early detection of ageing phenomena, such as, for example, absorber degradation taking place in PV modules, was demonstrated. The article was prepared on the basis o…
Parent of origin effects in attention/deficit hyperactivity disorder (ADHD): analysis of data from the international multicenter ADHD genetics (IMAGE…
2008
Contains fulltext : 71540.pdf (Publisher’s version ) (Closed access) There are conflicting reports suggesting that the parental origin of transmitted risk alleles may play a role in the etiology of attention deficit/hyperactivity disorder (ADHD). A recent report by Hawi and colleagues observed a generalized paternal over-transmission of alleles associated with ADHD. This was not replicated in more recent studies. Using data from a large multicenter study we examined the overall and gene-specific parent of origin effect in 554 independent SNPs across 47 genes. Transmission disequilibrium and explicit parent of origin test were performed using PLINK. Overall parent of origin effect was tested…
Dehydration of mildronate dihydrate: a study of structural transformations and kinetics
2014
The dehydration of mildronate dihydrate (3-(1,1,1-trimethylhydrazin-1-ium-2-yl)propionate dihydrate) was investigated by powder X-ray diffraction, thermal analysis, hot-stage microscopy, water sorption–desorption studies and dehydration kinetic studies. It was determined that mildronate dihydrate dehydrated in a single step, directly transforming into the anhydrous form. In order to understand the reasons for a one step dehydration mechanism, crystal structures of dihydrate, monohydrate and anhydrous forms were compared, proving the similarity of the dihydrate and anhydrous forms. In order to understand the reasons for molecule reorganization during dehydration, the energy of the anhydrous …