Facultat de Ciències Matemàtiques
Universitat de València


Abril 2019

91. Martina Cendoya
10 dc, 12:30, Saló de Graus Manuel Valdivia
Facultat de Ciències Matemàtiques
Bayesian approach to the spatial distribution of Xylella fastidiosa in Alicante
Xylella fastidiosa is a bacterium that colonizes the xylem of a wide range of host plants, causing severe damage to them. Climate is known to play an important role limiting the geographic range of the diseases. Here, the effect of climatic and spatial factors in the distribution of X. fastidiosa subsp. multiplex in almond in Alicante was studied. Climatic covariates were obtained from the WorldClim database. Moreover, a categorical variable was included that represents the levels of disease severity based on minimum winter temperature. These thresholds were defined in North America for Pierce's disease of grapevine, caused by X. fastidiosa subsp. fastidiosa, and it is unknown if they can be extrapolated to other subspecies or geographic regions. Data was analyzed using a Bayesian spatial hierarchical model in which the spatial component was incorporated via a conditional autoregressive structure (iCAR). The Integrated Nested Laplace Approximation (INLA) method was used to obtain the posterior distributions of the model parameters. Due to the limited study area, the climatic covariates had little variability and they were not very influential in the models. Nevertheless, the pathogen was detected within all temperature thresholds, further confirming the climatic adaptability of X. fastidiosa subsp. multiplex. In addition, the strong spatial effect observed indicated that the spatial structure has a relevant impact on the disease spread

Febrer 2019

90. Manuel D. Echeverry
27 dc, 12:30, Aula 0.4
Facultat de Ciències Matemàtiques
Fractional Differential Equations and Inverse Problems
The history of fractional derivatives have some centuries and starts with the calculus itself with a letter from L’Hôpital to Leibniz asking ”what does $\frac{d}{dx^n}f(x)$ mean if $n=1=2$?”, which opened this field of study. In this talk we will introduce the fractional derivatives and present briefly two inverse problem concerning fractional differential equations.

Gener 2019

89. Roberto Gimenez
30 dc, 12:30, Saló de Graus Manuel Valdivia
Facultat de Ciències Matemàtiques
A weak version of Mond's Conjecture for corank 1 maps and applications
In this work we have proved that, being $f:\mathbb{C}^n,S)\rightarrow(\mathbb{C}^{n+1},0)$ of corank 1 and finitely $\mathcal{A}$-determined, $\mu_I(f)=0$ if, and only if, $f$ is a stable germ. This is a weak version of Mond's Conjecture, $\mu_I(f)\geq codim_{\mathcal{A}_e}(f)$, with our hypotheses. We also develop some interesting results, for example the upper semicontinuity of $\mu_I$, to prove a Houston's conjecture on excellent unfoldings in Gaffney's sense. The formal statement of this conjecture is that $f_t$ is excellent if, and only if, $\mu_I(f_t)$ is constant, for corank 1 germs.
88. Miquel Cueca Ten
10 dj, 12:30, Saló de Graus Manuel Valdivia
Facultat de Ciències Matemàtiques
The quantization process and Poisson geometry
The relation between mathematics and physics has a long and fruitful history. In this talk, I will present the mathematical formulations of classical and quantum mechanics and give an idea of what is geometric quantization. Finally, I will discuss the relation of this ideas with my PhD thesis.


Desembre 2018

87. Irene Creus-Martí
19 dc, 12:30, Saló de Graus Manuel Valdivia
Facultat de Ciències Matemàtiques
Autoregressive Dirichlet models for microbiota data
The increasing interest in understanding the microbiota dynamics has motivated the introduction of different estrategies to model microbiota time series data. A common strategy is to model the log-ratio transformation of observations with Gaussian autoregressive models. In this work, and following Zheng et al. (2017), we present an alternative approach based on the Dirichlet distribution. In particular, we assume that relative abundance of species follows a Dirichlet distribution with time-varying parameters. These parameters, after a log-ratio transformation, are modeled with an autoregressive structure. It is important emphasizing that, even though the Dirichlet distribution has a very strong implied interdependence, and it has been considered inadequate for analyzing compositional data showing positive correlations (Aitchison, 1986), G. Campbell and J.E. Mosimann show (Campbell et al., 1987) that reparametrization of the Dirichlet parameters in terms of observed covariates can supply different variational behaviour of compositional data, pointing out that the covariance structure will not necessarily be negative as a Dirichlet model without covariates would suggest. To demonstrate the capability of our proposal, we test the proposed model on real fecal samples provided over a period of fifteen consecutive days of a Spanish healthy male forty-year old. This individual was a participant in the study detailed in Durban et al. (2012). In order to estimate the parameters of the model maximum likelihood estimation has been considered.
86. Nicola Grittini
13 dj, 13:00, Saló de Graus Manuel Valdivia
Facultat de Ciències Matemàtiques
Properties of characters of $\pi$-separable groups
The relation between ordinary characters and Brauer characters is one of the main topics in the Theory of Characters of Finite Groups. This is probably why, in 1974, Martin Isaacs studied how to lift the Brauer characters of a p-solvable group, i.e., how to find a family of irreducible ordinary characters which coincide with the irreducible Brauer characters if restricted to the p-regular elements. Later, Isaacs decided to find a more general result. In 1982, in the article Character of $\pi$-Separable Groups, using a similar technique he constructed a family of lifts for something like Brauer characters, but generalized for a set of primes instead of just one prime. The talk will be about this family of $B_{\pi}$-characters. At first, there will be a brief introduction to the theory of the $B_{\pi}$-characters, to see how this family is constructed and which basic properties its characters share. Then, we will see a $B_{\pi}$-characters version of some of the most famous problems in Character Theory of Finite Groups, like the search of results of Ito-Michler type or the construction of a natural McKay correspondence.It will be underlined how the set of characters $B_{\pi}(G)$ shares some properties with the set of irreducible Brauer characters, while the set $B_{\pi}(G) \cup B_{\pi'}(G)$ shares some with the set of irreducible ordinary characters. This could be of particular interest in the case of p-solvable groups. Since in fact $B_{p'}(G)$ in this case is a family of lifts for irreducible p-Brauer characters, the results may suggest that the set $B_p(G)$, too, could be just as useful as IBr(G) in the study of the properties of p-solvable groups.

Octubre 2018

85. Aleksander M. Kubicki
22 dv, 12:30, Saló de Graus Manuel Valdivia
Facultat de Ciències Matemàtiques
A quantitative no-programming theorem
The no-programming theorem prohibits the existence of a Universal Programmable Quantum Processor. This statement has several implications in relation to quantum computation, but also to other tasks of quantum information processing, making this construction a central notion in this context. Nonetheless, it is well known that even when the strict model is not implementable, it is possible to conceive of it in an approximate sense. Unfortunately, the minimal resources necessary for this aim are still not completely understood. Here, we investigate quantitative statements of the theorem, improving exponentially previous bounds on the resources required by such a hypothetical machine. The proofs exploit a new connection between quantum channels and embeddings between Banach spaces which allows us to use classical tools from geometric Banach space theory in a clean and simple way.

Juny 2018

84. Miguel Reula
22 dv, 12:30, Saló de Graus Manuel Valdivia
Facultat de Ciències Matemàtiques
An approximate method for solving the Distance-Constrained Generalized Directed Rural Postman Problem
The Generalized Directed Rural Postman Problem (GDRPP) is an arc routing problem with some interesting real-life applications, such as routing for meter reading. In this application, a receiver in a vehicle that gets closer than a certain distance to a meter records the meter consumption. Hence, the vehicle does not need to traverse every street containing meters to read them, but only some streets. We consider here the extension of the GDRPP where a fleet of vehicles with distance constraints is available. Several formulations and exact algorithms for this problem, the Distance-Constrained Generalized Directed Rural Postman Problem (DC-GDRPP), were proposed in Ávila et al. (2017). Since the size of the instances solved to optimality is far from those arising in real-life problems, we propose here a heuristic capable to provide good quality solutions in medium/large instances. The method basically consists of a constructive phase, an improvement phase, and an optimization procedure for each route. In order to assess the relative efficiency of our algorithm, extensive computational experiments have been carried out. The results show the good performance of the proposed heuristic, even in the instances with a very tight maximum distance.

Abril 2018

83. Blanca Sarzo
19 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Improving juvenile survival estimates in Common Murres: a Subjective Bayesian approach.
In long lived species, such as seabirds, juvenile survival is the most important life history parameter after adult survival. However, estimation of juvenile survival is often difficult due to the extended periods of immaturity, where young birds remain unobservable at sea for several years. In addition, a common issue to deal with when analyzing seabirds is that survival is generally underestimated when the monitored areas corresponds to a proportion of the whole colony. Furthermore, individuals that breed in observable areas have a higher resighting probability. Our interest in this study deals with these two issues, and so is twofold. Firstly, we apply the well-known Cormack-Jolly-Seber models to a real database (an extensive study of the largest colony of Common Murre (Uria aalge) in the Baltic Sea, Stora Karlsö, Sweden). These models allow us to jointly estimate annual survival and resighting probabilities in relation to the age of the individuals. In particular, we establish four age categories: 1 (individuals one year old), 2 (individuals two years old), 3 (individuals three years old) and 4 (individuals from four to ten years old). Our focus is to estimate survival and resighting probabilities at first three years of life, as these data are scarce in this species. Secondly, our study tries to include information about the colony in order to correct for partial monitoring. In ecological studies, priors are a convenient and appropriate form to incorporate expert opinion or information related with the study. Hence, by means of the Subjective Bayesian approach, we are able to include information such as that the monitoring breeding ledges correspond to 0,19% of the area where the chicks were ringed. Indeed, our data (in line with previous studies) suggest that, in contrast with younger ages, individuals from three years old onwards are mainly resighted at breeding ledges. Thus, we elicit informative prior distributions on recapture probability at age classes three and four. Our results show that the use of informative prior distributions improves the annual survival estimation of three years old individuals, however, adult survival is still underestimated. This work has been conducted in collaboration with Carmen Armero, David Conesa and Jonas Hentati-Sundberg.

