Investigating self-similar groups using their finite LL-presentation

Self-similar groups provide a rich source of groups with interesting properties; e.g., infinite torsion groups (Burnside groups) and groups with an intermediate word growth. Various self-similar groups can be described by a recursive (possibly infinite) presentation, a so-called finite $L$-presentation. Finite $L$-presentations allow numerous algorithms for finitely presented groups to be generalized to this special class of recursive presentations. We give an overview of the algorithms for finitely $L$-presented groups. As applications, we demonstrate how their implementation in a computer algebra system allows us to study explicit examples of self-similar groups including the Fabrykowski-Gupta groups. Our experiments yield detailed insight into the structure of these groups

Readiness-based differentiation in primary school mathematics: expert recommendations and teacher self-assessment

The diversity of students’ achievement levels within classrooms has made it essential for teachers to adapt their lessons to the varying educational needs of their students (‘differentiation’). However, the term differentiation has been interpreted in diverse ways and there is a need to specify what effective differentiation entails. Previous reports of low to moderate application of differentiation underscore the importance of practical guidelines for implementing differentiation. In two studies, we investigated how teachers should differentiate according to experts, as well as the degree to which teachers already apply the recommended strategies. Study 1 employed the Delphi technique and focus group discussions to achieve consensus among eleven mathematics experts regarding a feasible model for differentiation in primary mathematics. The experts agreed on a five-step cycle of differentiation: (1) identification of educational needs, (2) differentiated goals, (3) differentiated instruction, (4) differentiated practice, and (5) evaluation of progress and process. For each step, strategies were specified. In Study 2, the Differentiation Self-Assessment Questionnaire (DSAQ) was developed to investigate how teachers  self-assess their use of the strategies recommended by the experts. While teachers (N = 268) were moderately positive about their application of the strategies overall, we also identified areas of relatively low usage (including differentiation for high-achieving students) which require attention in teacher professional development. Together, these two studies provide a model and strategies for differentiation in primary mathematics based on expert consensus, the DSAQ which can be employed in future studies, and insights into teachers’ self-assessed application of specific aspects of differentiation

Constructions and Noise Threshold of Hyperbolic Surface Codes

We show how to obtain concrete constructions of homological quantum codes based on tilings of 2D surfaces with constant negative curvature (hyperbolic surfaces). This construction results in two-dimensional quantum codes whose tradeoff of encoding rate versus protection is more favorable than for the surface code. These surface codes would require variable length connections between qubits, as determined by the hyperbolic geometry. We provide numerical estimates of the value of the noise threshold and logical error probability of these codes against independent X or Z noise, assuming noise-free error correction

A web transconding framework base on user behaviour evaluation

