Miracle-dz/UniFAR-FTUs huggingface dataset:
SAT4BSC: a static analysis tool for BPEL source codes

Business Process Execution Language (BPEL) is Extensible Markup Language (XML) based language for describing the logic to orchestrate the interaction between Web services in a business process. Even though it is fairly new language it is getting popularity in various software industries and research environments. The emphasis of recent researches and developments on web services and on BPEL has been in their architecture and interface. However, the work regarding to tool support especially to compute the metrics and to draw control flow graph (CFG) is in its infant stage. Provision of tools to reckon measures has multitude of benefits. CFG is essential tool to analyze various properties of a source code and it is also useful for software testing, software measure, and software maintenance. In this research we have developed a static analysis tool which is dedicated to compute all available BPEL 2.0 metrics and draw CFG of its source code. The tool has been evaluated by various BPEL process source codes obtained from the languages specifications and from other research papers. The test shows that the tool can compute the metrics and draw the CFG effectively and efficiently.
Clinical decision support systems for the practice of evidence-based medicine.

BACKGROUND The use of clinical decision support systems to facilitate the practice of evidence-based medicine promises to substantially improve health care quality. OBJECTIVE To describe, on the basis of the proceedings of the Evidence and Decision Support track at the 2000 AMIA Spring Symposium, the research and policy challenges for capturing research and practice-based evidence in machine-interpretable repositories, and to present recommendations for accelerating the development and adoption of clinical decision support systems for evidence-based medicine. RESULTS The recommendations fall into five broad areas--capture literature-based and practice-based evidence in machine--interpretable knowledge bases; develop maintainable technical and methodological foundations for computer-based decision support; evaluate the clinical effects and costs of clinical decision support systems and the ways clinical decision support systems affect and are affected by professional and organizational practices; identify and disseminate best practices for work flow-sensitive implementations of clinical decision support systems; and establish public policies that provide incentives for implementing clinical decision support systems to improve health care quality. CONCLUSIONS Although the promise of clinical decision support system-facilitated evidence-based medicine is strong, substantial work remains to be done to realize the potential benefits.
Herpesvirus Saimiri Antagonizes Nuclear Domain 10-Instituted Intrinsic Immunity via an ORF3-Mediated Selective Degradation of Cellular Protein Sp100

ABSTRACT In recent studies, the nuclear domain 10 (ND10) components PML, Sp100, human Daxx (hDaxx), and ATRX were identified to be cellular restriction factors that are able to inhibit the replication of several herpesviruses. The antiviral function of ND10, however, is antagonized by viral effector proteins by a variety of strategies, including degradation of PML or relocalization of ND10 proteins. In this study, we analyzed the interplay between infection with herpesvirus saimiri (HVS), the prototypic rhadinovirus, and cellular defense by ND10. In contrast to other herpesviruses, we found that HVS specifically degraded the cellular ND10 component Sp100, whereas other factors like PML or hDaxx remained intact. We could further identify the ORF3 tegument protein of HVS, which shares homology with the cellular formylglycinamide ribotide amidotransferase (FGARAT) enzyme, to be the viral factor that induces the proteasomal degradation of Sp100. Interestingly, recent studies showed that the ORF3-homologous proteins ORF75c of murine gammaherpesvirus 68 and BNRF-1 of Epstein-Barr virus modulate the ND10 proteins PML and ATRX, respectively, suggesting that the ND10 targets of viral FGARAT-homologous proteins diversified during evolution. Furthermore, a virus with the ORF3 deletion was efficiently complemented in Sp100-depleted cells, indicating that Sp100 is able to inhibit HVS in the absence of antagonistic mechanisms. In contrast, we observed that PML, which was neither degraded nor redistributed after HVS infection, strongly restricted both wild-type HVS and virus with the ORF3 deletion. Thus, HVS may lack a factor that efficiently counteracts the repressive function of PML, which may foster latency as the outcome of infection.
The effects of virtual human's spatial and behavioral coherence with physical objects on social presence in AR

