Transactions in dynamic reactive environments

Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.

Reactive electron scattering from biomolecules and technologically relevant molecules

The role of a set of gases relevant within the context of biomolecules and technologically relevant molecules under the interaction of low-energy electrons was studied in an effort to contribute to the understanding of the underlying processes yielding negative ion formation. The results are relevant within the context of damage to living material exposed to energetic radiation, to the role of dopants in the ion-molecule chemistry processes, to Electron Beam Induced Deposition (EBID) and Ion Beam Induced Deposition (IBID) techniques. The research described in this thesis addresses dissociative electron attachment (DEA) and electron transfer studies involving experimental setups from the University of Innsbruck, Austria and Universidade Nova de Lisboa, Portugal, respectively. This thesis presents DEA studies, obtained by a double focusing mass spectrometer, of dimethyl disulphide (C2H6S2), two isomers, enflurane and isoflurane (C3F5Cl5) and two chlorinated ethanes, pentachloroethane (C2HCl5) and hexachloroethane (C2Cl6), along with quantum chemical calculations providing information on the molecular orbitals as well as thermochemical thresholds of anion formation for enflurane, isoflurane, pentachloroethane and hexachloroethane. The experiments represent the most accurate DEA studies to these molecules, with significant differences from previous work reported in the literature. As far as electron transfer studies are concerned, negative ion formation in collisions of neutral potassium atoms with N1 and N3 methylated pyrimidine molecules were obtained by time-of-flight mass spectrometry (TOF). The results obtained allowed to propose concerted mechanisms for site and bond selective excision of bonds.

Implementation of a probabilistic based framework for safety assessment of existing timber elements

The assessment of existing timber structures is often limited to information obtained from non or semi destructive testing, as mechanical testing is in many cases not possible due to its destructive nature. Therefore, the available data provides only an indirect measurement of the reference mechanical properties of timber elements, often obtained through empirical based correlations. Moreover, the data must result from the combination of different tests, as to provide a reliable source of information for a structural analysis. Even if general guidelines are available for each typology of testing, there is still a need for a global methodology allowing to combine information from different sources and infer upon that information in a decision process. In this scope, the present work presents the implementation of a probabilistic based framework for safety assessment of existing timber elements. This methodology combines information gathered in different scales and follows a probabilistic framework allowing for the structural assessment of existing timber elements with possibility of inference and updating of its mechanical properties, through Bayesian methods. The probabilistic based framework is based in four main steps: (i) scale of information; (ii) measurement data; (iii) probability assignment; and (iv) structural analysis. In this work, the proposed methodology is implemented in a case study. Data was obtained through a multi-scale experimental campaign made to old chestnut timber beams accounting correlations of non and semi-destructive tests with mechanical properties. Finally, different inference scenarios are discussed aiming at the characterization of the safety level of the elements.

An innovative framework for probabilistic-based structural assessment with an application to existing reinforced concrete structures

A novel framework for probabilistic-based structural assessment of existing structures, which combines model identification and reliability assessment procedures, considering in an objective way different sources of uncertainty, is presented in this paper. A short description of structural assessment applications, provided in literature, is initially given. Then, the developed model identification procedure, supported in a robust optimization algorithm, is presented. Special attention is given to both experimental and numerical errors, to be considered in this algorithm convergence criterion. An updated numerical model is obtained from this process. The reliability assessment procedure, which considers a probabilistic model for the structure in analysis, is then introduced, incorporating the results of the model identification procedure. The developed model is then updated, as new data is acquired, through a Bayesian inference algorithm, explicitly addressing statistical uncertainty. Finally, the developed framework is validated with a set of reinforced concrete beams, which were loaded up to failure in laboratory.

Topological abstraction of higher-dimensional automata

Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss ``topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from the point of view of both computer science and topology. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.

Hierarchical modelling of timber reference properties using probabilistic methods: Maximum Likelihood Method, Bayesian Methods and Probability Networks

In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.

On modified simple reacting spheres kinetic model for chemically reactive gases

Versão dos autores para esta publicação.

Correlation between turbidimetric and nephelometric methods of measuring C-reactive protein in patients with unstable angina or non-ST elevation acute myocardial infarction

OBJECTIVE: To evaluate the performance of the turbidimetric method of C-reactive protein (CRP) as a measure of low-grade inflammation in patients admitted with non-ST elevation acute coronary syndromes (ACS). METHODS: Serum samples obtained at hospital arrival from 68 patients (66±11 years, 40 men), admitted with unstable angina or non-ST elevation acute myocardial infarction were used to measure CRP by the methods of nephelometry and turbidimetry. RESULTS: The medians of C-reactive protein by the turbidimetric and nephelometric methods were 0.5 mg/dL and 0.47 mg/dL, respectively. A strong linear association existed between the 2 methods, according to the regression coefficient (b=0.75; 95% C.I.=0.70-0.80) and correlation coefficient (r=0.96; P<0.001). The mean difference between the nephelometric and turbidimetric CRP was 0.02 ± 0.91 mg/dL, and 100% agreement between the methods in the detection of high CRP was observed. CONCLUSION: In patients with non-ST elevation ACS, CRP values obtained by turbidimetry show a strong linear association with the method of nephelometry and perfect agreement in the detection of high CRP.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

High-Sensitivity C-Reactive Protein as a Predictor of Cardiovascular Events after ST-Elevation Myocardial Infarction

