• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 147
  • 40
  • 29
  • Tagged with
  • 216
  • 216
  • 75
  • 65
  • 46
  • 44
  • 44
  • 34
  • 18
  • 17
  • 16
  • 13
  • 11
  • 11
  • 11
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
111

Assisting the training of deep neural networks with applications to computer vision

Romero, Adriana 02 October 2015 (has links)
Deep learning has recently been enjoying an increasing popularity due to its success in solving challenging tasks. In particular, deep learning has proven to be effective in a large variety of computer vision tasks, such as image classification, object recognition and image parsing. Contrary to previous research, which required engineered feature representations, designed by experts, in order to succeed, deep learning attempts to learn representation hierarchies automatically from data. More recently, the trend has been to go deeper with representation hierarchies. Learning (very) deep representation hierarchies is a challenging task, which involves the optimization of highly non- convex functions. Therefore, the search for algorithms to ease the learning of (very) deep representation hierarchies from data is extensive and ongoing. In this thesis, we tackle the challenging problem of easing the learning of (very) deep representation hierarchies. We present a hyper-parameter free, off-the-shelf, simple and fast unsupervised algorithm to discover hidden structure from the input data by enforcing a very strong form of sparsity. We study the applicability and potential of the algorithm to learn representations of varying depth in a handful of applications and domains, highlighting the ability of the algorithm to provide discriminative feature representations that are able to achieve top performance. Yet, while emphasizing the great value of unsupervised learning methods when labeled data is scarce, the recent industrial success of deep learning has revolved around supervised learning. Supervised learning is currently the focus of many recent research advances, which have shown to excel at many computer vision tasks. Top performing systems often involve very large and deep models, which are not well suited for applications with time or memory limitations. More in line with the current trends, we engage in making top performing models more efficient, by designing very deep and thin models. Since training such very deep models still appears to be a challenging task, we introduce a novel algorithm that guides the training of very thin and deep models by hinting their intermediate representations. Very deep and thin models trained by the proposed algorithm end up extracting feature representations that are comparable or even better performing than the ones extracted by large state-of-the-art models, while compellingly reducing the time and memory consumption of the model.
112

Development of Statistical Methodology to Study the Incidence of Drug Use

Sánchez Niubó, Albert 28 January 2014 (has links)
Tesi realitzada a l'IMIM ( Institut Hospital del Mar d'Investigacions Mèdiques) / This work aims to contribute methodologically in the epidemiology of drug use, particularly estimation of incidence. No incidence figures of drug use in Spain had ever been published, prior to those appearing in these articles, and relatively little has been published for other countries. Since around 2000, the European Monitoring Centre for Drugs and Drug Addiction (EMCDDA), which is an agency of the European Union, has been making a concerted effort to promote the determination and publication of drug use incidence figures, given their great importance in designing prevention policies. The approaches used and results obtained by our research have been presented in three EMCDDA meetings (years 2007, 2008 and 2012), at a monographic meeting on incidence promoted by the Norwegian Institute for Alcohol and Drug Research (SIRUS) in 2009, and in the framework of a European project on new methodological tools for policy and programme evaluation (JUST/2010/DPIP/AG/1410) which ran from 2010 to 2012. This work therefore contributes not only by presenting drug use incidence results for Spain, but also by describing the development of methods and sharing ideas that may be adapted for use in other countries.
113

Detection and Alignment of Vascular Structures in Intravascular Ultrasound using Pattern Recognition Techniques

