140 research outputs found
A new bound on the Morse index of constant mean curvature tori of revolution in S3
In this work we give a new lower bound on the Morse index for constant
mean curvature tori of revolution immersed in the three-sphere S3, by computing
some explicit negative eigenvalues for the corresponding Jacobi operator.Ministerio de Educación y Ciencia MTM2007-6191
The maximum relative diameter for multi-rotationally symmetric planar convex bodies
In this work we study the maximum relative diameter functional
dM in the class of multi-rotationally symmetric planar convex bodies.
A given set C of this class is k-rotationally symmetric for k 2 {k1, . . . , kn}
N, and so it is natural to consider the standard ki-partition Pki associated
to C (which is a minimizing ki-partition for dM when ki > 3) and the corresponding
value dM(Pki ). We establish the relation among these values,
characterizing the particular sets for which all these values coincide.Ministerio de Economía y Competitividad MTM2013-48371-C2-1-PJunta de Andalucía FQM-32
Compact stable hypersurfaces with free boundary in convex solid cones with homogeneous densities
We consider a smooth Euclidean solid cone endowed with a smooth homogeneous
density function used to weight Euclidean volume and hypersurface area.
By assuming convexity of the cone and a curvature-dimension condition, we prove
that the unique compact, orientable, second order minima of the weighted area under
variations preserving the weighted volume and with free boundary in the boundary
of the cone are intersections with the cone of round spheres centered at the vertex.Ministerio de Ciencia y Tecnología MTM2010-21206-C02-01Junta de Andalucía FQM-325Junta de Andalucía P09-FQM-508
Análisis prospectivo de la reproducibilidad, seguridad y los tiempos quirúrgicos de la colecistectomía por puerto único según una nueva técnica estandarizada
En los últimos años, la búsqueda de una menor morbilidad y un mayor confort para el paciente ha llevado a explorar nuevas vías de acceso a la cavidad abdominal con un menor trauma quirúrgico, como es el NOTES y LESS. La necesidad de adaptación a un material endoscópico no diseñado para tal fin (escasa estabilidad y visión en ojo de pez) y la falta de desarrollo a nivel comercial de una plataforma estable que permita un
abordaje confortable y seguro hacen que sea una vía escasamente reproducible, que añadido a la dificultad que conlleva la realización de una técnica quirúrgica mediante orificios naturales han hecho que su difusión sea escasa. Por el contrario, la reproducibilidad de la técnica LESS ha hecho que un gran numero de cirujanos hayan optado por esta técnica, debido a su mayor similitud con la laparoscopia convencional.
En el momento actual y con la aparición en el mundo de la cirugía de los
dispositivos de puerto único se plantea un gran reto a los cirujanos, ya que esta nueva vía de abordaje supone un cambio de las reglas básicas de la cirugía laparoscópica, basadas en la triangulación y correcta exposición de los campos quirúrgicos para llevar a cabo la cirugía a través de una sola incisión y por tanto una disminución de la amplitud de rango de movimiento de las manos. El puerto único irrumpe en el mercado sin tener en cuenta la dificultad, el estrés sobreañadido al que se ve el cirujano al intentar cambiar una técnica ya aprendida y que habitualmente realiza sin incidencias y con una ergonomía adecuada con la consiguiente afectación de la seguridad a la que se ve sometida el paciente y de la calidad de la misma. El abordaje LESS podría tener ventajas sobre la cirugía laparoscópica convencional como son el mayor confort para el paciente, menor dolor postoperatorio y mejor resultado estético por ser una cirugía que disminuye el número y tamaño de las cicatrices, pero son necesarios estudios prospectivos randomizados, para evaluar posibles ventajas de esta técnica y poder sentar las bases de las posibles indicaciones
que tendrá este tipo de acceso. Es necesario discernir si el abordaje mediante cirugía LESS con una técnica quirúrgica estandarizada para la realización de la colecistectomía en pacientes con colecistopatías es más reproducible, factible y seguro comparado con la realización de
una colecistectomía LESS sin haber establecido previamente una técnica estandarizada, tal y como están desarrollando muchos cirujanos a nivel mundial. De esta forma se pretende transmitir una técnica estandarizada de forma que conlleve una disminución de tiempos quirúrgicos, sin aumentar complicaciones intra ni postoperatorias. La falta de reproducibilidad y seguridad atribuida por algunos cirujanos a esta vía de abordaje, ha
llevado al rechazo, por parte de algunos grupos, a la utilización de dicha técnica, ya que en un principio, para la realización de la misma, se utilizaba un dispositivo de puerto único con tres puertos, debiendo buscar una nueva forma de tracción del fundus vesicular para la correcta exposición del triángulo de Calot, lo cual se conseguía con métodos que en ocasiones suponía la perforación vesicular y el vertido de bilis consiguiente. La aparición en el mercado de dispositivos con 4 puertos de entrada hace
posible la reproducción de la técnica estandarizada de la colecistectomía laparoscópica tradicional. Dada la multitud de instrumental desarrollado para la cirugía por puerto único, unido a la escasa experiencia en la utilización del mismo, se limita este abordaje a cirujanos expertos en el campo de la cirugía laparoscópica, los cuales, con el afán de
superación y mejoras continuas de la técnica quirúrgica en beneficio del paciente, intentan llevar el concepto intrínseco de la cirugía mínimamente invasiva a su máxima expresión. Nuestro trabajo pretende demostrar que este es un abordaje al alcance de todos, con la adecuada formación y entrenamiento especifico
Bisections of centrally symmetric planar convex bodies minimizing the maximum relative diameter
In this paper we study the bisections of a centrally symmetric planar convex body which minimize the maximum relative diameter functional. We give necessary and sufficient conditions for being a minimizing bisection, as well as analyzing the behavior of the so-called standard bisection.Ministerio de Economía e Innovación MTM2013-48371-C2-1-PJunta de Andalucía FQM-32
On the isodiametric and isominwidth inequalities for planar bisections
For a given planar convex body K, a bisection of K is a decomposition of K into two closed sets A,B so that A∩B is an injective continuous curve connecting exactly two boundary points of K. Consider a bisection of K
minimizing, over all bisections, the maximum diameter (resp., maximum width) of the sets in the decomposition.
In this note, we study some properties of these minimizing bisections and prove inequalities extending the classical isodiametric and isominwidth inequalities. Furthermore, we address the corresponding reverse optimization problems and establish inequalities similar to the reverse isodiametric and reverse isominwidth inequalities.Ministerio de Ciencia, Innovación y Universidades MTM2017-84851-C2-1-PJunta de Andalucía FQM-325Fundación Séneca 19901/GERM/15Ministerio de Ciencia, Innovación y Universidades PGC2018-094215-B-I0
AZAÑA, MANUEL. (2022). Paseos por mi jaula. Páginas escogidas del diario, 1931-1939. J. L. GALLERO Y C. GUTIÉRREZ (eds). Madrid: Árdora Ediciones
Recensión de la obra AZAÑA, MANUEL. (2022). Paseos por mi jaula. Páginas escogidas del diario, 1931-1939. J. L. GALLERO Y C. GUTIÉRREZ (eds). Madrid: Árdora Ediciones
Subdivisions of rotationally symmetric planar convex bodies minimizing the maximum relative diameter
In this work we study subdivisions of k-rotationally symmetric
planar convex bodies that minimize the maximum relative diameter
functional. For some particular subdivisions called k-partitions, consisting
of k curves meeting in an interior vertex, we prove that the so-called standard
k-partition (given by k equiangular inradius segments) is minimizing
for any k 2 N, k > 3. For general subdivisions, we show that the previous
result only holds for k 6 6. We also study the optimal set for this problem,
obtaining that for each k 2 N, k > 3, it consists of the intersection of the
unit circle with the corresponding regular k-gon of certain area. Finally,
we also discuss the problem for planar convex sets and large values of k,
and conjecture the optimal k-subdivision in this case.Ministerio de Educación y Ciencia MTM2010-21206-C02-01Ministerio de Economía e Innovación MTM2013-48371-C2-1-PJunta de Andalucía FQM-325Junta de Andalucía P09-FQM-508
Energy-efficient Deployment of IoT Applications in Edge-based Infrastructures: A Software Product Line Approach
In order to lower latency and reduce energy consumption, Edge Computing proposes offloading some computation intensive tasks usually performed in the Cloud onto nearby devices in the frontier/Edge of the access networks. However, current task offloading approaches are often quite simple. They neither consider the high diversity of hardware and software technologies present in edge network devices, nor take into account that some tasks may require some specific software and hardware infrastructure to be executed. This paper proposes a task offloading process that leans on Software Product Line technologies, which are a very good option to model the variability of software and hardware present in edge environments. Firstly, our approach automates the separation of application tasks, considering the data and operation needs and restrictions among them, and identifying the hardware and software resources required by each task. Secondly, our approach models and manages separately the infrastructure available for task offloading, as a set of nodes that provide certain hardware and software resources. This separation allows to reason about alternative offloading of tasks with different hardware and software resource requirements, in heterogeneous nodes and minimizing energy consumption. In addition, the offloading process considers alternative implementations of tasks to choose the one that best fits the hardware and software characteristics of available edge network infrastructure. The experimental results shows that our approach reduces the energy consumption in the user node by approximately 41%–62%, and the energy consumption of the devices involved in a task offloading solution by 34-48%Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech
Constructing Recursions by Similarity
A formal specification can describe software models
which are difficult to program. Transformational methods
based on fold/unfold strategies have been proposed to
palliate this problem. The objective of applying
transformations is to filter out a new version of the
specification where recursion may be introduced by a
folding step. Among many problems, the “eureka” about
when and how to define a new predicate is difficult to find
automatically. We propose a new version of the folding
rule which decides automatically how to introduce new
predicates in a specification. Our method is based on finding
similarities between formulas represented as parsing trees
and it constitutes an assistance to the complex problem of
deriving recursive specifications from non recursive ones
- …