Low Incidence of Contrast Induced Nephropathy after Coronary Angiography in Patients with Advanced Chronic Kidney Disease Treated with Prophylactic Continuous Veno-venous Hemofiltration

Introduction: Contrast-induced nephropathy (CIN) is associated with increased risk of in-hospital morbidity and mortality. The purpose of this study was to find out whether continuous venovenous hemofiltration (CVVH) after coronary angiography in chronic kidney disease (CKD) patients is associated with a lower incidence of CIN than that reported in the literature. Methods: All patients with CKD who underwent coronary angiography in the Chest Disease Hospital, Kuwait, between January 2004 and December 2005 were treated by CVVH after the procedure. Renal function was assessed before and after the procedure. Results: A total of 98 patients were enrolled in the study, 52 (53.1%) of whom were males. Their mean age was 60.7 years. Before the procedure, the mean serum creatinine level was 4.65 mg/dl and the mean creatinine clearance (Cr Cl) was 18.04 ml/min. Patients underwent CVVH for a mean duration of 21.3 hours, after a mean time-interval of 44.3 min. Their mean serum creatinine was 4.57 mg/dl at discharge (within the first week after the procedure) and 4.78 mg/dl at 15 days after the procedure. Mean Cr Cl was 18.52 ml/min at discharge and 17.62 ml/min at 15 days after the procedure. There was no statistically significant difference between the mean serum creatinine and Cr Cl values before and after the procedure. However, one patient (1.02%) developed CIN and ended on regular hemodialysis. The in-hospital mortality was 0%. Conclusion: Patients with advanced CKD who undergo coronary angiography may be protected from further deterioration in their renal function after exposure to radiological contrast material if the procedure is immediately followed by CVVH. A randomized controlled clinical trial is needed to verify our encouraging results. Keywords: contrast induced nephropathy, chronic kidney disease, continuous venovenous hemofiltratio

The exp-log normal form of types

Lambda calculi with algebraic data types lie at the core of functional programming languages and proof assistants, but conceal at least two fundamental theoretical problems already in the presence of the simplest non-trivial data type, the sum type. First, we do not know of an explicit and implemented algorithm for deciding the beta-eta-equality of terms---and this in spite of the first decidability results proven two decades ago. Second, it is not clear how to decide when two types are essentially the same, i.e. isomorphic, in spite of the meta-theoretic results on decidability of the isomorphism. In this paper, we present the exp-log normal form of types---derived from the representation of exponential polynomials via the unary exponential and logarithmic functions---that any type built from arrows, products, and sums, can be isomorphically mapped to. The type normal form can be used as a simple heuristic for deciding type isomorphism, thanks to the fact that it is a systematic application of the high-school identities. We then show that the type normal form allows to reduce the standard beta-eta equational theory of the lambda calculus to a specialized version of itself, while preserving the completeness of equality on terms. We end by describing an alternative representation of normal terms of the lambda calculus with sums, together with a Coq-implemented converter into/from our new term calculus. The difference with the only other previously implemented heuristic for deciding interesting instances of eta-equality by Balat, Di Cosmo, and Fiore, is that we exploit the type information of terms substantially and this often allows us to obtain a canonical representation of terms without performing sophisticated term analyses

Problem of access and rights of fishermen to water bodies in haor areas: a case study

Meat to water ratio used for washing was 1:3 for oil sardine and mackerel; but for pink perch and croaker, it was 1:2. Again the washing process was repeated three times for oil sardine and mackerel; but two times for pink perch and croaker. The washed meat was mixed with 2.5% NaC1 and set at +5°C and +40°C for 1, 2 and 3hrs. The gel strength and expressible water content was measured. Basing on this study, setting temperature at +40°C was selected and with respect to time 1hr for sardine and mackerel and 3hrs for pink perch and croaker was selected

Fibrational induction meets effects

This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring

Akad Penerbitan Sukuk di Pasar Modal Indonesia dalam Perspektif Fikih

This article discusses the concepts of contract in the perspective of Fiqh (Islamic Jurisprudence) and its implementation in Sharia Capital Market, particularly in the issuance of Corporate Sukuk and State Sukuk (SBSN). The purpose of the study is to understand the concept of akad (contract) in Islamic perspective an its implementation in sukuk issuance, mainly related to the transfer of ownership from the sukuk issuer to the investor. This study reveals that the current practice of issuance of corporate sukuk in Indonesia is only based on two models of contracts, namely Ijârah and Mudhârabah contracts. In addition, the contract structure are also varied, depending on the type of the issuer business, the purpose of funding, and the choice of contract. In the future, the issuance of corporate sukuk should have a uniformed, standardized structure, while it still comply with syariah regulation

Multimedia environmental fate and transport model of dichlorodiphenyltrichloroethane (DDT): case study sayong river watershed

This study describes the development of a multimedia environmental fate and transport model of dichlorodiphenyltrichloroethane (DDT) at Sayong River Watershed. Based on the latest estimated DDT emission, the DDT concentrations in air, soil, water, and sediment as well as the transfer flux were simulated under the equilibrium and steady-state assumption. Model predictions suggest that soil and sediment was the dominant sink of DDT. The results showed that the model predicted was generally good agreement with field data. Compared with degradation reaction, advection outflow was more important in removal processes of DDT. Sensitivities of the model estimates to input parameters were tested. The result showed that vapour pressure (Ps), chemical solubility (Cs), and absolute temperature (T) of DDT were the most influential parameters for the model output. The model output–concentrations of DDT in multimedia environment is very important as it can be used in future for human exposure and risk assessment of organochlorine pesticides (OCPs) at Sayong River Basin

Report 49: Growth, population distribution and immune escape of Omicron in England