Febrer 2018

82. Tommaso Pastore
16 dv, 12:30, Saló de Graus
Facultat de Matemàtiques
An example of interplay between learning and optimization: a GRASP for the Minimum Cost SAT Problem.
The interest in machine learning has grown steadily in recent years, producing a great deal of applications in a wide variety of fields, including Operations Research. The focus of this talk will be the substantial connection between supervised learning from data represented in logic form and the solution of a specific type of SAT problem: the Minimum Cost Satisfiability Problem (MinCostSAT). The deployment of methods based upon this connection to large-scale learning problem is often hindered by the computational challenge of solving instances MinCostSAT, a problem well known to be NP-complete. In this talk, we propose a GRASP-based metaheuristic designed for such problem, that proves successful in leveraging the very distinctive structure of the MinCostSAT problems arising in supervised learning. The algorithm is equipped with an original stopping criterion, based on probabilistic assumptions, which results very effective for deciding when the search space has been explored enough. Preliminary computations show how our method outperforms more general purpose well established Solvers.


Desembre 2017

81. José Paternina
20 dm, 11:00, Saló de Graus
Facultat de Matemàtiques
Maximal subgroups of finite soluble groups.
The aim of the talk is to present a significant contribution to a well-know question due to Newman concerning maximal subgroups of finite soluble groups appearing in MathOverflow web site. We prove that if $A$ and $B$ are two subgroups of a finite soluble group such that $A$ and $B$ are isomorphic and $A$ is a maximal subgroup of $G$. If $A$ is $S_4$-free and $SL(2,3)$-free, then $B$ is also maximal in $G$.

Novembre 2017

80. Consuelo Parreño
24 dv, 12:30, Saló de Graus
Facultat de Matemàtiques
Resolución del problema de pre-marshalling mediante modelos de programación lineal entera.
La productividad de las terminales marítimas de contenedores depende, en gran medida, de los tiempos que tardan en dar servicio a los buques. El tiempo de servicio (también llamado tiempo de atraque) es el tiempo que las terminales emplean para realizar las operaciones de descarga/carga de contenedores. En un ambiente puramente competitivo, su reducción se ha convertido en el principal objetivo de las terminales. Una correcta distribución de los contenedores en el patio puede suponer una gran disminución en estos tiempos. Para ello, las terminales pueden aprovechar el tiempo antes de la llegada de los buques, donde el trabajo en la terminal es mínimo, para colocar los contenedores situados en el patio. En este trabajo nos centramos en el problema de pre-marshalling que, dada una disposición inicial de una bahía del patio, trata de encontrar una secuencia mínima de movimientos que lleve a una disposición final en la que los contenedores se encuentren en el orden en el que serán requeridos, más tarde, por el buque. Proponemos modelos de programación lineal entera para resolver este problema de manera exacta, probando su desempeño mediante un extenso estudio computacional.

Setembre 2017

79. Antonio Napoletano
28 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
An Auction-Based Approach for the Re-optimization Shortest Path Tree Problem.
The shortest path tree problem is one of the most studied problems in network optimization. Given a directed weighted graph, the aim is to find a shortest path from a given origin node to each other node of the graph. When any change occurs (i.e., the origin node is changed, some nodes/arcs are added/removed to/from the graph, the cost of a subset of arcs is increased/decreased), in order to determine a (still) optimal solution, two different strategies can be followed: a re-optimization algorithm is applied starting from the current optimal solution; a new optimal solution is built from scratch. The Re-optimization Shortest Path Tree Problem (R-SPTP) consists in a solving a sequence of shortest path problems, where the $k$th problem differs only slightly from the $(k−1)$th one, by exploiting the useful information available after each shortest path computation. In this paper, we propose an exact algorithm for the R-SPTP, in the case of origin node change. The proposed strategy is based on a dual approach, which adopts a strongly polynomial auction algorithm to extend the solution under construction. The approach is evaluated on a large set of test problems. The computational results underline that the developed algorithm is very promising and outperforms Dijkstra-like solution strategies.

Juliol 2017

78. Jeimer Villada
18 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
Some results about stability of the almost fixed point property.
In this work we show that the family of closed convex sets with the almost fixed point property is not stable under renormings for non-reflexive Banach spaces. This together with a result by Reich, shows that a Banach space is reflexive if and only if it has the same family of closed convex sets with the almost fixed point property for every equivalent norm.

Juny 2017

77. Jessica Leticia Pavani
26 dl, 12:30, Saló de Graus
Facultat de Matemàtiques
Exploring Bayesian approaches to Gaussian state-space models for dynamic populations.
The knowledge of the size of the evolution of a given population as well as its growth rate is an important element to plan relevant decisions. Nonetheless, this is not an easy task because during the process of data collection the population size can suffer modifications due to births, deaths and other movements. One of the most common approaches in dynamic population estimation is state-space models. Such modeling is based on two different Markovian processes. The first one describes the underlying (unobserved) population dynamics whilst the second one connects the observation to the state population process. In this work, we focus on the implementation of Gaussian state-space models for dynamic populations through methods based on MCMC and INLA approaches in three different studies, two of them related to wild animal species and the third devoted to estimate the size of the Spanish and the Valencian Community population.
76. Vicent Asensio
21 dc, 12:30, Saló de Graus
Facultat de Matemàtiques
The FBI transform in $\mathcal{S}_{\omega}$.
In the 1960's, Björck introduced a smaller class than $\mathcal{S}$, denoted by $\mathcal{S}_{\omega}$. In this talk, we present such class for a weight function $\omega$ in the sense of Braun, Meise and Taylor. Some results on this space are developed. We also give an equivalent system of seminorms there, which allows to extend a Hörmander's result on the FBI transform.

Maig 2017

75. Daniela Schenone
4 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Semi-automatic spline fitting of planar curvilinear profiles in digital images using the Hough transform.
The Hough transform is a well-established technique used in image analysis and digital image processing to recognize shapes in images with noisy backgrounds. One of the drawbacks of this technique is the need to identify a potentially approximating family of curves before the recognition algorithm can start. The goal of this talk is thus to develop an innovative procedure for the recognition of both closed and open curvilinear profiles in 2D digital images, without knowing neither a family of predefined curves nor a predefined look-up table of a prototypal shape. Our method provides a $G^1$ continuous spline curve -eventually containing $C^0$ junctions where cusps occur- which approximates the sought profile. Moreover, as in the case of the standard Hough transform, the developed method retains robustness with respect to background noise. This work is in collaboration with Costanza Conti (University of Florence) and Lucia Romani (University of Milano-Bicocca, Italy).

Febrer 2017

74. Eva Primo Tárraga
16 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Frames de Gabor y su aplicación en los operadores pseudodiferenciales.
En esta charla se introducirá el concepto de frame en un espacio de Hilbert. En concreto, se detallarán los frames de Gabor, que son el tipo de frame más utilizado en análisis tiempo-frecuencia. Se mostrarán aplicaciones de los frames de Gabor al estudio de los operadores pseudodiferenciales.
73. Michał Łasica
2 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
The total variation flow and Cheeger sets.
The total variation flow is the limiting case of parabolic p-Laplace equations, one of most natural families of nonlinear evolutionary PDE generalizing the heat equation, as p tends to 1. Due to its strong singularity and degeneracy, it is vastly different from other members of the family, for instance it does not immediately smooth out discontinuities of initial data. It is also curious from a more abstract point of view, as it requires a rather non-obvious notion of solution. I will introduce such a notion and show a few examples, explaining why the (discretized) total variation flow is a natural choice for solving some problems in image processing. Finally, I will discuss the connection between the total variation flow in the plane and the Cheeger problem, i.e. the problem of minimizing perimeter divided by area among subsets of a given set.


Desembre 2016

72. Irma Pallarés Torres
22 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Una fórmula de tipo Lê-Greuel para el número de Milnor en la imagen.
Sea $f: (\mathbb{C}^n,0) \rightarrow (\mathbb{C}^{n+1},0)$ un germen de aplicación finitamente determinado de corrango 1. Para una forma lineal genérica $p: (\mathbb{C}^{n+1},0) \rightarrow (\mathbb{C},0)$ denotamos por $g: (\mathbb{C}^{n-1},0) \rightarrow (\mathbb{C}^{n},0)$ el corte transversal de $f$ respecto a $p$. Probamos que la suma de los números de Milnor en la imagen $\mu_1(f) + \mu_1(g)$ es igual al número de puntos críticos de $p|_{X_s} : X_s \rightarrow \mathbb{C}$ en todos los estratos de $X_s$, donde $X_s$ es la imagen de una estabilización $f_s$ de $f$.

Novembre 2016

