Facultad de Matemática, Astronomía, Física y Computación: Recent submissions
Now showing items 401-420 of 1232
-
Adapting a Fourier pseudospectral method to Dirichlet boundary conditions for Rayleigh–Bénard convection
(2015)We present the adaptation to non–free boundary conditions of a pseudospectral method based on the (complex) Fourier transform. The method is applied to the numerical integration of the Oberbeck–Boussinesq equations in a ... -
Invariants of complex structures on nilmanifolds
(2015)Let (N, J) be a simply connected 2n-dimensional nilpotent Lie group endowed with an invariant complex structure. We define a left invariant Riemannian metric on N compatible with J to be minimal, if it minimizes the norm ... -
Time and band limiting for matrix valued functions, an example
(2015)The main purpose of this paper is to extend to a situation involving matrix valued orthogonal polynomials and spherical functions, a result that traces its origin and its importance to work of Claude Shannon in laying the ... -
La realidad de los átomos
(2015)En este trabajo nos proponemos reconsiderar, desde una perspectiva histórica, la contribución de Albert Einstein a la de la teoría molecular de la realidad con sus trabajos sobre el movimiento Browniano. -
Reaction rate in an evanescent random walkers system
(2015)Diffusion mediated reaction models are particularly ubiquitous in the description of phys-ical, chemical or biological processes. The random walk schema is a useful tool for formu-lating these models. Recently, evanescent ... -
El Laboratorio Virtual en las prácticas de física
(2015)Se presenta la propuesta, desarrollo e incorporación de trabajos prácticos para Física, con el Laboratorio Virtual Basado en Simulación (LVBS). Las prácticas desarrolladas están orientadas a los primeros cursos de nivel ... -
User interface design for responsive web applications
(2015)The design of web applications that adapt to different kinds of devices is now a necessity. The responsive web design (RWD) is an actual approach to this problem. There exists a large quantity of responsive frameworks (RF) ... -
Rooted branching bisimulation as a congruence for probabilistic transition systems
(2015)We propose a probabilistic transition system specification format, referred to as probabilistic RBB safe, for which rooted branching bisimulation is a congruence. The congruence theorem is based on the approach of Fokkink ... -
Development of a design model for functionality and content access from rich internet application requirements
(2015)We have found several methodologies for the development of rich internet applications (RIA); however, they did not give enough attention to the problem of defining both appropriate notations and adequate process for ... -
Las intervenciones del investigador durante la entrevista clínica grupal : un análisis metodológico
(2015)Las entrevistas grupales son una de las formas más usuales de indagación aceptadas en la comunidad de investigadores en Educación en Física. Las intervenciones del entrevistador no son azarosas sino que están ligadas a la ... -
Impacto de la investigación didáctica en la formación de docentes constructivistas de ciencias
(2015)Este trabajo se integra en un proyecto conjunto entre investigadores de la Universidad de Valencia, la Universidad Nacional de Córdoba y la Universidad del País Vasco, "La evaluación de la formación ... -
Diseño de filtros activos robustos usando algoritmos genéticos
(2015)En este trabajo, se propone un método basado en un algoritmo genético (AG) para efectuar el diseño de un filtro activo de segundo orden, propuesto como caso de estudio. El AG debe determinar los valores de los componentes ... -
Diseño de un filtro de variable de estado usando algoritmos genéticos
(2015)En este trabajo, se propone evaluar la viabilidad de utilizar un algoritmo genético (AG) para efectuar el diseño de un filtro de variable de estado. El AG debe determinar los valores de los componentes pasivos (resistencias ... -
Reversing uncertainty sampling to improve active learning schemes
(2015)Active learning provides promising methods to optimize the cost of manually annotating a dataset. However, practitioners in many areas do not massively resort to such methods because they present technical difficulties and ... -
Proving correctness of a compiler using step-indexed logical relations
(2016)In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ... -
Combining semi-supervised and active learning to recognize minority senses in a new corpus
(2015)In this paper we study the impact of combining active learning with bootstrapping to grow a small annotated corpus from a different, unannotated corpus. The intuition underlying our approach is that bootstrapping includes ... -
Caracterización del entorno de agujeros negros supermasivos en el infrarrojo cercano
(2020)Los núcleos galácticos activos son lugares violentos y misteriosos, en general se presentan oscurecidos por el polvo circundante lo que dificulta su observación directa. El rango espectral del infrarrojo cercano se presenta ... -
Extracción de características geométricas para rendering no fotorrealista de mallas 3D en Python
(2021)En este trabajo se implementan algoritmos para la extracción de características geométricas que son utilizadas para la generación automática de bocetos. Estas características geométricas tienen su base en la geometría ... -
Modal satisfiability via SMT solving
(2015)Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision ... -
Sustainable chemotherapy schedules
(2015)We used a discrete time version of viabilitytheory in order to study the sustainable therapies againstthe cancer. We assume that the tumor is composed of twosubpopulations, one resistant and the another sensitive. Weconsider ...
