Search Results - "Rueda, Camilo"
-
1
Neuroprotective effect of hormone replacement therapy: a review of the literature
Published in Climacteric : the journal of the International Menopause Society (01-08-2024)“…Menopause is a physiological period characterized by the cessation of ovarian activity. Sequential changes during this transition affect multiple systems,…”
Get full text
Journal Article -
2
Factors associated with oxygen requirement and persistent symptoms 1 year after severe COVID-19 infection
Published in Journal of international medical research (01-05-2023)“…Objective We aimed to describe the prevalence and factors associated with the need for supplemental oxygen and persistent symptoms 1 year after severe…”
Get full text
Journal Article -
3
Inequity and vulnerability in Latin American Indigenous and non-Indigenous populations with rheumatic diseases: a syndemic approach
Published in BMJ open (23-03-2023)“…Syndemics are a framework that documents health inequities and vulnerabilities in populations with rheumatic diseases. Compared with other approaches,…”
Get full text
Journal Article -
4
Session-based concurrency, declaratively
Published in Acta informatica (01-02-2022)“…Session-based concurrency is a type-based approach to the analysis of message-passing programs. These programs may be specified in an operational or…”
Get full text
Journal Article -
5
Atrial Arrhythmias in Chagas' Disease
Published in Journal of atrial fibrillation (01-12-2018)“…There is extensive knowledge in the ablation of ventricular arrhythmias in patients with Chagas' cardiomyopathy, as well as specific characteristics of the…”
Get full text
Journal Article -
6
-
7
Differences between radiographic and non-radiographic axial spondyloarthritis patients in a Mexican cohort
Published in Scientific reports (06-05-2024)“…To compare the demographic, clinical, and laboratory characteristics, disease onset, and clinical features of radiographic axial Spondyloarthritis (r-axSpA)…”
Get full text
Journal Article -
8
Syndemic and syndemogenesis of low back pain in Latin-American population: a network and cluster analysis
Published in Clinical rheumatology (01-09-2020)“…Introduction Although low back pain (LBP) is a high-impact health condition, its burden has not been examined from the syndemic perspective. Objective To…”
Get full text
Journal Article -
9
Mentalización, estilo de apego y afrontamiento al estrés en una muestra poblacional de la Costa Atlántica colombiana durante la cuarentena por el COVID-19
Published in Avances en psicología latinoamericana (2023)“…El objetivo de este artículo es describir la relación de la mentalización y el estilo de apego sobre el afrontamiento del estrés durante la cuarentena por…”
Get full text
Journal Article -
10
COVID-19 infection during blinatumomab therapy: Is safety a dilemma?
Published in SAGE open medical case reports (01-01-2023)“…Patients with acute lymphoblastic leukemia may be particularly vulnerable to SARS-CoV-2 infection and severe illness. The mainstay of current treatment is the…”
Get full text
Journal Article -
11
SHORTER PROCEDURAL TIME USING HIGH-POWER AND SHORT DURATION ABLATION TECHNIQUE
Published in Journal of the American College of Cardiology (12-03-2019)Get full text
Journal Article -
12
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Published in CLEI electronic journal (01-12-2006)“…Abstract Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process cal- culi allow to both…”
Get full text
Journal Article -
13
Models and emerging trends of concurrent constraint programming
Published in Constraints : an international journal (01-10-2013)“…Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems. It models systems of…”
Get full text
Journal Article -
14
Code generation for Event-B
Published in International journal on software tools for technology transfer (01-02-2017)“…Event-B is a modelling language and a formal methods approach for correct construction of software. This paper presents our work on code generation for…”
Get full text
Journal Article -
15
Role of the General Surgeon in the Early Diagnosis and Treatment of Charcot Foot
Published in Cirugia Española (01-05-2015)“…The Charcot foot (CF) consists of a progressive deterioration of the bones and joints, most common in diabetic patients with advanced neuropathy. The great…”
Get more information
Journal Article -
16
Assessment of enthesopathy in conventional pelvis radiography: Another tool for spondyloarthritis diagnosis beyond sacroiliitis
Published in Seminars in arthritis and rheumatism (01-08-2024)“…Enthesitis is a cardinal feature of spondylarthritis (SpA), and the pelvis is a common site of enthesitis. This study aimed to establish the association…”
Get full text
Journal Article -
17
-
18
Recommended measurement instruments for menopausal vasomotor symptoms: the COMMA (Core Outcomes in Menopause) consortium
Published in Menopause (New York, N.Y.) (01-07-2024)“…The aim of the study is to identify suitable definitions and patient-reported outcome measures (PROMs) to assess each of the six core outcomes previously…”
Get full text
Journal Article -
19
Reasoning about distributed information with infinitely many agents
Published in Journal of logical and algebraic methods in programming (01-06-2021)“…Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of…”
Get full text
Journal Article -
20
Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
Published in Journal of mathematics and music (Society for Mathematics and Computation in Music) (02-01-2014)“…Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need…”
Get full text
Journal Article