To estimate the growth of the Omicron variant of concern (1) and its immune escape (2–9) characteristics, we analysed data from all PCR-confirmed SARS-CoV-2 cases in England excluding those with a history of recent international travel. We undertook separate analyses according to two case definitions. For the first definition, we included all cases with a definitive negative S-gene Target Failure (SGTF) result and specimen dates between 29/11/2021 and 11/12/2021 inclusive. For the second definition, we included cases with a positive genotype result and specimen date between 23/11/2021 and 11/12/2021 inclusive. We chose a later start date for the SGTF definition to ensure greater specificity of SGTF for Omicron. We used logistic and Poisson regression to identify factors associated with testing positive for Omicron compared to non-Omicron (mostly Delta) cases. We explored the following predictors: day, region, symptomatic status, sex, ethnicity, age band and vaccination status. Our results suggest rapid growth of the frequency of the Omicron variant relative to Delta, with the exponential growth rate of its frequency estimated to be 0.34/day (95% CI: 0.33-0.35) [2.0 day doubling time] over the study period from both SGTF and genotype data. The distribution of Omicron by age, region and ethnicity currently differs markedly from Delta, with 18–29-year-olds, residents in the London region, and those of African ethnicity having significantly higher rates of infection with Omicron relative to Delta. Hospitalisation and asymptomatic infection indicators were not significantly associated with Omicron infection, suggesting at most limited changes in severity compared with Delta. To estimate the impact of Omicron on vaccine effectiveness (VE) for symptomatic infection we used conditional Poisson regression to estimate the hazard ratio of being an Omicron case (using SGTF definition) compared with Delta, restricting our analysis to symptomatic cases and matching by day, region, 10-year age band, sex and ethnicity. We found a significant increased risk of an Omicron case compared to Delta for those with vaccine status AZ 2+weeks post-dose 2 (PD2) , Pfizer 2+w PD2, AZ 2+w post-dose 3 (PD3) and PF 2+w PD3 vaccine states with hazard ratios of 1.86 (95%CI: 1.67-2.08), 2.68 (95%CI: 2.54-2.83), 4.32 (95%CI: 3.84-4.85) and 4.07 (95%CI: 3.66-4.51), respectively, where PD3 states are categorised by the dose 1/2 vaccine used. Depending on the Delta VE estimates used (10), these estimates translate into Omicron VE estimates of between 0% and 20% PD2 and between 55% and 80% PD3 against Omicron, consistent with other estimates (11). Similar estimates were obtained using genotype data, albeit with greater uncertainty. To assess the impact of Omicron on reinfection rates we relied on genotype data, since SGTF is associated with a higher observed rate of reinfection, likely due to reinfections typically having higher Ct values than primary infections and therefore being subject to a higher rate of random PCR target failure. Controlling for vaccine status, age, sex, ethnicity, asymptomatic status, region and specimen date and using conditional Poisson regression to predict reinfection status, Omicron was associated with a 5.41 (95% CI: 4.87-6.00) fold higher risk of reinfection compared with Delta. This suggests relatively low remaining levels of immunity from prior infection

Comparative study on the accelerated thermal aging behavior between palm and rapeseed natural ester oils

The suitability of natural ester oils as an insulating medium in power transformers is discussed in this paper. Owing to environmental concerns, natural ester oils have great potential as mineral oil substitutes in power transformers. In this paper, the aging behaviors of palm and rapeseed natural ester oils were compared with that for mineral oil. The performance of these natural ester oils was assessed based on their properties (moisture content, acidity, and relative content of dissolved decay products) after accelerated thermal aging. The results showed that the palm oil has better performance compared to the rapeseed oil after accelerated thermal aging for 1500 h because of its lower acidity. This was further supported by the presence of sludge in the rapeseed oil after 1500 h of aging

Pengaruh Model Children Learning in Science(clis) Disertai Lks Berbasis Multirepresentasi Terhadap Aktivitas Belajar Siswa Dan Hasil Belajar Siswa Dalam Pembelajaran Fisika Di SMA Kabupaten Jember

This research focused on the application of children learning in science ( clis ) model accompanied lks multirepresentasi based .The purpose in this research is to assess the effect of a model of children learning in science ( clis ) accompanied lks multirepresentasi based on student learning activities in learning physics and the effect of a model of children learning in science ( clis ) accompanied lks multirepresentasi based on learning outcomes of students in learning physics .A kind of this research is research experiment conducted in SMAN 1 Jenggawah .Data collection method used is a documentary , observation , interview , and tests .Data analysis technique used is independent test sample t-test spss assistance with 16. The analysis to the activity of student learning at 0,000 ≤ 0.05 in the first meeting and by 0,000 ≤ 0.05 in the second .The analysis to achievments of 0,0015 ≤ 0.05 in the first meeting and by 0,0095 ≤ 0.05 in the second .Based on the results of the t , can be concluded that the model children learning in science ( clis ) accompanied lks based multirepresentasi significant to the activity of student learning .A model of children learning in science ( clis ) accompanied lks based multirepresentasi significant of achievments

Non-Functional Requirements Elicitation Guideline for Agile Methods

One of the essential activities in software development is elicitation of requirement. Majority of the studies has pointed out that less attention is given to the NonFunctional Requirement (NFR). The negligence of NFR elicitation is due to lack of knowledge of the user and developer about NFR. Our study presents elicitation guidelines for NFRs in agile methods. This guideline will helps developers as well as users in agile methods. A case study is conducted on the group of master students for eliciting NFR with the help of elicitation guidelines. In addition, the initial results were obtained by extracting NFRs from eProcurement document that carries requirements of major European Union projects. The result of the case study is positive and encouraging for the new developers and users having less awareness about NFRs. Furthermore, the study describes the role of cloud computing in agile methods, especially in elicitation activity