المؤلفون: Nobre, Ricardo, Ilic, Aleksandar, Santander-Jimenez, Sergio, Sousa, Leonel

المصدر: 2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS) IPDPS Parallel and Distributed Processing Symposium (IPDPS), 2024 IEEE International. :631-643 May, 2024

Relation: 2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS)

المؤلفون: Graca, Miguel, Marques, Diogo, Santander-Jimenez, Sergio, Sousa, Leonel, Ilic, Aleksandar

المصدر: 2023 IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE) CHASE Connected Health: Applications, Systems and Engineering Technologies (CHASE), 2023 IEEE/ACM Conference on. :114-125 Jun, 2023

Relation: 2023 IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE)

المؤلفون: Jimenez, Sergio J., Nelson, Blake W., Curbow, Austin, Lemmon, Andrew N., New, Christopher D.

المصدر: 2023 IEEE Applied Power Electronics Conference and Exposition (APEC) Applied Power Electronics Conference and Exposition (APEC), 2023 IEEE. :69-74 Mar, 2023

Relation: 2023 IEEE Applied Power Electronics Conference and Exposition (APEC)

المؤلفون: Galindo, Julian, Flores, Denys A., Cannon, Stacy L., Andrade, Roberto, Jimenez, Sergio, Zambrano, Daliana, Almeida, Luis, Martinez-Garcia, Gabriela, Gomez, Carla

المصدر: 2022 Third International Conference on Information Systems and Software Technologies (ICI2ST) ICI2ST Information Systems and Software Technologies (ICI2ST), 2022 Third International Conference on. :130-137 Nov, 2022

Relation: 2022 Third International Conference on Information Systems and Software Technologies (ICI2ST)

المؤلفون: Segovia-Aguas, Javier, Ferrer-Mestres, Jonathan, Jiménez, Sergio

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Artificial Intelligence

الوصف: This paper introduces a general approach for synthesizing procedural models of the state-transitions of a given discrete system. The approach is general in that it accepts different target languages for modeling the state-transitions of a discrete system; different model acquisition tasks with different target languages, such as the synthesis of STRIPS action models, or the update rule of a cellular automaton, fit as particular instances of our general approach. We follow an inductive approach to synthesis meaning that a set of examples of state-transitions, represented as (pre-state, action, post-state) tuples, are given as input. The goal is to synthesize a structured program that, when executed on a given pre-state, outputs its associated post-state. Our synthesis method implements a combinatorial search in the space of well-structured terminating programs that can be built using a Random-Access Machine (RAM), with a minimalist instruction set, and a finite amount of memory. The combinatorial search is guided with functions that asses the complexity of the candidate programs, as well as their fitness to the given input set of examples.
Comment: Conference paper accepted at ECAI 2023

URL الوصول: http://arxiv.org/abs/2307.14368

المؤلفون: Marques, Diogo, Campos, Rafael, Santander-Jimenez, Sergio, Matveev, Zakhar, Sousa, Leonel, Ilic, Aleksandar

المصدر: 2022 IEEE International Parallel and Distributed Processing Symposium (IPDPS) IPDPS Parallel and Distributed Processing Symposium (IPDPS), 2022 IEEE International. :146-156 May, 2022

Relation: 2022 IEEE International Parallel and Distributed Processing Symposium (IPDPS)

المؤلفون: Rodríguez Jiménez, Sergio

مرشدي الرسالة: Moras Feliu, Gerard, Institut Nacional d'Educació Física de Catalunya (Barcelona)

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Músculs, Músculos, Muscles, Vibració, Vibración, Vibration, Braç, Brazo, Arm, Ciències de l'Educació