111 p.La Web está en constante crecimiento y cada vez son mas los servicios que se ofrecendesde la misma. Esto hace que la Web se esté convirtiendo en una herramienta básicapara la vida diaria [Wellman and Haythornthwaite, 2008]. Sin embargo, para que la webalcance su máximo potencial hay que afrontar algunos retos, tales como la diversidad deusuarios y de dispositivos [Shneiderman, 2000]. Cada persona es única y tiene diversashabilidades y preferencias. Además, en muchas ocasiones las necesidades de unapersona pueden ser contrapuestas a las necesidades de otras. Por ejemplo, una personacon ceguera necesita un tipo de página web lineal y sin imágenes, mientras que unapersona con problemas cognitivos necesita una web gráfica con el mínimo texto posible.La accesibilidad a la web se ha centrado principalmente en mejorar métodos dediseño y evaluación (a partir de pautas) que permitan crear nuevas páginas webaccesibles para todos. Sin embargo este enfoque no resuelve el acceso a las páginas queya han sido diseñadas sin tener en cuenta su accesibilidad. Además, dada la diversidadde usuarios y de dispositivos, incluso las páginas accesibles pueden presentar barreras ausuarios concretos utilizando determinados dispositivos.Como alternativa, el transcoding es una técnica que transforma páginas no accesiblesen accesibles de manera automática, sin necesidad de que intervenga el desarrollador dela página en la transformación [Asakawa and Takagi, 2008]. Además, durante elproceso de recodificación es posible aplicar técnicas de adaptación que permitan adaptarla página a las necesidades de los usuarios.Para que las adaptaciones automáticas sean adecuadas, es necesario conocer elpropósito de cada uno de los elementos que aparecen en la página web. Por ejemplo, sise trata de un menú, del contenido principal, o de una tabla, etc. Gracias a las websemántica y a los lenguajes de marcado tales como WAI-ARIA [2016] o HTML5[2016] es posible añadir etiquetas semánticas que permitan realizar las transformacionesadecuadamente.Por otro lado, para poder adaptar el contenido se requiere mucha más información.Por ejemplo, qué elementos pueden causar problemas, aprender cuales son lasestrategias de navegación los usuarios, etc. Existen diferentes maneras adquirir esteconocimiento, que además pueden servir para medir la accesibilidad, tales comoherramientas automáticas, evaluaciones de expertos o las evaluaciones de usuario.Las herramientas automáticas comprueban la accesibilidad o usabilidad en base a lasnormas de accesibilidad estándar, tales como las WCAG 2.0 [2016] sin intervenciónhumana. Pero este tipo de herramientas no pueden comprobar algunos tipo de pautas,por lo que es necesaria la participación de expertos que juzguen su cumplimiento.Por otro lado, en la evaluación llevada a cabo por expertos, el evaluador puede tomardiferentes roles: se puede poner en el papel del usuario, o bien puede evaluar losproblemas más comunes. La eficacia de estos métodos suele depender en gran medidadel conocimiento que tiene el evaluador sobre los usuarios, su contexto, lasherramientas Web, etc.Cuando el factor económico no es un problema, la evaluación con usuarios es lamejor opción. Con este método es posible detectar cuales son los problemas reales delos usuarios: es posible observar las estrategias de interacción de los usuarios y ademásmedir la accesibilidad de las páginas durante el uso. Es importante tener en cuenta queaunque una página sea ¿oficialmente¿ accesible, puede resultar que no lo es paradeterminadas personas, por diferentes causas, tales como necesidades especiales, nivelde experiencia y conocimiento, etc. [Vigo and Harper, 2013].En esta tesis se presenta un marco de trabajo que permite hacer accesibles las páginasweb previamente inaccesibles y, además, adecuarlas a las necesidades de cada persona.Para ello utilizamos técnicas de transcoding basadas en métodos de evaluación delcomportamiento del usuario.A partir del modelo conceptual propuesto, se han diseñado dos componentes: unaherramienta de transcoding, Model Access, y una herramienta para la realización de testremotos con usuarios con discapacidad, RemoTest.La aplicación de Model Access para el transcoding requiere:¿ páginas web que hayan sido marcadas con meta-datos semánticos, para lo quehemos utilizado una extensión desarrollada por nosostros del lenguaje demarcado WAI-ARIA¿ un conjunto de técnicas de adaptación, para lo que hemos hecho una selección apartir de la literatura y de nuestros propios test con usuarios reales.¿ un sistema de razonamiento que permita decidir qué técnicas de adaptaciónaplicar y a qué elementos anotados se pueden aplicar, para lo que hemosdiseñado una ontología específica.¿ un modelo que contenga las características del usuario (restricciones ypreferencias) y del dispositivo que está usando para acceder a la web.A partir de estos elementos, la herramienta de transcoding modifica el código de lapágina original (no accesible) para convertirla en una página accesible y adaptada a losrequisitos de cada usuario específico.RemoTestTanto el diseño de técnicas de adaptación, como la validación de las páginas generadas,o la creación de los modelos requieren la realización de test con usuarios. Para ello se hadesarrollado una herramienta de experimentación remota con participación de personascon discapacidad. Esta herramienta, utiliza el Lenguaje de Especificación Experimental(ESL) y el Lenguaje de Control de la Sesión Experimental (ESCL) que han sidodiseñados y especificados mediante lenguaje de marcado XML.RemoTest es una herramienta para llevar a cabo test de usuario con personas condiscapacidad de manera remota o local. RemoTest provee a los investigadores loselementos necesarios para diseñar, llevar a cabo y analizar experimentos con personascon discapacidad. Algunos de los posibles usos de la herramienta son: la evaluación dela accesibilidad y/o usabilidad de la páginas web, la evaluación de las adaptaciones, elanálisis del comportamiento del usuario, la creación de modelos válidos para elrazonamiento.Para poder llevar a cabo experimentos con personas con discapacidad, es necesariocumplir una serie de requisitos:¿ que las interfaces de la herramienta sean accesibles¿ que los usuario puedan especificar la tecnología de apoyo que usan y sus datosdemográficos¿ que puedan realizar ejercicios de entrenamiento previos a la sesión experimentaly puedan seleccionar las tareasCon estos objetivos en mente, y con la participación durante el desarrollo de personascon discapacidad, se creó RemoTest. La herramienta está compuesta por cuatromódulos, Módulo del Experimentador, Módulo Coordinador, Módulo del Participantey por el Módulo Visor de Resultados.Módulo del ExperimentadorEste módulo ayuda al investigador a diseñar un experimento mediante una interfazgráfica en unos sencillos pasos. Primero se debe especificar el tipo de experimento:Web o cuestionario. En el segundo se definen los estímulos, las tareas así como lasposibles dependencias entre las mismas. Para que tanto los cuestionarios creados comolas páginas de información sean accesibles, la herramienta requiere al investigador queintroduzca los textos o imágenes que sean necesarios.En el tercer paso, se define el procedimiento del experimento, el número de grupos,cual va a ser el orden de las tareas etc. Por último solo queda seleccionar los datos quese quieren recoger y seleccionar los participantes que formarán parte del estudio.Una vez recogida toda la información sobre el diseño del experimento se crea unfichero XML basado en el lenguaje de diseño experimental (ESL) que se envía almódulo coordinador.Módulo CoordinadorEl modulo coordinador cumple las siguientes funciones:¿ guardar los experimentos diseñados¿ crear los estímulos y pantallas de información¿ crear la sesión experimental para cada usuario en el lenguaje de control desesiones experimentales (ESCL)¿ guardar los datos recibidos del módulo participante¿ mantener la base de datos de participantes e investigadoresMódulo del ParticipanteEste módulo es el encargado de interpretar el lenguaje de control de la sesiónexperimental (ESCL) para llevar a cabo la sesión, presentado al participante losestímulos y páginas de información que sean necesarias. Además, el móduloparticipante, recoge los eventos generados por el usuario, como por ejemplo losproducidos por el movimiento del cursor, el teclado o los del propio navegador. Estoseventos son enviados al coordinador para su posterior análisis con el módulo visor deresultados.Módulo Visor de ResultadosEste es el módulo encargado de interpretar y calcular diferentes medidas de los datosrecogidos. La herramienta es capaz de calcular valores tales como la velocidad, ladistancia recorrida o la relación entre la distancia optima al objetivo y la recorrida por elcursor. Por otro lado, también realiza cálculos centrados en la usabilidad de la páginaweb. Como, por ejemplo, el tiempo requerido para realizar la tarea, si el usuario se haperdido navegando mientras realizaba la tarea, así como por qué zonas de la página hapasado el cursor.Para poder extraer medidas fiables del cursor es necesario usar algoritmos quepermitan dilucidar cuándo el usuario ha decidido mover el cursor para seleccionar elobjetivo. Esto es importante, ya que no siempre el usuario mueve el cursor para haceruna selección. Algunas personas mueven el cursor mientras leen, o se entretienen. Unelemento clave de estos algoritmos es diferenciar las pausas causadas por el no uso delratón, de las pausas causadas por las correcciones de la trayectoria del cursor. Laherramienta diseñada por nosotros, al contrario que los trabajos relacionados en laliteratura, calcula un valor para cada usuario con el objetivo de diferenciar los dos tiposde pausa.Model AccessModel Access es un sistema de transcoding que adapta páginas web anotadas medianteuna extensión del lenguaje de marcado WAI-ARIA. El sistema hace uso de unaontología para modelar el usuario, el dispositivo, la tecnología de apoyo, el sistema deanotación y las técnicas de adaptación.La potencia de los sistemas de adaptación depende en gran medida de el número detécnicas de adaptación que son capaces de aplicar. Por ello, se realizó una búsquedaintensiva en la literatura de las técnicas de adaptación que pudieran ayudar a laspersonas con necesidades especiales. Además, también se incluyeron otras técnicas deadaptación que surgieron de las necesidades que detectamos en los experimentosllevados a cabo anteriormente.Model Access está compuesto por cuatro módulos principales: el Módulo dePresentación, que se ejecuta en el cliente del usuario, y el Módulo de Adaptaciones, elMódulo Coordinador y la Base de Conocimiento, que se ejecutan en un servidorEn la figura 1 podemos observar, cómo es el proceso de transformación de unapágina web anotada y otra sin anotar pero con el lenguaje WAI-ARIA ya incluido. Elmódulo de presentación se encarga de recoger la página web a la que quiere ir el usuariopara enviársela al módulo del coordinador. Este consulta en la base de conocimientoqué adaptaciones son aplicables al usuario, el dispositivo, la tecnología de apoyo y lapágina web específicos. Esta información es enviada al módulo de adaptaciones queejecuta las adaptaciones pertinentes.Dado que la lógica de las adaptaciones se encuentra en la base de conocimiento, es muysencillo crear nuevas adaptaciones para nuevos usuarios sin que sea necesario realizarFigure 1. Arquitectura general y funcionamientocambios que en la base de conocimiento.AnotaciónUno de los problemas de los sistemas de transcoding es la necesidad de anotar loselementos de la interfaz para producir adaptaciones adecuadas. Al hacer uso de unaextensión de WAI-ARIA, las páginas que ya incluyen este lenguaje de marcado puedenser adaptadas, ya que un gran número de adaptaciones hace uso de los roles ypropiedades presentes en este lenguaje.Las páginas que no incluyen marcas WAI-ARIA se pueden anotar mediante loselementos (clases e ids) de la CSS de la página. Anotando unos poco elementos de laCSS de una página se puede conseguir la anotación de un sitio web entero, ya que elCSS suele ser común para todo el sitio web.EvaluacionesPara comprobar la utilidad de las herramientas desarrolladas y del modelo conceptual,se llevaron a cabo diferentes evaluaciones.En primer lugar se analizó la accesibilidad de la propia herramienta RemoTest y desu proceso de instalación con 36 personas, de las cuales el 36% tenían problemas demovilidad, el 27% eran ciegas, el 22% tenían baja visión, mientras que el resto no teníaninguna discapacidad.Para poder detectar los problemas que pudieran encontar los usuarios al navegar enla web, se llevaron a cabo dos evaluaciones con la herramienta RemoTest: una conpersonas con baja visión y otra con personas con movilidad reducida.De los resultados obtenidos en estas evaluaciones se crearon nuevas técnicas deadaptación. Además, también se realizaron cambios en la base de conocimiento usadapor Model Acess para adecuarse a las necesidades detectadas.Una vez que se actualizó Model Acess, se llevaron a cabo otras dos evaluaciones conpersonas con baja visión y con personas con movilidad reducida. En la primera de ellasse midió la eficacia de las adaptaciones hechas por Model Access para personas conbaja visión usando un PC. Mientras que en la segunda se pudo comprobar la eficacia delas adaptaciones y el funcionamiento de tres métodos de interacción alternativosdedicados a personas con movilidad reducida usando un dispositivo móvil táctil