In augmented reality, people can feel the illusion of virtual humans (VHs) integrated into a real (physical) space. However, affordances of the real world and virtual contents might conflict, for example, when the VHs and real objects “collide” by occupying the same space. This implausible conflict can cause a break in presence in real–virtual human interactions. In this paper, we address an effort to avoid this conflict by maintaining the VH's spatial and behavioral coherence with respect to the physical objects or events (e.g., natural occlusions and appropriate help‐requesting behaviors to avoid implausible physical–virtual collisions). We present a human subject experiment examining the effects of the physical–virtual coherence on human perceptions, such as social/copresence and behaviors with the VH. The basic ideas, experimental design, and results supporting the benefit of the VH's spatial and behavioral coherence are presented and discussed.
International agency for the prevention of blindness.

Acknowledgements IAPB is a collaborative organisation, and this document was made possible by many expert contributors from member and partner organisations, including the following, whose participation is acknowledged with thanks: INGO/INGDO – international non-governmental (development) organisation NGO/NGDO – non-governmental (development) organisation OEPA – Organisation for the Elimination of Onchocerciasis for the Americas UN – United Nations USD – US Dollar WHA – World Health Assembly (governing body of WHO) WHO – World Health Organization (UN specialist agency for health)
New Control Scheme for a Unified Power-Quality Compensator-Q With Minimum Active Power Injection

Voltage sags are one of the most frequently occurring power-quality problems challenging power systems today. The unified power-quality conditioner (UPQCs) is one of the major custom power solutions capable of mitigating the effect of supply voltage sags at the point of common coupling (PCC) or load. A UPQC-Q employs a control method in which the series compensator injects a voltage that leads the supply current by 90° so that the series compensator at steady state consumes no active power. However, the UPQC-Q has some disadvantages. First, there are limitations in rating when using UPQC-Q for series compensation. Second, there is a phase difference between the input and output voltage in proportion to the severity of voltage sags. As a result, it cannot offer effective compensation for voltage drops. This paper proposes a new control scheme for the UPQC-Q that offers minimum active power injection. The proposed power injection method takes into consideration the limitations of the rated voltage capacity of the series compensator, and the phase difference during voltage sag events. The validity of the proposed control scheme has been investigated by simulation and experimental results for less than 50% voltage sag conditions.
Oxygen tolerance of an in silico-designed bioinspired hydrogen-evolving catalyst in water

Certain bacterial enzymes, the diiron hydrogenases, have turnover numbers for hydrogen production from water as large as 104/s. Their much smaller common active site, composed of earth-abundant materials, has a structure that is an attractive starting point for the design of a practical catalyst for electrocatalytic or solar photocatalytic hydrogen production from water. In earlier work, our group has reported the computational design of [FeFe]P/FeS2, a hydrogenase-inspired catalyst/electrode complex, which is efficient and stable throughout the production cycle. However, the diiron hydrogenases are highly sensitive to ambient oxygen by a mechanism not yet understood in detail. An issue critical for practical use of [FeFe]P/FeS2 is whether this catalyst/electrode complex is tolerant to the ambient oxygen. We report demonstration by ab initio simulations that the complex is indeed tolerant to dissolved oxygen over timescales long enough for practical application, reducing it efficiently. This promising hydrogen-producing catalyst, composed of earth-abundant materials and with a diffusion-limited rate in acidified water, is efficient as well as oxygen tolerant.
An efficient and effective variable step size NLMS algorithm

Using the least-mean-square (LMS) and the normalized LMS (NLMS) algorithms, the adaptive filter usually results in a trade-off between the convergence speed and adaptation precision. Recently, in order to resolve this problem, several variable step size NLMS (VSS-NLMS) algorithms that provide faster convergence than the LMS and NLMS have been proposed. This paper presents a new VSS-NLMS algorithm that is simple, but possesses, good characteristics. In the proposed algorithm, the input power and error signals are used to design the step size parameter at each iteration. Simulation results demonstrate that in the scenario of channel equalization, the proposed algorithm accomplishes faster start-up and gives better precision than the conventional algorithms.
An Ion-insensitive cAMP Biosensor for Long Term Quantitative Ratiometric Fluorescence Resonance Energy Transfer (FRET) Measurements under Variable Physiological Conditions*

