E-Voting Wasm Cryptography

The Sequent Voting Platform is an open-source E2EV internet voting system currently used in private organisations and non-legally binding elections of public organisations. The system employs standard cryptographic techniques following in the steps of well-established voting schemes proposed in the academic literature. We demo core cryptographic components that are being developed for the next generation of Sequent's platform. The main novelty demonstrated is the execution of (heavyweight) cryptographic operations in the browser, in a performant way. Potential applications of this technique are listed and possible bene ts for security, privacy and veri ability are suggested

Ejercicio de resistencia y fuerza muscular: diseño de una sesión de fisioterapia cardiovascular hospitalaria

La actividad física es uno de los pilares de la Rehabilitación Cardíaca. La mayoría de estos programas incluyen sesiones de entrenamiento supervisado basadas principalmente en ejercicio aeróbico continuo o interválico, excluyendo el trabajo anaeróbico por el potencial peligro sobre el corazón del cardiópata. Sin embargo, la AACVPR y el ACSM recomiendan el entrenamiento de fuerza en estos casos. Por lo tanto, la prescripción de ejercicio físico debería incluir tanto entrenamiento cardiovascular, como de fuerza muscular. OBJETIVO:Presentamos el diseño de una sesión hospitalaria de entrenamiento físico de resistencia y fuerza muscular para pacientes con cardiopatía isquémica. MATERIAL Y MÉTODO: La sesión de entrenamiento dura aproximadamente 1 hora y está dividida en: FASE DE CALENTAMIENTO (15 minutos): consta de actividades de flexibilidad para prevenir las lesiones músculo-esqueléticas, y actividades de baja intensidad cardiovascular (CV), para preparar dicho sistema al trabajo. Utilizaremos ejercicios activos libres (máxima amplitud) de mm.ii., mm.ss. y raquis; seguidos de estiramientos de los grandes grupos musculares. FASE DE TRABAJO (40 minutos): El método de entrenamiento utilizado es el trabajo en circuito (interval training), donde se intercalan los periodos de trabajo aeróbico con los de fuerza muscular. Se utilizan grandes grupos musculares (mm.ii.) en los ejercicios CV y reservamos el trabajo de fuerza para la musculatura del mm.ss. El circuito está diseñado para atender a pacientes con capacidades funcionales diversas. De modo que distinguimos diferentes niveles de trabajo cuya prescripción se basa en períodos de 1 minuto. El paciente irá aumentando el tiempo de trabajo CV a medida que vaya subiendo de nivel. En cuanto a la intensidad, el entrenamiento aeróbico será moderado, (60-80% de la frecuencia cardíaca máxima o <7 en la escala de Borg 0-10), mientras que los ejercicios de resistencia serán ligeros (40 - 60% del 1 RM). FASE DE ENFRIAMIENTO (10 minutos): incorpora los mismos ejercicios que el calentamiento, pero de mayor a menor intensidad, disminuyendo progresivamente la frecuencia cardíaca. RESULTADOS-CONCLUSIONES: A partir de nuestra experiencia, podemos concluir que este tipo de sesión: permite que los pacientes trabajen en grupo de forma personalizada; desarrolla los dos tipos de trabajo muscular; los ejercicios son variados, resultando ameno y motivador; mejora la forma física, trabajando por igual mm.ss. y mm.ii.; el fisioterapeuta desempeña un papel activo.Comunicación en congreso de Fisioterapi

Desarrollo de un modelo de secadora de ropa doméstica asistido por ciclo de compresión de vapor y posterior validación