Alberti, Marina 21 February 2013 (has links)
In this thesis, several methods for the automatic analysis of Intravascular Ultrasound (IVUS) sequences are presented, aimed at assisting physicians in the diagnosis, the assessment of the intervention and the monitoring of the patients with coronary disease. The basis for the developed frameworks are machine learning, pattern recognition and image processing techniques. First, a novel approach for the automatic detection of vascular bifurcations in IVUS is presented. The task is addressed as a binary classification problem (identifying bifurcation and non-bifurcation angular sectors in the sequence images). The multiscale stacked sequential learning algorithm is applied, to take into account the spatial and temporal context in IVUS sequences, and the results are refined using a-priori information about branching dimensions and geometry. The achieved performance is comparable to intra- and inter-observer variability. Then, we propose a novel method for the automatic non-rigid alignment of IVUS sequences of the same patient, acquired at different moments (before and after percutaneous coronary intervention, or at baseline and follow-up examinations). The method is based on the description of the morphological content of the vessel, obtained by extracting temporal morphological profiles from the IVUS acquisitions, by means of methods for segmentation, characterization and detection in IVUS. A technique for non-rigid sequence alignment - the Dynamic Time Warping algorithm - is applied to the profiles and adapted to the specific clinical problem. Two different robust strategies are proposed to address the partial overlapping between frames of corresponding sequences, and a regularization term is introduced to compensate for possible errors in the profile extraction. The benefits of the proposed strategy are demonstrated by extensive validation on synthetic and in-vivo data. The results show the interest of the proposed non-linear alignment and the clinical value of the method. Finally, a novel automatic approach for the extraction of the luminal border in IVUS images is presented. The method applies the multiscale stacked sequential learning algorithm and extends it to 2-D+T, in a first classification phase (the identification of lumen and non-lumen regions of the images), while an active contour model is used in a second phase, to identify the lumen contour. The method is extended to the longitudinal dimension of the sequences and it is validated on a challenging data-set. / En esta tesis, se presentan métodos para el análisis automático de secuencias de Ultrasonido Intravascular (IVUS), destinados a ayudar a los médicos en el diagnóstico, la evaluación de la intervención y el seguimiento de los pacientes con enfermedad coronaria. La base para los métodos desarrollados son técnicas de aprendizaje automático, reconocimiento de patrones y procesamiento de imagen. En primer lugar, se presenta un nuevo método para la detección automática de bifurcaciones vasculares en IVUS. La tarea se aborda como un problema de clasificación binaria (identificando los sectores angulares de bifurcación y de no-bifurcación en las imágenes de la secuencia). Se aplica el algoritmo de multiscale stacked sequential learning, para tener en cuenta el contexto espacial y temporal de las secuencias, y los resultados se refinan utilizando información a-priori acerca de las dimensiones de las ramificaciones y su geometría. El rendimiento obtenido es comparable a la variabilidad intra- e inter-observador. A continuación, se propone un nuevo método para la alineación automática no rígida de secuencias de ecografía intravascular del mismo paciente, adquiridas en diferentes momentos (antes y después de la intervención, o al inicio del estudio y en exámenes de seguimiento). El método se basa en la descripción del contenido morfológico del vaso, que se obtiene mediante la extracción de perfiles temporales morfológicos de las adquisiciones de IVUS. Una técnica para la alineación no rígida de secuencias - Dynamic Time Warping - se aplica a los perfiles y se adapta al problema clínico. Se proponen dos diferentes estrategias para hacer frente a la superposición parcial entre los frame de las secuencias correspondientes. Los beneficios de la estrategia propuesta se demuestran por una amplia validación en datos sintéticos e in vivo. Finalmente, se presenta un enfoque novedoso para la extracción automática de la frontera luminal en imágenes de IVUS. El método aplica el algoritmo de aprendizaje multiscale stacked sequential learning y lo extiende en 2-D+T, en una primera fase de clasificación (la identificación de regiones de lumen y no-lumen de las imágenes), mientras que un modelo de contorno activo se utiliza en una segunda fase, para identificar el contorno luminal.
114

Combination of vehicle routing models and dynamic traffic simulation for city logistics applications