71. Joaquín Martínez Minaya
24 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Los modelos mixtos de regresión beta e INLA unidos en la lucha contra la mancha foliar del caqui en la Comunidad Valenciana.
Los modelos mixtos de regresión beta se utilizan cuando la variable objeto de estudio está definida en el intervalo abierto (0, 1), y además, depende de factores de efectos aleatorios. Varias son las formas de abordar este tipo de modelización, aunque el enfoque bayesiano y en concreto, la metodología INLA (integrated nested Laplace approximation), parece uno de los más apropiados tanto a nivel metodológico como a nivel computacional. En este trabajo se ha desarrollado un sistema predictivo que permite avanzar en la lucha contra la mancha foliar del caqui, una enfermedad que desde el 2008 está provocando efectos devastadores en las plantaciones de caqui de la Comunidad Valenciana. El principal objetivo de este sistema predictivo es ayudar a los agricultores en la toma de decisiones, controlando el principio y el fin de las aplicaciones de los productos fungicidas, evitando así costes económicos adicionales y daños innecesarios al medio ambiente. Este es un trabajo conjunto con Mira J.L., López-Quílez A., Vicent, A. y Conesa D.
70. Alberto Rodríguez Arenas
11 dv, 12:30, Saló de Graus
Facultat de Matemàtiques
Fundamentos de Teoría Ergódica.
En esta charla se definen los conceptos básicos de teoría ergódica (ergódico (uniformemente) en media, acotado en potencias,…). Además se comentan los resultados más importantes de esta teoría (Teoremas de Yosida, Lotz y Lin). Estos resultados se aplican en el estudio de los operadores de multiplicación y composición sobre espacios de funciones holomorfas con pesos en el disco unidad.

Octubre 2016

69. Roberta Zaccone
20 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
A general viscosity explicit midpoint rule for quasi-nonexpanive mappings.
In this talk we introduce a generalized viscosity explicit midpoint method for quasi-nonexpansive mappings in Hilbert spaces. We establish a strong convergence theorem of the proposed procedure to a common solution of a fixed point problem and a variational inequality, under suitable assumptions on the sequence of parameters. This is a joint work with G. Marino and B. Scardamaglia.

Juny 2016

68. Daniel Martínez Bello
16 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Dynamic generalized linear models for time series of counts of dengue disease.
In this talk, we review the dynamic generalized linear models, and then provide an application through hierarchical Bayesian modeling using Monte Carlo Markov Chain. Our interest is to model time series of counts of Dengue, a tropical disease affecting approximately 50 million people by year, around the world.
67. Noelia Rizo
9 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
A Brauer-Wielandt formula.
Determining whether or not the character table of a finite group $G$ determines the number of its Sylow $p$-subgroups is still an open problem in character theory. In this talk we give a Brauer-Wielandt formula to count the number of fixed points $|\textbf{C}_G(P)|$ of the action of a $p$-group $P$ on a $p'$-group $G$. Our formula only depends on the centralizers of the elements of the $p$-group $P$, and for this reason it can be used to determine the number of Sylow $p$-subgroups of certain finite groups from their character tables, which is a small step towards the solution of this question.

Maig 2016

66. Marta Latorre
19 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Resultados de existencia y unicidad del problema de Dirichlet para el 1--laplaciano.
En esta charla vamos a abordar un problema de Dirichlet en el que aparece el operador 1--laplaciano y la variación total: \begin{equation*} \left\{\begin{array}{ll} \displaystyle - div \left(\frac{Du}{|Du|}\right)+|Du|=f(x) & \hbox{ en }\,\Omega\,,\\[3mm] u=0 & \hbox{ sobre }\,\partial\Omega\,, \end{array} \right. \end{equation*} donde $\Omega$ es un conjunto abierto y acotado de $\mathbb{R}^N$ con frontera Lipschitz. Tomando el dato $f$ del espacio de funciones $L^1(\Omega)$, mostraremos un resultado de existencia de solución y probaremos también un principio de comparación. Además, veremos cual es la máxima regularidad que alcanza la solución del problema cuando el dato $f$ es una función del espacio $L^p(\Omega)$ con $N>p>1$.
Esta charla se basa en un trabajo conjunto con Sergio Segura de León.

Abril 2016

65. Roberto Ialenti
21 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
On Some Generalized Permutable Subgroups in Infinite Groups
A subgroup H of a group G is said to be permutable if HK = KH for every subgroup K of G.
In the theory of factorized groups, some problems may be studied making some assumptions on permutability connections between the factors. Starting from a result obtained by J. C. Beidleman and H. Heineken in the case of finite groups, in this talk I will discuss about the embedding properties of the commutator subgroups A' and B' in the infinite group G=AB, where A and B satsify a certain generalized condition of permutability, under suitable finiteness conditions on the rank of the group G.
In recent years many authors studied groups, which are large in some sense, and the influence that large subgroups may have on the structure of the whole group. I will discuss about groups of infinite rank in which every subgroup of infinite rank satisies a certain generalized condition of permutability.

Març 2016

64. Sergio López
3 dj, 12:00, Saló de Graus
Facultat de Matemàtiques
A family of Non-Oscillatory, 6 points, Interpolatory subdivision schemes
Subdivision schemes are recursive processes often used for the fast generation of curves and surfaces in computer-aided geometric design, as well as in many multiscale algorithms used in signal processing. In some of their applications, it necessary to treat with functions which have sudden changes or even discontinuities. In these cases, classical linear subdivision schemes lose efficiency because they produce oscillations in the critical zones. As a consequence, new nonlinear subdivision schemes have been recently developed.
We present a family of subdivision schemes which don't present oscillations in front of discontinuities and have high order of accuracy.

Febrer 2016

63. Darllan Pinto
12 dv, 12:30, Saló de Graus
Facultat de Matemàtiques
Algebraizable Logics and a functorial encoding of its morphisms
In this talk I will present some results about the categorial relation between logics and its categories of structures (or algebras). A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra. The logics are the objects in our categories of logics; the morphisms are certain signature morphisms that are translations between logics. In this way we have also the category of algebraizable logics. Recall that in the theory of Blok-Pigozzi, to each algebraizable logic $a = (\varSigma, \vdash)$ is canonically associated a unique quasivariety $QV(a)$ in the same signature $\varSigma$ (its ''algebraic codification''). So given $a = (\varSigma, \vdash)$, $a' = (\varSigma', \vdash')$ and $f: a \rightarrow a'$ morphism of algebraizable logics, we have the functor $f^*: \varSigma' - Str \rightarrow \varSigma - Str (M \mapsto (M)^f)$ such that ''commutes over Set'' and restricts over its quasi-varieties $f_{\upharpoonright}^*: QV(a') \rightarrow QV(a)$; in this vein we show that morphisms of algebraizable logics can be completely encoded by certain functors defined on the quase-variety canonically associated to the algebraizable logics, more precisely, there is a anti-isomorphism between morphisms of algebraizable logics and functors of quase-varieties associated with theses logics.

Gener 2016

62. Sheldon Dantas
21 dj, 11:30, Saló de Graus
Facultat de Matemàtiques
The Strong Bishop-Phelps-Bollobás property
The Bishop-Phelps-Bollobás theorem says that if $x^*$ is a norm one continuous linear functional defined in a Banach space $X$ which almost attains its norm at some norm one vector $x$, then there are a new norm one continuous linear functional $y^*$ and a new norm one vector $y$ such that $y^*$ attains its norm at $y$, $y$ is closed to $x$ and $y^*$ is closed to $x^*$. Aron, Acosta, García and Maestre studied this theorem for bounded linear operators and there are many examples in the literature of Banach spaces $X$ and $Y$ such that a Bishop-Phelps-Bollobás theorem works for bounded linear operators between $X$ and $Y$. In 2004, Kim and Lee gave a characterization for the uniformly convex Banach spaces via a Bishop-Phelps-Bollobás type theorem. In this talk, we study the Kim-Lee theorem for bounded linear operators.


Desembre 2015

61. Vicente Pérez Calabuig
16 dc, 12:30, Saló de Graus
Facultat de Matemàtiques
Elements regulars de l'$\mathfrak{F}$-nucli d'un semigrup
El problema sobre la computabilitat de nuclis de semigrups s'inicià als anys 70 i es va convertir popular entre els experts en teoría de semigrups arran de la Conjectura 'Type II' de J. Rhodes, la qual proposava la existència d'un algorisme per computar el nucli d'un monoide finit respecte a la classe de tots els grups finits. Aquesta conjectura va romandre oberta durant uns 20 anys fins que fou provada en treballs independents per Ash, i Ribes i Zalesskii, de manera que els seus resultats es van extendre en diferents direccions. El nostre interés en la materia ve donat per la descripció de la intersecció del nucli d'un semigrup finit $S$ amb una $\mathcal{J}$-classe regular de $S$, establida per J. Rhodes i B. Tilson en 1972 i que va donar lloc a la conjectura citada. El principal objectiu d'aquest seminari és presentar un teorema que redueix la descripció de la intersecció del nucli d'un semigrup associada a una varietat de grups finits amb una $\mathcal{J}$-classe regular a un cas més simple i detallat. Com a conseqüència d'aquesta reducció, molts dels resultats recents relacionats són obtinguts com a corol·laris. Aquest treball ha estat supervisat pel professor Adolfo Ballester Bolinches del Departament d'Àlgebra de la Universitat de València.

Novembre 2015

60. M.D.J. Campuzano Hernández
12 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Revisión y análisis comparativo de los diferentes enfoques para estimar el riesgo de error en los gráficos de control P y NP
Una de las herramientas más utilizadas en la industria moderna son los gráficos de control, entre los que se encuentran los gráficos P y NP. Convencionalmente estos gráficos han sido construidos soportándose en la aproximación normal de datos binomiales. Debido a la asimetría en la distribución exacta, esta sufre una inexactitud cuando la verdadera proporción de no conformes es pequeña o el tamaño de muestra no es lo suficientemente grande. Este trabajo presenta una revisión comparativa entre los diferentes enfoques para estimar los riesgos de primera y segunda especie ($\alpha$ y $\beta$) que se presentan con el análisis estos gráficos, a partir de un valor de $\alpha$ preestablecido para generar el diseño el gráfico. Se realiza una comparación detallada sobre el efecto de dichos enfoques sobre el riesgo de falsa alarma y así mismo para el riesgo de segunda especie. Finalmente se realiza una revisión con respecto a la idoneidad de cada enfoque según el ajuste que se tenga con el diseño establecido.
Trabajo conjunto con A. Carrión García, Departamento de Estadística e Investigación Operativa Aplicadas y Calidad, Universitat Politècnica de València.