الوصف: El ejercicio con vibración (EJV) se ha convertido en la última década en una modalidad de ejercicio complementaria al entrenamiento. Las plataformas vibratorias son los dispositivos mas populares y practicos para transmitir la vibración por los pies a las extremidades inferiores mientras se realizan ejercicios estéticos y dinámicos. Otros tipos de dispositivos, tomo las mancuernas vibratorias y diversos sistemas de transmisión de la vibración por cable, se utilizan exclusivamente para transmitir la vibración por la manos a las extremidades superiores mientras se realizan ejercicios. El objetivo de este proyecto fue diseriar y desarrollar un sistema de barra vibratoria para el EJV e identificar condiciones que maximicen la intensidad de activación neuromuscular en las extremidades superiores. En el Estudio 1 se analizó el comportamiento menico de una nueva barra vibratoria (prototipo 1) y los efectos agudos de la vibración en la actividad electromiogrffica (aEMG) de las extremidades superiores durante el ejercicio de press de banca estàtico. Con frecuencias de vibración seleccionadas en el variador de frecuencia (fin) entre 20 y 50Hz, el prototipo I generó valores medios de aceleración pico (apeak) (18,7-48,2m•s-2), frecuencia (font) (18,5-30,8Hz) y desplazamiento (D) pico a pico (p-p) (213-3,1mmp_p) apropiados para el EJV. Sin embargo, las fout en el centro y en el extremo de la barra fueron siempre inferiores (7,4-38,6%) a sus correspondientes valores de fin. Ambas fout de 23 y 31Hz provocaron un incremento significativo en la aEMG del TB, deltoides anterior y pectoral mayor durante ambas posiciones estkicas (extensión completa y flexión de codos a 90°) en comparación con la misma condición sin vibración, excepto 23Hz en el deltoides anterior y el pectoral mayor durante la posición de flexión de brazos. A partir del anàlisis de las limitaciones estructurales y funcionales del prototipo I se diserló y se desarrolló el prototipo 11 de barra vibratoria. En el Estudio 11, se analizó la influencia de la fin (20, 35 y 50Hz), la carga (20, 50 y 80% de la carga màxima sostenida, MSL) y el tipo de ejercicio (tracción y empuje) en el comportamiento menico del prototipo 11, mediante un acelerómetro triaxial fijado a un extremo de la barra vibratoria. El aumento de la fin provocó un aumento progresivo y considerable en la aRMS y la fout, con variaciones pequerias en el D. No obstante, los valores medios de font fueron entre un 9,0 y 16,9% inferiores a sus correspondientes valores de f n. El comportamiento menico del prototipo 11 de barra vibratoria se vio podo influenciado por el nivel de sobrecarga. Ademàs, la modificación del tipo de ejercicio no afectó a los niveles de aRMS, de D, ni de fout. Estos resultados establecen la validez de la barra vibratoria para su uso con ejercicios estkicos con un amplio rango de font y condiciones de carga en un contexto de acondicionamiento físico o rehabilitación. En el Estudio 111, se valoró el efecto de la fout en la aEMG del bíceps braquial (BB) y tríceps braquial (TB) actuando como agonistas y antagonistas durante ejercicios estkicos con diferentes cargas. Los datos de aEMG de este estudio se recogieron durante el Estudio 11. La activación agonista fue mayor durante la vibración (42Hz) en comparación con el mismo ejercicio sin vibración para el TB, pero no para el BB. El incremento en la coactivación antagonista inducido por la vibración fue proporcional a la fout y fue mayor para el BB que para el TB. Además, el incremento en la activación agonista del TB y en la coactivación antagonista inducido por la vibración se dio en todas las condiciones de carga en el rango del 20-80MSL. Por tanto, los resultados de la presente tesis sugieren que el uso de fout altas en el rango entre 18 y 42Hz, independientemente del nivel de tensión muscular, es el prerrequisito más importante para maximizar la activación muscular durante el EJV de las extremidades superiores con barra vibratoria.

