Search results for "Regular"
showing 10 items of 855 documents
DNA barcoding reveals different cestode helminth species in northern European marine and freshwater ringed seals
2021
Three subspecies of the ringed seal (Pusa hispida) are found in northeastern Europe: P. h. botnica in the Baltic Sea, P. h saimensis in Lake Saimaa in Finland, and P. h. ladogensis in Lake Ladoga in Russia. We investigated the poorly-known cestode helminth communities of these closely related but ecologically divergent subspecies using COI barcode data. Our results show that, while cestodes from the Baltic Sea represent Schistocephalus solidus, all worms from the two lakes are identified as Ligula intestinalis, a species that has previously not been reported from seals. The observed shift in cestode communities appears to be driven by differential availability of intermediate fish host spec…
Structural, magnetic and calorimetric studies of a crystalline phase of the spin crossover compound [Fe(tzpy)2(NCSe)2]
2013
The compound [Fe(tzpy)2(NCSe)2] (tzpy = 3-(2-pyridyl)-[1,2,3]triazolo[1,5-a]pyridine)) has been synthesized and its crystal structure, magnetic behavior and calorimetric properties investigated. Samples constituted of single crystals of [Fe(tzpy)2(NCSe) 2] display a relatively cooperative spin-state change centered at T1/2 ¿ 251.7 K with a hysteresis loop 3.5 K wide. The average enthalpy (¿H) and entropy (¿S) changes upon the spin crossover behavior (SCO) obtained from DSC measurements are 11.1 ± 0.4 kJ mol -1 and 44.5 ± 3 J K-1 mol-1, respectively. The magnetic and calorimetric data have been satisfactorily simulated using the mean-field regular solution model (Slichter-Drickamer) and the …
Age at First Episode Modulates Diagnosis-Related Structural Brain Abnormalities in Psychosis.
2016
Brain volume and thickness abnormalities have been reported in first-episode psychosis (FEP). However, it is unclear if and how they are modulated by brain developmental stage (and, therefore, by age at FEP as a proxy). This is a multicenter cross-sectional case-control brain magnetic resonance imaging (MRI) study. Patients with FEP (n = 196), 65.3% males, with a wide age at FEP span (12-35 y), and healthy controls (HC) (n = 157), matched for age, sex, and handedness, were scanned at 6 sites. Gray matter volume and thickness measurements were generated for several brain regions using FreeSurfer software. The nonlinear relationship between age at scan (a proxy for age at FEP in patients) and…
Debates with Small Transparent Quantum Verifiers
2014
We study a model where two opposing provers debate over the membership status of a given string in a language, trying to convince a weak verifier whose coins are visible to all. We show that the incorporation of just two qubits to an otherwise classical constant-space verifier raises the class of debatable languages from at most NP to the collection of all Turing-decidable languages (recursive languages). When the verifier is further constrained to make the correct decision with probability 1, the corresponding class goes up from the regular languages up to at least E.
The expressive power of the shuffle product
2010
International audience; There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious operation on regular languages.Antonio Restivo proposed as a challenge to characterize the smallest class of languages containing the singletons and closed under Boolean operations, product and shuffle. This problem is still widely open, but we present some partial results on it. We also study some other smaller classes, including the smallest class containing the languages composed of a single word of length 2 which is closed under Boolean operations and shuffle by a letter (resp. shuffle by a l…
Noise-tolerant efficient inductive synthesis of regular expressions from good examples
1997
We present an almost linear time method of inductive synthesis restoring simple regular expressions from one representative (good) example. In particular, we consider synthesis of expressions of star-height one, where we allow one union operation under each iteration, and synthesis of expressions without union operations from examples that may contain mistakes. In both cases we provide sufficient conditions defining precisely the class of target expressions and the notion of good examples under which the synthesis algorithm works correctly, and present the proof of correctness. In the case of expressions with unions the proof is based on novel results in the combinatorics of words. A genera…
A two-phase problem with Robin conditions on the free boundary
2020
We study for the first time a two-phase free boundary problem in which the solution satisfies a Robin boundary condition. We consider the case in which the solution is continuous across the free boundary and we prove an existence and a regularity result for minimizers of the associated variational problem. Finally, in the appendix, we give an example of a class of Steiner symmetric minimizers. peerReviewed
On a class of languages with holonomic generating functions
2017
We define a class of languages (RCM) obtained by considering Regular languages, linear Constraints on the number of occurrences of symbols and Morphisms. The class RCM presents some interesting closure properties, and contains languages with holonomic generating functions. As a matter of fact, RCM is related to one-way 1-reversal bounded k-counter machines and also to Parikh automata on letters. Indeed, RCM is contained in L-NFCM but not in L-DFCM, and strictly includes L-CPA. We conjecture that L-DFCM subset of RCM
Model approximation for two-dimensional Markovian jump systems with state-delays and imperfect mode information
2014
Published version of an article in the journal: Multidimensional Systems and Signal Processing. Also available from the publisher at: http://dx.doi.org/10.1007/s11045-013-0276-x This paper is concerned with the problem of {Mathematical expression} model approximation for a class of two-dimensional (2-D) discrete-time Markovian jump linear systems with state-delays and imperfect mode information. The 2-D system is described by the well-known Fornasini-Marchesini local state-space model, and the imperfect mode information in the Markov chain simultaneously involves the exactly known, partially unknown and uncertain transition probabilities. By using the characteristics of the transition proba…
Relaxation for a Class of Control Systems with Unilateral Constraints
2019
We consider a nonlinear control system involving a maximal monotone map and with a priori feedback. We assume that the control constraint multifunction $U(t,x)$ is nonconvex valued and only lsc in the $x \in \mathbb{R}^{N}$ variable. Using the Q-regularization (in the sense of Cesari) of $U(t,\cdot )$, we introduce a relaxed system. We show that this relaxation process is admissible.