Octubre 2015

59. Jaime Castillo
29 dj, 11:00, Saló de Graus
Facultat de Matemàtiques
Las Series de Dirichlet fueron por primera vez introducidas como objeto de interés matemático en la teoría de números. Según avanzó su estudio demostraron ser relevantes en muchas otras áreas: el análisis complejo o la teoría cuántica de campos, entre otras. En esta charla presentaremos el primer problema al que uno se enfrenta al tratar con series de Dirichlet dobles, el de su convergencia. Para ello, revisaremos los diferentes niveles de convergencia en series dobles (clásica, restringida, incondicional y absoluta) y las relaciones entre ellos. Nos centraremos en aquellos que resultan naturales en el contexto de la series de Dirichlet dobles y que probarán ser una herramienta fundamental para poder generalizar el teorema de convergencia de series de Dirichlet a las series de Dirichlet dobles.
58. Alejandro Poveda
15 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Compactes de Rosenthal de grau finit
Un teorema d'estructura
Un espai topològic compacte $K\subseteq \mathbb{R}^X$ on $X$ és un espai polac (és a dir, mètric, separable i complet) es diu de Rosenthal si està format per funcions de la primera classe de Baire $\mathcal{B}_1(X)$; és a dir, si és límit puntual de funcions continues sobre $X$. Els compactes de Rosenthal sorgiren en l’àmbit de l’Anàlisi Funcional arran de la caracterització d’Odell-Rosenthal dels espais de Banach separables sense copies de $l_1$.
El teorema d'Odell i Rosenthal diu que, donat un espai Banach separable $X$, el fet que $X$ no continga còpies d'$l_1$ és equivalent a dir que $B_{**}\hookrightarrow \mathcal{B}_1(B_{X^*})$ és un compacte de Rosenthal separable respecte a la topologia $\sigma(X^{**}, X^*)$.
Arran del celebrat resultat d'Odell-Rosenthal els compactes de Rosenthal han suscitat força interés a la comunitat matemàtica. Degut a la seva natura, en la recerca d’aquesta mena de compactes es combinen tècniques tant d’Anàlisi, com de Topologia general, com de Fonaments de les Matemàtiques. En aquesta xarrada abordarem l’estudi dels compactes de Rosenthal des d’una perspectiva purament conjuntista i topològica. Tot plegat, presentarem un nou resultat sobre l’estructura d’aquests compactes que generalitza un celebrat teorema de S. Todořcević.
Treball conjunt amb Antonio Avilés (Universidad de Murcia) i S. Todořcević (University of Toronto-CNRS).

Juny 2015

57. Pablo M. Berná
9 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
El objetivo fundamental de la Teoría de Aproximación no lineal es aproximar, en el paso $n$-ésimo, cada vector $x$ de un espacio de Banach mediante un nuevo vector $x_N$ formado a partir de combinaciones de $N$ elementos de una determinada base fijada de antemano. Pues bien, la Teoría de Aproximación Greedy es un método de este tipo de aproximación que se basa en seleccionar aquellas combinaciones de elementos tales que los coeficientes sean los de mayor tamaño en valor absoluto. En esta charla veremos cuales son las principales bases usadas en este algoritmo y cómo se pueden caracterizar. Además, veremos dos bases importantes: la base de Haar y el Sistema Trigonométrico.

Maig 2015

56. Abel Folch-Fortuny
Raffaele Vitale

21 dj, 13:00, Saló de Graus
Facultat de Matemàtiques
Casos de éxito en análisis multivariante de imágenes de naranjas
El análisis multivariante de imágenes es una herramienta utilizada en distintas áreas de investigación, como quimiometría, medicina, o ciencias -ómicas. Existen dos enfoques para analizar imágenes desde el punto de vista estadístico. El primero de ellos está basado en el estudio de la distribución de píxeles dentro de una misma imagen. El segundo enfoque está basado en el análisis simultáneo de varias imágenes para establecer relaciones entre ellas. En esta charla se presentarán dos casos de estudio en los cuales estas estrategias se han aplicado a imágenes de naranjas de la huerta valenciana: en el primero se utilizan técnicas de clasificación para detección de defectos y segmentación, y en el segundo se ajustan modelos de regresión para discriminar entre naranjas sanas y naranjas podridas.
55. Abel Rubio Fornés
4 dl, 11:30, Saló de Graus
Facultat de Matemàtiques
En este trabajo proponemos utilizar series temporales fuzzy (FTS) para la predicción del rendimiento futuro de carteras de inversión. Generamos números fuzzy trapezoidales como predicciones del rendimiento, para ello introducimos algunos cambios en los modelos clásicos de FTS, como el uso de un operador OWA en las relaciones de conjuntos fuzzy. Para analizar la efectividad de nuestra propuesta utilizamos un modelo posibilístico de selección de carteras media-riesgo lateral que maneja los rendimientos históricos para aproximar el rendimiento de una cartera dada. Realizamos un análisis comparativo de las predicciones obtenidas con los diferentes métodos de FTS y también con las aproximaciones de los rendimientos a partir del histórico de datos. Para ello, hemos realizado un experimento con el IBEX35 de los cuatro últimos años (2011-2014).

Abril 2015

54. Danilo Alvares da Silva
16 dj, 12:30, Aula 0.7
Facultat de Matemàtiques
The Dirichlet-multinomial model is the generalization of the beta-binomial model to multiple (more than 2) classes or categories. This model has a wide scope of applications in which the focus is to analyze data from rates of multiple distinct outcomes. In this work, we study the sensitivity of the posterior distribution of a Dirichlet-multinomial model to the main Dirichlet objective priors of the literature.

Març 2015

53. María Crespo Moya
26 dj, 13:00, Saló de Graus
Facultat de Matemàtiques
En esta charla hablaremos de la limpieza de una fuente contaminada (por ejemplo, un lago) mediante el uso de un biorreactor (recipiente donde se produce una reacción biológica mediante la cual se limpia el agua). Se definirá el concepto de biorreactor, y se presentarán dos modelos matemáticos diferentes que describen su comportamiento, uno de ellos basado en ecuaciones diferenciales ordinarias y el otro en ecuaciones en derivadas parciales; en ambos casos se mostrará el modelo acoplado entre biorreactor y fuente contaminada. Finalmente, se plantearán diferentes problemas de optimización que tienen como objetivo minimizar el tiempo de descontaminación de la fuente.
52. Raffaele Vitale
12 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
An overview of Kernel-based methods for industrial batch process analysis
Nowadays, most of the manufacturing industries in the world perform batch processes in their plants. To guarantee and preserve high quality of the final products and to minimize the number of off-specification process runs, batch monitoring schemes are designed starting from historical data so that faults and failures might be quickly, easily and efficiently recognized and their possible root causes might be correctly identified. These two phases of process monitoring are also known as fault detection and fault diagnosis, respectively. The most widely used techniques to build the aforementioned process monitoring schemes are Principal Component Analysis (PCA) and Partial Least Squares regression (PLS). However, when resorting to PCA or PLS, if the data under study are affected by complex non-linear relationships, their analysis and interpretation may be seriously jeopardized, since both assume their structure is linear. In this circumstance, a good alternative is represented by the so-called kernel-based techniques, which also comprehend support vector machines and have already been broadly used in chemistry, biology, informatics and continuous process monitoring. The main goal of this work is to explore the potential of these methods for monitoring industrial batch processes. To this end, simulated and real industrial process datasets are analysed to check the effectiveness of the described methodology in this field.

Febrer 2015

51. Angela Rugiano
26 dj, 13:00, Saló de Graus
Facultat de Matemàtiques
We introduce a Halpern's type method to approximate common fixed points of a nonexpansive mapping $T$ and of a nonspreading mapping $S$ in Hilbert space. Further, under suitable hypotheses on controll coeficients, the proposed iterative scheme strongly converges to fixed point of $T$ or of $S$. A crucial tool in our result is the regularization with the averaged type mappings. Moreover, our theorem generalizes the result due to Iemoto and Takahashi, [S.Iemoto, W.Takahashi, Approximating common fixed points of nonexpansive mappings and nonspreading mappings in a Hilbert space, Nonlinear Analysis 71, (2009), 2082-2089].
50. Ismael García Bayona
26 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
En esta charla consideraremos funciones con valores en espacios de operadores lineales y continuos entre espacios de Banach, y veremos cuándo pueden aproximarse en la topología fuerte y débil de operadores por funciones numerablemente valoradas. Relacionaremos estas nociones con las formulaciones clásicas de medibilidad, daremos algunas condiciones bajo las cuales coinciden y presentaremos extensiones para operadores del conocido teorema de medibilidad de Pettis, que conecta la medibilidad con la medibilidad débil de funciones con valores en espacios de Banach. También mostraremos ejemplos que permiten construir funciones con algunas de las propiedades vistas.

Gener 2015

