Averaged Singular Integral Estimation as a Bias Reduction Technique

This paper proposes an averaged version of singular integral estimators, whose bias achieves higher rates of convergence under smoothing assumptions. We derive exact bias bounds, without imposing smoothing assumptions, which are a basis for deriving the rates of convergence under differentiability assumptions.Publicad

EStabilidad de LAderas

Software desarrollado para el análisis espacial de la estabilidad de laderas. El programa permite analizar condiciones estáticas y dinámicas (análisis pseudo-estático según el modelo del bloque rígido deslizante) e incorpora el análisis estadístico de los resultados (Análisis Montecarlo)

Comparison in muscle activity between the back squat, Romanian deadlift and barbell hip thrust during hip extension

Common resistance-training exercises such as back squat, Romanian deadlift (RDL), and hip thrust have been used by strength and conditioning specialists to target the musculature used during hip extension. Little is known about the differences in muscular activity of the hip extensors between these exercises, so it is not known which is the most effective as a hip extensor exercise. The primary purpose of this study was to compare muscle activity of several muscles during the high-bar back squat, RDL and barbell hip thrust, using men with a minimum of 1 year of lower-body resistance-training experience. Surface electromyography (EMG) was used to record muscle activity from the vastus lateralis (VL), vastus medialis (VMO), biceps femoris (BF), semitendinosus (ST) and gluteus maximus (GM) during a submaximal repetition of each exercise at 60 kg and a 1-repetition maximum (1RM). EMG during the exercises was compared to the EMG of each muscle during a maximum voluntary contraction (MVIC), performed on an isokinetic dynamometer. The results showed that hip thrust displayed higher GM activity than the back squat (mean Δ ± 95% confidence interval; 62.7 ± 58.0 mV, effect size = 1.39. P = 0.038), but no significant differences were seen when comparing the hip thrust and RDL (-37.0 ± 75.7 mV; -0.49. P = 0.285). While the hip thrust displayed higher GM activity when compared to the back squat, no significant differences in EMG activity between a 1RM to an MVIC were seen for the GM (-33.4 ± 58.0 mV; -0.35. P = 0.215), BF (16.1 ± 137.9 mV; 0.16. P = 0.791) and ST (- 49.3 ± 71.1 mV; -0.51. P = 0.145), demonstrating high activation of hip extensors. Highest knee extensor activity at 1RM was seen in back squat. VL activity was largely different between RDL and back squat (-247.5 ± 126.8 mV; -1.36. P = 0.002) and hip thrust and back squat (183.6 ± 120.1 mV; 2.27. P = 0.009), with higher VL activity during the back squat than others. Further, VMO displayed large differences in EMG activity when comparing RDL (268.6 ± 224.8 mV; 3.31. P = 0.026) and barbell hip thrust (151.2 ± 128.8 mV; 0.90. P = 0.027) to back squat, with back squat displaying higher VMO activity at 1RM. These findings highlight the benefits of the back squat when training for athletic movements involving hip and knee extension, as the squat showed the highest knee extensor activation and high hip extensor activity relative to an MVIC. Therefore, while hip thrust may be a valuable movement for those wishing to isolate the hip extensors for rehabilitation or bodybuilding purposes, the back squat still likely has greater application as a functional movement pattern that translates better to the sport setting

Diboson resonant production in non-custodial composite Higgs models

We show that the recently reported excess in resonant diboson production can be explained in the context of non-custodial composite Higgs models. Dibosons are generated via the s-channel exchange of massive vector bosons present in these models. We discuss the compatibility of the signal excess with other diboson experimental searches. We also discuss the tension between diboson production and other experimental tests of the model that include electroweak precision data, dilepton, dijet and top pair production and show that there is a region of parameter space in which they are all compatible with the excess.Comment: 15 pages, 2 figure

Statistical Model Checking of e-Motions Domain-Specific Modeling Languages

Domain experts may use novel tools that allow them to de- sign and model their systems in a notation very close to the domain problem. However, the use of tools for the statistical analysis of stochas- tic systems requires software engineers to carefully specify such systems in low level and specific languages. In this work we line up both sce- narios, specific domain modeling and statistical analysis. Specifically, we have extended the e-Motions system, a framework to develop real-time domain-specific languages where the behavior is specified in a natural way by in-place transformation rules, to support the statistical analysis of systems defined using it. We discuss how restricted e-Motions sys- tems are used to produce Maude corresponding specifications, using a model transformation from e-Motions to Maude, which comply with the restrictions of the VeStA tool, and which can therefore be used to per- form statistical analysis on the stochastic systems thus generated. We illustrate our approach with a very simple messaging distributed system.Universidad de Málaga Campus de Excelencia Internacional Andalucía Tech. Research Project TIN2014-52034-R an

Systematic Analysis of Majorization in Quantum Algorithms

Motivated by the need to uncover some underlying mathematical structure of optimal quantum computation, we carry out a systematic analysis of a wide variety of quantum algorithms from the majorization theory point of view. We conclude that step-by-step majorization is found in the known instances of fast and efficient algorithms, namely in the quantum Fourier transform, in Grover's algorithm, in the hidden affine function problem, in searching by quantum adiabatic evolution and in deterministic quantum walks in continuous time solving a classically hard problem. On the other hand, the optimal quantum algorithm for parity determination, which does not provide any computational speed-up, does not show step-by-step majorization. Lack of both speed-up and step-by-step majorization is also a feature of the adiabatic quantum algorithm solving the 2-SAT ``ring of agrees'' problem. Furthermore, the quantum algorithm for the hidden affine function problem does not make use of any entanglement while it does obey majorization. All the above results give support to a step-by-step Majorization Principle necessary for optimal quantum computation.Comment: 15 pages, 14 figures, final versio

Control de velocidad para motor dc brushless sin sensores

En el desarrollo actual de la electrónica, se puede ver cómo cada vez más los procesos se automatizan y se reducen los tiempos de producción respecto a las modalidades utilizadas en épocas pasadas, haciéndose de vital importancia el mantenimiento de los componentes usados y la reducción de tiempo que esto conlleva. Para todos estos automatismos, la mayoría de procesos requieren del uso de motores controlados bajo electrónica digital o analógica, para poder determinar la posición y la velocidad del rotor llegando así a obtener los resultados deseados para el proceso en cuyo fin el motor se está involucrando.Automatización brushedIngeniero (a) ElectrónicoPregrad