Grzybwska, Hanna 08 June 2012 (has links)
The urban network is a highly dynamic system. Thus, a modern and efficient fleet management in urban areas should account for dynamics of traffic conditions, variability in travel times, changes in demand and fleet availability. All these factors significantly affect the distribution of goods and the provision of services. As a consequence, the freight operations optimizing approaches should be based on the time-dependent travel time estimates rather than on the average static values commonly employed as input data. Proficient dynamic fleet management decisions need to take into consideration all the factors conditioning the addressed problem. Hence, the customers’ requests and service conditions (demands, time windows, etc.), operational conditions of the employed fleet (vehicles’ availability, status, positions, current occupancy of the carriage space, etc.) and traffic conditions need to be reckoned with. This information can be provided in the real-time fashion and at an affordable price by the ICT applications and tools such as: ATIS, GPS, GPRS or other. Instead of relying exclusively on the experience of a dispatcher, it is effective to base the freight management decisions on information provided by a professional Decision Support System facilitating the consideration of all the factors conditioning the addressed issue. The objective of the present thesis is to propose, implement and computationally test, on the basis of a simulation, the architecture of a Decision Support System for real-time freight management able of accounting for all the dynamic factors mentioned above. Its design is based on integration of a selected pickup and delivery vehicle routing model and dynamic traffic simulation models, whose purpose is to carefully emulate the evolving traffic conditions. The optimal dynamic routing and scheduling of a vehicle fleet is obtained due to dynamic modifications of the current routing and scheduling plan on the basis of the recently revealed information conditioning the addressed problem. The obtained results of computational experiments show that the performance of freight fleet strongly depends on the traffic information used to create the routing and scheduling plan. Due to the special character of transport operations performed in metropolitan areas it is possible that not all the scheduled customers would be served, although a feasible initial solution is created on the basis of the historical travel times’ data. Hence, there is a need to implement real-time rerouting strategies allowing modifications of the original routes in order to feasibly fulfil the routing tasks. In addition, the tighter the constraints specifying the customers’ time windows and the higher the number of dynamically appearing requests, the higher the cost of the performance and the level of utilization of the freight fleet. / La red urbana es un sistema altamente dinámico. Por lo tanto, la gestión moderna y eficiente de la flota en las zonas urbanas debe tener en cuenta la dinámica de las condiciones del tráfico, la variabilidad en los tiempos de viaje y los cambios en la disponibilidad de la demanda y de la flota, ya que afectan de manera significativa en la distribución de bienes y la prestación de servicios. Como consecuencia, los enfoques para optimizar las operaciones de carga deben basarse en las estimaciones de los tiempos de viaje dependientes del tiempo y no en los valores medios estáticos comúnmente empleados como datos de entrada. Las decisiones competentes de gestión dinámica de las flotas necesitan tener en cuenta todos los factores que condicionan el problema abordado. Por lo tanto, hay que considerar las características de las peticiones y las condiciones de servicio de los clientes (demanda, ventanas de tiempo, etc.), las condiciones operacionales de la flota empleada (disponibilidad de los vehículos, estatus, ubicación, ocupación actual del espacio de transporte, etc.) y las condiciones de tráfico. Esta información puede ser proporcionada en tiempo real a un precio asequible por las aplicaciones de las TIC y herramientas tales como: ATIS, GPS, GPRS u otros. En lugar de confiar exclusivamente en la experiencia de un distribuidor, también sería correcto basar las decisiones de gestión de transporte de mercancías en la información proporcionada por un sistema profesional de apoyo a la toma de decisiones que facilita la consideración de todos los factores que condicionan el problema abordado. El objetivo de esta tesis es proponer, implementar y validar computacionalmente en base a la simulación, la arquitectura de un Sistema de Apoyo a la Toma de Decisiones para la gestión de transporte de mercancías en tiempo real capaz de considerar todos los factores dinámicos previamente mencionados. Su diseño se basa en la integración de un modelo seleccionado de rutas de vehículos con recogida y entrega y modelos de simulación de tráfico dinámicos cuyo propósito es emular detalladamente las condiciones de tráfico que cambian con el paso del tiempo. Las rutas y los horarios dinámicos óptimos para una flota de vehículos que transporta mercancías se obtienen de las modificaciones dinámicas de un plan actual de rutas y horarios en base a la nueva información recibida que condiciona el problema abordado. Los resultados obtenidos de los experimentos computacionales demuestran que el rendimiento de la flota de transporte de mercancías depende en gran medida de la información de tráfico utilizada para crear el plan de rutas y los horarios. Debido al carácter especial de las operaciones de transporte realizadas en las áreas metropolitanas, a pesar de una solución inicial factible que se crea sobre la base de los datos históricos de los tiempos de viaje, es posible que no todos los clientes sean servidos. Por lo tanto, hay una necesidad de implementar estrategias de cambios de rutas en tiempo real, que permiten modificar las rutas originales con el fin de cumplir las tareas de enrutamiento viables. Además, más estrictas son las limitaciones que especifican las ventanas del tiempo de los clientes y más alto es el número de solicitudes de servicio que aparecen de forma dinámica, mayor será el coste final de las prestaciones del servicio y el nivel de utilización de la flota de transporte de mercancías.
115