49. Juan F. Valls
29 dj, 13:00, Saló de Graus
Facultat de Matemàtiques
En la actualidad, el comercio marítimo es clave en la economía de mercado globalizada. La gestión eficiente de las terminales de contenedores es vital en la competencia por atraer mayor tráfico de mercancías. Uno de los problemas que podemos identificar en una terminal es el de confeccionar una planificación en la que se asignen puntos de atraque y hora a los buques que solicitan atracar en la terminal (Berth Allocation Problem). El objetivo es minimizar el coste de operación de la terminal teniendo en cuenta diversas restricciones, pues ello le permitirá ofrecer mejor servicio a mejor precio. Tenemos, pues, un problema de optimización cuya complejidad hace necesario tanto el planteamiento de modelos de programación matemática como el diseño de algoritmos heurísticos que nos permitan obtener soluciones óptimas o cercanas al óptimo. En esta charla mostraremos un modelo lineal entero y un algoritmo genético con búsqueda local con los cuales se han conseguido resultados que mejoran los obtenidos en propuestas existentes.
48. Guillem Pérez
13 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
En el procesamiento de señales, las matemáticas juegan un papel fundamental. Describiremos las funciones y los procedimientos establecidos para la obtención de fuentes modificadas. Veremos también qué métodos son los más utilizados, en qué casos se aplican y los resultados que podemos obtener.Algunas de estas técnicas se utilizan en la aplicación móvil MonoLibre que actualmente estamos desarrollando para la mejora de la pronunciación en inglés.


Desembre 2014

47. Alfredo Ferrero Molina
16 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
Convergence and Stability
In this paper, a parametric family including Newton' and Traub's iterative schemes is presented. Its local convergence and dynamical behavior on quadratic polynomials is studied. The analysis of fixed and critical points and the associated parameter plane show the dynamical richness of the family and allows us to find members of it with good numerical properties, as well as other ones with very unstable behavior.

Novembre 2014

46. Lluís Hurtado Gil
27 dj, 12:30, Aula 0.7
Facultat de Matemàtiques
Correlació de Galàxies a escales curtes
La distribució de les galàxies a l'univers dista de ser aleatòria, La gravetat, junt amb altres lleis físiques, determinen el viatge que les galàxies recorren per l'univers, empenyent-les fins a formar cúmuls, filaments, murs i altres estructures que s'entrellacen fins a formar una teranyina còsmica. Aquestes estructures poden estudiar-se mitjançant ferramentes topològiques i estadístiques. En aquest treball, amb l'ajuda del catàleg ALHAMBRA, analitzem la distribució de les galàxies a les escales més curtes mai observades amb l'ajuda de funcions de correlació de dos punts. Açò ens permet obtenir nous resultats que contradiuen les prediccions teòriques actuals i ens mostra com la física de l'univers determina la seua topologia.
45. Marisol Valencia
13 dj, 13:00, Saló de Graus
Facultat de Matemàtiques
In a process of selecting a correct model to predict and plan an optimal policy for an industry, a Bayesian approach is useful, especially when there are not a lot of data. In those cases, the user is faced with possibilities which could lead to imprecise estimations, and it could cause a lack of stock for distribution, or the opposite, an excess of inventories, both carrying loses for the company. We show a predictive model with bayesian inference which help us to create an optimal policy to plan inventories for a confection industry.
44. Víctor Ortiz Sotomayor
13 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Un número construible es aquel que podemos representar mediante finitas operaciones de sumas, restas, multiplicaciones, divisiones y raíces cuadradas de enteros. Tales números corresponden a los segmentos que podemos construir con regla y compás. Además, todo número construible es algebraico sobre el cuerpo de los racionales. En esta charla se pretende mostrar cómo utilizar la teoría de extensiones de cuerpospara solucionar algunas cuestiones acerca de la constructibilidad geométrica. El objetivo es doble: en primer lugar, ver el Teorema de Wantzel, el cual afirma que los números construibles son exactamente aquellos que pertenecen a cierta extensión de grado potencia de dos sobre el cuerpo de los racionales. Y, en segundo lugar, demostrar la imposibilidad de ciertos problemas clásicos, como la duplicación del cubo, la cuadratura del círculo, la trisección de algunos ángulos y la construcción de ciertos polígonos regulares. Sin duda, una de las páginas más brillantes de la historia de las matemáticas.

Octubre 2014

43. Ana Navarro Quiles
30 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Las ecuaciones diferenciales deterministas son herramientas útiles para la modelización matemática. Considerar incertidumbre en su formulación nos conduce a ecuaciones diferenciales aleatorias. Resolver este tipo de ecuaciones diferenciales no solo consiste en calcular el proceso estocástico solución si no también en determinar ciertas funciones estadísticas, como pueden ser la esperanza y la varianza. Aunque claramente la determinación de su primera función de densidad de probabilidad proporciona una descripción probabilística más completa del proceso estocástico solución en cada instante de tiempo. En este trabajo vamos a realizar un estudio de este tipo de ecuaciones diferenciales en el caso más simple, donde la aleatoriedad se encuentra solo en la condición inicial. Además se incluirán algunos ejemplos ilustrativos, justificando así la aplicabilidad de dicho tipo de ecuaciones.
42. David Zorío
16 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Els mètodes numèrics clàssics amb mallat cartesià destaquen per la senzillesa de la seua implementació i un relatiu baix cost computacional respecte d’altres tècniques. Shu i Osher formularen un esquema d’alt ordre basat en diferències finites molt més senzill d’implementar i computacionalment eficient que les anteriors tècniques basades en volums finits. L’ús d’aquests esquemes, però, s’ha limitat generalment a dominis rectangulars, on es poden encaixar a la perfecció totes les cel·les d’una malla cartesiana, la qual cosa facilita la tasca a l’hora de fer ús de les condicions de frontera. En aquest treball, s'estén aquesta família de mètodes a tot tipus de dominis amb tècniques d’extrapolació d’alt ordre a la frontera que permeten preservar l’ordre global del mètode, amb l’adequació i dotació de capacitat per a detectar regions amb discontinuïtats a les dades en cas d’haver-ne o aparéixer, sense comprometre l'ordre a les regions amb suavitat a les dades.
41. Blanca Sarzo
2 dj, 10:30, Saló de Graus
Facultat de Matemàtiques
La gaviota de Audouin es una especie endémica del Mediterráneo y emblemática para las Islas Columbretes. Desde el inicio de su colonización en los años 70, la colonia seguía un crecimiento hasta alcanzar un máximo de 625 parejas reproductoras en el año 96, debido a la entrada de un tejón en la colonia del Delta del Ebro en el año 94 que exportó emigrantes a otras colonias cercanas. A partir de entonces, la colonia entró en un declive poblacional hasta la actual cifra de 10 parejas (dato relativo al año 2013). El objetivo de este trabajo es intentar entender cuál ha sido la evolución de la gaviota de Audouin en las Islas Columbretes e intentar dilucidar los motivos de su declive a partir de la información disponible.
Autores: Blanca Sarzo, Carmen Armero y David Conesa.

Setembre 2014

40. Thais Ávila
18 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
The Generalized Directed Rural Postman Problem (GDRPP), also known as the Close-Enough Arc Routing Problem, is an arc routing problem with some interesting real-life applications, such as routing for meter reading. In this application, a vehicle with a receiver travels through a series of neighborhoods. If the vehicle gets closer than a certain distance to a meter (customer), the receiver is able to record the gas, water, or electricity consumption. Therefore, the vehicle does not need to traverse every street, but only a few, in order to get close enough to each meter. Note that in most arc routing problems each customer must be serviced from exactly one street, and thus the goal is to find a route traversing all the streets in a given set. However, in the GDRPP each customer can be serviced from one or more streets, so the vehicle only needs to traverse one of them. In this talk we introduce two new formulations for this problem as well as various families of new valid inequalities that are used to design and implement a branch-and-cut algorithm. The computational results obtained on test bed instances from the literature show that this algorithm outperforms the existing exact methods.

Maig 2014

39. Danilo Alvares da Silva
15 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Nonlinear models have many applications in different areas such as pharmacokinetics and pharmacodynamics, and random effects are often included to take into account the correlation between observations taken within the same subject. In this context, we propose a bayesian analysis for heavy-tailed nonlinear mixed effects models, which may produce more robust estimates for the parameters in the model.
Joint work with Cibele Russo, Universidade de São Paulo.

Abril 2014

38. Guillermo Vinué
29 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
En esta charla se presenta un nuevo paquete de R, llamado Anthropometry, el cual reúne distintos algoritmos para obtener casos antropométricos (tanto centrales como extremos) a partir de los cuales diseñar tallas de ropa, maniquíes de tienda y cabinas de aeronaves de manera óptima y eficiente. Este nuevo paquete de R supone una contribución muy positiva para las disciplinas de la Ergonomía y la Antropometría. La versión más actual de Anthropometry se encuentra siempre disponible en el repositorio CRAN de R.

Març 2014

37. Sheldon Dantas
5 dc, 12:30, Saló de Graus
Facultat de Matemàtiques
Decimos que un funcional lineal $x^* \in X^*$ alcanza su norma si existe $x_0 \in S_X$ tal que $|x^*(x_0)| = \|x^*\|$. En 1963, Errett Bishop y Robert R. Phelps probaron que el conjunto de todos los funcionales que alcanzan su norma es denso en $X^*$. Siete años después, Bollobás probó una versión cuantitativa de este resultado que es muy útil en el estudio del radio numérico de operadores. Este resultado es conocido como Teorema de Bishop-Phelps-Bollobás. En los últimos años, muchos autores se han interesado en conseguir resultados como estos para aplicaciones multilineales y polinomios definidos en espacios de Banach. En esta charla discutiremos los resultados más recientes en esta línea de investigación.

Febrer 2014

