原创力文档Thesisn°11148
InteractiveandAutomatedReasoningwithOrthologic
Presentedon22ndApril2026
SchoolofComputerandCommunicationSciences
LaboratoryforAutomatedReasoningandAnalysis
DoctoralprograminComputerand
您可能关注的文档
- bmj-虚拟现实对中风幸存者步态动态稳定性的影响 Virtual reality effects on dynamic stability of gait in stroke survivors a study protocol of a randomised controlled trial to assess the role of user experience.pdf
- BMJ-伊洛前列素治疗与非伊洛前列素治疗严重冻伤的比较 Comparison of iloprost therapy versus non-iloprost therapy for severe frostbite a retrospective cohort study of two Canadian cities.pdf
- BMJ-印度 5 岁以下儿童营养状况的决定因素 Determinants of Nutritional Status among Children under 5 years in India A Cross-sectional Analysis of the National Family Health Survey 2019–2021.pdf
- BMJ-孕妇选择分娩方式的决定因素 Determinants of the choice of delivery mode in pregnant women a convergent parallel mixed-methods study protocol.pdf
- bmj-在丹麦全科实践中检测与年龄相关的视力下降 Detection of age-related vision reduction in general practice in Denmark (DETECT) a study protocol for a feasibility and cohort study.pdf
- bmj-支持非自杀性自伤青少年的主要照顾者的生活经历 Lived experiences of primary caregivers supporting adolescents with non-suicidal self-injury a qualitative systematic review protocol.pdf
- bmj-中国城市社区老年慢性多病患者用药自我管理的积极经验 Positive experiences of medication self-management among older adults with chronic multimorbidities in Chinese city communities.pdf
- BMJ-中国传统运动对乳腺癌术后上肢功能障碍的影响 Effects of traditional Chinese exercises for upper-limb dysfunction following breast cancer surgery protocol for a systematic review and meta-analysis.pdf
- BMJ-中国剖宫产新生儿低血糖发生率及相关因素的横断面研究 Incidence and factors associated with neonatal hypoglycaemia in Chinese newborns delivered via caesarean section a cross-sectional study.pdf
- bmj-中国体弱老年心血管疾病患者对基于网络的运动远程康复干预的偏好 Preferences of frail elderly patients with cardiovascular disease for web-based exercise telerehabilitation interventions in China.pdf
- epfl -可扩展且资源高效的流处理 Scalable and Resource-Efficient Stream Processing.pdf
- epfl -量子多体伤疤的物理和数学 Physics and mathematics of quantum many-body scars and beyond.pdf
- epfl-基于介电弹性体致动器的人工括约肌在尿失禁中的应用 An Artificial Sphincter based on Dielectric Elastomer Actuators in the context of Urinary Incontinence.pdf
- epfl-数据异构下的实用联邦学习系统设计 Designing Practical Federated Learning Systems under Data Heterogeneity.pdf
- epfl-用于心血管建模的高效数据驱动和物理信息机器学习 Efficient Data-Driven and Physics-Informed Machine Learning for Cardiovascular Modeling.pdf
- escap-2025 年东盟数字贸易监管评估报告 Digital trade regulatory review for ASEAN, 2025.pdf
- escap-2025 年亚太地区道路安全分析 第一卷 区域趋势、各国表现与数据完整性 Asia–Pacific road safety analysis 2025 volume 1 regional trends, country Performance and Data Integrity.pdf
- escap-东盟共同体 2045 愿景与联合国 2030 可持续发展议程的互补性Complementarities between the ASEAN community vision 2045 and the United Nations 2030 Agenda for sustainable development.pdf
- escap-发展中国家的债务困境与财政空间局限：如何突破阻碍、大规模投入可持续发展建设 Debt challenges and fiscal space constraints in developing countries how to overcome them to invest in sustainable development at scale.pdf
- escap-宏观经济指标在气候行动中的应用 The use of macroeconomic indicators in climate action.pdf
文档评论（0）