347 research outputs found
Socio economic crisis and mortality. Epidemiological testimony of the financial collapse of Argentina
BACKGROUND: Natural disasters, war, and terrorist attacks, have been linked to cardiac mortality. We sought to investigate whether a major financial crisis may impact on the medical management and outcomes of acute coronary syndromes. METHODS: We analyzed the Argentine cohort of the international multicenter Global Registry of Acute Coronary Events (GRACE). The primary objective was to estimate if there was an association between the financial crisis period (April 1999 to December 2002) and in- hospital cardiovascular mortality, with the post-crisis period (January 2003 to September 2004) as the referent. Each period was defined according to the evolution of the Gross Domestic Product. We investigated the demographic characteristics, diagnostic and therapeutic procedures, morbidity and mortality. RESULTS: We analyzed data from 3220 patients, 2246 (69.8%) patients in the crisis period and 974 (30.2%) in the post-crisis frame. The distribution of demographic and clinical baseline characteristics were not significantly different between both periods. During the crisis period the incidence of in-hospital myocardial infarction was higher (6.9% Vs 2.9%; p value < 0.0001), as well as congestive heart failure (16% Vs 11%; p value < 0.0001). Time to intervention with angioplasty was longer during the crisis, especially among public sites (median 190 min Vs 27 min). The incidence proportion of mortality during hospitalization was 6.2% Vs 5.1% after crisis. The crude OR for mortality was 1.2 (95% C.I. 0.87, 1.7). The odds for mortality were higher among private institutions {1.9 (95% C.I. 0.9, 3.8)} than for public centers {1.2 (95% C.I. 0.83, 1.79)}. We did not observe a significant interaction between type of hospital and crisis. CONCLUSION: Our findings suggest that the financial crisis may have had a negative impact on cardiovascular mortality during hospitalization, and higher incidence of medical complications
Socio economic crisis and mortality. Epidemiological testimony of the financial collapse of Argentina
BACKGROUND: Natural disasters, war, and terrorist attacks, have been linked to cardiac mortality. We sought to investigate whether a major financial crisis may impact on the medical management and outcomes of acute coronary syndromes.
METHODS: We analyzed the Argentine cohort of the international multicenter Global Registry of Acute Coronary Events (GRACE). The primary objective was to estimate if there was an association between the financial crisis period (April 1999 to December 2002) and in- hospital cardiovascular mortality, with the post-crisis period (January 2003 to September 2004) as the referent. Each period was defined according to the evolution of the Gross Domestic Product. We investigated the demographic characteristics, diagnostic and therapeutic procedures, morbidity and mortality.
RESULTS: We analyzed data from 3220 patients, 2246 (69.8%) patients in the crisis period and 974 (30.2%) in the post-crisis frame. The distribution of demographic and clinical baseline characteristics were not significantly different between both periods. During the crisis period the incidence of in-hospital myocardial infarction was higher (6.9% Vs 2.9%; p value \u3c 0.0001), as well as congestive heart failure (16% Vs 11%; p value \u3c 0.0001). Time to intervention with angioplasty was longer during the crisis, especially among public sites (median 190 min Vs 27 min). The incidence proportion of mortality during hospitalization was 6.2% Vs 5.1% after crisis. The crude OR for mortality was 1.2 (95% C.I. 0.87, 1.7). The odds for mortality were higher among private institutions {1.9 (95% C.I. 0.9, 3.8)} than for public centers {1.2 (95% C.I. 0.83, 1.79)}. We did not observe a significant interaction between type of hospital and crisis.
CONCLUSION: Our findings suggest that the financial crisis may have had a negative impact on cardiovascular mortality during hospitalization, and higher incidence of medical complications
assessment of blood capillaries and structural proteins localization
The papillary dermis of human skin is responsible for its biomechanical
properties and for supply of epidermis with chemicals. Dermis is mainly
composed of structural protein molecules, including collagen and elastin, and
contains blood capillaries. Connective tissue diseases, as well as
cardiovascular complications have manifestations on the molecular level in the
papillary dermis (e.g. alteration of collagen I and III content) and in the
capillary structure. In this paper we assessed the molecular structure of
internal and external regions of skin capillaries using two-photon
fluorescence lifetime imaging (FLIM) of endogenous compounds. It was shown
that the capillaries are characterized by a fast fluorescence decay, which is
originated from red blood cells and blood plasma. Using the second harmonic
generation signal, FLIM segmentation was performed, which provided for spatial
localization and fluorescence decay parameters distribution of collagen I and
elastin in the dermal papillae. It was demonstrated that the lifetime
distribution was different for the inner area of dermal papillae around the
capillary loop that was suggested to be due to collagen III. Hence, we propose
a generalized approach to two-photon imaging of the papillary dermis
components, which extends the capabilities of this technique in skin
diagnosis
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
Model checking verifies that a model of a system satisfies a given property,
and otherwise produces a counter-example explaining the violation. The verified
properties are formally expressed in temporal logics. Some temporal logics,
such as CTL, are branching: they allow to express facts about the whole
computation tree of the model, rather than on each single linear computation.
This branching aspect is even more critical when dealing with multi-modal
logics, i.e. logics expressing facts about systems with several transition
relations. A prominent example is CTLK, a logic that reasons about temporal and
epistemic properties of multi-agent systems. In general, model checkers produce
linear counter-examples for failed properties, composed of a single computation
path of the model. But some branching properties are only poorly and partially
explained by a linear counter-example.
This paper proposes richer counter-example structures called tree-like
annotated counter-examples (TLACEs), for properties in Action-Restricted CTL
(ARCTL), an extension of CTL quantifying paths restricted in terms of actions
labeling transitions of the model. These counter-examples have a branching
structure that supports more complete description of property violations.
Elements of these counter-examples are annotated with parts of the property to
give a better understanding of their structure. Visualization and browsing of
these richer counter-examples become a critical issue, as the number of
branches and states can grow exponentially for deeply-nested properties.
This paper formally defines the structure of TLACEs, characterizes adequate
counter-examples w.r.t. models and failed properties, and gives a generation
algorithm for ARCTL properties. It also illustrates the approach with examples
in CTLK, using a reduction of CTLK to ARCTL. The proposed approach has been
implemented, first by extending the NuSMV model checker to generate and export
branching counter-examples, secondly by providing an interactive graphical
interface to visualize and browse them.Comment: In Proceedings IWIGP 2012, arXiv:1202.422
High transconductance organic electrochemical transistors.
The development of transistors with high gain is essential for applications ranging from switching elements and drivers to transducers for chemical and biological sensing. Organic transistors have become well-established based on their distinct advantages, including ease of fabrication, synthetic freedom for chemical functionalization, and the ability to take on unique form factors. These devices, however, are largely viewed as belonging to the low-end of the performance spectrum. Here we present organic electrochemical transistors with a transconductance in the mS range, outperforming transistors from both traditional and emerging semiconductors. The transconductance of these devices remains fairly constant from DC up to a frequency of the order of 1 kHz, a value determined by the process of ion transport between the electrolyte and the channel. These devices, which continue to work even after being crumpled, are predicted to be highly relevant as transducers in biosensing applications
Distorted body representations in healthy cognition
Delusions and misperceptions about the body are a conspicuous feature of numerous neurological and psychiatric conditions. In stark contrast to such pathological cases, the immediacy and familiarity of our ordinary experience of our body can make it seem as if our representation of our body is highly accurate, even infallible. Recent research has begun to demonstrate, however, that large and systematic distortions of body representation are a normal part of healthy cognition. Here, I will describe this research, focusing on distortions of body representations underlying tactile distance perception and position sense. I will also discuss evidence for distortions of higher-order body representations, such as the conscious body image. Finally, I will end with a discussion of the potential relations among different body representations and their distortions
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates
Buffer overflow vulnerabilities are the result of programing errors that allow out-of-bounds writes to arrays. Verifying the safety of array writes is thus vital to ensuring program security. However, existing software model checkers based on abstraction-refinement perform poorly at this task, resulting in analyses which often depend on array size. We observe that many of these analyses can be made efficient by providing proof templates, which specify a modular proof strategy with predicates and assumptions to use and then discharge. Our proof tem-plates, which are associated with common programming idioms, guide the model checker towards proofs that are independent of array size. We have integrated this technique into our software model checker, PTYASM, and have evaluated our approach on a set of testcases derived from the Verisec suite, demonstrating that our technique enables verification of the safety of array accesses independently of array size.
In vivo recordings of brain activity using organic transistors.
In vivo electrophysiological recordings of neuronal circuits are necessary for diagnostic purposes and for brain-machine interfaces. Organic electronic devices constitute a promising candidate because of their mechanical flexibility and biocompatibility. Here we demonstrate the engineering of an organic electrochemical transistor embedded in an ultrathin organic film designed to record electrophysiological signals on the surface of the brain. The device, tested in vivo on epileptiform discharges, displayed superior signal-to-noise ratio due to local amplification compared with surface electrodes. The organic transistor was able to record on the surface low-amplitude brain activities, which were poorly resolved with surface electrodes. This study introduces a new class of biocompatible, highly flexible devices for recording brain activity with superior signal-to-noise ratio that hold great promise for medical applications
Electroacupuncture enhances spermatogenesis in rats after scrotal heat treatment
Spermatogenesis is regulated by a cascade of steroid regulated genes in the testis. Recent studies suggested that acupuncture may improve fertility in men with abnormal semen parameters. Yet, the underlying mechanisms in which acupuncture enhances spermatogenesis remain largely unknown. Here we used a scrotal heat-treated rat model to study the effect of electroacupuncture (EA) on recovery of spermatogenesis. In this model, spermatogenesis was disrupted by 30 min scrotal heat treatment at 43°C. Ten sessions of EA were given at Baihui (GV20), Guanyuan (CV4), Zusanli (ST36) and Sanyinjiao (SP6) from day 9 to day 36 post-treatment. Sperm motility and production, morphology of the germinal epithelium by Johnsen’s scoring, germ cell apoptosis by TUNEL staining, proliferation by proliferating cell nuclear antigen (PCNA) staining, as well as serum testosterone and inhibin B levels by immunoassays were evaluated on day 0, 1, 9, 25, 37, 46, 56 and 79. When compared with the heat-treated (H) group, the heat-treated plus EA (H+EA) group showed a significant increase (p < 0.05) in PCNA-positive cells and inhibin B levels on days 37 and 46, and a higher Johnsen’s score till day 56. On day 79, motile spermatozoa could be found in the vas deferens of H+EA group only. Consistently, there was a trend of improved motility and increased number of motile epididymal spermatozoa in the H+EA group than the H group; while apoptosis of germ cells and serum testosterone levels were similar between the two groups. Taken together, EA enhanced germ cell proliferation through improvement of Sertoli cell functions. This may facilitate the recovery of spermatogenesis and may restore normal semen parameters in subfertile patients
- …