La llengua d’Arquimedes en De Sphaera et Cylindro

Masià, Ramon 16 April 2012 (has links)
La tesi estudia la llengua grega d'una de les obres d'Arquimedes, De Sphaera et Cylindro, des d’un punt de vista estilístic. També inclou un estudi comparatiu del mateix tipus d’altres obres matemàtiques del context cultural grec: Elementa d'Euclides yDe Conoidibus et Sphaeroidibus d'Arquimedes, així com un estudi comparatiu amb altres obres del corpus grec no matemàtic, específicament, totes les obres de Plató, Plutarc i Diodor de Sicília. Per a realitzar l’anàlisi i la comparació, primerament, es lematitzen tots els textos utilitzant i modificant eines informàtiques adequades, anomenades concordancers. A continuació, s’usen mètodes estadístics per al tractament del text lematitzat. A continuació es presenten els trets estilístics més rellevants propis del text arquimedià estudiat i se'n donen els criteris bàsics d'una bona traducció catalana. Finalment, s’inclou en un annex la traducció de De Sphaera et Cylindro seguint els esmentats criteris. / The Doctoral Thesis is a research on the Greek language used by Archimedes in one of his works, De Sphaera et Cylindro, from a stylistic point of view. It also includes a comparative stylistic study that includes this work and other mathematical works of the Greek cultural context: Euclid’s Elementa, Archimedes’ De Conoidibus et Sphaeroidibus. This comparative study is extended to other Greek non-mathematical corpora, specifically, the works of Plato, Plutarch and Diodorus of Sicily. First, all the corpora are lemmatizated using and modifying some computer tools called concordancers. Then, we use some statistical methods for the treatment of the lemmatized text. Finally, we present the most important stylistic features of the Archimedes work and we give the basic criteria for making a good catalan translation. An appendix is included that contains the catalan translation of De Sphaera et Cylindro following the above mentioned criteria.
116

Geometría global de superficies espaciales en espacios producto lorentzianos

Albujer Brotons, Alma Luisa 19 November 2008 (has links)
A lo largo de esta tesis estudiamos la geometría global de las superficies espaciales, y maximales en particular, en espacios producto lorentzianos. En primer lugar generalizamos el teorema de Calabi-Bernstein al caso de superficies maximales en un producto lorentziano. También estudiamos algunos problemas locales, que a posteriori tendrán importantes repercusiones globales. Los producto lorentzianos forman parte de la familia de los espacios de Robertson-Walker generalizados, al igual que los espacios tipo steady state. Las superficies equivalentes a las superficies maximales en un espacio tipo steady state son las superficies espaciales con H=1. En este contexto damos un resultado de unicidad para superficies espaciales completas con curvatura media constante acotadas del infinito en un espacio tipo steady state. Por último consideramos superficies espaciales con curvatura de Gauss constante en espacios producto, tanto lorentzianos como riemannianos. En este caso obtenemos algunos resultados de tipo Calabi-Bernstein cuando M es la esfera S2. / Along this PhD thesis we study the global geometry of spacelike surfaces, and in particular maximal surfaces, in Lorentzian product spaces. Firstly, we generalize the Calabi-Bernstien theorem when considering maximal surfaces in a Lorentzian product. We also study some local problems, which a posteriori will have important global consequences. The Lorentzian products are part of the family of the generalized Robertson-Walker spaces. Also the steady state type spaces form a subfamily of such spaces. The equivalent surfaces to the maximal ones in a steady state type space are the spacelike surfaces with H=1. In this context, we give a uniqueness result for complete spacelike surfaces with constant mean curvature bounded from the infinity of a steady state type space. Finally, we consider spacelike surfaces with constant Gaussian curvature in Riemannian and Lorentzian product spaces. In this case, we obtain some Calabi-Bernstein type results when M is the sphere S2
117

Spaces of bandlimited functions on compact manifolds