[ES] En la presente tesis se ha desarrollado un modelo dinámico de simulación de secadoras de ropa asistidas por ciclo de compresión de vapor enfocado a asistir en el desarrollo de producto basado en simulación. Este modelo ha sido creado en Modelica, lenguaje de programación orientado a objetos con una interfaz gráfica con posibilidad de programación por bloques, permitiendo cierta flexibilidad en el modelado de distintos sistemas. El enfoque de modelado ha sido crear un modelo basado en aproximaciones teóricas, en búsqueda de obtener una herramienta de simulación robusta y capaz de predecir el comportamiento de nuevas configuraciones de la secadora de ropa antes de tener información empírica. No obstante, debido a la complejidad del sistema modelado, es preciso llevar a cabo un proceso de ajuste para que la predicción del funcionamiento del sistema sea lo más realista posible. Se ha llevado a cabo una batería de ensayos de caracterización del sistema registrando temperaturas, presiones, humedades relativas, caudal de condensado y consumo de energía eléctrica para tener una base de datos adecuada para el ajuste. Además, también se ha llevado a cabo una caracterización experimental del circuito de aire de la secadora para poder modelar correctamente las fugas e infiltraciones en el mismo. Con estos datos, se han ajustado los parámetros de ajuste necesarios en el modelo, y posteriormente se ha realizado una validación de los resultados de este, comparándolos con un ensayo. También se ha llevado a cabo un análisis de sensibilidad de un parámetro de ajuste, para comprobar la variación en los resultados que produce una incertidumbre del 10% en la determinación de este. Finalmente se ha realizado un caso de estudio en que se añade a la secadora de ropa modelada una resistencia eléctrica. El resultado de este estudio ha demostrado la utilidad de la herramienta desarrollada para predecir el comportamiento del sistema modelado tras realizar modificaciones al mismo.[CA] En la present tesi s'ha desenvolupat un model dinàmic de simulació d'eixugadores de roba assistides per cicle de compressió de vapor enfocat a donar suport en el desenvolupament de producte basat en simulació. Aquest model ha sigut creat en Modelica, llenguatge de programació orientat a objectes amb una interfície gràfica que possibilita la programació per blocs, permetent certa flexibilitat en el modelatge de diferents sistemes. El model s'ha basat en aproximacions teòriques, tractant d'obtenir una eina de simulació robusta i capaç de predir el comportament de noves configuracions de l'eixugadora de roba abans de tindre informació empírica. No obstant això, degut a la complexitat del sistema modelat, cal dur a terme un procés d'ajust per tal que la predicció del funcionament del sistema siga la més realista possible. S'ha dut a terme una bateria d'assajos de caracterització del sistema registrant temperatures, pressions, humitats relatives, cabal de condensat i consum d'energia elèctrica per tal de tindre una base de dades adequada per a l'ajust. A més, també s'ha caracteritzat experimentalment el circuit d'aire de l'eixugadora amb la finalitat de modelar correctament les fugues i infiltracions. Amb aquestes dades, s'hi han obtingut els valors dels paràmetres d'ajust necessaris en el model i, posteriorment, s'ha realitzat una validació dels resultats d'aquest, comparant-los amb un assaig. També s'ha dut a terme una anàlisi de sensibilitat d'un dels paràmetres d'ajust, per a comprovar la variació en els resultats que produeix una incertesa del 10% en la determinació d'aquest. Finalment s'ha realitzat un cas d'estudi en què s'afegeix una resistència elèctrica a l'eixugadora de roba modelada. El resultat d'aquest estudi ha demostrat la utilitat de l'eina desenvolupada per a predir el comportament del sistema modelat després de realitzar modificacions a aquest.[EN] In the present thesis a dynamic model of simulation of clothes dryers assisted by vapor compression cycle focused on assisting in the development of simulation-based product has been developed. This model has been created in Modelica, an object-oriented programming language with a graphical interface with the possibility of programming by blocks, allowing some flexibility in the modelling of different systems. The modelling approach has been to create a model based on theoretical approaches, in search of obtaining a robust simulation tool capable of predicting the behaviour of new configurations of the clothes dryer before having empirical information. However, due to the complexity of the modelled system, it is necessary to carry out an adjustment process so that the prediction of the operation of the system is as realistic as possible. A battery of system characterization tests has been carried out recording temperatures, pressures, relative humidity, condensate flow rate and electric power consumption to have a suitable database for the adjustment. In addition, an experimental characterization of the air circuit of the dryer has also been carried out in order to correctly model leaks and infiltrations in it. With these data, the necessary adjustment parameters have been adjusted in the model, and subsequently a validation of the results has been made, comparing them with a trial. A sensitivity analysis of an adjustment parameter has also been carried out to verify the variation in the results that produces an uncertainty of 10% in the determination of this. Finally, a case study was carried out in which an electrical resistance was added to the modelled clothes dryer. The result of this study has demonstrated the utility of the tool developed to predict the behaviour of the modelled system after making modifications to it.Barceló Ruescas, F. (2019). Desarrollo de un modelo de secadora de ropa doméstica asistido por ciclo de compresión de vapor y posterior validación [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/125707TESI

ESTUDIO DE LAS CONCENTRACIONES ATÍPICAS DE POLEN DEL OLIVO EN ALICANTE (2010-2015)

