928 resultados para Modulated logics
Resumo:
Post-Keynesian, heterodox and Marxist political economists have rightly argued that the eurozone crisis is not a fiscal crisis but a balance of payments crisis, mainly caused by the pivotal position of Germany in the European Monetary Union (EMU) and its neo-mercantilist model of growth (low wage, low inflation and export-led). This view, however, sees the split between core and periphery in the European Union as something created with the introduction of the EMU in 1999. This chapter contends that this is not the case. By putting forth a global fault-lines historical perspective and focusing on the case of Greece, it is argued that the problem is not the introduction of the EMU but the geopolitical and macroeconomic asymmetries between core and periphery in Europe since the inception of what vaguely – and even inaccurately – can be defined as ‘European modernity’. Global fault-lines offer a macro-historical and macroeconomic understanding of crises seen as structural events generated by the evolving and contradictory tendencies of capitalism as a world system. It is not just a political economy perspective but a perspective that encompasses many instances of the social, especially geopolitical and geocultural structures.
Resumo:
This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by generalizing properties of the Leibniz congruence — the central notion in AAL. In this paper we discuss a question we posed in [1] about the relationship between the behavioral equivalences of equivalent hidden logics. We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent.
Resumo:
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.
Resumo:
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.
Resumo:
Human immunodeficiency virus (HIV) rapidly evolves through generation and selection of mutants that can escape drug therapy. This process is fueled, in part, by the presumably highly error prone polymerase reverse transcriptase (RT). Fidelity of polymerases can be influenced by cation co-factors. Physiologically, magnesium (Mg2+) is used as a co-factor by RT to perform catalysis, however, alternative cations including manganese (Mn2+), cobalt (Co2+), and zinc (Zn2+) can also be used. I demonstrate here that fidelity and inhibition of HIV RT can be influenced differently, in vitro, by divalent cations depending on their concentration. The reported mutation frequency for purified HIV RT in vitro is typically in the 10-4 range (per nucleotide addition), making the enzyme several-fold less accurate than most polymerases. Paradoxically, results examining HIV replication in cells indicate an error frequency that is ~10 times lower than the error rate obtained in the test tube. Here, I reconcile, at least in part, these discrepancies by showing that HIV RT fidelity in vitro is in the same range as cellular results, in physiological concentrations of free Mg2+ (~0.25 mM). At low Mg2+, mutation rates were 5-10 times lower compared to high Mg2+ conditions (5-10 mM). Alternative divalent cations also have a concentration-dependent effect on RT fidelity. Presumed promutagenic cations Mn2+ and Co2+ decreases the fidelity of RT only at elevated concentrations, and Zn2+, when present in low concentration, increases the fidelity of HIV-1 RT by ~2.5 fold compared to Mg2+. HIV-1 and HIV-2 RT inhibition by nucleoside (NRTIs) and non-nucleoside RT inhibitors (NNRTIs) in vitro is also affected by the Mg2+ concentration. NRTIs lacking 3'-OH group inhibited both enzymes less efficiently in low Mg2+ than in high Mg2+; whereas inhibition by the “translocation defective RT inhibitor”, which retains the 3ʹ-OH, was unaffected by Mg2+ concentration, suggesting that NRTIs with a 3ʹ-OH group may be more potent than other NRTIs. In contrast, NNRTIs were more effective in low vs. high Mg2+ conditions. Overall, the studies presented reveal strategies for designing novel RT inhibitors and strongly emphasize the need for studying HIV RT and RT inhibitors in physiologically relevant low Mg2+ conditions.
Resumo:
Combination of signals from the two eyes is the gateway to stereo vision. To gain insight into binocular signal processing, we studied binocular summation for luminance-modulated gratings (L or LM) and contrast-modulated gratings (CM). We measured 2AFC detection thresholds for a signal grating (0.75 c/deg, 216msec) shown to one eye, both eyes, or both eyes out-of-phase. For LM and CM, the carrier noise was in both eyes, even when the signal was monocular. Mean binocular thresholds for luminance gratings (L) were 5.4dB better than monocular thresholds - close to perfect linear summation (6dB). For LM and CM the binocular advantage was again 5-6dB, even when the carrier noise was uncorrelated, anti-correlated, or at orthogonal orientations in the two eyes. Binocular combination for CM probably arises from summation of envelope responses, and not from summation of these conflicting carrier patterns. Antiphase signals produced no binocular advantage, but thresholds were about 1-3dB higher than monocular ones. This is not consistent with simple linear summation, which should give complete cancellation and unmeasurably high thresholds. We propose a three-channel model in which noisy monocular responses to the envelope are binocularly combined in a contrast-weighted sum, but also remain separately available to perception via a max operator. Vision selects the largest of the three responses. With in-phase gratings the binocular channel dominates, but antiphase gratings cancel in the binocular channel and the monocular channels mediate detection. The small antiphase disadvantage might be explained by a subtle influence of background responses on binocular and monocular detection.
Resumo:
Background: High-fat diets may contribute to metabolic disease via postprandial changes in serum endotoxin and inflammation. It is unclear how dietary fat composition may alter these parameters. We hypothesized that a meal rich in n-3 (ω3) fatty acids would reduce endotoxemia and associated inflammation but a saturated or n-6 (ω6) fatty acid-rich meal would increase postprandial serum endotoxin concentrations and systemic inflammation in healthy adults. Methods: Healthy adults (n = 20; mean age 25 ± 3.2 S.D. years) were enrolled in this single-blind, randomized, cross-over study. Participants were randomized to treatment and reported to the laboratory, after an overnight fast, on four occasions separated by at least one week. Participants were blinded to treatment meal and consumed one of four isoenergetic meals that provided: 1) 20 % fat (control; olive oil) or 35 % fat provided from 2) n-3 (ω3) (DHA = 500 mg; fish oil); 3) n-6 (ω6) (7.4 g; grapeseed oil) or 4) saturated fat (16 g; coconut oil). Baseline and postprandial blood samples were collected. Primary outcome was defined as the effect of treatment meal on postprandial endotoxemia. Serum was analyzed for metabolites, inflammatory markers, and endotoxin. Data from all 20 participants were analyzed using repeated-measures ANCOVA. Results: Participant serum endotoxin concentration was increased during the postprandial period after the consumption of the saturated fat meal but decreased after the n-3 meal (p < 0.05). The n-6 meal did not effect a different outcome in participant postprandial serum endotoxin concentration from that of the control meal (p > 0.05). There was no treatment meal effect on participant postprandial serum biomarkers of inflammation. Postprandial serum triacylglycerols were significantly elevated following the n-6 meal compared to the n-3 meal. Non-esterified fatty acids were significantly increased after consumption of the saturated fat meal compared to other treatment meals. Conclusions: Meal fatty acid composition modulates postprandial serum endotoxin concentration in healthy adults. However, postprandial endotoxin was not associated with systemic inflammation in vivo. Trial registration: This study was retrospectively registered at clinicaltrials.gov as NCT02521779 on July 28, 2015.
Resumo:
This study aims to explore the construction of difference in foreign news discourse on culturally similar but politically different non-Western subjects. Applying critical discourse analysis (CDA) together with a critique of Eurocentrism, the study examines difference in newspaper constructions of government supporters and oppositional groups in Venezuela. Discursive differences are evident in the strategies used for constructing the two groups with regard to political rationality and violence. Government supporters are associated with social justice, Venezuela’s poor, dogmatic behavior, and the use of political violence. The opposition, in contrast, is constructed as following a Western democratic rationale that stresses anti-authoritarianism. This group is primarily associated with victims of violence. While the opposition is conveyed as being compatible with Eurocentric values and practices, government supporters to great extent deviate from these norms. Such constructions serve to legitimize politico-ideological undercurrents of Eurocentrism, as the defense of liberalism.
Resumo:
A purified commercial double-walled carbon nanotube (DWCNT) sample was investigated by transmission electron microscopy (TEM), thermogravimetry (TG), and Raman spectroscopy. Moreover, the heat capacity of the DWCNT sample was determined by temperature-modulated differential scanning calorimetry in the range of temperature between -50 and 290 °C. The main thermo-oxidation characterized by TG occurred at 474 °C with the loss of 90 wt% of the sample. Thermo-oxidation of the sample was also investigated by high-resolution TG, which indicated that a fraction rich in carbon nanotube represents more than 80 wt% of the material. Other carbonaceous fractions rich in amorphous coating and graphitic particles were identified by the deconvolution procedure applied to the derivative of TG curve. Complementary structural data were provided by TEM and Raman studies. The information obtained allows the optimization of composites based on this nanomaterial with reliable characteristics.
Resumo:
The main aim of radiotherapy is to deliver a dose of radiation that is high enough to destroy the tumour cells while at the same time minimising the damage to normal healthy tissues. Clinically, this has been achieved by assigning a prescription dose to the tumour volume and a set of dose constraints on critical structures. Once an optimal treatment plan has been achieved the dosimetry is assessed using the physical parameters of dose and volume. There has been an interest in using radiobiological parameters to evaluate and predict the outcome of a treatment plan in terms of both a tumour control probability (TCP) and a normal tissue complication probability (NTCP). In this study, simple radiobiological models that are available in a commercial treatment planning system were used to compare three dimensional conformal radiotherapy treatments (3D-CRT) and intensity modulated radiotherapy (IMRT) treatments of the prostate. Initially both 3D-CRT and IMRT were planned for 2 Gy/fraction to a total dose of 60 Gy to the prostate. The sensitivity of the TCP and the NTCP to both conventional dose escalation and hypo-fractionation was investigated. The biological responses were calculated using the Källman S-model. The complication free tumour control probability (P+) is generated from the combined NTCP and TCP response values. It has been suggested that the alpha/beta ratio for prostate carcinoma cells may be lower than for most other tumour cell types. The effect of this on the modelled biological response for the different fractionation schedules was also investigated.
Resumo:
Transverse spin relaxation rates of water protons in articular cartilage and tendon depend on the orientation of the tissue relative to the applied static magnetic field. This complicates the interpretation of magnetic resonance images of these tissues. At the same time, relaxation data can provide information about their organisation and microstructure. We present a theoretical analysis of the anisotropy of spin relaxation of water protons observed in fully hydrated cartilage. We demonstrate that the anisotropy of transverse relaxation is due almost entirely to intramolecular dipolar coupling modulated by a specific mode of slow molecular motion: the diffusion of water molecules in the hydration shell of a collagen fibre around the fibre, such that the molecular director remains perpendicular to the fibre. The theoretical anisotropy arising from this mechanism follows the “magic-angle” dependence observed in magnetic-resonance measurements of cartilage and tendon and is in good agreement with the available experimental results. We discuss the implications of the theoretical findings for MRI of ordered collagenous tissues.