Background: The association between high-sensitivity C-reactive protein and recurrent major adverse cardiovascular events (MACE) in patients with ST-elevation myocardial infarction who undergo primary percutaneous coronary intervention remains controversial. Objective: To investigate the potential association between high-sensitivity C-reactive protein and an increased risk of MACE such as death, heart failure, reinfarction, and new revascularization in patients with ST-elevation myocardial infarction treated with primary percutaneous coronary intervention. Methods: This prospective cohort study included 300 individuals aged >18 years who were diagnosed with ST-elevation myocardial infarction and underwent primary percutaneous coronary intervention at a tertiary health center. An instrument evaluating clinical variables and the Thrombolysis in Myocardial Infarction (TIMI) and Global Registry of Acute Coronary Events (GRACE) risk scores was used. High-sensitivity C-reactive protein was determined by nephelometry. The patients were followed-up during hospitalization and up to 30 days after infarction for the occurrence of MACE. Student's t, Mann-Whitney, chi-square, and logistic regression tests were used for statistical analyses. P values of ≤0.05 were considered statistically significant. Results: The mean age was 59.76 years, and 69.3% of patients were male. No statistically significant association was observed between high-sensitivity C-reactive protein and recurrent MACE (p = 0.11). However, high-sensitivity C-reactive protein was independently associated with 30-day mortality when adjusted for TIMI [odds ratio (OR), 1.27; 95% confidence interval (CI), 1.07-1.51; p = 0.005] and GRACE (OR, 1.26; 95% CI, 1.06-1.49; p = 0.007) risk scores. Conclusion: Although high-sensitivity C-reactive protein was not predictive of combined major cardiovascular events within 30 days after ST-elevation myocardial infarction in patients who underwent primary angioplasty and stent implantation, it was an independent predictor of 30-day mortality.

Mass transfer effects on reactive separation processes - discovery of reactive arrheotropes

Membrane reactor, reactive membrane separation, arrheotrope, azeotrope, dusty gas model, esterification, residue curve map, distillation, kinetics, singular point, bifurcation

Correlation between C-Reactive Protein in Peripheral Vein and Coronary Sinus in Stable and Unstable Angina

Background: High sensitivity C-reactive protein (hs-CRP) is commonly used in clinical practice to assess cardiovascular risk. However, a correlation has not yet been established between the absolute levels of peripheral and central hs-CRP. Objective: To assess the correlation between serum hs-CRP levels (mg/L) in a peripheral vein in the left forearm (LFPV) with those in the coronary sinus (CS) of patients with coronary artery disease (CAD) and a diagnosis of stable angina (SA) or unstable angina (UA). Methods: This observational, descriptive, and cross-sectional study was conducted at the Instituto do Coração, Hospital das Clinicas, Faculdade de Medicina, Universidade de São Paulo, and at the Hospital Beneficência Portuguesa de Sao Paulo, where CAD patients referred to the hospital for coronary angiography were evaluated. Results: Forty patients with CAD (20 with SA and 20 with UA) were included in the study. Blood samples from LFPV and CS were collected before coronary angiography. Furthermore, analysis of the correlation between serum levels of hs-CRP in LFPV versus CS showed a strong linear correlation for both SA (r = 0.993, p < 0.001) and UA (r = 0.976, p < 0.001) and for the entire sample (r = 0.985, p < 0.001). Conclusion: Our data suggest a strong linear correlation between hs-CRP levels in LFPV versus CS in patients with SA and UA.

Thermal process simulation of reactive particles on moving grates

Moving grate, LEPOL, Particle, Limestone, Decomposition, Clinker, Fluidisation

Sex Differences in High Sensitivity C-Reactive Protein in Subjects with Risk Factors of Metabolic Syndrome

Abstract Background: Metabolic syndrome (MetS) is associated with a higher risk of all-cause mortality. High-sensitivity C-reactive protein (hsCRP) is a prototypic marker of inflammation usually increased in MetS. Women with MetS-related diseases present higher hsCRP levels than men with MetS-related diseases, suggesting sex differences in inflammatory markers. However, it is unclear whether serum hsCRP levels are already increased in men and/or women with MetS risk factors and without overt diseases or under pharmacological treatment. Objective: To determine the impact of the number of MetS risk factors on serum hsCRP levels in women and men. Methods One hundred and eighteen subjects (70 men and 48 women; 36 ± 1 years) were divided into four groups according to the number of MetS risk factors: healthy group (CT; no risk factors), MetS ≤ 2, MetS = 3, and MetS ≥ 4. Blood was drawn after 12 hours of fasting for measurement of biochemical variables and hsCRP levels, which were determined by immunoturbidimetric assay. Results: The groups with MetS risk factors presented higher serum hsCRP levels when compared with the CT group (p < 0.02). There were no differences in hsCRP levels among groups with MetS risk factors (p > 0.05). The best linear regression model to explain the association between MetS risk factors and hsCRP levels included waist circumference and HDL cholesterol (r = 0.40, p < 0.01). Women with MetS risk factors presented higher hsCRP levels when compared with men (psex < 0.01). Conclusions: Despite the absence of overt diseases and pharmacological treatment, subjects with MetS risk factors already presented increased hsCRP levels, which were significantly higher in women than men at similar conditions.

novel reactive distillation process for the production of cyclohexanol from cyclohexene

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2010