Pridhnani, Bharti 09 September 2011 (has links)
This monograph is structured in four chapters. In Chapter 1, we present the context of our problem and the main results proved in this work. We describe the asymptotic behaviour of the reproducing kernel and the construction of new kernels associated to our spaces with a decay away from the diagonal. We shall also explain some tools that will play a fundamental role in the proof of our results. In Chapter 2, we study the problem of a continuous sampling. The role of a discrete family of sampling is played now by a sequence of sets in the manifold called Logvinenko-Sereda sets. We give a complete geometric characterization. A weaker problem is to find a characterization of the Carleson's measures. This question has been also answered in terms of a geometric condition. In Chapter 3, we provide some (qualitative) necessary and sufficient conditions for interpolation and sampling. We define an analog of the Beurling-Landau's density and prove a quantitative necessary condition for sampling and interpolation following the scheme of Landau in the context of the Paley-Wiener spaces. In Chapter 4, we give an application of the density results obtained in Chapter 3 and study the Fekete arrays on compact manifolds with some restriction. Furthermore, we prove from the results of Chapter 3, the equidistribution of the Fekete families on compact manifolds that have a product property (see Definition 4.1 for more details). The results of this monograph are part of the following articles: - J. Ortega-Cerdà, B. Pridhnani. Carleson measures and Logvinenko-Sereda sets on compact manifolds. Forum Mathematicum, to appear ([OCP11b]). - J. Ortega-Cerdà, B. Pridhnani. Beurling-Landau's density on compact manifolds. Preprint ([OCP11a]). / En aquesta tesi, estudiem les famílies d'interpolació i sampling (mostreig) en espais de funcions de banda limitada en varietats compactes. Les nocions de sampling i interpolació juguen un rol fonamental en problemes com ara recuperar un senyal continu a travès de les mostres discretes. Aquestes dues nocions són, en part, de caràcter oposat: un conjunt de sampling ha de ser suficientment dens per tal de poder recuperar la informació i, en un conjunt d'interpolació, els punts han de ser suficientment separats per tal de poder trobar una funció que interpola certs valors. A grans trets, una successió de sampling per a un cert espai de funcions és una successió de punts {lambda(n)}(n) tals que la norma de tota funció “f” de l'espai és equivalent a la norma de la successió que resulta d'avaluar la funció en els punts {lambda(n)}(n). Donada una varietat compacta M de dimensió m>/= 2, considerem el subespai E(L) de L(2)(M) generat per vectors propis del Laplacià de valor propi més petit que L > 0. Aquests espais s'anomenen espais de funcions de banda limitada i són el principal motiu d'estudi de la tesi. Els espais E(L) comparteixen propietats amb els espais clàssics de Paley-Wiener i la tesi explora aquesta connexió. La tesi s'estructura en quatre capítols. En el primer capítol, introduïm el context del nostre problema i els resultats principals provats al llarg d'aquesta tesi. També descrivim el comportament asimptòtic del nucli reproductor i la construcció de nous nuclis associats als nostres espais amb un decaïment fora de la diagonal. A més a més, expliquem algunes eines que jugaran un paper fonamental en les proves dels nostres resultats. En el segon capítol, estudiem el problema del sampling continu. El rol d'una família discreta de sampling el realitza una successió de conjunts en la varietat anomenada successió de Logvinenko-Sereda. Un problema més dèbil és trobar una caracterització de les mesures de Carleson. Aquesta qüestió també s'ha resolt en termes d'una condició geomètrica. En el tercer capítol, provem algunes condicions (qualitatives) necessàries i suficients per a la interpolació i sampling. Definim l'anàleg a la densitat de Beurling-Landau i provem, seguint les idees de Landau en el context dels espais de Paley-Wiener, condicions quantitatives necessàries per a què una família sigui de sampling o d'interpolació. En el quart capítol, donem una aplicació dels resultats de densitat obtinguts en el Capítol 3. Estudiem les famíllies de punts de Fekete en varietats compactes amb certa propietat. Els punts de Fekete són punts que maximitzen un determinant del tipus Vandermond que apareix en la fòrmula d'interpolació del polinomi de Lagrange. Són punts adients per les fòrmules d'interpolació i la integració numèrica. Els punts de Fekete tenen la propietat que són casi d'interpolació i sampling. Per tant, aquest tipus de punts estan ben distribuïts en la varietat ja que contenen informació suficient per recuperar la norma L(2) d'una funció de banda limitada i, són suficientment separats per tal d'interpolar alguns valors fixats. Els resultats d'aquesta tesi són part dels següents articles: - J. Ortega-Cerdà, B. Pridhnani. Carleson measures and Logvinenko-Sereda sets on compact manifolds. Forum Mathematicum 25, no. 1, p. 151-172, 2011. - J. Ortega-Cerdà, B. Pridhnani. Beurling-Landau's density on compact manifolds. Journal of Functional Analysis 263, no. 7, p. 2102-2140, 2012.
118