On optimal designs for clinical trials: An updated review

Optimization of clinical trial designs can help investigators achieve higher qualityresults for the given resource constraints. The present paper gives an overviewof optimal designs for various important problems that arise in different stages ofclinical drug development, including phase I dose–toxicity studies; phase I/II studiesthat consider early efficacy and toxicity outcomes simultaneously; phase IIdose–response studies driven by multiple comparisons (MCP), modeling techniques(Mod), or their combination (MCP–Mod); phase III randomized controlled multiarmmulti-objective clinical trials to test difference among several treatment groups;and population pharmacokinetics–pharmacodynamics experiments. We find thatmodern literature is very rich with optimal design methodologies that can be utilizedby clinical researchers to improve efficiency of drug development

An examination of the psychometric structure of the Multidimensional Pain Inventory in temporomandibular disorder patients: a confirmatory factor analysis

BACKGROUND: This paper seeks to analyse the psychometric and structural properties of the Multidimensional Pain Inventory (MPI) in a sample of temporomandibular disorder patients. METHODS: The internal consistency of the scales was obtained. Confirmatory Factor Analysis was carried out to test the MPI structure section by section in a sample of 114 temporomandibular disorder patients. RESULTS: Nearly all scales obtained good reliability indexes. The original structure could not be totally confirmed. However, with a few adjustments we obtained a satisfactory structural model of the MPI which was slightly different from the original: certain items and the Self control scale were eliminated; in two cases, two original scales were grouped in one factor, Solicitous and Distracting responses on the one hand, and Social activities and Away from home activities, on the other. CONCLUSION: The MPI has been demonstrated to be a reliable tool for the assessment of pain in temporomandibular disorder patients. Some divergences to be taken into account have been clarified

Intersection problem for Droms RAAGs

We solve the subgroup intersection problem (SIP) for any RAAG G of Droms type (i.e., with defining graph not containing induced squares or paths of length 3): there is an algorithm which, given finite sets of generators for two subgroups H,K of G, decides whether $H \cap K$ is finitely generated or not, and, in the affirmative case, it computes a set of generators for $H \cap K$. Taking advantage of the recursive characterization of Droms groups, the proof consists in separately showing that the solvability of SIP passes through free products, and through direct products with free-abelian groups. We note that most of RAAGs are not Howson, and many (e.g. F_2 x F_2) even have unsolvable SIP.Comment: 33 pages, 12 figures (revised following the referee's suggestions