المؤلفون: Butti, Silvia

المساهمون: University/Department: Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions

مرشدي الرسالة: Dalmau, Víctor

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

مصطلحات موضوعية: Constraint satisfaction problems, Linear programming, Weisfeiler-Leman algorithm, Sherali-Adams hierarchy, Distributed algorithms, Model checking, Problema de satisfacción de restricciones, Programación lineal, Algoritmo de Weisfeiler-Leman, Jerarquía de Sherali-Adams, Algoritmos distribuidos, Verificación de modelos, Problema de satisfacció de restriccions, Programació lineal, Algoritme de Weisfeiler-Leman, Jerarquia de Sherali-Adams, Algorismes distribuïts, Verificació de models

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

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

المؤلفون: Wang, Hengyu., Wu, Weimin., Hou, Xianrui, Cui, Lin, Koutroulis, Eftichios, Blaabjerg, Frede

المصدر: 2024 IEEE 10th International Power Electronics and Motion Control Conference (IPEMC2024-ECCE Asia) Power Electronics and Motion Control Conference (IPEMC2024-ECCE Asia), 2024 IEEE 10th International. :1680-1684 May, 2024

Relation: 2024 IEEE 10th International Power Electronics and Motion Control Conference (IPEMC2024-ECCE Asia)

المؤلفون: Zhang, Baoying, Tan, Yue

المصدر: 2024 Third International Conference on Distributed Computing and Electrical Circuits and Electronics (ICDCECE) Distributed Computing and Electrical Circuits and Electronics (ICDCECE), 2024 Third International Conference on. :1-4 Apr, 2024

Relation: 2024 Third International Conference on Distributed Computing and Electrical Circuits and Electronics (ICDCECE)

المؤلفون: Wang, Jiaqi, Wang, Pan, Wang, Yingqi, Chang, Qi

المصدر: 2024 10th International Conference on Electrical Engineering, Control and Robotics (EECR) Electrical Engineering, Control and Robotics (EECR), 2024 10th International Conference on. :50-55 Mar, 2024

Relation: 2024 10th International Conference on Electrical Engineering, Control and Robotics (EECR)

المؤلفون: Leuchtenburg, William E., author

الإتاحة: https://doi.org/10.1093/oso/9780197598856.001.0001

المؤلفون: Liu, Sirui, Sun, Jinghan

المصدر: 2023 International Conference on Applied Physics and Computing (ICAPC) ICAPC Applied Physics and Computing (ICAPC), 2023 International Conference on. :254-258 Dec, 2023

Relation: 2023 International Conference on Applied Physics and Computing (ICAPC)

المؤلفون: Shademani, Shima, Kouravand, Shahriyar, Zarafshan, Payam, Aalipour, Khalil, Esfahani, Amir Ghalamzan

المصدر: 2023 11th RSI International Conference on Robotics and Mechatronics (ICRoM) Robotics and Mechatronics (ICRoM), 2023 11th RSI International Conference on. :171-176 Dec, 2023

Relation: 2023 11th RSI International Conference on Robotics and Mechatronics (ICRoM)

المؤلفون: Chaiyakulsil C; Division of Pediatric Critical Care, Department of Pediatrics, Faculty of Medicine, Thammasat University, Prathumthani, Thailand., Sirichongkolthong B; Division of Pediatric Cardiology, Department of Pediatrics, Faculty of Medicine, Thammasat University Prathumthani, Thailand.

المصدر: Asian cardiovascular & thoracic annals [Asian Cardiovasc Thorac Ann] 2019 Nov; Vol. 27 (9), pp. 760-763. Date of Electronic Publication: 2019 May 09.

نوع المنشور: Case Reports

بيانات الدورية: Publisher: Sage Country of Publication: England NLM ID: 9503417 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1816-5370 (Electronic) Linking ISSN: 02184923 NLM ISO Abbreviation: Asian Cardiovasc Thorac Ann Subsets: MEDLINE

مواضيع طبية MeSH: Adams-Stokes Syndrome/*etiology , Cardiac Surgical Procedures/*adverse effects , Down Syndrome/*complications , Heart Septal Defects, Ventricular/*surgery, Adams-Stokes Syndrome/diagnosis ; Adams-Stokes Syndrome/physiopathology ; Adams-Stokes Syndrome/therapy ; Cardiac Pacing, Artificial ; Child ; Diagnosis, Differential ; Down Syndrome/diagnosis ; Electrocardiography ; Female ; Heart Rate ; Heart Septal Defects, Ventricular/complications ; Heart Septal Defects, Ventricular/diagnostic imaging ; Humans ; Predictive Value of Tests ; Seizures/diagnosis ; Seizures/physiopathology ; Treatment Outcome

المؤلفون: Chen, K, Deng, J, Zhang, W Z

المصدر: 2023 International Conference on Intelligent Communication and Computer Engineering (ICICCE) ICICCE Intelligent Communication and Computer Engineering (ICICCE), 2023 International Conference on. :121-128 Nov, 2023

Relation: 2023 International Conference on Intelligent Communication and Computer Engineering (ICICCE)

المؤلفون: Li, Yong, Lyu, Beixuan, Zhang, Shugang

المصدر: 2023 International Conference on Computer Simulation and Modeling, Information Security (CSMIS) CSMIS Computer Simulation and Modeling, Information Security (CSMIS), 2023 International Conference on. :586-589 Nov, 2023

Relation: 2023 International Conference on Computer Simulation and Modeling, Information Security (CSMIS)