La alergia al polen del olivo es una de las principales causas de enfermedades alérgicas. En Alicante, a pesar de no darse un aumento del polen del olivo anual, se da un aumento en la sensibilización a este. Por ello, en este trabajo se plantea el estudio exhaustivo de las concentraciones atípicas registradas entre 2010 y 2015, como posible causa de este aumento. Durante el periodo estudiado, sólo se identificaron 32 días con concentraciones atípicas (>106gn/m3) de las cuales 14 fueron extremas (>164gn/m3). A través de HYSPLIT, se observó que estos niveles inusualmente elevados se deben principalmente al transporte de polen desde el oeste, 47% zona sur y 29% zona centro peninsular. Esta información se podría utilizar para predecir los días con concentraciones elevadas, y servir para ajustar los tratamientos de los pacientes alérgicos, contribuyendo a mejorar su calidad de vida. Las concentraciones atípicas suponen un riesgo de exposición para la población alergica, de moderado a alto, aunque sólo representan el 8,7% de los días de estos seis años, lo que indicaría que la población de Alicante prácticamente no estaría expuesta a niveles de riesgo para este taxón. Y, por tanto, no tendría sentido, si se tiene en cuenta el aumento de sensibilización. Por ello, se debe seguir trabajando en este sentido, para encontrar la mejor manera de ajustar los valores umbral a las características polínicas y ambientales de cada zona

La naturphilosophie en España. La recepción del evolucionismo en el entorno de la tradición Krausista

We are analysing here the reception of evolutionism made by spanish naturalist attached to krausism, an evolutionism more related to german naturphilosphie than to darwinism. This analysis is based in the contributions made by Augusto González de Linares and Alfredo Calderón in the 1870s, as well as a later contribution closer to darwinism, by Ignacio Bolívar and Salvador Calderón.Se analiza aquí la recepción del evolucionismo por parte de los naturalistas españoles vinculados al krausismo, un evolucionismo que está más cerca de la naturphilosophie alemana que del darwinismo. Este análisis se hace sobre las aportaciones realizadas en la década de 1870 por Augusto González de Linares y Alfredo Calderón y una aportación posterior, más cercana al darwinismo, de Ignacio Bolívar y Salvador Calderón

Die bedeutungen des verbs «werden» und möglichkeiten ihrer didaktischen vermittlung im deutschunterricht an aüslander

Wie ein ausländischer Schüler die Strukturen der deutschen Sprache am besten erlernen kann, ist ein Problem der Fremdsprachendidaktik, das zu lösen wohl Dezennien dauern wird. Nur aufgrund einer Analyse der einzelnen Elemente, aus denen die deutsche Sprache besteht, kann Schritt für Schritt eme Didaktisierung der deutschen Sprache für den Unterricht an Ausländer angestrebt werden

Objetos tenaces : adaptive reuse en Meatpacking, 1970–1985