Projective forcing / Forcing projectiu

Bosch i Bastardas, Roger 12 April 2002 (has links)
Atès que el resum conté caràcters matemàtics especials, s'ha optat per incloure'l com a document annex, amb el títol "Resum.pdf".
119

Analysis of enhanced mixing by natural and forced convection with application to chemical reactor design

González Hidalgo, Clara Tatiana 20 September 2013 (has links)
We looked for new designs to enhance mixing on catalytic chemical reactors. Two models were proposed. The first one, used forced convection as the mixing enhancer and consisted of a stack of corotating disks with the catalytic coating on their surface and which were enclosed in a cilyndrical cavity. Two operation modes were studied for this type of reactor, discontinuous and semicontinuous one. In the semicontinuous mode a flux is fed to the reactor through the external wall. This configuration showed good efficiency compared to other type of reactors. The second model proposed used natural convection as the mixing enhancer. In this case a cubical cavity which had the catalytic surface on the bottom wall, was heated from below which activated the convection in the system leading to the mixing of the fluid in it. It was seen efficiency is determined by flow and mass transfer within boundary layers regions. / Se buscaron nuevos diseños que aumentaran el mezclado en reactores catalíticos. Dos modelos fueron propuestos. El primero, usó convección forzada como el impulsor del mezclado y consistía de una pila de discos corotatorios con el catalizador en sus superficies y los cuales se encontraban dentro de una cavidad cilíndrica. Dos modos de operación fueron estudiados para este tipo de reactor, discontinuo y semicontinuo. En el modo semicontinuo se alimentó un flujo al reactor mediante la pared exterior. Esta configuración mostró una buena eficiencia comparado con otro tipo de reactores. El segundo modelo propuesto usó la convección natural como el impulsor del mezclado. En este caso una cavidad cúbica que tenía el catalizador en su pared inferior, fue calentada por debajo, lo que activaba la convección en el sistema llevando al mezclado del fluido en el mismo. La eficiencia es determinada por la transferencia de flujo y masa dentro de las regiones de capa límite.
120

Strict-Weak Languages. An Analysis of Strict Implication

Bou Moliner, Félix 01 October 2004 (has links)
Esta tesis doctoral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos puntos de vista. Los lenguajes estricto débiles son aquellos lenguajes formales que constan de conjunción, disyunción, "falsum" , "rerum", y adicionalmente de una cantidad indeterminada de conectivas que semánticamente se interpretan en las estructuras de Kripke como diferencias débiles. Estos lenguajes nos dan un fragmento de los habituales lenguajes modales puesto que:Donde es la implicación material y es la diferencia material. Para el caso en que hay una sola implicación estricta y ninguna diferencia débil resulta que la cláusula semántica para la implicación estricta que obtenemos es bien conocida, coincide con la de la lógica proposicional intuicionista (y con la de otros muchos ejemplos).Los lenguajes estricto-débiles se analizan en la tesis doctoral, desde tres puntos de vista diferentes: teoría de modelos (donde se introduce la noción de quasi bisimilaridad), teoría de la prueba (donde se introduce la noción de lógica estricto-débil) y computabilidad (se caracterizan las clases de complejidad para las lógicas estricto-débil).Los resultados obtenidos desde estas tres vertientes sugieren que aunque los lenguajes estricto-débiles son un fragmento de los lenguajes modales, en muchas ocasiones un conocimiento de lo que sucede para dichos fragmentos nos aporta información sobre lo que ocurre en la totalidad de los lenguajes modales (incluso fuera de los fragmentos anteriores).

Page generated in 0.0805 seconds