Ratiometric measurements with FRET-based biosensors in living cells using a single fluorescence excitation wavelength are often affected by a significant ion sensitivity and the aggregation behavior of the FRET pair. This is an important problem for quantitative approaches. Here we report on the influence of physiological ion concentration changes on quantitative ratiometric measurements by comparing different FRET pairs for a cAMP-detecting biosensor. We exchanged the enhanced CFP/enhanced YFP FRET pair of an established Epac1-based biosensor by the fluorophores mCerulean/mCitrine. In the case of enhanced CFP/enhanced YFP, we showed that changes in proton, and (to a lesser extent) chloride ion concentrations result in incorrect ratiometric FRET signals, which may exceed the dynamic range of the biosensor. Calcium ions have no direct, but an indirect pH-driven effect by mobilizing protons. These ion dependences were greatly eliminated when mCerulean/mCitrine fluorophores were used. For such advanced FRET pairs the biosensor is less sensitive to changes in ion concentration and allows consistent cAMP concentration measurements under different physiological conditions, as occur in metabolically active cells. In addition, we verified that the described FRET pair exchange increased the dynamic range of the FRET efficiency response. The time window for stable experimental conditions was also prolonged by a faster biosensor expression rate in transfected cells and a greatly reduced tendency to aggregate, which reduces cytotoxicity. These properties were verified in functional tests in single cells co-expressing the biosensor and the 5-HT1A receptor.
Toward Cost-Effective Manufacturing of Silicon Solar Cells: Electrodeposition of High-Quality Si Films in a CaCl2 -based Molten Salt.

Electrodeposition of Si films from a Si-containing electrolyte is a cost-effective approach for the manufacturing of solar cells. Proposals relying on fluoride-based molten salts have suffered from low product quality due to difficulties in impurity control. Here we demonstrate the successful electrodeposition of high-quality Si films from a CaCl2 -based molten salt. Soluble SiIV -O anions generated from solid SiO2 are electrodeposited onto a graphite substrate to form a dense film of crystalline Si. Impurities in the deposited Si film are controlled at low concentrations (both B and P are less than 1 ppm). In the photoelectrochemical measurements, the film shows p-type semiconductor character and large photocurrent. A p-n junction fabricated from the deposited Si film exhibits clear photovoltaic effects. This study represents the first step to the ultimate goal of developing a cost-effective manufacturing process for Si solar cells based on electrodeposition.
Discriminating Multiple Emotional States from EEG Using a Data-Adaptive, Multiscale Information-Theoretic Approach

A multivariate sample entropy metric of signal complexity is applied to EEG data recorded when subjects were viewing four prior-labeled emotion-inducing video clips from a publically available, validated database. Besides emotion category labels, the video clips also came with arousal scores. Our subjects were also asked to provide their own emotion labels. In total 30 subjects with age range 19-70 years participated in our study. Rather than relying on predefined frequency bands, we estimate multivariate sample entropy over multiple data-driven scales using the multivariate empirical mode decomposition (MEMD) technique and show that in this way we can discriminate between five self-reported emotions (p < 0.05). These results could not be obtained by analyzing the relation between arousal scores and video clips, signal complexity and arousal scores, and self-reported emotions and traditional power spectral densities and their hemispheric asymmetries in the theta, alpha, beta, and gamma frequency bands. This shows that multivariate, multiscale sample entropy is a promising technique to discriminate multiple emotional states from EEG recordings.
Visual Pattern Discrimination

Visual discrimination experiments were conducted using unfamiliar displays generated by a digital computer. The displays contained two side-by-side fields with different statistical, topological or heuristic properties. Discrimination was defined as that spontaneous visual process which gives the immediate impression of two distinct fields. The condition for such discrimination was found to be based primarily on clusters or lines formed by proximate points of uniform brightness. A similar rule of connectivity with hue replacing brightness was obtained by using varicolored dots of equal subjective brightness. The limitations in discriminating complex line structures were also investigated.
A Distributed Parallel Cooperative Coevolutionary Multiobjective Evolutionary Algorithm for Large-Scale Optimization