36. Yunied Puig de Dios
19 dc, 12:30, Saló de Graus
Facultat de Matemàtiques
Disjoint hypercyclicity was introduced independently by Bernal G. and Bes-Peris in 2007. We extend and study this notion to some filter classes frequently used in Ramsey theory.In 2012 Bes-Martin-Peris-Shkarin have shown the following: a weighted shift $B_w$ is mixing if and only if $B_w, \dots , B_w^r$ is $d$-mixing, for any $r>0$. Now, we show a more general result by stating: $B_w$ is $\mathscr{F}$ operator if and only if $B_w, \dots , B_w^r$ is $d-\mathscr{F}$ operator for any $r>0$ and $\mathscr{F}=\Delta^*, \mathscr{IP}^*, \mathscr{PS}^*, \mathscr{S}$. We point out that this phenomenon does not occur beyond the weighted shift frame by showing a mixing linear operator $T$ such that the tuple $T, T^2$ is not $d-\mathscr{S}$. Concerning the non-filter classes, we show that this result does not hold even for weighted shifts by exhibiting a weakly mixing weighted shift $B_w$ such that the tuple $B_w, B_w^2$ is not $d-$topologically transitive. On the other hand, all of this is very connected with a notion introduced by Salas in 2013, namely, the strong disjoint Blow-up/Collapse property. Now, in this sense an extension to filters cast more light on the nature of this property allowing to make some progress in order to answer some of the questions posed by Salas in his paper.
35. Abel Folch-Fortuny
4 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
Uno de los problemas más habituales cuando se intenta ajustar un modelo teórico a unas medidas reales es la presencia de datos faltantes. En ingeniería, entre otras disciplinas como biología, psicología o ciencias ambientales, este problema es de gran importancia. En los procesos de producción industriales se recogen decenas de variables cada minuto con sistemas de medida en los que la tasa de datos faltantes puede ser elevada. La solución que plantean muchos paquetes informáticos dedicados a este tipo de análisis provoca desajustes en los datos y/o pérdida innecesaria de información. En esta charla se plantearán las diferentes formas de abordar este problema dependiendo de la distribución de los datos faltantes y la naturaleza de las variables recogidas. En el caso particular del análisis estadístico multivariante, se describirá la problemática existente a la hora de construir modelos con datos faltantes (model building) y procesar nuevos datos con medidas faltantes (model exploitation).

Gener 2014

34. Raffaele Vitale
9 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
The recent development of new technologies in the different fields of applied science has permitted the diffusion of novel powerful tools, based on computer-controlled instrumentation, which generate massive amounts of data in a very short time and, in many cases, via one-step analytical procedures. So, being flooded by lots of not nearly easy to interpret numbers is an actual risk for who tries to deal with them. Luckily, mathematics and statistics offer a solution to this issue: in fact, there exist many data analysis techniques, which are accessible even by a decent chemist, but terrible mathematician and statistician, like me, and that allow their users to extract the maximum useful information from complex data sets, simplifying their interpretation and the resolution of the problem under consideration. A comprehensive survey of the most commonly used methods in analytical chemistry will be presented with a special focus on specific applications to the field of chemical spectroscopy.


Desembre 2013

33. Javier Aroza Benlloch
17 dt, 13:00, Saló de Graus
Facultat de Matemàtiques
Existen millones de ecuaciones diferenciales relacionadas con problemas de la vida cotidiana. En esta ocasión, pretendemos mostrar ejemplos de ecuaciones en derivadas parciales lineales de primer orden que, aunque parecen simples, tienen asociadas soluciones con comportamiento caótico según sean sus parámetros. Estas ecuaciones tienen aplicaciones en dinámica de poblaciones como pueden ser, por ejemplo, poblaciones de glóbulos rojos.
32. Adina Iftimi
17 dt, 12:30, Saló de Graus
Facultat de Matemàtiques
Varicella is a highly contagious airborne disease that spreads easily through coughing or sneezing of ill individuals or through direct contact with secretions from the rash. Varicella affects nearly all children worldwide who do not have immunity. Annual incidence is estimated at 80-90 million cases. Recently developed statistical methods were used to investigate temporal, spatial and spatio-temporal variation in varicella infections in Valencia over a 5-year period. The analysis of the data showed statistically significant seasonal variation, spatial clustering and spatio-temporal interaction in the pattern of incidence.
31. Juan F. Valls
2 dl, 12:30, Saló de Graus
Facultat de Matemàtiques
Las simulaciones basadas en sistemas multiagente permiten estudiar fenómenos complejos y concebir aplicaciones robóticas con grandes potencialidades. Uno de los campos en los que han propiciado numerosos desarrollos es la robótica de enjambre, inspirada en el comportamiento emergente y autoorganizado característico de los enjambres de insectos. En esta línea, presentamos algunas aplicaciones de computación evolutiva y una simulación de vida artificial que ilustra las propiedades de la inteligencia de enjambre.

Novembre 2013

30. Elmis J. García
19 dt, 13:00, Saló de Graus
Facultat de Matemàtiques
Sobre datos de material particulado (pm2.5) en Lima, Perú
En este trabajo se analizó los datos de monitoreo de material particulado (pm2.5) del Programa Nacional de Vigilancia Sanitaria de Calidad del Aire, Lima – Callao, utilizando una formulación alternativa en el método de Holt-Winters Aditivo propuesta por Bermúdez et al (2007). El método se basa en la estimación de los parámetros de suavizado y las condiciones iniciales mediante el método de máximo verosimilitud, además de los pronósticos puntuales y los intervalos de predicción, teniendo en cuenta algunos aspectos relativos a la distribución Normal Multivariante.
29. David Zorío
19 dt, 12:30, Saló de Graus
Facultat de Matemàtiques
Un dels principals problemes a l'hora d'aproximar solucions dèbils de lleis de conservació hiperbòliques és el de cercar mètodes numèrics que proporcionen una bona aproximació al voltant de les regions on la solució presenta singularitats. El mètode de Shu-Osher amb la reconstrucció espacial WENO va ser un dels intents més exitosos per tal d'abordar de manera eficient aquest problema. En aquesta presentació introduirem aquesta família de mètodes des d'una perspectiva divulgativa i presentarem possibles extensions per a problemes definits en conjunts no necessàriament rectangulars.
28. Catarina M. de Jesus
5 dt, 12:30, Saló de Graus
Facultat de Matemàtiques
Las singularidades de una aplicación de Gauss estable de superfície cerrada son las curvas parabólicas que separan la superfície en componentes regulares. En este trabajo asociamos grafos con pesos en los vértices a las aplicaciones de Gauss estables. Estos grafos son invariantes topológicos y ayudan en la construcción de estas aplicaciones en superficies con género $k$.

Octubre 2013

27. Orietta Liriano
21 dl, 13:00, Saló de Graus
Facultat de Matemàtiques
Un subgrupo $H$ de un grupo $G$ se dice solitario cuando si $K$ es un subgrupo de $G$ isomorfo a $H$, entonces $H = K$, y normal solitario cuando $H$ es un subgrupo normal de $G$ tal que si $K$ es un subgrupo normal de $G$ isomorfo a $H$, entonces $H = K$. Estos conceptos fueron introducidos por Kaplan y Levy en 2009 (Comm. Algebra, 37(6), 1873--1883). En esta charla se presentan algunas de las principales propiedades de los subgrupos solitarios y normales solitarios. Prestamos especial atención a propiedades reticulares de estos subgrupos y a su relación con clases de grupos finitos.
26. Francesca Spagnuolo
21 dl, 12:30, Saló de Graus
Facultat de Matemàtiques
Sea $p$ un primo. Se dice que una clase de $p$-grupos $X$ determina la $p$-longitud localmente si cada grupo $p$-resoluble con un $p$-subgrupo de Sylow en la clase $X$ tiene $p$-longitud menor o igual que $1$. De la misma manera diremos que una clase de $p$-grupos $Y$ determina la $p$-nilpotencia localmente si cada grupo $G$ con un $p$-subgrupo de Sylow $P$ en $Y$ es $p$-nilpotente si y sólo si $N_G(P)$ es $p$-nilpotente. Para grupos finitos y con $p$ impar sabemos que una clase de $p$-grupos que determina la $p$-longitud localmente determina la $p$-nilpotencia localmente. Hemos demostrado que sigue valiendo el mismo resultado cuando se consideran grupos hiperfinitos.
25. Claudete M.W. Martins
8 dt, 12:30, Saló de Graus
Facultat de Matemàtiques
Convergence results for scalar conservation law with discontinuous flux function
We consider conservation laws with discontinuous flux, which are regularized with generalized BBM-Burgers equations. We study the convergence of one sequence of solutions of these equations for one solution of the associated conservation law.

Setembre 2013

24. Rodrigo Martins
26 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
We study local singularities of frontal ruled surfaces in $\mathbb{R}^3$. We give a topological classification of frontal ruled surfaces of finite codimension and show that there are just seven topological classes.

Juny 2013

23. Vicent Pérez Calabuig
19 dc, 12:30, Saló de Graus
Facultat de Matemàtiques
Donada $\mathfrak{H}$ una varietat de grups finits, és a dir, una formació de grups tancada per a subgrups, podem considerar la classe $\textbf{S($\mathfrak{H}$)}$ de tots els grups $\mathfrak{H}-$resolubles, i.e. els grups $G$ per als quals el grup trivial és $\mathfrak{H}-$subnormal en $G$. Esta classe resulta important en teoria de semigrups per entendre millor el kernel d'un semigrup finit relatiu a la varietat $\mathfrak{H}$, ja que aquest kernel té un paper important en la decidibilitat del producte de Mal'cev. El nostre objectiu, per tant, és estudiar el kernel d'un semigrup i la classe de semigrups resolubles associats a una varietat, per així obtenir resultats que clarifiquen la seua computabilitat.
22. Rubén Amorós
6 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
La gripe es una enfermedad con epidemias todos los años. Una detección a tiempo del inicio de la epidemia puede traducirse en vidas y recursos salvados. Presentamos un modelo para la detección de la gripe donde una cadena de Markov oculta elige entre dos posibles modelizaciones y así nos permite distinguir si nos encontramos en una semana epidémica o no epidémica. La implementación bayesiana del modelo nos permite estimar de forma directa la probabilidad de encontrarnos en epidemia para cada semana.