OBJETOS TENACES versa sobre la práctica del adaptive reuse (la “reutilización adaptativa”, la reconversión) explicado a través del fenómeno de ruptura, suspensión y reconfiguración de vínculos que el objeto arquitectónico tiene con respecto a su medio económico, sociocultural, normativo y de utilitas. Se trata de un fenómeno en tres fases, muy próximo al mecanismo empleado por el readymade y por el display, que en arquitectura parte de la crisis que supone un cambio de circunstancias, un desarraigo del objeto respecto de su ámbito anterior. El mecanismo tiene vocación de intervención mínima, desde un posicionamiento actual que comprende el mundo construido como una realidad “ya hecha”, y donde las operaciones de proyecto son acciones de transformación que llevan de una situación de obsolescencia a otra de vigencia renovada, es decir, de una realidad completa a otra igualmente completa. Para ello, la investigación se sirve de tres ejemplos de un mismo entorno geográfico (el área en torno a Meatpacking, en el lado oeste del bajo Manhattan, Nueva York) y temporal (las últimas décadas del siglo XX, en las que los casos se solapan a pesar de tener desarrollos cronológicos diversos). Bell Telephone Laboratories, The West Side Improvement y The National Biscuit Company, reconvertidos a Westbeth, a The High Line y a Chelsea Market, construyen juntos el argumento por suma de conceptos, por adición de fenómenos, estudiando las cualidades y las circunstancias que hacen posible la continuidad de las estructuras, es decir, su supervivencia. El texto forma un corpus que proporciona algunas de las claves del objeto denominado como tenaz a través del análisis sincrónico del antes y el después de su puesta en crisis. A tal efecto, se exponen una serie de figuras razonadas entre las cuales figuran el lijado del barniz, los hilos compartidos, la máscara, la momificación y la vitrina, el puente sobre le desfiladero, el enfriamiento, o las reliquias, incrustaciones y adherencias, todas ellas encaminadas a explicar el proceso de renovación del artefacto como un cambio en el sentido, en el significado, y no tanto en lo material. Entre las consideraciones de la tesis está, por un lado, el carácter relativo del término tenacidad, concepto que define a los objetos que se encuentran y se reconocen en su idoneidad, que tienen capacidad de adaptación, y que precisan finalmente de grandes dosis de pragmatismo para su reconfiguración, siendo todas éstas condiciones necesarias pero sólo suficientes a posteriori. Por otro lado, el texto reflexiona acerca del intangible que comparten todos los objetos así llamados y que consiste en la condición, quizá formidable, de ser reconocibles por parte de los sucesivos intervinientes de su historia, convencidos de que su renovación supone una oportunidad; su desaparición, una pérdida. Finalmente, la investigación apunta hacia el concepto de anacronismo como justificación para los objetos que se demuestran adaptables a épocas sucesivas, y que encajan en el tiempo de forma compleja. ABSTRACT TENACIOUS OBJECTS deals with the practice of the adaptive reuse explained by means of the phenomenon of rupture, suspension and reconfiguration of links that the architectural object has vis-à-vis its economic, socio-cultural and regulatory environment, and its utilitas. It is a phenomenon structured in three stages, very close to the mechanism used by the readymade and by the display, which in architecture arise from the crisis that leads to a change in circumstances, an alienation of the object regarding its previous environment. The mechanism aims to the minimum intervention, from a current positioning which understands the world built as a reality “already made”, and where the operations of the project are transformative actions that take us from a situation of obsolescence to a situation of renewed validity, that is, from a complete reality to one just as complete. For this purpose, the research makes use of three examples in the same geographical area (the Meatpacking Discrict, in the Lower West Side of Manhattan, New York) and the same period (the last decades of the 20th century, in which the cases overlap in spite of their diverse chronological developments). Bell Telephone Laboratories, The West Side Improvement and The National Biscuit Company, reconverted into Westbeth, The High Line and Chelsea Market, make up, together, the argument as a sum of concepts, and addition of phenomena, studying the qualities and circumstances which make the continuity of the structures possible, that is, their survival. The text forms a corpus that provides some of the keys of the so-called tenacious object by means of the synchronic analysis of before and after its crisis. To this end, a series of reasoned figures is presented, including the sanding of varnish, the shared threads, the mask, the mummification and the display cabinet, the bridge over the gorge, cooling, or the relics, incrustations and adherences, all of them aimed at explaining the renovation process of the artifact as a change in the sense and the meaning, rather than the material. The considerations of this dissertation include, on the one hand, the relative nature of the term tenacity, a concept which defines the objects found and recognized in their suitability, that are capable of adapting and which finally require large doses of pragmatism for their reconfiguration, all these conditions being necessary but only sufficient a posteriori. On the other hand, the text reflects on the intangible shared among all the so-called objects, and which consists of the condition, perhaps extraordinary, of being recognized by the subsequent interveners of their history, convinced that their renovation represents an opportunity; their disappearance, a loss. Finally, the dissertation studies the concept of anachronism as a justification for the objects that prove to adapt to subsequent periods, and which fit in time in a complex manner

Guía orientativa para la detección, diagnóstico e intervención educativa de un caso de trastorno del espectro autista en un aula de educación infantil

Treball final de Grau en Mestre o Mestra d'Educació Infantil. Codi: MI1040. Curs acadèmic 2016-2017La presente guía orientativa trata de aportar una visión global y contextualizada sobre las diferentes pautas y estrategias ante la detección, diagnóstico e intervención educativa de un caso de espectro autista en el aula de Educación Infantil. La educación de este alumnado debe ser tarea y responsabilidad compartida de toda la comunidad educativa, orientada a responder a las necesidades educativas especiales que se deriven del propio trastorno y a conseguir la mejora de las destrezas necesarias para la comunicación, la interacción social y el desarrollo cognitivo, propiciando el trabajo cooperativo, la interacción entre iguales y la autonomía personal. Comenzaremos con una aproximación conceptual del trastorno, así como la identificación y evaluación del alumnado para continuar finalmente con las adaptaciones curriculares a nivel de centro, aula e individuales, esenciales en la intervención educativa, introduciendo contenidos y objetivos referidos al aprendizaje de sistemas alternativos o complementarios de comunicación