En la actualidad, existe una gran cantidad de enfermedades crónicas como puede ser la esclerosis múltiple, el alzheimer o incluso el propio envejecimiento, que no tiene un claro marcador de diagnóstico que permita detectar de manera temprana la aparición o evolución de la patología. Por el contrario, la toma de decisiones a la hora de administrar un tratamiento está basadas, en numerosas ocasiones, en la valoración del deterioro físico del paciente por parte del especialista médico. Para solventar la poca sensibilidad y objetividad de estas evaluaciones observacionales, en la actualidad se están desarrollando test para analizar las cualidades físicas del paciente en base a los sensores inerciales integrados en numeroso dispositivos tales como Smartphones, etc. Esto está permitiendo acercar pruebas de alta sensibilidad con costes clásicamente elevados (ej. posturografía para analizar el equilibrio), al día a día de la exploración clínica.
Anthony Shield - does strength in the nhe predict hamstring injury MuscleTech Network
Anthony Shield
Senior lecturer, School of Exercise and Nutrition Science Institute of Health and Biomedical Innovation Queensland University of Technology, Brisbane, Australia.
-
Does strength in the Nordic hamstring exercise predict hamstring injury?
(&th MuscleTech Network workshop)
14th October, Barcelona
Erik Witvrouw
Lead research and Education Sports Physiotherapist, Aspetar, Orthopaedic and Sports Medicine Hospital, Doha, Qatar / Professor Rehabilitation Science and Physiotherapy, Ghent University, Belgium
-
Isokinetic and neuromuscular evaluation as potential risk factors for hamstring injuries
Anders Hauge Engebretsen
Former researcher at the Oslo Sports Trauma Research Center. Resident at the Oslo University Hospital, Rikshospitalet/ Ullevål, Department of pediatric surgery.
-
The Oslo Sports Trauma Research Center and hamstring injuries
(6th MuscleTech Network Workshop)
13th and 14th October, Barcelona 2014
Anthony Shield - is nmi a risk factor for hamstring strain injury MuscleTech Network
Anthony Shield
Senior lecturer, School of Exercise and Nutrition Science Institute of Health and Biomedical Innovation Queensland University of Technology, Brisbane, Australia.
-
Is neuromuscular inhibition a risk factor for hamstring strain?
Comparions of Some Antropometric and Morphological Characteristics Between I...Sport
Çolak T., Gönener A, Bamaç B, Sertbaş K, Taşkıran Y, Özbek A, Bamaç Y, Atalı L. (2003). "Comparison of Some Antropometric and Morphological Characteristics Between Ice Hockey Players and a Control Group in Kocaeli" 8th Annual Congress of the Europen College of Sport Science, July 2003, Salzburg, Austria
Anthony Shield - does strength in the nhe predict hamstring injury MuscleTech Network
Anthony Shield
Senior lecturer, School of Exercise and Nutrition Science Institute of Health and Biomedical Innovation Queensland University of Technology, Brisbane, Australia.
-
Does strength in the Nordic hamstring exercise predict hamstring injury?
(&th MuscleTech Network workshop)
14th October, Barcelona
Erik Witvrouw
Lead research and Education Sports Physiotherapist, Aspetar, Orthopaedic and Sports Medicine Hospital, Doha, Qatar / Professor Rehabilitation Science and Physiotherapy, Ghent University, Belgium
-
Isokinetic and neuromuscular evaluation as potential risk factors for hamstring injuries
Anders Hauge Engebretsen
Former researcher at the Oslo Sports Trauma Research Center. Resident at the Oslo University Hospital, Rikshospitalet/ Ullevål, Department of pediatric surgery.
-
The Oslo Sports Trauma Research Center and hamstring injuries
(6th MuscleTech Network Workshop)
13th and 14th October, Barcelona 2014
Anthony Shield - is nmi a risk factor for hamstring strain injury MuscleTech Network
Anthony Shield
Senior lecturer, School of Exercise and Nutrition Science Institute of Health and Biomedical Innovation Queensland University of Technology, Brisbane, Australia.
-
Is neuromuscular inhibition a risk factor for hamstring strain?
Comparions of Some Antropometric and Morphological Characteristics Between I...Sport
Çolak T., Gönener A, Bamaç B, Sertbaş K, Taşkıran Y, Özbek A, Bamaç Y, Atalı L. (2003). "Comparison of Some Antropometric and Morphological Characteristics Between Ice Hockey Players and a Control Group in Kocaeli" 8th Annual Congress of the Europen College of Sport Science, July 2003, Salzburg, Austria
Bryan Heiderscheit
Professor, Department of Orthopedics and Rehabilitation, Department of Biomedical Engineering, Director, UW Runners' Clinic, Director, Badger Athletic Performance Research, Co-director, UW Neuromuscular Biomechanics Lab, University of Wisconsin-Madison, Madison, WI, USA.
-
Hamstrings are most susceptible to injury during the early stance phase of sprinting
(13th October, Barcelona)
6th MuscleTech Network Workshop
Per Hölmich
Head of Aspetar Sports Groin Pain Center, Aspetar, Orthopaedic and Sports Medicine Hospital, Doha, Qatar & Associate Professor, Sports Orthopedic Research, Center - Copenhagen (SORC-C), Arthoscopic Center Amager, Copenhagen University Hospital, Denmark.
-
Nordic Hamstring for prevention in football - what did we learn?
(6th MuscleTech Network Workshop)
13th and 14th OCtober, 2014
A criteria based progression rehabilitation protocol for hamstring strain injuries presented at the Sports Medicine Australia conference 2015 during the Hamstring symposium
Poster: Frontal plane knee control is not a risk factor for acute non-contact...UKK-instituutti
Poster by Tanja Kulmala presented in the Finnish Sports Physiotherapists Association FSPA Congress in Helsinki, Finland June 8–9, 2018.
Poster: The frontal plane knee control is not a risk factor for acute non-contact lower extremity injuries in youth team sports
Research group: Kulmala T, Räisänen AM, Parkkari J, Vasankari T, Kannus P, Vesanto J, Pasanen K
Tampere Research Center of Sport Medicine, UKK Institute, Finland
Conservative Management of Knee osteoarthritisEsserHealth
Osteoarthritis is a major burden on personal health and international health care expenditures. Learn the basics of osteoarthritis and conservative management options for the physician.
Preventing programs in Football Club Barcelona - Xavi, antonio & francescMuscleTech Network
Xavier Yanguas
Sports Medicine Specialist at the Medical Services Futbol Club Barcelona.
-
Preventing programs in Football Club Barcelona
(6th MuscleTech Network Workshop)
14 and 14th October, 2014
Return to play in rectus femoris muscle injuries. Our experience with profess...MuscleTech Network
Return to play in rectus femoris muscle injuries. Our experience with professional football players
Juanjo Brau & Xavier Yanguas
8th MuscleTech Network Workshop
Johannes Tol
Sports medicine physician, Aspetar, Orthopaedic and Sports Medicine Hospital, Doha, Qatar.
-
PRP for acute hamstring injuries: a 3-arm RCT in Qatar
(6th MuscleTech Network workshop)
14th October, Barcelona
Changes During Passive Recovery In Lower Limbs Tiredness After Strenuous WorkoutIOSR Journals
Abstract: Lower limbs tiredness is a widely accepted indicator for recovery state prediction. The study was
designed and purposed to know the rate and trend of lower limbs tiredness recovery after strenuous workout in
passive state. Ten athletes from LNIPE, Gwalior having almost similar anthropometric measurements,
physiological capacity, chronological age(18-19 year), training age(5-6 year), event(sprinters) etc. residing in
same campus having similar daily routine were selected as participant in this experiment. The experiment was
conducted in a highly controlled environment using sophisticate equipments. Target Heart Rate Zone of the
workout lasting for 20 minutes was 80%-90% of their Maximum Heart Rate. Three readings including pre, post
and 30 minutes post workout was considered for both the two tests (Isometric Leg Strength Test and Sergeant
Jump Test) selected for the purpose. rANOVA was employed separately to derive out meaningful information
from the raw data. In both the tests well controlled workout for 20 minutes resulted in significant increase state
of post workout readings. With passage of time after 30 minutes post passive recovery there was no
improvement in state of tiredness. Thus scope of future research is there in planning out means and methods to
promote lower limbs tiredness recovery during this post recovery period.
Keyword: Isometric Leg Strength Test, Sergeant Jump Test, Recovery, rANOVA
To examine the acute effects of generic (Running Drills, RD) and specific (Small-
Sided Games, SSG) Long Sprint Ability (LSA) drills on internal and external load of male
soccer-players. Methods: Fourteen academy-level soccer-players (mean±SD; age 17.6±0.61
years, height 1.81±0.63 m, body-mass 69.53±4.65 kg) performed four 30s LSA bouts for
maintenance (work:rest, 1:2) and production (1:5) with RD and SSG drills. Players’ external-
load was tracked with GPS technology (20Hz) and heart-rate (HR), blood-lactate
concentrations (BLc) and rate of perceived exertion (RPE) were used to characterize players’
internal-load. Individual peak BLc was assessed with a 30s all-out test on a non-motorized
treadmill (NMT). Results: Compared to SSGs the RDs had a greater effect on external-load
and BLc (large and small, respectively). During SSGs players covered more distance with
high-intensity decelerations (moderate-to-small). Muscular-RPE was higher (small-to-large)
in RD than in SSG. The production mode exerted a moderate effect on BLc while the
maintenance condition elicited higher cardiovascular effects (small-to-large). Conclusion:
The results of this study showed the superiority of generic over specific drills in inducing
LSA related physiological responses. In this regard production RD showed the higher post-
exercise BLc. Interestingly, individual peak blood-lactate responses were found after the
NMT 30s all-out test, suggesting this drill as a valid option to RD bouts. The practical
physiological diversity among the generic and specific LSA drills here considered, enable
fitness trainers to modulate prescription of RD and SSG drills for LSA according to training
schedule.
The Epidemic of ACL Injuries in Female Youth Athletesthegraymatters
Orthopedic Grand Rounds at Univ. of Missouri by Aaron Gray, MD, Sports Medicine Specialist. Discusses Epidemiology, risk factors, and focuses on prevention of ACL injuries in female youth athletes.
Prof. Jon Tobias's presentation from Osteoporosis 2016: Day-to-day levels of high impact physical activity are positively related to lower limb bone strength in older women: findings from a population based study using accelerometers to classify impact magnitude.
Find out more at: https://nos.org.uk/conference
Technology and Spinal Cord Injury (SCI): How could technology further help th...Hillary Green
Dr. Josh Geering, PT, DPT, from the Dallas VA Medical Center's Spinal Cord Injury & Disorders Center presents at the UT Arlington Research Institute's Symposium on Biomedical Technologies.
Bryan Heiderscheit
Professor, Department of Orthopedics and Rehabilitation, Department of Biomedical Engineering, Director, UW Runners' Clinic, Director, Badger Athletic Performance Research, Co-director, UW Neuromuscular Biomechanics Lab, University of Wisconsin-Madison, Madison, WI, USA.
-
Hamstrings are most susceptible to injury during the early stance phase of sprinting
(13th October, Barcelona)
6th MuscleTech Network Workshop
Per Hölmich
Head of Aspetar Sports Groin Pain Center, Aspetar, Orthopaedic and Sports Medicine Hospital, Doha, Qatar & Associate Professor, Sports Orthopedic Research, Center - Copenhagen (SORC-C), Arthoscopic Center Amager, Copenhagen University Hospital, Denmark.
-
Nordic Hamstring for prevention in football - what did we learn?
(6th MuscleTech Network Workshop)
13th and 14th OCtober, 2014
A criteria based progression rehabilitation protocol for hamstring strain injuries presented at the Sports Medicine Australia conference 2015 during the Hamstring symposium
Poster: Frontal plane knee control is not a risk factor for acute non-contact...UKK-instituutti
Poster by Tanja Kulmala presented in the Finnish Sports Physiotherapists Association FSPA Congress in Helsinki, Finland June 8–9, 2018.
Poster: The frontal plane knee control is not a risk factor for acute non-contact lower extremity injuries in youth team sports
Research group: Kulmala T, Räisänen AM, Parkkari J, Vasankari T, Kannus P, Vesanto J, Pasanen K
Tampere Research Center of Sport Medicine, UKK Institute, Finland
Conservative Management of Knee osteoarthritisEsserHealth
Osteoarthritis is a major burden on personal health and international health care expenditures. Learn the basics of osteoarthritis and conservative management options for the physician.
Preventing programs in Football Club Barcelona - Xavi, antonio & francescMuscleTech Network
Xavier Yanguas
Sports Medicine Specialist at the Medical Services Futbol Club Barcelona.
-
Preventing programs in Football Club Barcelona
(6th MuscleTech Network Workshop)
14 and 14th October, 2014
Return to play in rectus femoris muscle injuries. Our experience with profess...MuscleTech Network
Return to play in rectus femoris muscle injuries. Our experience with professional football players
Juanjo Brau & Xavier Yanguas
8th MuscleTech Network Workshop
Johannes Tol
Sports medicine physician, Aspetar, Orthopaedic and Sports Medicine Hospital, Doha, Qatar.
-
PRP for acute hamstring injuries: a 3-arm RCT in Qatar
(6th MuscleTech Network workshop)
14th October, Barcelona
Changes During Passive Recovery In Lower Limbs Tiredness After Strenuous WorkoutIOSR Journals
Abstract: Lower limbs tiredness is a widely accepted indicator for recovery state prediction. The study was
designed and purposed to know the rate and trend of lower limbs tiredness recovery after strenuous workout in
passive state. Ten athletes from LNIPE, Gwalior having almost similar anthropometric measurements,
physiological capacity, chronological age(18-19 year), training age(5-6 year), event(sprinters) etc. residing in
same campus having similar daily routine were selected as participant in this experiment. The experiment was
conducted in a highly controlled environment using sophisticate equipments. Target Heart Rate Zone of the
workout lasting for 20 minutes was 80%-90% of their Maximum Heart Rate. Three readings including pre, post
and 30 minutes post workout was considered for both the two tests (Isometric Leg Strength Test and Sergeant
Jump Test) selected for the purpose. rANOVA was employed separately to derive out meaningful information
from the raw data. In both the tests well controlled workout for 20 minutes resulted in significant increase state
of post workout readings. With passage of time after 30 minutes post passive recovery there was no
improvement in state of tiredness. Thus scope of future research is there in planning out means and methods to
promote lower limbs tiredness recovery during this post recovery period.
Keyword: Isometric Leg Strength Test, Sergeant Jump Test, Recovery, rANOVA
To examine the acute effects of generic (Running Drills, RD) and specific (Small-
Sided Games, SSG) Long Sprint Ability (LSA) drills on internal and external load of male
soccer-players. Methods: Fourteen academy-level soccer-players (mean±SD; age 17.6±0.61
years, height 1.81±0.63 m, body-mass 69.53±4.65 kg) performed four 30s LSA bouts for
maintenance (work:rest, 1:2) and production (1:5) with RD and SSG drills. Players’ external-
load was tracked with GPS technology (20Hz) and heart-rate (HR), blood-lactate
concentrations (BLc) and rate of perceived exertion (RPE) were used to characterize players’
internal-load. Individual peak BLc was assessed with a 30s all-out test on a non-motorized
treadmill (NMT). Results: Compared to SSGs the RDs had a greater effect on external-load
and BLc (large and small, respectively). During SSGs players covered more distance with
high-intensity decelerations (moderate-to-small). Muscular-RPE was higher (small-to-large)
in RD than in SSG. The production mode exerted a moderate effect on BLc while the
maintenance condition elicited higher cardiovascular effects (small-to-large). Conclusion:
The results of this study showed the superiority of generic over specific drills in inducing
LSA related physiological responses. In this regard production RD showed the higher post-
exercise BLc. Interestingly, individual peak blood-lactate responses were found after the
NMT 30s all-out test, suggesting this drill as a valid option to RD bouts. The practical
physiological diversity among the generic and specific LSA drills here considered, enable
fitness trainers to modulate prescription of RD and SSG drills for LSA according to training
schedule.
The Epidemic of ACL Injuries in Female Youth Athletesthegraymatters
Orthopedic Grand Rounds at Univ. of Missouri by Aaron Gray, MD, Sports Medicine Specialist. Discusses Epidemiology, risk factors, and focuses on prevention of ACL injuries in female youth athletes.
Prof. Jon Tobias's presentation from Osteoporosis 2016: Day-to-day levels of high impact physical activity are positively related to lower limb bone strength in older women: findings from a population based study using accelerometers to classify impact magnitude.
Find out more at: https://nos.org.uk/conference
Technology and Spinal Cord Injury (SCI): How could technology further help th...Hillary Green
Dr. Josh Geering, PT, DPT, from the Dallas VA Medical Center's Spinal Cord Injury & Disorders Center presents at the UT Arlington Research Institute's Symposium on Biomedical Technologies.
NEURAL NETWORKS AND BOOTSTRAP SIMULATION IN PREDICTION OF OUTCOME OF NON-SMALL CELL LUNG CANCER PATIENTS AFTER COMPLETE LOBECTOMIES AND PNEUMONECTOMIES
REOPERATIONS AFTER MINIMALLY INVASIVE LUMBAR SPINE SURGERYYunus Aydın
RE-OPERATIONS AFTER MINIMALLY INVASIVE LUMBAR SPINE SURGERY BECAUSE OF RECURRENT DISC HERNIATION: PROSPECTIVE STUDY
914 patients (group 1) with 1012 levels of lumbar disc herniation underwent microdiskectomy
1063 patients (group 2) with 2588 levels of degenerative lumbar spinal stenosis
*patients underwent one or multilevel bilateral decompression via unilateral approach
*228 patients underwent concomitant diskectomies at the index level
Totally 1240 levels microdiskectomy were done
Mean follow-up time was 14 years,
Influence of high and low frequency anteroposterior mobilization of the talus on ankle dorsiflexion: a double-blind randomized controlled trial.
URL: http://bit.ly/HJogP0
ACL Injury Hacks covers the entire physiology, etiology,pathology, diagnosis, recent advancements in diagnosis of ACL and focus on how an early and accurate diagnosis can contribute to a better treatment and rehabilitation as well as early return to sport of an athlete.
The objective of this in-service presentation was to provided inpatient physical therapists and occupational therapists with the clinical decision making skills to properly evaluate common orthopedic dysfunctions encountered in the acute care setting.
"El álgebra lineal es una herramienta fundamental en muchos campos de la ciencia y la tecnología. Es particularmente importante en la física, la ingeniería, la informática y la estadística. La capacidad de manipular eficientemente grandes cantidades de datos y matrices complejas es esencial en estas áreas para la resolución de problemas y la toma de decisiones.
A priori, puede dar la sensación de que estamos muy lejos del uso del álgebra lineal en nuestro día a día. Sin embargo, algunas técnicas como la descomposición en valores singulares y la regresión lineal para entrenar modelos y hacer predicciones precisas están detrás de la inteligencia artificial y el aprendizaje automático. ¿Te suena ChatGPT? Puede no parecerlo, pero el álgebra lineal también está detrás en algunos de sus procesos. Por este motivo, debemos seguir trabajando en este campo, ya que su importancia seguirá creciendo a medida que se generen y analicen grandes cantidades de datos en el mundo actual.
"
La pandemia de COVID-19 ha supuesto una proliferación de mapas y contramapas. Por ello, organizaciones de la sociedad civil y movimientos sociales han generado sus propias interpretaciones y representaciones de los datos sobre la crisis. Estos también han contribuido a visibilizar aspectos, sujetos y temas que han sido desatendidos o infrarrepresentados en las visualizaciones hegemónicas y dominantes. En este contexto, la presente ponencia se centra en el análisis de los imaginarios sociales relacionados con la elaboración de mapas durante la pandemia. Es decir, trata de indagar en la importancia de los mapas para el activismo digital, las potencialidades que se extraen de esta tecnología y los valores asociados a las visualizaciones creadas con ellos. El objetivo último es reflexionar sobre la vía emergente del activismo de datos, así como sobre la intersección entre los imaginarios sociales y la geografía digital.
Designing RISC-V-based Accelerators for next generation Computers (DRAC) is a 3-year project (2019-2022) funded by the ERDF Operational Program of Catalonia 2014-2020. DRAC will design, verify, implement and fabricate a high performance general purpose processor that will incorporate different accelerators based on the RISC-V technology, with specific applications in the field of post-quantum security, genomics and autonomous navigation. In this talk, we will provide an overview of the main achievements in the DRAC project, including the fabrication of Lagarto, the first RISC-V processor developed in Spain.
This talk will begin introducing the uElectronics section of ESA at ESTEC and the general activities the group is responsible for. Then, it will go through some of the R+D on-going activities that the group is involved with, hand in hand with universities and/or companies. One of the major ones is related to the European rad-hard FPGAs that have been partially founded by ESA for several years and that will be playing a major role in the sector in the upcoming years. It´s also worth talking about the RTL soft IPs that are currently under development and that will allow us to keep on providing the European ecosystem with some key capabilities. The latter will be an overview of RISC-V space hardened on-going activities that might be replacing the current SPARC based processors available for our missions.
El objetivo de esta charla es presentar las últimas novedades incorporadas en la arquitectura ARM y describir las tendencias en la microarquitectura de los procesadores con arquitectura ARM. ARM es una empresa relativamente pequeña en comparación con otros gigantes del sector tecnológico. Sin embargo, la amplia implantación de su arquitectura, siendo ampliamente dominante en algunos sectores, y sus microarquitecturas, hacen que la tecnología ARM ocupe un lugar central en el desarrollo tecnológico del mundo actual. La tecnología ARM está presente prácticamente en todo el espectro tecnológico, desde los dispositivos más sencillos hasta el HPC y Cloud computing, pasando por los smartphones, automoción electrónica de consumo, etc
"Formal verification has been used by computer scientists for decades to prevent
software bugs. However, with a few exceptions, it has not been used by researchers
working in most areas of mathematics (geometry, algebra, analysis, etc.). In this
talk, we will discuss how this has changed in the past few years, and the possible
implications to the future of mathematical research, teaching and communication.
We will focus on the theorem prover Lean and its mathematical library
mathlib, since this is currently the system most widely used by mathematicians.
Lean is a functional programming language and interactive theorem prover based
on dependent type theory, with proof irrelevance and non-cumulative universes.
The mathlib library, open-source and designed as a basis for research level
mathematics, is one of the largest collections of formalized mathematics. It allows
classical reasoning, uses large- and small-scale automation, and is characterized
by its decentralized nature with over 200 contributors, including both computer
scientists and mathematicians."
"Part of the research community thinks that it is still early to tackle the development of quantum software engineering techniques. The reason is that how the quantum computers of the future will look like is still unknown. However, there are some facts that we can affirm today: 1) quantum and classical computers will coexist, each dedicated to the tasks at which they are most efficient. 2) quantum computers will be part of the cloud infrastructure and will be accessible through the Internet. 3) complex software systems will be made up of smaller pieces that will collaborate with each other. 4) some of those pieces will be quantum, therefore the systems of the future will be hybrid. 5) the coexistence and interaction between the components of said hybrid systems will be supported by service composition: quantum services.
This talk analyzes the challenges that the integration of quantum services poses to Service Oriented Computing."
In this talk, after a brief overview of AI concepts in particular Machine Learning (ML) techniques, some of the well-known computer design concepts for high performance and power efficiency are presented. Subsequently, those techniques that have had a promising impact for computing ML algorithms are discussed. Deep learning has emerged as a game changer for many applications in various fields of engineering and medical sciences. Although the primary computation function is matrix vector multiplication, many competing efficient implementations of this primary function have been proposed and put into practice. This talk will review and compare some of those techniques that are used for ML computer design.
Tras una breve introducción a la informática médica y unas pinceladas sobre conceptos prácticos de Inteligencia Artificial (posible definición consensuada, strong VS weak AI y técnicas y métodos comúnmente empleados), el bloque central de la charla muestra ejemplos prácticos (en forma de casos de éxito) de distintos desarrollos llevados a cabo por el grupo de Sistemas Informáticos de Nueva Generación (SING: http//sing-group.org/) en los ámbitos de (i) Informática clínica (InNoCBR, PolyDeep), (ii) Informática para investigación clínica (PathJam, WhichGenes), (iii) bioinformática traslacional (Genómica: ALTER, Proteómica: DPD, BI, BS, Mlibrary, Mass-Up, e integración de datos ÓMICOS: PunDrugs) y (iv) Informática en salud pública (CURMIS4th). Finalmente, se comenta brevemente la importancia que se espera tenga en un futuro inmediato la IA interpretable (XAI, Explainable Artificial Intelligence) y la participación humana (HITL. Human-In-The-Loop). La charla termina con una breve reflexión sobre las lecciones aprendidas por el ponente después de más de 16 años de desarrollo de sistemas inteligentes en el ámbito de la informática médica.
Many emerging applications require methods tailored towards high-speed data acquisition and filtering of streaming data followed by offline event reconstruction and analysis. In this case, the main objective is to relieve the immense pressure on the storage and communication resources within the experimental infrastructure. In other applications, ultra low latency real time analysis is required for autonomous experimental systems and anomaly detection in acquired scientific data in the absence of any prior data model for unknown events. At these data rates, traditional computing approaches cannot carry out even cursory analyses in a time frame necessary to guide experimentation. In this talk, Prof. Ogrenci will present some examples of AI hardware architectures. She will discuss the concept of co-design, which makes the unique needs of an application domain transparent to the hardware design process and present examples from three applications: (1) An in-pixel AI chip built using the HLS methodology; (2) A radiation hardened ASIC chip for quantum systems; (3) An FPGA-based edge computing controller for real-time control of a High Energy Physics experiment.
En esta conferencia se presentará una revisión del concepto de autonomía para robots móviles de campo y la identificación de desafíos para lograr un verdadero sistema autónomo, además de sugerir posibles direcciones de investigación. Los sistemas robóticos inteligentes, por lo general, obtienen conocimiento de sus funciones y del entorno de trabajo en etapa de diseño y desarrollo. Este enfoque no siempre es eficiente, especialmente en entornos semiestructurados y complejos como puede ser el campo de cultivo. Un sistema robótico verdaderamente autónomo debería desarrollar habilidades que le permitan tener éxito en tales entornos sin la necesidad de tener a-priori un conocimiento ontológico del área de trabajo y la definición de un conjunto de tareas o comportamientos predefinidos. Por lo que en esta conferencia se presentarán posibles estrategias basadas en Inteligencia Artificial que permitan perfeccionar las capacidades de navegación de robots móviles y que sean capaces de ofrecer un nivel de autonomía lo suficientemente elevado para poder ejecutar todas las tareas dentro de una misión casa-a-casa (home-to-home).
Quantum computing has become a noteworthy topic in academia and industry. The multinational companies in the world have been obtaining impressive advances in all areas of quantum technology during the last two decades. These companies try to construct real quantum computers in order to exploit their theoretical preferences over today’s classical computers in practical applications. However, they are challenging to build a full-scale quantum computer because of their increased susceptibility to errors due to decoherence and other quantum noise. Therefore, quantum error correction (QEC) and fault-tolerance protocol will be essential for running quantum algorithms on large-scale quantum computers.
The overall effect of noise is modeled in terms of a set of Pauli operators and the identity acting on the physical qubits (bit flip, phase flip and a combination of bit and phase flips). In addition to Pauli errors, there is another error named leakage errors that occur when a qubit leaves the defined computational subspace. As the location of leakage errors is unknown, these can damage even more the quantum computations. Thus, this talk will briefly provide quantum error models.
Los chatbots son un elemento clave en la transformación digital de nuestra sociedad. Están por todas partes: eCommerce, salud digital, asistencia a clientes, turismo,... Pero si habéis usado alguno, probablemente os habrá decepcionado. Lo confieso, la mayoría de los chatbots que existen son muy malos. Y es que no es nada fácil hacer un chatbot que sea realmente útil e inteligente. Un chatbot combina toda la complejidad de la ingeniería de software con la del procesamiento de lenguaje natural. Pensad que muchos chatbots hay que desplegarlos en varios canales (web, telegram, slack,...) y a menudo tienen que utilizar APIs y servicios externos, acceder a bases de datos internas o integrar modelos de lenguaje preentrenados (por ej. detectores de toxicidad), etc. Y el problema no es sólo crear el bot, si no también probarlo y evolucionarlo. En esta charla veremos los mayores desafíos a los que hay que enfrentarse cuando nos encargan un proyecto de desarrollo que incluye un chatbot y qué técnicas y estrategias podemos ir aplicando en función de las necesidades del proyecto, para conseguir, esta vez sí un chatbot que sepa de lo que habla.
Many HPC applications are massively parallel and can benefit from the spatial parallelism offered by reconfigurable logic. While modern memory technologies can offer high bandwidth, designers must craft advanced communication and memory architectures for efficient data movement and on-chip storage. Addressing these challenges requires to combine compiler optimizations, high-level synthesis, and hardware design.
In this talk, I will present challenges, solutions, and trends for generating massively parallel accelerators on FPGA for high-performance computing. These architectures can provide performance comparable to software implementations on high-end processors, and much higher energy efficiency thanks to logic customization.
The main challenge of concurrent software verification has always been in achieving modularity, i.e., the ability to divide and conquer the correctness proofs with the goal of scaling the verification effort. Types are a formal method well-known for its ability to modularize programs, and in the case of dependent types, the ability to modularize and scale complex mathematical proofs.
In this talk I will present our recent work towards reconciling dependent types with shared memory concurrency, with the goal of achieving modular proofs for the latter. Applying the type-theoretic paradigm to concurrency has lead us to view separation logic as a type theory of state, and has motivated novel abstractions for expressing concurrency proofs based on the algebraic structure of a resource and on structure-preserving functions (i.e., morphisms) between resources.
Microarchitectural attacks, such as Spectre and Meltdown, are a class of
security threats that affect almost all modern processors. These attacks exploit the side-effects resulting from processor optimizations to leak sensitive information and compromise a system’s security.
Over the years, a large number of hardware and software mechanisms for
preventing microarchitectural leaks have been proposed. Intuitively, more
defensive mechanisms are less efficient, while more permissive mechanisms may offer more performance but require more defensive programming. Unfortunately, there are no
hardware-software contracts that would turn this intuition into a basis for
principled co-design.
In this talk, we present a framework for specifying hardware/software security
contracts, an abstraction that captures a processor’s security guarantees in a
simple, mechanism-independent manner by specifying which program executions a
microarchitectural attacker can distinguish.
La aparición de vulnerabilidades por la falta de controles de seguridad es una de las causas por las que se demandan nuevos marcos de trabajo que produzcan software seguro de forma predeterminada. En la conferencia se abordará cómo transformar el proceso de desarrollo de software dando la importancia que merece la seguridad desde el inicio del ciclo de vida. Para ello se propone un nuevo modelo de desarrollo – modelo Viewnext-UEx – que incorpora prácticas de seguridad de forma preventiva y sistemática en todas las fases del proceso de ciclo de vida del software. El propósito de este nuevo modelo es anticipar la detección de vulnerabilidades aplicando la seguridad desde las fases más tempranas, a la vez que se optimizan los procesos de construcción del software. Se exponen los resultados de un escenario preventivo, tras la aplicación del modelo Viewnext-UEx, frente al escenario reactivo tradicional de aplicar la seguridad a partir de la fase de testing.
This lecture will address issues of trust in computer systems, artificial intelligence and attacks on these types of systems with practical examples. Artificial Intelligence has gained ground in several areas with different applications scenarios, but in the perspective of this lecture, the fundamental point of the discussion is: what does an artificial intelligence system should do from a security perspective and how does an intelligence system provide results on a given subject? Few people are really concerned about the behavior of these types of systems from a security point of view. If you like machine learning and security, I believe this lecture will show you interesting security problems in artificial intelligence systems.
El uso de energías renovables es clave para cumplir los objetivos de desarrollo sostenible de la Agenda 2030. Entre estas energías, la eólica es la segunda más utilizada debido a su alta eficiencia. Algunos estudios sugieren que la energía eólica será la principal fuente de generación en 2050. Por ello es conveniente seguir investigando en la aplicación de técnicas de control avanzadas en estos sistemas.
Entre estas técnicas avanzadas cabe destacar las redes neuronales y el aprendizaje por refuerzo combinadas con estrategias clásicas de control. Estas técnicas ya se han empleado con éxito en el modelado y el control de sistemas complejos.
Esta conferencia presentará la aplicación de redes neuronales y aprendizaje por refuerzo al control de aerogeneradores, centrándolo especialmente en el control de pitch. Se detallarán diferentes configuraciones con redes neuronales y otras técnicas aplicadas al control de pitch. Finalmente se propondrán algunas técnicas híbridas que combinen lógica difusa, tablas de búsqueda y redes neuronales, mostrando resultados que han permitido probar su utilidad para mejorar la eficiencia de las turbinas eólicas.
As the world's energy demand rises, so does the amount of renewable energy, particularly wind energy, in the supply. The life cycle of wind farms starting from manufacturing the components to decommission stage involve significant involvement of cost and the application of AI and data analytics are on reducing these costs are limited. With this conference talk, the audience expected to know some of the interesting applications of AI and data analytics on offshore wind. And, also highlight the future challenges and opportunities. This conference could be useful for students, academics and researcher who want to make next career in offshore wind but yet know where to start.
Overview of the fundamental roles in Hydropower generation and the components involved in wider Electrical Engineering.
This paper presents the design and construction of hydroelectric dams from the hydrologist’s survey of the valley before construction, all aspects and involved disciplines, fluid dynamics, structural engineering, generation and mains frequency regulation to the very transmission of power through the network in the United Kingdom.
Author: Robbie Edward Sayers
Collaborators and co editors: Charlie Sims and Connor Healey.
(C) 2024 Robbie E. Sayers
Hierarchical Digital Twin of a Naval Power SystemKerry Sado
A hierarchical digital twin of a Naval DC power system has been developed and experimentally verified. Similar to other state-of-the-art digital twins, this technology creates a digital replica of the physical system executed in real-time or faster, which can modify hardware controls. However, its advantage stems from distributing computational efforts by utilizing a hierarchical structure composed of lower-level digital twin blocks and a higher-level system digital twin. Each digital twin block is associated with a physical subsystem of the hardware and communicates with a singular system digital twin, which creates a system-level response. By extracting information from each level of the hierarchy, power system controls of the hardware were reconfigured autonomously. This hierarchical digital twin development offers several advantages over other digital twins, particularly in the field of naval power systems. The hierarchical structure allows for greater computational efficiency and scalability while the ability to autonomously reconfigure hardware controls offers increased flexibility and responsiveness. The hierarchical decomposition and models utilized were well aligned with the physical twin, as indicated by the maximum deviations between the developed digital twin hierarchy and the hardware.
Saudi Arabia stands as a titan in the global energy landscape, renowned for its abundant oil and gas resources. It's the largest exporter of petroleum and holds some of the world's most significant reserves. Let's delve into the top 10 oil and gas projects shaping Saudi Arabia's energy future in 2024.
Explore the innovative world of trenchless pipe repair with our comprehensive guide, "The Benefits and Techniques of Trenchless Pipe Repair." This document delves into the modern methods of repairing underground pipes without the need for extensive excavation, highlighting the numerous advantages and the latest techniques used in the industry.
Learn about the cost savings, reduced environmental impact, and minimal disruption associated with trenchless technology. Discover detailed explanations of popular techniques such as pipe bursting, cured-in-place pipe (CIPP) lining, and directional drilling. Understand how these methods can be applied to various types of infrastructure, from residential plumbing to large-scale municipal systems.
Ideal for homeowners, contractors, engineers, and anyone interested in modern plumbing solutions, this guide provides valuable insights into why trenchless pipe repair is becoming the preferred choice for pipe rehabilitation. Stay informed about the latest advancements and best practices in the field.
The Benefits and Techniques of Trenchless Pipe Repair.pdf
Utilización de sensores inerciales integrados para la valoración física de pacientes crónicos
1. “La valoración física del paciente crónico”
Programa de Doctorado en Ingeniería informática (RD 99/2011)
Curso 2017-18
Profesor: David Barbado Murillo
2.
3.
4. “Our general conclusion is that
exercise is so effective that it
should be considered as a drug”
5.
6. “Chronic diseases are major killers in the modern era. Physical
inactivity is a primary cause of most chronic diseases.”
9. 0,0
0,2
0,4
0,6
0,8
1,0
1,2
1,4
1,6
Morris JN et al. Lancet 1953; 265:1111-1120
Eventsper1,000man-years
Coronary
occlusion
Drivers
Conductors
Death within 3 days
of CHD event
Physical Activity at Work and CHD Events in 31,000
London Transport Workers
Actividad física laboral y
enfermedad cardiovascular
13. “… highest physical activity category had ~40%–50% reduction in
risk of colon cancer compared with the least active category …”
14. Importancia de la valoración física del paciente crónico
• Conocer el estatus físico del paciente para
verificar la efectividad de los programas de
intervención.
• Individualizar la carga de entrenamiento.
• Facilitar el diagnóstico y evolución clínicas de
ciertas enfermedades con sintomatología motora.
• Incrementar la eficacia de los modelos de
predicción para la evolución de la enfermedad
15.
16.
17. Relación Actividad Física y Salud:
Nuevo Paradigma Dosis-respuesta
A B0
Beneficios
potenciales
salud
Actividad física
Salud
Actividad
Física
Fitness
(Condición Física)
18.
19.
20. • Alto coste:
– Material
– Temporal
– Humano
• Datos restringidos al ámbito científico.
Dificultad de generar grandes bases de
datos.
• Imposibilidad de uso para la
monitorización continua del paciente
21. To be fast and effective, we
must stimulate and support
interdisciplinary, inter-
profession and inter-sector
approaches, funded
internationally.
22.
23.
24.
25.
26.
27. “…. Un pequeño dispositivo portátil, conectado a un teléfono inteligente, que permite
medir en tiempo real parámetros como la frecuencia cardiaca o la temperatura
corporal…”
38. Criterios de la United Kingdom Parkinson’s
Disease Society Brain Bank [5], para el
diagnóstico de la enfermedad de parkinson:
1. Síntomas esenciales para el diagnóstico del
síndrome parkinsoniano.
2. Criterios de exclusión para el diagnóstico de
la EP.
3. Criterios de apoyo del diagnóstico de la EP
Parkinson’s Disease
58. “La valoración física del paciente crónico”
Programa de Doctorado en Ingeniería informática (RD 99/2011)
Curso 2017-18
Profesor: David Barbado Murillo