الوصف (مترجم): Vibration training has been promoted during the last decade as an alternative and complementary method to resistance training. Vibratory platforms have become the most common tools to indirectly stimulate lower-limb muscles and tendons via the feet while static and dynamic exercises are performed. Some systems have been specifically designed to apply an indirect vibratory stimulus to the upper-body muscles via the hands (vibratory dumbbells and vibrating pulley-like devices). This project aimed to design and develop a novel vibratory bar system for upper-body vibration exercise and identify those training conditions that cause highest neuromuscular responses. The study I aimed to analyze the mechanical behavior of a vibratory bar (prototype I) and thereafter to assess the acute effects of vibration on the electromyographic (EMG) activity of upper-body muscles during the bench press static exercise. The vibration parameters were measured at the center and at the end of the vibratory bar using an accelerometer. The results showed that peak acceleration (apeak) (18.7-48.2m•s-2), frequency (foot) (18.5-30.8Hz) and peak-to-peak (p-p) displacement (D) (2.3-3.1mmp_p) were appropriate for vibration exercise. However, mean /nut were always lower (7.4-38.6%) than the preset frequencies values selected in the inverter (fin) (20-50Hz). In both isometric positions (full elbow extension and 90° of elbow flexion), triceps brachii (TB), anterior deltoid and pectoralis major activation was greater during vibration with four of 23 and 31Hz compared to non-vibration exercise, except during the foot of 23Hz for deltoid and pectoralis muscles in the flexion position. The prototype II was designed and developed from the analysis of the structural and functional limitations of the prototype I. The study II aimed to analyze the influence of different fin (20,35 and 50Hz), loading conditions (20, 50 and 80% of the maximum sustained load (MSL), and exercise types (lying row: pulling and bench press: pushing) on the mechanical behavior of the novel vibratory bar (prototype II). aRMS, D, and four were gained from a 3-dimensional accelerometer fixed to one extremity of the vibratory bar. Increasing fin from 20 to 50Hz resulted in a progressive and sizeable increase in vibratory bar a(RMS) and font with smaller variations of D. Mean /*out were always lower (9.0-16.9%) than the preset fin values. The mechanical performance of the vibratory bar was little influenced by overloading. Moreover, altering the type of exercise (pushing vs. pulling) had no significant effect on a(RMS), D, and foot. This study establishes the validity of the novel vibratory bar and legitimates its use for upper-body static exercise with a wide range of four and loading conditions in the context of physical training or rehabilitation. The study III aimed to assess the effect foot on the EMG activity of the BB and TB muscles when acting as agonist and antagonist during static exercises with different loads. The EMG data reported in the present study were collected in our previous work (study II). We found that agonist activation was greater during vibration (42Hz) compared to non-vibration exercise for the TB but not for the BB muscle. Moreover, the vibration induced increase in TB agonist activation and antagonist coactivation occurred at all loading conditions in the range 20-80%MSL. Overall, the results of the present thesis suggest that the use of high vibration frequencies (within the range of 18-42Hz) regardless of the level of muscular tension is supposed to be the most important prerequisite for maximizing upper-limb muscles activation during vibration exercise performed with a vibratory bar.

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/396670

المؤلفون: Segovia-Aguas, Javier, Jiménez, Sergio, Jonsson, Anders

مصطلحات موضوعية: Computer Science - Artificial Intelligence

الوصف: Planning as heuristic search is one of the most successful approaches to classical planning but unfortunately, it does not extend trivially to Generalized Planning (GP). GP aims to compute algorithmic solutions that are valid for a set of classical planning instances from a given domain, even if these instances differ in the number of objects, the number of state variables, their domain size, or their initial and goal configuration. The generalization requirements of GP make it impractical to perform the state-space search that is usually implemented by heuristic planners. This paper adapts the planning as heuristic search paradigm to the generalization requirements of GP, and presents the first native heuristic search approach to GP. First, the paper introduces a new pointer-based solution space for GP that is independent of the number of classical planning instances in a GP problem and the size of those instances (i.e. the number of objects, state variables and their domain sizes). Second, the paper defines a set of evaluation and heuristic functions for guiding a combinatorial search in our new GP solution space. The computation of these evaluation and heuristic functions does not require grounding states or actions in advance. Therefore our GP as heuristic search approach can handle large sets of state variables with large numerical domains, e.g.~integers. Lastly, the paper defines an upgraded version of our novel algorithm for GP called Best-First Generalized Planning (BFGP), that implements a best-first search in our pointer-based solution space, and that is guided by our evaluation/heuristic functions for GP.
Comment: Under review in the Artificial Intelligence Journal (AIJ)

URL الوصول: http://arxiv.org/abs/2301.11087

المؤلفون: Collings, William, Nelson, Tolen, Sellers, Andrew, Khanna, Raghav, Courtay, Alan, Jimenez, Sergio, Lemmon, Andrew

المصدر: 2021 IEEE Applied Power Electronics Conference and Exposition (APEC) Applied Power Electronics Conference and Exposition (APEC), 2021 IEEE. :2427-2433 Jun, 2021

Relation: 2021 IEEE Applied Power Electronics Conference and Exposition (APEC)

المؤلفون: Jimenez, Sergio, Lemmon, Andrew, Nelson, Blake, Deboi, Brian

المصدر: 2021 IEEE Applied Power Electronics Conference and Exposition (APEC) Applied Power Electronics Conference and Exposition (APEC), 2021 IEEE. :1524-1530 Jun, 2021

Relation: 2021 IEEE Applied Power Electronics Conference and Exposition (APEC)