A considerable amount of research has been devoted to multiobjective optimization problems. However, few studies have aimed at multiobjective large-scale optimization problems (MOLSOPs). To address MOLSOPs, which may involve big data, this paper proposes a message passing interface MPI -based distributed parallel cooperative coevolutionary multiobjective evolutionary algorithm (DPCCMOEA). DPCCMOEA tackles MOLSOPs based on decomposition. First, based on a modified variable analysis method, we separate decision variables into several groups, each of which is optimized by a subpopulation (species). Then, the individuals in each subpopulation are further separated to several sets. DPCCMOEA is implemented with MPI distributed parallelism and a two-layer parallel structure is constructed. We examine the proposed algorithm using the multiobjective test suites Deb-Thiele-Laumanns-Zitzler and Walking-Fish-Group. In comparison with cooperative coevolutionary generalized differential evolution 3 and multiobjective evolutionary algorithm based on decision variable analyses, which are state-of-the-art cooperative coevolutionary multiobjective evolutionary algorithms, experimental results show that the novel algorithm has better performance in both optimization results and time consumption.
City of Quartz: Excavating the Future in Los Angeles.

Excavating the Future in Los Angeles. V E R S 0. City of quartz: excavating the future in Los Angeles Mike Davis,RobertMorrowCityofQuartzExcavaBookos.org. pdf, 50. 7 MB.City of Quartz: Excavating the Future in Los Angeles is a 1990 book by Mike Davis examining how contemporary Los Angeles has been shaped by different.City of Quartz: Excavating the Future in Los Angeles Mike Davis, Robert Morrow on Amazon.com.
Association of nineteen polymorphisms from seven DNA repair genes and the risk for bladder cancer in Gansu province of China

Background Balance of DNA damage and proper repair plays an important role in progression of bladder cancer. Here we aimed to assess the associations of nineteen polymorphisms from seven DNA repair–associated genes (PRAP1, OGG1, APEX1, MUTYH, XRCC1, XRCC2 and XRCC3) with bladder cancer and their interactions in the disease in a Han Chinese population. Methodology/Principal Findings A chip-based TaqMan genotyping for the candidate genes was performed on 227 bladder cancer patients and 260 healthy controls. APEX1 rs3136817, MUTYH rs3219493, three SNPs (rs3213356, rs25487 and rs1799782) in XRCC1, and three SNPs (rs1799794, rs861531 and rs861530) in XRCC3 showed significant associations with the risk of bladder cancer. In haplotype analysis, elevated risks of bladder cancer were observed in those with either haplotype GT (OR = 1.56, P = 0.003) of APEX1, or GGGTC (OR = 2.05, P = 0.002) of XRCC1, whereas decreased risks were in individuals with either GCGCC (OR = 0.40, P = 0.001), or GCGTT (OR = 0.60, = 0.005) of XRCC1, or CCC (OR = 0.65, P = 0.004) of MUTYH, or TTTAT (OR = 0.36, P = 0.009) of XRCC3. Interaction analysis showed that the two-loci model (rs1799794 and rs861530) was the best with the maximal testing accuracy of 0.701, and the maximal 100% cross-validation consistency (P = 0.001). Conclusions Polymorphisms and haplotypes of DNA repair genes are associated with the risk of bladder cancer, and of which the SNPs (rs1799794 and rs861530) in XRCC3 gene might be two major loci in relation to the susceptibility to bladder cancer in a northwest Chinese population.
Platelet‐activating Factor Does Not Mediate UVB‐induced Local Immune Suppression