Maig 2013

21. Antonio M. Sykora
20 dl, 12:30, Saló de Graus
Facultat de Matemàtiques
The two-dimensional irregular strip packing problems, known as Nesting problems, arise in a wide variety of industries like garment, sheet metal cutting, furniture making and shoe manufacturing. We have developed an Iterated Greedy Algorithm based on the reinsertion of the pieces. The IGA uses a constructive algorithm (CA) based on the insertion of the pieces one at a time. Since for each insertion a Mixed Integer Programming (MIP) model is solved to optimality, determined parameters of the CA changes during the IGA in order to adjust the difficulty of the MIP model. Computational results show that IGA is competitive and improve the best known solution on several instances.
20. Guillermo Peñafort
8 dc, 12:30, Saló de Graus
Facultat de Matemàtiques
Para estudiar aplicaciones holomorfas singulares $f:\mathbb C^n\to \mathbb C^p$ es común asociarles espacios como los de sus puntos singulares, dobles, triples, etc. Estos espacios vienen dados por ecuaciones que definen ideales en anillos de funciones. Ideales diferentes pueden definir un mismo conjunto y resulta que los resultados acerca de estas aplicaciones requieren una buena elección de los ideales implicados. Mientras que para los espacios de puntos singulares y de puntos dobles la elección de estos ideales es clara, existen aplicaciones para las que la definición de un ideal adecuado para sus puntos triples es un quebradero de cabeza con el que ocupar simpáticamente un charla de media hora.

Abril 2013

19. Elena M. Tur
23 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
La economía mueve el mundo actual, y las decisiones económicas de los políticos tienen un papel relevante en nuestro día a día. Ahora bien, ¿cómo se toman esas decisiones? En esta charla introduciremos, de manera divulgativa, algunos de los problemas clásicos a los que se enfrentan los economistas y algunos de los enfoques para resolverlos, desde el análisis convexo hasta la teoría de grafos o la simulación.
18. Juan José Miñana
11 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Uno de los principales problemas en la teoría de los espacios topológicos fuzzy es la obtención de una noción apropiada de espacio métrico fuzzy. Muchos autores han investigado sobre esta cuestión y se han dado varias definiciones de espacios métricos fuzzy. En esta charla nos centraremos en la definición de espacio métrico fuzzy que dieron George y Veeramani con la ayuda de t-normas continuas. Éstos probaron que si $M$ es una métrica fuzzy sobre el conjunto $X$, $M$ induce una topología sobre $X$. Más adelante Gregori y Romaguera, probaron que la clase de espacios topológicos que son fuzzy metrizables coincide con la clase de espacios que son metrizables. Este resultado permite reescribir muchos resultados del caso clásico al caso fuzzy. Sin embargo, la teoría de completación en los espacios métricos fuzzy es diferente a la del caso clásico, ya que existen espacios métricos fuzzy que no son completables. Una diferencia significativa entre las métricas fuzzy y las métricas clásicas es que las métricas fuzzy contienen en su definición un parámetro $t$. En esta charla mostraremos algunas aplicaciones de estas métricas en ingeniería, como por ejemplo en el filtrado de imágenes o en la diferencia perceptual de color. Por otra parte veremos que la aparición del parámetro $t$ nos permite introducir nuevos conceptos que sólo tienen sentido natural en el caso fuzzy, como es el caso de la $p$-convergencia.

Març 2013

17. David Álvarez Martínez
21 dj, 13:30, Saló de Graus
Facultat de Matemàtiques
El problema de corte consiste en cortar un conjunto de piezas de un objeto, mientras que el problema de empaquetamiento consiste en ubicar un conjunto de piezas dentro un objeto. Ambos problemas son duales debido a la relación que existe entre el material y el espacio que este ocupa. Convencionalmente se denomina problemas de corte a los problemas donde las piezas se pueden representar en dos dimensiones y problemas de empaquetamiento a los problemas donde las piezas requieren tres dimensiones para ser representadas. Este problema es clásico en la investigación operativa con un gran espectro de aplicación en la industria y una alta complejidad matemática y computacional. Además de esto, se afirma que los enfoques propuestos son de valor práctico muy limitado, dado que no prestan suficiente atención a las restricciones encontradas en situaciones reales. En el mundo real se presentan una gran cantidad variaciones del problema, en el de Corte las más comunes son: con o sin restricciones guillotina, restricciones de orientación, beneficio y límite de piezas. En el de Empaquetamiento las más comunes son: restricciones de límite y distribución de peso, restricciones de orientación, ubicación y apilamiento de las piezas. En este escenario se presenta una metodología de solución para las diferentes variantes de los problemas corte y empaquetamiento.
16. Marina Murillo
21 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Un sistema dinámico es un sistema físico cuyo estado evoluciona con el tiempo. Su comportamiento se puede caracterizar determinando los límites del sistema, los elementos y sus relaciones; de esta forma se pueden elaborar modelos que buscan representar la estructura del mismo sistema. En esta charla estudiaremos propiedades mezclantes (tales como ser topológicamente mezclante o caótico) en sistemas dinámicos discretos, cuando la correspondiente dinámica es inducida por la que verifican ciertos subconjuntos invariantes bajo el operador que describe el sistema dinámico. No sólo nos centraremos en el estudio de propiedades topológicas, sino que tambien estudiaremos propiedades que involucran la definición de una medida en nuestro espacio de estudio, el cual generalmente será un espacio de Banach. De hecho, construiremos medidas fuertemente mezclantes invariantes en sistemas dinámicos que verifican el conocido criterio de Frecuencia Hipercíclica. Por ultimo, presentaremos brevemente los $C_0$-semigrupos, los cuales pueden ser vistos como una versión continua del caso discreto temporal cuando consideramos las iteraciones de un único operador y mostraremos algunos ejemplos que ilustran su comportamiento.
15. Juan Miguel Ribera
12 dm, 13:00, Saló de Graus
Facultat de Matemàtiques
Los Frames, que para los que sepan inglés, se traduce como “marcos” (de cuadros o de fotos), es más, también se llaman Frames a los “fotogramas” de las películas. En la rama de las matemáticas tiene otro significado, el cual, está relacionado con las dos traducciones anteriores. Fueron introducidos por Duffin y Schaeffer (1952) en el contexto del análisis de Fourier no armónico y hoy en día juegan un papel importante en muchas aplicaciones de las matemáticas, la ciencia y la ingeniería junto con la codificación por internet, medicina, computación cuántica,… En esta presentación motivamos la necesidad de definir un concepto que generalice el concepto de base, en particular, para espacios de dimensión infinita: los Frames. Veremos las aplicaciones de los Frames así como algunos ejemplos concretos. Los temas se abordarán de forma divulgativa.

Febrer 2013

14. Hèctor Perpiñán
26 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
La enfermedad renal crónica (ERC) provoca la pérdida progresiva de la función renal, que finalmente degenera en fallo renal haciendo que los pacientes tengan que ser sometidos a diálisis o trasplante. Para controlar su evolución se realizan revisiones periódicas a los enfermos cada 3 o 6 meses. Este tipo de datos, donde se recoge información de los individuos a lo largo del tiempo, se denominan datos longitudinales. En este contexto, estamos interesados en la evaluación de la evolución de la ERC en los niños a través de un estudio longitudinal de el filtrado glomerular (eGFR), la variable más utilizada para la cuantificación de la función renal, mediante modelos longitudinales Bayesianos.
13. Isiah Zaplana Agut
12 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
En los últimos años los avances en medicina han hecho patente la necesidad de contar con avanzadas herramientas, tanto teóricas como numéricas, que permitieran desarrollar modelos para las distintas facetas fisológicas del cuerpo humano con el fin de conocer mejor su funcionamiento y predecir su comporamiento en determinadas circunstancias. Una de las ramas de la medicina que más se ha beneficiado de la aparición de estos modelos ha sido la cardiología, puesto que desde el estudio de electrocardiogramas desde el punto de vista de señales (a las que se aplica las poderosas herramientas desarrolladas por el Análisis de Fourier) hasta el estudio del comportamiento del flujo sanguíneo a través de una arteria, los modelos matemáticos han permitido conocer mejor cómo funciona este complicado sistema biológico y las distintas patologías asociadas, lo que a la postre, permite al médico un mejor y más atento cuidado del paciente. En esta charla nos centraremos en algunos de los modelos más conocidos de algunas funciones y estructuras asociadas al aparato circulatorio y sus utilidades prácticas.

Gener 2013

