Estudo Geralhttps://estudogeral.sib.uc.ptThe DSpace digital repository system captures, stores, indexes, preserves, and distributes digital research material.Fri, 14 Aug 2020 15:26:22 GMT2020-08-14T15:26:22Z50731From hypersymplectic structures to compatible pairs of tensors on a lie algebroidhttp://hdl.handle.net/10316/44544Title: From hypersymplectic structures to compatible pairs of tensors on a lie algebroid
Authors: Antunes, Paulo; Nunes da Costa, Joana Margarida
Abstract: A hypersymplectic structure on a Lie algebroid determines several Poisson–Nijenhuis, ΩN and PΩ structures on that Lie algebroid. We show that these Poisson–Nijenhuis (respectively, ΩN, PΩ) structures on the Lie algebroid, are pairwise compatible.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/445442013-01-01T00:00:00ZThe monads of classical algebra are seldom weakly cartesianhttp://hdl.handle.net/10316/44482Title: The monads of classical algebra are seldom weakly cartesian
Authors: Clementino, Maria Manuel; Hofmann, Dirk; Janelidze, George
Abstract: This paper begins a systematic study of weakly cartesian properties of monads that determine familiar varieties of universal algebras. While these properties clearly fail to hold for groups, rings, and many other related classical algebraic structures, their analysis becomes non-trivial in the case of semimodules over semirings, to which our main results are devoted. In particular necessary and sufficient conditions on a semiring S, under which the free semimodule monad has: (a) its underlying functor weakly cartesian, (b) its unit a weakly cartesian natural transformation, (c) its multiplication a weakly cartesian natural transformation, are obtained.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/444822013-01-01T00:00:00ZFourier methods for smooth distribution function estimationhttp://hdl.handle.net/10316/43973Title: Fourier methods for smooth distribution function estimation
Authors: Chacón, José E.; Monfort, Pablo; Tenreiro, Carlos
Abstract: The limit behavior of the optimal bandwidth sequence for the kernel distribution function estimator is analyzed, in its greatest generality, by using Fourier transform methods. We show a class of distributions for which the kernel estimator achieves a first-order improvement in efficiency over the empirical estimator.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/439732014-01-01T00:00:00ZWell-Pointed Coalgebrashttp://hdl.handle.net/10316/43898Title: Well-Pointed Coalgebras
Authors: Adámek, Jiří; Milius, Stefan; Moss, Lawrence S; Sousa, Lurdes
Abstract: For endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper subobject and no proper quotient. The initial algebra consists of all well-pointed coalgebras that are well-founded in the sense of Osius and Taylor. And initial algebras are precisely the final well-founded coalgebras. Finally, the initial iterative algebra consists of all finite well-pointed coalgebras. Numerous examples are discussed e.g. automata, graphs, and labeled transition systems.
Fri, 09 Aug 2013 00:00:00 GMThttp://hdl.handle.net/10316/438982013-08-09T00:00:00ZCosymplectic p-sphereshttp://hdl.handle.net/10316/47525Title: Cosymplectic p-spheres
Authors: Cappelletti-Montano, Beniamino; De Nicola, Antonio; Yudin, Ivan
Fri, 01 Jan 2016 00:00:00 GMThttp://hdl.handle.net/10316/475252016-01-01T00:00:00ZInversion of a mapping associated with the Aomoto-Forrester systemhttp://hdl.handle.net/10316/44501Title: Inversion of a mapping associated with the Aomoto-Forrester system
Authors: Caseiro, Raquel; Françoise, Jean-Pierre; Sasaki, Ryu
Abstract: This article is devoted to the study of a general class of Hamiltonian systems which extends the Calogero systems with external quadratic potential associated to any root system. The interest for such a class comes from a previous article of Aomoto and Forrester. We consider first the one-degree of freedom case and compute the Birkhoff series defined near each of its stationary points. In general, the analysis of the system motivates finding some expression for the inverses of a rational map introduced by Aomoto and Forrester. We derive here some diagrammatic expansion series for these inverses.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/445012013-01-01T00:00:00ZOn the Finite Dimensional Laws of Threshold GARCH Processeshttp://hdl.handle.net/10316/44834Title: On the Finite Dimensional Laws of Threshold GARCH Processes
Authors: Gonçalves, Esmeralda; Leite, Joana; Mendes-Lopes, Nazaré
Abstract: In this chapter we establish bounds for the finite dimensional laws of a threshold GARCH process, X, with generating process Z. In this class of models the conditional standard deviation has different reactions according to the sign of past values of the process. So, we firstly find lower and upper bounds for the law of \left ({X}_{1}^{+},-{X}_{1}^{+},\ldots,{X}_{n}^{+},-{X}_{n}^{+}\right), in certain regions of R^{2n}, and use them to find bounds of the law of \left ({X}_{1},\ldots,{X}_{n}\right). Some of these bounds only depend on the parameters of the model and on the distribution function of the independent generating process, Z. An application of these bounds to control charts for time series is presented.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/448342013-01-01T00:00:00ZProbabilidades - Princípios Teóricoshttp://hdl.handle.net/10316/44831Title: Probabilidades - Princípios Teóricos
Authors: Gonçalves, Esmeralda; Mendes-Lopes, Nazaré
Abstract: Este livro, apresentando e desenvolvendo os principais temas subjacentes a um curso de Probabilidades, pretende contribuir para a aquisição de formação matemática essencial à descrição, análise e interpretação de situações reais não deterministas, bem como ao desenvolvimento de estudos posteriores em áreas, do domínio do aleatório, como a Estatística ou os Processos Estocásticos.
Da modelação matemática de um fenómeno aleatório segundo Kolmogorov passa-se à descrição numérica de um tal modelo através da sua identificação com um espaço de probabilidade gerado por variáveis aleatórias, ou vectores aleatórios, reais. A análise da distribuição probabilista de tais variáveis ou vectores será exaustivamente descrita e caracterizada através do estudo das principais funções e resumos que lhe estão associados. O estudo das convergências estocásticas, de grande importância no domínio das Probabilidades e indispensável no campo da Estatística, encerra os desenvolvimentos teóricos desta obra.
Desta reedição salienta-se, para além da natural actualização dos temas tratados, a apresentação, no final de cada capitulo, de um conjunto alargado de exercícios resolvidos que permitem clarificar e ilustrar os estudos teóricos desenvolvidos.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/448312013-01-01T00:00:00ZSome operators that preserve the locality of a pseudovariety of semigroupshttp://hdl.handle.net/10316/43883Title: Some operators that preserve the locality of a pseudovariety of semigroups
Authors: Costa, Alfredo; Escada, Ana Paula
Abstract: It is shown that if V is a local monoidal pseudovariety of semigroups, then K o V, D o V and LI o V are local. Other operators of the form Z o (_) are considered. In the process, results about the interplay between operators Z o(_) and (_) * D_k are obtained.
Fri, 15 Mar 2013 00:00:00 GMThttp://hdl.handle.net/10316/438832013-03-15T00:00:00ZPresentations of Schützenberger groups of minimal subshiftshttp://hdl.handle.net/10316/43884Title: Presentations of Schützenberger groups of minimal subshifts
Authors: Almeida, Jorge; Costa, Alfredo
Abstract: In previous work, the first author established a natural bijection between minimal subshifts and maximal regular J -classes of free profinite semigroups. In this paper, the Schützenberger groups of such J -classes are investigated, in particular in respect to a conjecture proposed by the first author concerning their profinite presentation. The conjecture is established for all non-periodic minimal subshifts associated with substitutions. It entails that it is decidable whether a finite group is a quotient of such a profinite group. As a further application, the Schützenberger group of the J -class corresponding to the Prouhet-Thue-Morse subshift is shown to admit a somewhat simpler presentation, from which it follows that it has rank three, and that it is non-free relatively to any pseudovariety of groups.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/438842013-01-01T00:00:00ZThe role of stiffness in the proliferation of brain tumorshttp://hdl.handle.net/10316/44678Title: The role of stiffness in the proliferation of brain tumors
Authors: Branco, João; Ferreira, José Augusto; Oliveira, Paula de
Abstract: In this paper we present a mathematical model to describe the evolution of glioma cells taking into account the viscoelastic properties of brain tissue. A theoretical stability analysis gives information to design protocols which efficiency is illustrated by a number of numerical simulations.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/446782014-01-01T00:00:00ZDrug delivery from an ocular implant into the vitreous chamber of the eyehttp://hdl.handle.net/10316/44920Title: Drug delivery from an ocular implant into the vitreous chamber of the eye
Authors: Azhdari, Ebrahim; Ferreira, José Augusto; Oliveira, Paula de; Silva, Pascoal
Abstract: A mathematical model which simulates drug delivery from an ocular implant into the vitreous chamber of the eye is proposed. The model consists of coupled systems of partial differential equations linked by interface conditions. The chemical structure, the viscoelastic properties and the diffusion phenomena are taken into account to simulate the evolution of released drug. Numerical simulations that illustrate the interplay between these phenomena are included.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/449202013-01-01T00:00:00ZAnalytical and Numerical Study of Diffusion through Biodegradable Viscoelastic Materialshttp://hdl.handle.net/10316/44925Title: Analytical and Numerical Study of Diffusion through Biodegradable Viscoelastic Materials
Authors: Azhdari, Ebrahim; Ferreira, José Augusto; Oliveira, Paula de; Silva, Pascoal
Abstract: In this paper the transport of a drug through a viscoelastic biodegradable material is studied. The phenomenon is described by a set of three coupled partial differential equations that take into account passive diffusion, stress driven diffusion and the degradation of the material. The stability properties of the system are studied. Numerical simulations show an influence of viscoelastic and degradation parameters in agreement with the expected physical behaviour.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/449252013-01-01T00:00:00ZMonotone normality and stratifiability from a pointfree point of viewhttp://hdl.handle.net/10316/43791Title: Monotone normality and stratifiability from a pointfree point of view
Authors: Gutiérrez García, Javier; Picado, Jorge; de Prada Vicente, María Ángeles
Abstract: Monotone normality is usually defined in the class of T_1 spaces. In this paper we study it under the weaker condition of subfitness, a separation condition that originates in pointfree topology. In particular, we extend some well known characterizations of these spaces to the subfit context (notably, their hereditary property and the preservation under surjective continuous closed maps) and present a similar study for stratifiable spaces, an important subclass of monotonically normal spaces. In the second part of the paper, we extend further these ideas to the lattice theoretic setting. In particular, we give the pointfree analogues of the previous results on monotonically normal spaces and introduce and investigate the natural pointfree counterpart of stratifiable spaces.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/437912014-01-01T00:00:00ZMore on Subfitness and Fitnesshttp://hdl.handle.net/10316/43793Title: More on Subfitness and Fitness
Authors: Picado, Jorge; Pultr, Aleš
Abstract: The concepts of fitness and subfitness (as defined in Isbell, Trans. Amer. Math. Soc. 327, 353–371, 1991) are useful separation properties in point-free topology. The categorical behaviour of subfitness is bad and fitness is the closest modification that behaves well. The separation power of the two, however, differs very substantially and subfitness is transparent and turns out to be useful in its own right. Sort of supplementing the article (Simmons, Appl. Categ. Struct. 14, 1–34, 2006) we present several facts on these concepts and their relation. First the “supportive” role subfitness plays when added to other properties is emphasized. In particular we prove that the numerous Dowker-Strauss type Hausdorff axioms become one for subfit frames. The aspects of fitness as a hereditary subfitness are analyzed, and a simple proof of coreflectivity of fitness is presented. Further, another property, prefitness, is shown to also produce fitness by heredity, in this case in a way usable for classical spaces, which results in a transparent characteristics of fit spaces. Finally, the properties are proved to be independent.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/437932014-01-01T00:00:00ZOn the Dedekind completion of function ringshttp://hdl.handle.net/10316/43901Title: On the Dedekind completion of function rings
Authors: Mozo Carollo, Imanol; Gutiérrez García, Javier; Picado, Jorge
Abstract: This paper introduces the frame of partially defined real numbers and the lattice-ordered ring of partial real functions on a frame. This is then used to construct the order completion of rings of pointfree continuous real functions. The bounded and integer-valued cases are also analysed. The application of this pointfree approach to the classical case C(X) of the ring of continuous real-valued functions on a topological space X yields a new construction for the Dedekind completion of C(X), considerably more direct and natural than the known procedure using Hausdorff continuous functions.
Thu, 01 Jan 2015 00:00:00 GMThttp://hdl.handle.net/10316/439012015-01-01T00:00:00ZNotes on the Product of Localeshttp://hdl.handle.net/10316/43902Title: Notes on the Product of Locales
Authors: Picado, Jorge; Pultr, Aleš
Abstract: Products of locales (generalized spaces) are coproducts of frames. Because of the algebraic nature of the latter they are often viewed as algebraic objects without much topological connotation. In this paper we first analyze the frame construction emphasizing its tensor product carrier. Then we show how it can be viewed topologically, that is, in the sum-of-the-open-rectangles perspective. The main aim is to present the product from different points of view, as an algebraic and a geometric object, and persuade the reader that both of them are fairly transparent.
Thu, 01 Jan 2015 00:00:00 GMThttp://hdl.handle.net/10316/439022015-01-01T00:00:00ZOn the parallel between normality and extremal disconnectednesshttp://hdl.handle.net/10316/43789Title: On the parallel between normality and extremal disconnectedness
Authors: Gutiérrez García, Javier; Picado, Jorge
Abstract: Several familiar results about normal and extremally disconnected (classical or pointfree) spaces shape the idea that the two notions are somehow dual to each other and can therefore be studied in parallel. This paper investigates the source of this ‘duality’ and shows that each pair of parallel results can be framed by the ‘same’ proof. The key tools for this purpose are relative notions of normality, extremal disconnectedness, semicontinuity and continuity (with respect to a fixed class of complemented sublocales of the given locale) that bring and extend to locale theory a variety of well-known classical variants of normality and upper and lower semicontinuities in an illuminating unified manner. This approach allows us to unify under a single localic proof all classical insertion, as well as their corresponding extension results.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/437892014-01-01T00:00:00Z(Sub)fit biframes and non-symmetric nearnesshttp://hdl.handle.net/10316/43790Title: (Sub)fit biframes and non-symmetric nearness
Authors: Picado, Jorge; Pultr, Aleš
Abstract: The non-symmetric (quasi-)nearness and its generalized admissibility are studied both in its biframe and paircovers aspect and in the perspective of entourages. The necessary and sufficient condition for a biframe to carry such an enrichment is shown to be a biframe variant of subfitness (resp. fitness, in the hereditary case).
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/437902014-01-01T00:00:00ZAn analogue of the Robinson-Schensted-Knuth correspondence and non-symmetric Cauchy kernels for truncated staircaseshttp://hdl.handle.net/10316/44032Title: An analogue of the Robinson-Schensted-Knuth correspondence and non-symmetric Cauchy kernels for truncated staircases
Authors: Azenhas, Olga; Emami, Aram
Abstract: We prove a restriction of an analogue of the Robinson-Schensted-Knuth correspondence for semi-skyline augmented fillings, due to Mason, to multisets of cells of a staircase possibly truncated by a smaller staircase at the upper left end corner, or at the bottom right end corner. The restriction to be imposed on the pairs of semi-skyline augmented fillings is that the pair of shapes, rearrangements of each other, satisfies an inequality in the Bruhat order, w.r.t. the symmetric group, where one shape is bounded by the reverse of the other. For semi-standard Young tableaux the
inequality means that the pair of their right keys is such that one key is bounded by the Sch\"utzenberger evacuation of the other. This bijection is then used to obtain %recover an expansion formula of the non-symmetric Cauchy kernel, over staircases or truncated staircases, in the basis of Demazure characters of type $A$, and the basis of Demazure atoms. The expansion implies
Lascoux expansion formula, when specialised to staircases or truncated staircases, and make explicit, in the latter, the Young tableaux in the Demazure crystal by interpreting Demazure operators via elementary bubble sorting operators acting on weak compositions.
Thu, 01 Jan 2015 00:00:00 GMThttp://hdl.handle.net/10316/440322015-01-01T00:00:00ZA Splitting Algorithm for Medical Image Denoisinghttp://hdl.handle.net/10316/45004Title: A Splitting Algorithm for Medical Image Denoising
Authors: Araújo, Adérito
Abstract: In this work we consider a stable algorithm for integrating a mathematical model based on mean curvature motion equation proposed in (Alvarez, Lions, Morel 1992) for image denoising. The scheme is constructed using a finite difference space discretisation and semi-implicit time discretisation and is considered with a splitting algorithm that can be implemented in parallel. We apply this algorithm to the problem of denoising optical coherence tomograms from the human retina while preserving image features.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/450042013-01-01T00:00:00ZNumerical solution for a non-Fickian diffusion in a periodic potentialhttp://hdl.handle.net/10316/45003Title: Numerical solution for a non-Fickian diffusion in a periodic potential
Authors: Araújo, Adérito; Das, Amal K.; Neves, Cidália; Sousa, Ercília
Abstract: Numerical solutions of a non-Fickian diffusion equation belonging to a hyperbolic type are presented in one space dimension. The Brownian particle modelled by this diffusion equation is subjected to a symmetric periodic potential whose spatial shape can be varied by a single parameter. We consider
a numerical method which consists of applying Laplace transform in time; we then obtain an elliptic diffusion equation which is discretized using a finite difference method. We analyze some aspects of the convergence of the method. Numerical results for particle density, flux and mean-square-displacement (covering both inertial and diffusive regimes) are presented.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/450032013-01-01T00:00:00ZNumerical solution of time-dependent Maxwell’s equations for modeling scattered electromagnetic wave’s propagationhttp://hdl.handle.net/10316/44986Title: Numerical solution of time-dependent Maxwell’s equations for modeling scattered electromagnetic wave’s propagation
Authors: Araújo, Adérito; Barbeiro, Sílvia; Pinto, Luís; Caramelo, Francisco; Correia, António L.; Morgado, Miguel; Serranho, Pedro; Silva, Ana S.C.; Be
Abstract: We present the discontinuous Galerkin method combined with a low-storage Runge-Kutta method as an accurate and efficient way to numerically solve the time-dependent Maxwell’s equations. We investigate the numerical scheme in the context of modeling scattered electromagnetic wave’s propagation through human eye’s structures.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/449862013-01-01T00:00:00ZSemi-skyline augmented fillings and non-symmetric Cauchy kernels for stair-type shapeshttp://hdl.handle.net/10316/44041Title: Semi-skyline augmented fillings and non-symmetric Cauchy kernels for stair-type shapes
Authors: Azenhas, Olga; Emami, Aram
Abstract: Using an analogue of the Robinson-Schensted-Knuth (RSK) algorithm for semi-skyline augmented fillings, due to Sarah Mason, we exhibit expansions of non-symmetric Cauchy kernels ∏(i,j)∈η(1−x_i y_j)−1, where the product is over all cell-coordinates (i,j) of the stair-type partition shape η, consisting of the cells in a NW-SE diagonal of a rectangle diagram and below it, containing the biggest stair shape. In the spirit of the classical Cauchy kernel expansion for rectangle shapes, this RSK variation provides an interpretation of the kernel for stair-type shapes as a family of pairs of semi-skyline augmented fillings whose key tableaux, determined by their shapes, lead to expansions as a sum of products of two families of key polynomials, the basis of Demazure characters of type A, and the Demazure atoms. A previous expansion of the Cauchy kernel in type A, for the stair shape was given by Alain Lascoux, based on the structure of double crystal graphs, and by Amy M. Fu and Alain Lascoux, relying on Demazure operators, which was also used to recover expansions for Ferrers shapes.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/440412013-01-01T00:00:00ZSupraconvergence and supercloseness in quasilinear coupled problemshttp://hdl.handle.net/10316/44549Title: Supraconvergence and supercloseness in quasilinear coupled problems
Authors: Ferreira, José Augusto; Pinto, Luís
Abstract: The aim of this paper is to study a finite difference method for quasilinear coupled problems of partial differential equations that presents numerically an unexpected second order convergence rate. The error analysis presented allows us to conclude that the finite difference method is supraconvergent. As the method studied in this paper can be seen as a fully discrete piecewise linear finite element method, we conclude the supercloseness of our approximations.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/445492013-01-01T00:00:00ZInduced hypersymplectic and hyperkähler structures on the dual of a Lie algebroidhttp://hdl.handle.net/10316/44545Title: Induced hypersymplectic and hyperkähler structures on the dual of a Lie algebroid
Authors: Antunes, Paulo; Nunes da Costa, Joana Margarida
Abstract: We show that every hypersymplectic structure on a Lie algebroid A determines a hypersymplectic and a hyperkähler structure on the dual A*. This result is illustrated with an example on the Lie algebroid T(H^3 × I), where H^3 is the Heisenberg group.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/445452014-01-01T00:00:00ZSasakian nilmanifoldshttp://hdl.handle.net/10316/47659Title: Sasakian nilmanifolds
Authors: Beniamino Cappelletti-Montano; Antonio De Nicola; Juan Carlos Marrero; Ivan Yudin
Thu, 01 Jan 2015 00:00:00 GMThttp://hdl.handle.net/10316/476592015-01-01T00:00:00ZAnalysis of adaptive forward-backward diffusion flows with applications in image processinghttp://hdl.handle.net/10316/44400Title: Analysis of adaptive forward-backward diffusion flows with applications in image processing
Authors: Prasath, V B Surya; Urbano, José Miguel; Vorotnikov, Dmitry
Abstract: The nonlinear diffusion model introduced by Perona and Malik (1990 IEEE Trans. Pattern Anal. Mach. Intell. 12 629–39) is well suited to preserve salient edges while restoring noisy images. This model overcomes well-known edge smearing effects of the heat equation by using a gradient dependent diffusion function. Despite providing better denoizing results, the analysis of the PM scheme is difficult due to the forward-backward nature of the diffusion flow. We study a related adaptive forward-backward diffusion equation which uses a mollified inverse gradient term engrafted in the diffusion term of a general nonlinear parabolic equation. We prove a series of existence, uniqueness and regularity results for viscosity, weak and dissipative solutions for such forward-backward diffusion flows. In particular, we introduce a novel functional framework for wellposedness of flows of total variation type. A set of synthetic and real image processing examples are used to illustrate the properties and advantages of the proposed adaptive forward-backward diffusion flows.
Thu, 01 Jan 2015 00:00:00 GMThttp://hdl.handle.net/10316/444002015-01-01T00:00:00ZInfinitely Divisible Distributions in Integer-Valued Garch Modelshttp://hdl.handle.net/10316/44666Title: Infinitely Divisible Distributions in Integer-Valued Garch Models
Authors: Gonçalves, Esmeralda; Mendes-Lopes, Nazaré; Silva, Filipa
Abstract: We propose an integer-valued stochastic process with conditional marginal distribution belonging to the class of infinitely divisible discrete probability laws. With this proposal, we introduce a wide class of models for count time series that includes the Poisson integer-valued generalized autoregressive conditional heteroscedastic (INGARCH) model (Ferland et al., 2006) and the negative binomial and generalized Poisson INGARCH models (Zhu, 2011, 2012a). The main probabilistic analysis of this process is developed stating, in particular, first-order and second-order stationarity conditions. The existence of a strictly stationary and ergodic solution is established in a subclass including the Poisson and generalized Poisson INGARCH models.
Thu, 01 Jan 2015 00:00:00 GMThttp://hdl.handle.net/10316/446662015-01-01T00:00:00ZHomological properties of quantised Borel-Schur algebras and resolutions of quantised Weyl moduleshttp://hdl.handle.net/10316/47523Title: Homological properties of quantised Borel-Schur algebras and resolutions of quantised Weyl modules
Authors: Donkin, Stephen; Santana, Ana Paula; Yudin, Ivan
Wed, 17 Apr 2013 00:00:00 GMThttp://hdl.handle.net/10316/475232013-04-17T00:00:00ZHyperstructures on Lie algebroidshttp://hdl.handle.net/10316/44529Title: Hyperstructures on Lie algebroids
Authors: Antunes, Paulo; Nunes da Costa, Joana
Abstract: We define hypersymplectic structures on Lie algebroids recovering, as particular cases, all the classical results and examples of hypersymplectic structures on manifolds. We prove a 1-1 correspondence theorem between hypersymplectic structures and (pseudo-)hyperk\"{a}hler structures. We show that the hypersymplectic framework is very rich in already known compatible pairs of tensors such as Poisson-Nijenhuis, $\Omega N$ and $P \Omega$ structures.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/445292013-01-01T00:00:00ZDominant Shi regions with a fixed separating wall: bijective enumerationhttp://hdl.handle.net/10316/44483Title: Dominant Shi regions with a fixed separating wall: bijective enumeration
Authors: Conflitti, Alessandro; Mamede, Ricardo
Abstract: We present a purely combinatorial proof by means of an explicit bijection, of the exact number of dominant regions having as a separating wall the hyperplane associated to the longest root in the m-extended Shi hyperplane arrangement of type A and dimension n-1.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/444832014-01-01T00:00:00ZGlobally convergent DC trust-region methodshttp://hdl.handle.net/10316/45702Title: Globally convergent DC trust-region methods
Authors: Le Thi, Hoai An; Huynh, Van Ngai; Dinh, Tao Pham; Vaz, A. Ismael F.; Vicente, Luís Nunes
Abstract: In this paper, we investigate the use of DC (Difference of Convex functions) models and algorithms in the application of trust-region methods to the solution of a class of nonlinear optimization problems where the constrained set is closed and convex (and, from a practical point of view, where projecting onto the feasible region is computationally affordable). We consider DC local models for the quadratic model of the objective function used to compute the trust-region step, and apply a primal-dual subgradient method to the solution of the corresponding trust-region subproblems. One is able to prove that the resulting scheme is globally convergent to first-order stationary points. The theory requires the use of exact second-order derivatives but, in turn, the computation of the trust-region step asks only for one projection onto the feasible region (in comparison to the calculation of the generalized Cauchy point which may require more). The numerical efficiency and robustness of the proposed new scheme when applied to bound-constrained problems is measured by comparing its performance against some of the current state-of-the-art nonlinear programming solvers on a vast collection of test problems.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/457022014-01-01T00:00:00ZThe ARL of modified Shewhart control charts for conditionally heteroskedastic modelshttp://hdl.handle.net/10316/44813Title: The ARL of modified Shewhart control charts for conditionally heteroskedastic models
Authors: Gonçalves, Esmeralda; Leite, Joana; Mendes-Lopes, Nazaré
Abstract: In this article we consider the modified Shewhart control chart for ARCH processes and introduce it for threshold ARCH (TARCH) ones. For both charts, we determine bounds for the distribution of the in-control run length (RL) and, consequently, for its average (ARL), both depending only on the distribution of the generating white noise, the model parameters and the critical value. For the ARCH model, we compare our bounds with others available in literature and show how they improve the existing ones. We present a simulation study to assess the quality of the bounds calculated for the ARL.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/448132013-01-01T00:00:00ZThe modular class of a Poisson maphttp://hdl.handle.net/10316/44503Title: The modular class of a Poisson map
Authors: Caseiro, Raquel; Fernandes, Rui Loja
Abstract: We introduce the modular class of a Poisson map. We look at several examples and we use the modular classes of Poisson maps to study the behavior of the modular class of a Poisson manifold under different kinds of reduction. We also discuss their symplectic groupoid version, which lives in groupoid cohomology.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/445032013-01-01T00:00:00ZHagemann’s theorem for regular categorieshttp://hdl.handle.net/10316/44500Title: Hagemann’s theorem for regular categories
Authors: Janelidze, Zurab; Rodelo, Diana; Van der Linden, Tim
Abstract: In this paper we extend the characterisation of n-permutable varieties of universal algebras due to J. Hagemann to regular categories. In particular, we show that a regular category has n-permutable congruences if and only if every internal reflexive relation R in it satisfies R^\circ \leqslant R^{n-1}, and if and only if every internal reflexive relation R in it satisfies R^n\leqslant R^{n-1}. In the case when n=2 this result is well known.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/445002013-01-01T00:00:00ZThe Modular Class of a Lie Algebroid Comorphismhttp://hdl.handle.net/10316/44502Title: The Modular Class of a Lie Algebroid Comorphism
Authors: Caseiro, Raquel
Abstract: We introduce the definition of modular class of a Lie algebroid comorphism and exploit some of its properties.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/445022013-01-01T00:00:00ZConvergence of Trust-Region Methods Based on Probabilistic Modelshttp://hdl.handle.net/10316/45698Title: Convergence of Trust-Region Methods Based on Probabilistic Models
Authors: Bandeira, A. S.; Scheinberg, K.; Vicente, Luís Nunes
Abstract: In this paper we consider the use of probabilistic or random models within a classical trust-region framework for optimization of deterministic smooth general nonlinear functions. Our method and setting differs from many stochastic optimization approaches in two principal ways. Firstly, we assume that the value of the function itself can be computed without noise, in other words, that the function is deterministic. Second, we use random models of higher quality than those produced by the usual stochastic gradient methods. In particular, a first order model based on random approximation of the gradient is required to provide sufficient quality of approximation with probability $\geq 1/2$. This is in contrast with stochastic gradient approaches, where the model is assumed to be “correct” only in expectation. As a result of this particular setting, we are able to prove convergence, with probability one, of a trust-region method which is almost identical to the classical method. Moreover, the new method is simpler than its deterministic counterpart as it does not require a criticality step. Hence we show that a standard optimization framework can be used in cases when models are random and may or may not provide good approximations, as long as “good” models are more likely than “bad” models. Our results are based on the use of properties of martingales. Our motivation comes from using random sample sets and interpolation models in derivative-free optimization. However, our framework is general and can be applied with any source of uncertainty in the model. We discuss various applications for our methods in the paper.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/456982014-01-01T00:00:00ZSmoothing and worst-case complexity for direct-search methods in nonsmooth optimizationhttp://hdl.handle.net/10316/45705Title: Smoothing and worst-case complexity for direct-search methods in nonsmooth optimization
Authors: Garmanjani, Rohollah; Vicente, Luís Nunes
Abstract: In the context of the derivative-free optimization of a smooth objective function, it has been shown that the worst-case complexity of direct-search methods is of the same order as that of the steepest descent for derivative-based optimization; more precisely, the number of iterations needed to reduce the norm of the gradient of the objective function below a certain threshold is proportional to the inverse of the threshold squared. Motivated by the lack of such a result in the nonsmooth case, we propose, analyse, and test a class of smoothing direct-search methods for the unconstrained optimization of nonsmooth functions. Given a parameterized family of smoothing functions for the nonsmooth objective function dependent on a smoothing parameter, this class of methods consists of applying a direct-search algorithm for a fixed value of the smoothing parameter until the step size is relatively small, after which the smoothing parameter is reduced and the process is repeated. One can show that the worst-case complexity (or cost) of this procedure is roughly one order of magnitude worse than the one for direct search or steepest descent on smooth functions. The class of smoothing direct-search methods is also shown to enjoy asymptotic global convergence properties. Some preliminary numerical experiments indicate that this approach leads to better values of the objective function, in some cases pushing the optimization further, apparently without an additional cost in the number of function evaluations.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/457052013-01-01T00:00:00ZInexact solution of NLP subproblems in MINLPhttp://hdl.handle.net/10316/45710Title: Inexact solution of NLP subproblems in MINLP
Authors: Li, Min; Vicente, Luís Nunes
Abstract: In the context of convex mixed integer nonlinear programming (MINLP), we investigate how the outer approximation method and the generalized Benders decomposition method are affected when the respective nonlinear programming (NLP) subproblems are solved inexactly. We show that the cuts in the corresponding master problems can be changed to incorporate the inexact residuals, still rendering equivalence and finiteness in the limit case. Some numerical results will be presented to illustrate the behavior of the methods under NLP subproblem inexactness.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/457102013-01-01T00:00:00ZA surrogate management framework using rigorous trust-region stepshttp://hdl.handle.net/10316/45703Title: A surrogate management framework using rigorous trust-region steps
Authors: Gratton, S.; Vicente, Luís Nunes
Abstract: Surrogate models are frequently used in the optimization engineering community as convenient approaches to deal with functions for which evaluations are expensive or noisy, or lack convexity. These methodologies do not typically guarantee any type of convergence under reasonable assumptions. In this article, we will show how to incorporate the use of surrogate models, heuristics, or any other process of attempting a function value decrease in trust-region algorithms for unconstrained derivative-free optimization, in a way that global convergence of the latter algorithms to stationary points is retained. Our approach follows the lines of search/poll direct-search methods and corresponding surrogate management frameworks, both in algorithmic design and in the form of organizing the convergence theory.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/457032014-01-01T00:00:00ZExamples of compact K-contact manifolds with no Sasakian metrichttp://hdl.handle.net/10316/47483Title: Examples of compact K-contact manifolds with no Sasakian metric
Authors: Cappelletti-Montano, Beniamino; De Nicola, Antonio; Marrero, Juan Carlos; Yudin, Ivan
Wed, 13 Nov 2013 00:00:00 GMThttp://hdl.handle.net/10316/474832013-11-13T00:00:00ZA survey on cosymplectic geometryhttp://hdl.handle.net/10316/47481Title: A survey on cosymplectic geometry
Authors: Cappelletti-Montano, Beniamino; De Nicola, Antonio; Yudin, Ivan
Thu, 16 May 2013 00:00:00 GMThttp://hdl.handle.net/10316/474812013-05-16T00:00:00ZOn a System of Adaptive Coupled PDEs for Image Restorationhttp://hdl.handle.net/10316/43903Title: On a System of Adaptive Coupled PDEs for Image Restoration
Authors: Prasath, V. B. Surya; Vorotnikov, Dmitry
Abstract: In this paper, we consider a coupled system of partial differential equations (PDEs) based model for image restoration. Both the image and the edge variables are incorporated by coupling them into two different PDEs. It is shown that the initial-boundary value problem has global in time dissipative solutions (in a sense going back to P.-L. Lions), and several properties of these solutions are established. Some numerical examples are given to highlight the denoising nature of the proposed model along with some comparison results.
Sun, 01 Jan 2012 00:00:00 GMThttp://hdl.handle.net/10316/439032012-01-01T00:00:00ZDeformed Laguerre–Hahn orthogonal polynomials on the real linehttp://hdl.handle.net/10316/43843Title: Deformed Laguerre–Hahn orthogonal polynomials on the real line
Authors: Branquinho, Amílcar; Rebocho, Maria das Neves
Abstract: One derives discrete dynamical systems related to Laguerre–Hahn orthogonal polynomials. One studies deformations of the recurrence relation coefficients of the orthogonal polynomials under a t-dependence on the coefficients of the Riccati differential equation for the related Stieltjes function.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/438432014-01-01T00:00:00ZHomogeneous Symmetric Antiassociative Quasialgebrashttp://hdl.handle.net/10316/43825Title: Homogeneous Symmetric Antiassociative Quasialgebras
Authors: Albuquerque, Helena; Barreiro, Elisabete; Benayadi, Saïd
Abstract: Our main purpose is to provide for homogeneous (even or odd) symmetric antiassociative quasialgebras a structure theory analogous to that for homogeneous symmetric associative superalgebras given in [5] and to present an inductive description of these classes of algebras.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/438252014-01-01T00:00:00ZNumerical simulation of aqueous humor flow: From healthy to pathologic situationshttp://hdl.handle.net/10316/44673Title: Numerical simulation of aqueous humor flow: From healthy to pathologic situations
Authors: Ferreira, José Augusto; Oliveira, Paula de; Silva, Pascoal; Murta, J.N.
Abstract: A mathematical model which simulates drug delivery through the cornea, from a therapeutic lens to the anterior chamber of the eye, is proposed. The model consists of three coupled systems of partial differential equations linked by interface conditions: drug diffusion in the therapeutic lens; diffusion and metabolic consumption in the cornea; diffusion, convection and metabolic consumption in the anterior chamber of the eye. The dependence of intraocular pressure on the obstruction of the trabecular mesh and the production rate of aqueous humor by the ciliary body is modeled. The therapeutic effects of drugs that act on the trabecular mesh or on the ciliary body are analysed. Comparisons between topical administration and drug delivery from a therapeutic lens are included.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/446732014-01-01T00:00:00ZA 3D Model for Mechanistic Control of Drug Releasehttp://hdl.handle.net/10316/44674Title: A 3D Model for Mechanistic Control of Drug Release
Authors: Ferreira, José Augusto; Grassi, M.; Gudin͂o, Elias; Oliveira, Paula de
Abstract: A three-dimensional mathematical model for sorption/desorption by a cylindrical polymeric matrix with dispersed drug is proposed. The model is based on a system of partial differential equations coupled with boundary conditions over a moving boundary. We assume that the penetrant diffuses into a swelling matrix and causes a deformation, which induces a stress-driven diffusion and consequently a non-Fickian mass flux. A physically sound nonlinear dependence between strain and penetrant concentration is considered and introduced in a Boltzmann integral with a kernel computed from a Maxwell--Wiechert model. Numerical simulations show how the mechanistic behavior can have a role in drug delivery design.
Wed, 01 Jan 2014 00:00:00 GMThttp://hdl.handle.net/10316/446742014-01-01T00:00:00ZWorst case complexity of direct searchhttp://hdl.handle.net/10316/45707Title: Worst case complexity of direct search
Authors: Vicente, Luís Nunes
Abstract: In this paper, we prove that the broad class of direct-search methods of directional type based on imposing sufficient decrease to accept new iterates shares the worst case complexity bound of steepest descent for the unconstrained minimization of a smooth function, more precisely that the number of iterations needed to reduce the norm of the gradient of the objective function below a certain threshold is at most proportional to the inverse of the threshold squared. In direct-search methods, the objective function is evaluated, at each iteration, at a finite number of points. No derivatives are required. The action of declaring an iteration successful (moving into a point of lower objective function value) or unsuccessful (staying at the same iterate) is based on objective function value comparisons. Some of these methods are directional in the sense of moving along predefined directions along which the objective function will eventually decrease for sufficiently small step sizes. The worst case complexity bounds derived measure the maximum number of iterations as well as the maximum number of objective function evaluations required to find a point with a required norm of the gradient of the objective function, and are proved for such directional direct-search methods when a sufficient decrease condition based on the size of the steps is imposed to accept new iterates.
Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/10316/457072013-01-01T00:00:00ZCovariant Lie derivatives and Frölicher-Nijenhuis bracket on Lie Algebroidshttp://hdl.handle.net/10316/47482Title: Covariant Lie derivatives and Frölicher-Nijenhuis bracket on Lie Algebroids
Authors: De Nicola, Antonio; Yudin, Ivan
Mon, 08 Dec 2014 00:00:00 GMThttp://hdl.handle.net/10316/474822014-12-08T00:00:00Z