Search results for "Model theory"
showing 10 items of 681 documents
Photometric variability of the Be star CoRoT-ID 102761769
2010
Classical Be stars are rapid rotators of spectral type late O to early A and luminosity class V-III, wich exhibit Balmer emission lines and often a near infrared excess originating in an equatorially concentrated circumstellar envelope, both produced by sporadic mass ejection episodes. The causes of the abnormal mass loss (the so-called Be phenomenon) are as yet unknown. For the first time, we can now study in detail Be stars outside the Earth's atmosphere with sufficient temporal resolution. We investigate the variability of the Be Star CoRoT-ID 102761769 observed with the CoRoT satellite in the exoplanet field during the initial run. One low-resolution spectrum of the star was obtained wi…
Darboux integrable system with a triple point and pseudo-abelian integrals
2016
We study pseudo-abelian integrals associated with polynomial perturbations of Dar-boux integrable system with a triple point. Under some assumptions we prove the local boundedness of the number of their zeros. Assuming that this is the only non-genericity, we prove that the number of zeros of the corresponding pseudo-abelian integrals is bounded uniformly for nearby Darboux integrable foliations.
A singular elliptic equation and a related functional
2021
We study a class of Dirichlet boundary value problems whose prototype is [see formula in PDF] where 0 < p < 1 and f belongs to a suitable Lebesgue space. The main features of this problem are the presence of a singular term |u|p−2u and a datum f which possibly changes its sign. We introduce a notion of solution in this singular setting and we prove an existence result for such a solution. The motivation of our notion of solution to problem above is due to a minimization problem for a non–differentiable functional on [see formula in PDF] whose formal Euler–Lagrange equation is an equation of that type. For nonnegative solutions a uniqueness result is obtained.
Remarks on GRN-type systems
2020
Systems of ordinary differential equations that appear in gene regulatory networks theory are considered. We are focused on asymptotical behavior of solutions. There are stable critical points as well as attractive periodic solutions in two-dimensional and three-dimensional systems. Instead of considering multiple parameters (10 in a two-dimensional system) we focus on typical behaviors of nullclines. Conclusions about possible attractors are made.
KnotGenome: a server to analyze entanglements of chromosomes.
2018
Abstract The KnotGenome server enables the topological analysis of chromosome model data using three-dimensional coordinate files of chromosomes as input. In particular, it detects prime and composite knots in single chromosomes, and links between chromosomes. The knotting complexity of the chromosome is presented in the form of a matrix diagram that reveals the knot type of the entire polynucleotide chain and of each of its subchains. Links are determined by means of the Gaussian linking integral and the HOMFLY-PT polynomial. Entangled chromosomes are presented graphically in an intuitive way. It is also possible to relax structure with short molecular dynamics runs before the analysis. Kn…
Erratum
2016
Author(s): Klionsky, DJ; Abdelmohsen, K; Abe, A; Abedin, MJ; Abeliovich, H; Arozena, AA; Adachi, H; Adams, CM; Adams, PD; Adeli, K; Adhihetty, PJ; Adler, SG; Agam, G; Agarwal, R; Aghi, MK; Agnello, M; Agostinis, P; Aguilar, PV; Aguirre-Ghiso, J; Airoldi, EM; Ait-Si-Ali, S; Akematsu, T; Akporiaye, ET; Al-Rubeai, M; Albaiceta, GM; Albanese, C; Albani, D; Albert, ML; Aldudo, J; Algul, H; Alirezaei, M; Alloza, I; Almasan, A; Almonte-Beceril, M; Alnemri, ES; Alonso, C; Altan-Bonnet, N; Altieri, DC; Alvarez, S; Alvarez-Erviti, L; Alves, S; Amadoro, G; Amano, A; Amantini, C; Ambrosio, S; Amelio, I; Amer, AO; Amessou, M; Amon, A; An, Z; Anania, FA; Andersen, SU; Andley, UP; Andreadi, CK; Andrieu-Ab…
The intrinsic combinatorial organization and information theoretic content of a sequence are correlated to the DNA encoded nucleosome organization of…
2015
Abstract Motivation: Thanks to research spanning nearly 30 years, two major models have emerged that account for nucleosome organization in chromatin: statistical and sequence specific. The first is based on elegant, easy to compute, closed-form mathematical formulas that make no assumptions of the physical and chemical properties of the underlying DNA sequence. Moreover, they need no training on the data for their computation. The latter is based on some sequence regularities but, as opposed to the statistical model, it lacks the same type of closed-form formulas that, in this case, should be based on the DNA sequence only. Results: We contribute to close this important methodological gap …
An Efficient Cooperative Smearing Technique for Degraded Historical Documents Images Segmentation
2020
Segmentation is one of the critical steps in historical document image analysis systems that determines the quality of the search, understanding, recognition and interpretation processes. It allows isolating the objects to be considered and separating the regions of interest (paragraphs, lines, words and characters) from other entities (figures, graphs, tables, etc.). This stage follows the thresholding, which aims to improve the quality of the document and to extract its background from its foreground, also for detecting and correcting the skew that leads to redress the document. Here, a hybrid method is proposed in order to locate words and characters in both handwritten and printed docu…
Generating incremental type services
2019
In this vision paper, we propose a method for generating fully functional incremental type services from declarations of type rules. Our general strategy is to translate type rules into Datalog, for which efficient incremental solvers are already available. However, many aspects of type rules don't naturally translate to Datalog and need non-trivial translation. We demonstrate that such translation may be feasible by outlining the translation rules needed for a language with typing contexts (name binding) and bidirectional type rules (local type inference). We envision that even rich type systems of DSLs can be incrementalized by translation to Datalog in the future.
A continuous time tug-of-war game for parabolic $p(x,t)$-Laplace type equations
2019
We formulate a stochastic differential game in continuous time that represents the unique viscosity solution to a terminal value problem for a parabolic partial differential equation involving the normalized $p(x,t)$-Laplace operator. Our game is formulated in a way that covers the full range $1<p(x,t)<\infty$. Furthermore, we prove the uniqueness of viscosity solutions to our equation in the whole space under suitable assumptions.