12. Facundo Muñoz
29 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
De los mapas acústicos a la geometría Riemanniana
La elaboración de mapas acústicos a partir de unas cuantas mediciones de ruido sobre el terreno puede verse como un problema de predicción geoestadística. Sin embargo, la heterogeneidad propia de los entornos urbanos introduce distorsiones importantes. Una forma de tener en cuenta las heterogeneidades de la región en problemas de predicción geoestadística es utilizar una métrica no Euclídea. Pero esto tiene un riesgo: la función de correlación del modelo estadístico podría perder la propiedad de definición positiva, necesaria desde el punto de vista teórico. Matemáticamente, el problema se puede plantear cómo la búsqueda de funciones definidas positivas en una variedad Riemanniana. En teoría, esta familia de funciones debería poder calcularse como las transformadas de Fourier generalizadas, con respecto al carácter de un grupo de movimientos sobre la variedad, de funciones positivas y acotadas. Alternativamente, se puede utilizar la inmersión de Kuratowski para atacar este problema en un subconjunto de un Algebra de Banach. Otra inmersión interesante es en un espacio pseudo-Euclídeo. Esto es una generalización del espacio Euclídeo en la cual el producto interno se sustituye por una forma bilineal simétrica no degenerada. Veremos algunas propiedades interesantes de este particular espacio y analizaremos las dificultades que surgen en la búsqueda de sus funciones definidas positivas.
11. Rubén Amorós
15 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
Los Problemas de Probabilidad Condicionada son un campo interesante dentro de la didáctica de las Matemáticas debido a las dificultades que presentan para los alumnos de todas las edades. Presentamos un esquema de clasificación de los Problemas Ternarios de Probabilidad Condicionada y de sus resoluciones. También mostramos un resultado cuantitativo que nos valora el nivel dificultad que encuentran estudiantes con formación universitaria en este tipo de problemas y que indica qué estrategia de resolución es probablemente más eficiente para resolverlos.


Desembre 2012

10. J. Antonio Moya Pérez
12 dx, 12:30, Saló de Graus
Facultat de Matemàtiques
El link de un germen finitamente determinado de $\mathbb{R}^2$ en $\mathbb{R}^2$
Sea $f: (\mathbb{R}^{2}, 0) \rightarrow (\mathbb{R}^{2}, 0)$ un germen de aplicación finitamente determinado. El link de $f$ se obtiene tomando un representante adecuado $f: U \subset \mathbb{R}^{2} \rightarrow \mathbb{R}^{2}$ e intersectando la imagen de éste con una 1-esfera $S_{\epsilon}^{1}$ suficientemente pequeña centrada en el origen de $\mathbb{R}^2$. Estudiamos la topología de $f$ mediante las palabras de Gauss asociadas a dichos links.

Novembre 2012

9. Carme Zaragoza
28 dx, 13:00, Saló de Graus
Facultat de Matemàtiques
Se define el espacio de norma mixta $\ell(p,q)$ como aquellas sucesiones $(a_j)_j$ tales que $$((\sum_{j\in I_{2^k}}{|a_j|^p})^\frac{1}{p})_k\in \ell^q$$ donde $I_{2^k}$=$\{j\in\mathbb{N}\mid $ $2^k\leq j<2^{k+1}\}$, $\ k\in \mathbb{N}$. Generalizamos esta noción tomando diferentes bloque generadores, es decir, dada una función creciente $r:\mathbb{N}\rightarrow\mathbb{N}$, definimos $I_k$=$\{j\in\mathbb{N}\mid$ $r(k)\leq j < r(k+1)\}$ , $k\in \mathbb{N}$. Nuestro propósito es estudiar estos nuevos espacios denotados $\ell^I(p,q)$, y dar algunas condiciones necesarias o suficientes para que una sucesión $\lambda=(\lambda_j)_j$ esté en el espacio de multiplicadores $(\ell^I(r,s),\ell^J(u,v))$=$\{\lambda\in \mathcal{S}\mid$ $\lambda a\in\ell^J(u,v)\ $ $\forall a\in\ell^I(r,s)\}$ para cualquier $I\neq J$. Asimismo encontramos una expresión que caracteriza estos multiplicadores en algunos casos particulares.
8. Abel Folch-Fortuny
13 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
La biología de sistemas es una rama de las ciencias procedente de la biología molecular cuyo objetivo es estudiar las relaciones entre los elementos internos de las células y el comportamiento de éstas a nivel individual y en sistemas multicelulares. Los avances en este campo son aplicables a las industrias alimentaria, química, farmacéutica, y a la industria de procesos en general, siendo de capital importancia para la biotecnología. La ingente cantidad de información biológica a analizar hace necesario un tratamiento estadístico multivariante de los datos, utilizando métodos de proyección a estructuras latentes. Por otro lado, la complejidad de las redes metabólicas exige el uso de técnicas de investigación operativa tales como la programación lineal, la programación lineal entera y la teoría de grafos.

Octubre 2012

7. Carolina Vallejo
31 dx, 12:30, Saló de Graus
Facultat de Matemàtiques
Un carácter χ de un grupo G se dice monomial si existe un carácter lineal λ de un subgrupo U de G de modo que χ se induce desde λ. Los caracteres lineales de un grupo son los homomorfismos del grupo en el grupo multiplicativo del cuerpo complejo, y, por tanto, son los más fáciles de entender. Los siguientes caracteres en cuanto a sencillez son los monomiales. Sin embargo, hay pocos resultados que aseguren que un cierto conjunto de caracteres es monomial. En esta presentación, introduciremos los conceptos básicos en Teoría de Caracteres que necesitaremos para entender un resultado que revela la naturaleza monomial de algunos caracteres.
6. Karen Cecilia Flórez
15 dl, 12:30, Saló de Graus
Facultat de Matemàtiques
Las técnicas estadísticas utilizadas en el mapeo de enfermedades permiten estudiar y modelizar el riesgo de una enfermedad en una zona geográfica de estudio. Los modelos estadísticos generalmente empleados dividen la zona geográfica en áreas pequeñas permitiendo obtener estimaciones más precisas del riesgo en dichas áreas. Estos modelos incorporan la dependencia espacial logrando así una estimación suavizada del riesgo. El empleo de mapas de riesgo para representar situaciones relevantes en materia de salud, proporcionan una imagen descriptiva del comportamiento del riesgo en la región de interés. A través de los mapas se puede visualizar el patrón del riesgo, lo que permite detectar zonas de alto y bajo riesgo y sugerir posibles explicaciones sobre los patrones identificados. En esta presentación revisamos algunas de las propuestas de modelización jerárquica bayesiana más utilizadas y su aplicación en el análisis del riesgo de la enfermedad. Finalmente presentamos algunas ideas que pretendemos desarrollar para la construcción de nuevos modelos espaciales.

Setembre 2012

5. Thais Ávila
13 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Los problemas de Rutas por Arcos se encuentran dentro del área de la Optimización combinatoria que, básicamente, designa a aquellos problemas de optimización en los que hay que encontrar la mejor solución (óptima) entre un número finito (pero enorme) o infinito numerable de soluciones. Unos de los primeros problemas que se conoce de este tipo es el “Problema de los Puentes de Königsberg “. Otros problemas importantes que se han estudiando desde entonces son el “Problema del Cartero Chino” o “El Problema del Cartero Rural”, tanto en sus versiones no dirigidas, dirigidas o windy. En esta charla introduciremos dos problemas de rutas por arcos el “Stacker Crane Problem” y el “Directed General Routing Problem” que es una generalización del anterior. Explicaremos conceptos básicos sobre la teórica poliédrica necesaria para la resolución exacta de estos problemas y comentaremos los dos enfoques de resolución con los que se abarcan los problemas de optimización combinatoria.

Juny 2012

4. Joan Tent
28 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
Una representació d’un grup finit G és un homomorfisme de grups de G en un grup de matrius invertibles amb entrades en el cos dels nombres complexos, i el caràcter d’una representació ve donat per la seva traça. Els caràcters d’un grup G tenen una gran influència sobre l’estructura de G, i viceversa. El nostre objectiu és discutir algunes qüestions sobre caràcters racionals i caràcters reals en grups finits, és a dir caràcters que només prenen valors racionals o reals en el grup.
3. Perfecto Vidal
21 dj, 12:30, Saló de Graus
Facultat de Matemàtiques
El tratamiento de imágenes es una rama de la matemática aplicada en plena ebullición por ser de las más recientes y por contar con inimaginables aplicaciones prácticas en muchísimos campos como ingeniería, física, topografía, medicina, etc. En esta conferencia intentaremos explicar de forma divulgativa la historia del tratamiento de imágenes y de forma intuitiva estudiar el desarrollo de un modelo de detección de contornos.

Maig 2012

2. Enric Cosme
24 dj, 12:30, Aula 1.1
Facultat de Matemàtiques
La coàlgebra universal és una teoria matemàtica utilitzada per a la modelització de sistemes. En aquesta xarrada introduirem les nocions bàsiques de coàlgebra, morfisme entre coàlgebres i bisimulacions així com les seues propietats més importants. Durant l'exposició utilitzarem aquests conceptes per a un estudi més general de la teoria d'autòmats i mostrarem els avantatges que ens aporta aquesta nova visió.
1. Guillermo Vinué
8 dm, 12:30, Saló de Graus
Facultat de Matemàtiques
El objetivo del proyecto al que pertenezco consiste en desarrollar técnicas estadísticas para la explotación de bases de datos 3D del cuerpo humano con el fin de mejorar el ajuste y confort de prendas de ropa. Uno de los aspectos más importantes del proceso de diseño de ropa consiste en definir un sistema de tallaje que se ajuste a la mayoría de la población. En esta charla, presento el trabajo desarrollado hasta el momento por el grupo de investigación del que formo parte, en el que se trata de definir un sistema de tallaje de ropa eficiente basado en técnicas clustering. La metodología planteada ha sido aplicada a la base de datos antropométricos obtenida a partir del estudio llevado a cabo en la población femenina española en 2006.

- 2015 - Modificació de la plantilla gratuïta Gumba de Rick Waalders