The lipid mediator Platelet‐activating factor (PAF) and oxidized glycerophosphocholine PAF agonists produced by UVB have been demonstrated to play a pivotal role in UVB‐mediated systemic immunosuppression. Importantly, employing the ability of distant UVB irradiation to inhibit contact hypersensitivity (CHS) responses to the chemical antigen dinitrofluorobenzene (DNFB) to an area of unirradiated murine skin, we and others have demonstrated that UVB‐mediated systemic immunosuppression was only observed in PAF‐R expressing wild type (WT) mice and not in PAF‐R‐knockout (Pafr−/−) mice. As it is not known if PAF is involved in UVB‐mediated local immunosuppression, these studies compared local UVB on CHS responses in WT versus Pafr−/− mice. We demonstrate that the application of DNFB onto UVB‐exposed (locally) area of mouse skin resulted in a similar significant inhibition of subsequent CHS responses in both WT and Pafr−/− mice compared to sham‐irradiated control mice. Furthermore, the expression of langerin, a marker for the presence of Langerhans cells was substantially reduced equally in the epidermal ears of UVB‐irradiated WT and Pafr−/− mice compared to their respective sham control groups. These findings indicate that the PAF‐R is not involved UVB‐induced local immunosuppression.
Explorations in Salt Archaeology in the Carpathian Zone. ByHarding Anthony andKavruk Valerii. 285mm. Pp 332, 38 b&w figs, tables, graphs.Archaeolingua Alapítvány,Budapest,2013.isbn9789639911444. €66 (hbk).

These chapters (14 to 17) provide excellent contextual support to the first thirteen chapters (ie the site archaeology) and some elements from these should have been incorporated into an introduction. Given all this data and the diversity of the two sites, does a book such as this deliver a comprehensive account of one of Britain’s busiest archaeological areas? The answer is a resounding ‘Yes! ’. The book is extremely well written, providing the reader with a detailed narrative of Bronze Age life within the intertidal zone. The text is supported by excellent drawings from Jennifer Foster and archive imagery from the past twenty years or so of fieldwork (including an invaluable colour section at the back of the book). If this reviewer has a concern with a project such as this it is that because the archaeology is dynamic subsequent research and developer-led projects will continue following the publication of this book, further complicating an already complex Bronze Age history.
Serum uric acid may predict development of progressive acute kidney injury after open heart surgery

Abstract Objectives: Acute kidney injury (AKI) is a common complication of cardiac surgery developing in 25–35% cases. Recently, neutrophil gelatinase-associated lipocalin (NGAL) was shown to predict AKI development earlier than serum creatinine. Some studies demonstrated the predictive role of post-operative serum uric acid (SUA) as an early marker of AKI. We aimed to study the role of serum and urine NGAL as well as SUA to predict progression of AKI. Design and methods: This is a prospective observational study of patients undergoing cardiac surgery. Blood and urine samples for measurement of uric acid, serum and urine NGAL levels were collected prior to cardiac surgery (0 h), and in the time course at 2nd and 24th hours after surgery. Patients who developed AKI were divided into two subgroups as progressing and non-progressing AKI. Results: Sixty patients (42 males, 18 females) were included. After cardiac surgery, 40 patients developed AKI, 20 of whom non-progressing AKI, and 20 progressing AKI. All of the markers significantly increased in AKI patients. A receiver operator characteristics (ROC) curve analysis showed higher predictive ability of SUA for progressing AKI compared with serum and urine NGAL. When compared markers obtained at the second hour after surgery, UA had significantly large AUC than NGAL to predict AKI developed at 24 and 48 h, particularly in patients, who require renal replacement therapy (RRT). Conclusion: Uric acid seems to predict the progression of AKI and RRT requirement in patients underwent cardiac surgery better than NGAL.
Review of Near-Field Wireless Power and Communication for Biomedical Applications

Near-field magnetic wireless systems have distinct advantages over their conventional far-field counterparts in water-rich environments, such as underwater, underground, and in biological tissues, due to lower power absorption. This paper presents a comprehensive review of near-field magnetic wireless power transfer (WPT) and communication technologies in a variety of applications from general free-space systems, to implantable biomedical devices we find of particular interest. To implement a fully wirelessly-powered implantable system, both high-efficiency power transfer and high-rate data communication are essential. This paper first presents the history and the fundamentals of near-field WPT and communication in free-space systems, followed by technical details for their specific use in implantable biomedical devices. Finally, this paper reviews recent advances in simultaneous wireless information and power transfer and highlights their applications in implantable biomedical systems. The knowledge reviewed in the paper could provide intuition in the design of various wireless and mobile systems such as wireless body area networks, small-cell 5G cellular, as well as in-body biomedical applications, especially for efficient power and data management and higher security.