Miracle-dz/UniFAR-FTUs huggingface dataset:
Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies

This paper presents three results on the power of two-prover one-round interactive proof systems based on oracularization under the existence of prior entanglement between dishonest provers. It is proved that the two-prover one-round interactive proof system for PSPACE by Cai, Condon, and Lipton [JCSS 48:183-193, 1994] still achieves exponentially small soundness error in the existence of prior entanglement between dishonest provers (and more strongly, even if dishonest provers are allowed to use arbitrary no-signaling strategies). It follows that, unless the polynomial-time hierarchy collapses to the second level, two-prover systems are still advantageous to single-prover systems even when only malicious provers can use quantum information. It is also shown that a "dummy" question may be helpful when constructing an entanglement-resistant multi-prover system via oracularization. This affirmatively settles a question posed by Kempe et al. [FOCS 2008, pp. 447-456] and every language in NEXP is proved to have a two-prover one-round interactive proof system even against entangled provers, albeit with exponentially small gap between completeness and soundness. In other words, it is NP-hard to approximate within an inverse-polynomial the value of a classical two-prover one-round game against entangled provers. Finally, both for the above proof system for NEXP and for the quantum two-prover one-round proof system for NEXP proposed by Kempe et al., it is proved that exponentially small completeness-soundness gaps are best achievable unless soundness analysis uses the structure of the underlying system with unentangled provers.
HPTLC Analysis of Mentha piperita andCitrus sinensis

Mentha piperita and Citrus sinensis was an aromatic plants well known for its fragrance and distinct aroma. In this prospective study to evaluate the chromatogram detection of ethanol extract of Mentha piperita and Citrus sinensis with standard flavonoid marker eriocitrin by HPTLC technique. HPTLC chromatogram was developed in ethanolic extract of Mentha piperita, Citrus sinensis and standard flavonoid marker eriocitrin by using Toluene-Ethyl acetate-Formic acid-Methanol (3:6:1.6:0.4) as mobile phase. The identified bands of compounds 1-9 in the ethanolic extracts of Mentha piperita and Citrus sinensis was confirmed under the TLC scanner with the standard marker eriocitrin at 254nm.
Um estudo de caso de encoprese em ludoterapia comportamental

A encoprese se refere à incontinência fecal na aprendizagem de controle esfincteriano. Condições orgânicas resultando em incontinência fecal devem ser excluídas antes da encoprese ser diagnosticada e caracterizada dicotômicamente em 1) diurna ou noturna; 2) primária (incontinência fecal persistente) ou secundária (incontinência ocorre após um período de continência fecal), e 3) retentiva (ocorrência de constipação, falta de eliminação e impactação fecal) ou não retentiva (fezes não são retidas no intestino e ocorre diarréia). A literatura na área apresenta poucos estudos epidemiológicos sobre encoprese: estima-se que a incidência é de 1,5 a 7,5% das crianças, e tal incidência é inferior a 3% quando se trata de crianças com idade superior a quatro anos; encoprese secundária representa, aproximadamente, 50% dos casos (Knell, 1993; APA, 1994; Doleys, 1978).
Up-regulation of metastasis-promoting S100A4 (Mts-1) in rheumatoid arthritis: putative involvement in the pathogenesis of rheumatoid arthritis.

OBJECTIVE To examine the involvement of the metastasis-inducing protein S100A4 (Mts-1) in the pathogenesis of rheumatoid arthritis (RA). METHODS Synovial tissue, synovial fluid, and plasma were obtained from RA and osteoarthritis (OA) patients who were undergoing joint surgery. Immunohistochemical and immunofluorescence analyses and enzyme-linked immunosorbent assays were used to determine the locations and concentrations of S100A4. The conformational structure of S100A4 in plasma and synovial fluid was determined after fractionation by size-exclusion chromatography, protein separation by sodium dodecyl sulfate-polyacrylamide gel electrophoresis, and Western blot analysis. Expression of various S100 proteins in RA synovium was determined by immunofluorescence and double-staining using specific anti-S100 antibodies. RESULTS We found an up-regulation of S100A4 in cells infiltrating RA synovial tissue. Most cell types identified by cell-specific markers (fibroblasts, immune cells, and vascular cells) contributed to the production of S100A4 in RA synovial tissue. The pattern of S100A4 expression differed significantly from that of the proinflammatory proteins S100A9 and S100A12, which were restricted to phagocytes and granulocytes. The up-regulation of S100A4 in RA synovial tissue was consistent with the high concentrations of the protein in RA versus OA plasma (mean 1,100 versus 211 ng/ml) and synovial fluid (mean 1,980 versus 247 ng/ml). Moreover, we found that S100A4 in RA plasma and synovial fluid was present in bioactive multimeric (M-S100A4) conformations, whereas in OA, the majority of extracellular S100A4 was detected as the less active dimeric form. Consistent with our observations in tumor models, extracellular S100A4 stabilized the p53 tumor suppressor in RA synovial fibroblast-like cells and affected the regulation of p53 target genes, including Bcl-2, p21(WAF), and Hdm-2, as well as matrix metalloproteinases. CONCLUSION Overexpression of S100A4 in RA synovial tissue and its release as M-S100A4 can influence p53 function and modulate the expression of several genes that are potentially implicated in the disease process. Thus, S100A4 might play an important role in the pathogenesis of RA and might represent a new target for the treatment of RA.
On the strength of König's duality theorem for countable bipartite graphs

Abstract Let CKDT be the assertion that for every countably infinite bipartite graph G, there exist a vertex covering C of G and a matching M in G such that C consists of exactly one vertex from each edge in M. (This is a theorem of Podewski and Stefifens [12].) Let ATR0 be the subsystem of second-order arithmetic with arithmetical transfinite recursion and restricted induction. Let RCA0 be the subsystem of second-order arithmetic with recursive comprehension and restricted induction. We show that CKDT is provable in ATR0. Combining this with a result of Aharoni, Magidor, and Shore [2], we see that CKDT is logically equivalent to the axioms of ATR0, the equivalence being provable in RCA0.
[Off-label use of clopidogrel after coronary stent implantation in Germany: optional or mandatory?].

Although the combined use of acetylsalicylic acid (ASA) and clopidogrel represents the standard in the 4-week treatment after coronary stent implantation, a discussion persists in Germany regarding clopidogrel use and the actual measures for cost containment in the healthcare system. Indeed, clopidogrel has not been approved in Germany for use after stent im-plantation. The prescription of clopidogrel in this context is thus considered off-label use. Consequently, patients with social healthcare insurance should pay for clopidogrel out of their own pockets. This regimen, however, bears the inherent risk that patients will not purchase the drug and thus not take it. This overview article describes the risk to patients when social healthcare insurance companies would not pay for clopidogrel after coronary stent implantation. Five international, prospective, randomized and control-led studies in 3,230 patients have shown that "double" antiaggregation, i.e. a combination of ASA and the thienopyridin derivative ticlopidin, compared with ASA alone clearly reduced death, myocardial infarction and the need for another PCI or CABG to a manifold extent. Due to its lower rate of side effects, clopidogrel has replaced ticlopidin since mid-1998. The clinical results of three prospective, randomized studies and seven single-center registries in approximately 14,000 patients have shown that the combination of ASA and clopidogrel results not only in a lower rate of side effects, but also in a significant rate reduction of cardiovascular events of ca. 50% (from 4.0% to 2.1%). Therefore, the combined use of ASA and clopidogrel should be prescribed to avoid (sub)acute stent thrombosis --even if this is not according to the rules of the German healthcare system. The threat of fines to physicians prescribing clopdiogrel at the expense of the social health care insurance is counterproductive and jeopardizes the life of the patients.
1 MEASUREMENT ERROR

This article focuses on statistical issues related to the problems of fitting models relating a disease response variable, Y , to true predictors X and error-free predictors Z, given values of measurements W , in addition to Y and Z. Although disease status may also be subject to measurement error, attention is limited to measurement error in predictor variables. The article is organized in three main sections. The first defines basic concepts and models of measurement error and outlines the effects of ignoring measurement error on the results of standard statistical analyses. An important aspect of most measurement error problems is the inability to estimate parameters of interest given only the information contained in a sample of (Y, Z, W ) values. Some features of the joint distribution of (Z, X, W ) must be known or estimated in order to estimate parameters of interest. Thus additional data, depending on the type of error model, must often be collected. Consequently it is important to include measurement error considerations when planning a study, both to enable application of a measurement error analysis of the data and to ensure validity of conclusions. Planning studies in the presence of measurement is the topic of the second section. Methods for the analysis of data measured with error differ according to the nature of the measurement error, the additional parameter-identifying information that is available, and the strength of the modeling assumptions appropriate for a particular problem. The third section describes a number of common approaches to the analysis of data measured with error, including simple, generally applicable, bias-adjustment approaches, conditional likelihood, and full likelihood approaches.
Low-Pass and Bandpass Filters With Ultra-Broad Stopband Bandwidth Based on Directional Couplers

The design of planar sharp-rejection low-pass and bandpass filters (LPFs and BPFs) featuring a very broad stopband is addressed in this paper. For the LPF case, two new classes of bandstop signal-interference transversal filtering section (TFS) consisting of power directional couplers in reflection mode are proposed. In the BPF application, additional short-circuit stubs are inserted at the TFS input/output accesses. Based on these filtering cells, the devised LPF and BPF approaches are then derived from the cascade of multiple TFSs with frequency-contiguous stopbands. Thus, an overall attenuated band showing an ultra-large spectral width and deep rejection levels through the generation of several transmission zeros (TZs) is synthesized. Furthermore, such unprecedented filtering performances are obtained for much lower circuit complexity than available solutions. The operating principle of the conceived LPF and BPF topologies and guidelines for their realization are detailed. This includes formulas for their analytically designable TZs. For practical validation, three LPF prototypes and one wideband BPF circuit are also fabricated in microstrip technology and tested.
What’s So Great about Nature?

This future man, whom the scientists tell us they will produce in no more than a hundred years, seems to be possessed by a rebellion against human existence as it has been given , a free gift from nowhere (secularly speaking), which he wishes to exchange, as it were, for something he has made himself . The question is only whether we wish to use our new scientifi c and technical knowledge in this direction, and this question cannot be decided by scientifi c means; it is a political question of the fi rst order and therefore can hardly be left to the decision of professional scientists or professional politicians. —Hannah Arendt, The Human Condition (1958, 3; emphasis added)
The Effect of Exogenous Epinephrine on the Incidence of Hypotensive/Bradycardic Events During Shoulder Surgery in the Sitting Position During Interscalene Block

Sudden hypotensive and/or bradycardic events (HBE) have been reported in 13%–28% of patients undergoing shoulder surgery in the sitting position during interscalene block. The Bezold-Jarisch reflex is the most likely mechanism for these events. It has been hypothesized that exogenous epinephrine might be a key component to the occurrence of HBE. We conducted this prospective, randomized study to verify this hypothesis. Patients received a local anesthetic solution with (Group E; n = 55) or without (Group P; n = 55) epinephrine for interscalene block; no further exogenous epinephrine was administered. Blood pressure control was achieved with IV urapidil, a peripheral vasodilator, as needed. The incidence of HBE was 11% in Group P versus 29% in Group E (P = 0.015). Increased intraoperative heart rate and arterial blood pressure were recorded in Group E (P = 0.000). Urapidil was administered to 13% of Group P and to 31% of Group E patients (P = 0.018). Urapidil administration induced a HBE in 4% of Group P and in 5% of Group E patients. We conclude that exogenous epinephrine is involved in the development of HBE in this setting.
Humoral autoimmune response against S-antigen and IRBP in ocular onchocerciasis.

Autoimmune mechanisms are thought to play a role in the pathogenesis of the chorioretinal changes in ocular onchocerciasis. In this study, the involvement of autoimmunity against retinal antigens in developing chorioretinitis was investigated. Serum levels of autoantibodies, directed against human S-antigen and interphotoreceptor retinoid-binding protein (IRBP), were determined in patients with onchocerciasis (n = 46) and endemic controls (n = 38) from Sierra Leone with the use of an enzyme immunoassay. In both groups high levels of anti-human S-antigen and IRBP antibodies were detected. No relationship could be demonstrated between the antiretinal antibody level and the occurrence of chorioretinitis in onchocerciasis. The levels of both anti-human S-antigen and IRBP antibodies were significantly higher in patients with onchocerciasis compared with endemic controls (P less than 0.001). Cross-reactivity of antiretinal antibodies with parasitic antigens could not be demonstrated as a possible explanation for the higher levels in patients with onchocerciasis. No correlation was found between the levels of antibodies of different classes against the crude Onchocerca volvulus, the egg antigen, or the microfilariae and the antiretinal antibody levels. Furthermore, in a panel of 13 different monoclonal antibodies directed against O. volvulus, only one showed a slight anti-human IRBP reactivity and none reacted with S-antigen. The immune response against the two retinal antigens investigated was not specific for onchocerciasis because high antibody levels were also found in patients with Bancroftian filariasis from Papua, New Guinea, and Surinam. (ABSTRACT TRUNCATED AT 250 WORDS)
Accuracy Verification of Magnetic Resonance Imaging (MRI) Technology for Lower-Limb Prosthetic Research: Utilising Animal Soft Tissue Specimen and Common Socket Casting Materials

Lower limb prosthetic socket shape and volume consistency can be quantified using MRI technology. Additionally, MRI images of the residual limb could be used as an input data for CAD-CAM technology and finite element studies. However, the accuracy of MRI when socket casting materials are used has to be defined. A number of six, 46 mm thick, cross-sections of an animal leg were used. Three specimens were wrapped with Plaster of Paris (POP) and the other three with commercially available silicone interface liner. Data was obtained by utilising MRI technology and then the segmented images compared to corresponding calliper measurement, photographic imaging, and water suspension techniques. The MRI measurement results were strongly correlated with actual diameter, surface area, and volume measurements. The results show that the selected scanning parameters and the semiautomatic segmentation method are adequate enough, considering the limit of clinical meaningful shape and volume fluctuation, for residual limb volume and the cross-sectional surface area measurements.
Determinants of Infant Susceptibility to Malaria During the First Year of Life in South Western Cameroon

Background. Falciparum malaria is an important pediatric infectious disease that frequently affects pregnant women and alters infant morbidity. However, the impact of some prenatal and perinatal risk factors such as season and intermittent preventive treatment during pregnancy (IPTp) on neonatal susceptibility has not been fully elucidated. Methods. A cohort of 415 infants born to women who were positive and negative for malaria was monitored in a longitudinal study in Southwestern Cameroon. The clinical and malaria statuses were assessed throughout, whereas paired maternal-cord and 1-year-old antimalarial antibodies were assayed by enzyme-linked immunosorbent assay. Infant susceptibility to malaria was ascertained after accounting for IPTp and season in the statistical analysis. Results. Malaria prevalence was higher in women (P = .039) who delivered during the rainy season and their infants (P = .030) compared with their dry season counterparts. Infants born to women who were positive for malaria (6.40 ± 2.83 months) were older (P = .028) than their counterparts who were negative for malaria (5.52 ± 2.85 months) when they experienced their first malaria episode. Infants born in September–November (adjusted odds ratio [OR] = 0.31, 95% confidence interval [CI] = 0.13–0.72) and to mothers on 1 or no IPTp-sulfadoxine/pyrimethamine (SP) dose (adjusted OR = 0.51, 95% CI = 0.28–0.91) were protected, whereas those born in the rainy season (adjusted OR = 2.82, 95% CI = 1.21–6.55) were susceptible to malaria. Conclusions. Intermittent preventive treatment during pregnancy and month of birth have important implications for infant susceptibility to malaria, with 2 or more IPTp-SP dosage possibly reducing immunoglobulin M production.
A large particle associated with the perimeter of the nuclear pore complex

The three-dimensional structure of the nuclear pore complex has been determined to a resolution of approximately 90 A by electron microscopy using nuclear envelopes from Xenopus oocytes. It is shown to be an assembly of several discrete constituents arranged with octagonal symmetry about a central axis. There are apparent twofold axes perpendicular to the octad axis which suggest that the framework of the pore complex is constructed from two equal but oppositely facing halves. The half facing the cytoplasm is in some instances decorated by large particles, similar in appearance and size to ribosomes.
High sucrose diets increase blood pressure of both salt-sensitive and salt-resistant rats.

We examined the effects of a diet relatively high in sugar and low in protein content on systolic blood pressure (SBP) in rats with known pressure responses to salt (NaCl) in order to compare "sugar/protein sensitivity" to "salt sensitivity. " Dahl salt-sensitive (DSS) and salt-resistant (DSR) rats were fed one of two low salt diets containing either high sugar (sucrose 51.5% w/w)/low protein (14.6% w/w) or low sugar (sucrose 12.5% w/w)/high protein (52.2% w/w) content. After 3 weeks, the DSS ingesting the high sugar diet/low protein diet developed significantly elevated SBP relative to DSR eating the same high sugar/low protein diet and the DSS and DSR consuming the low sugar/high protein diet. After 2 to 3 months, the SBP of DSR eating the high sugar diet began to rise markedly and eventually both DSS and DSR ingesting the high sugar/low protein diet maintained similarly elevated SBP, significantly higher than DSS and DSR ingesting the low sugar/high protein diet. When Fischer 344 rats, a normotensive, salt-resistant rat strain, were fed the high sucrose/low protein diet, SBP also rose significantly into hypertensive ranges over 2 to 3 months. Since the SBP of DSR and Fischer 344 rats are not influenced to any great extent by high salt intake, even after prolonged exposure, the SBP rise associated with the high sugar/low protein diet may be via a mechanism different from salt-induced hypertension. However, it is also possible that the high sugar/low protein diet creates in DSS and DSR the situation responsible for salt induction in DSS. (ABSTRACT TRUNCATED AT 250 WORDS)
Professionalization in space: Social-spatial strategies of culturepreneurs in Berlin

This article discusses the social interactions and spatial practices of young businesspeople, the so-called ‘culturepreneurs’, and the networking activities they use to form professional scenes in the field of design production in Berlin's cultural industries. This article primarily deals with a problem currently facing entrepreneurship and creative industries: how do young start-up entrepreneurs overcome structural paradoxes between individual professionalization and competitiveness on the one hand, while improving their entrepreneurial performances by depending on a badly needed innovation climate provided in social contexts and professional scenes on the other? For the purposes of this article, ‘scenes’ will be conceptually understood as a necessary prerequisite for creative milieu formations. They are considered to be informal, communicatively established social constructions and are based on the local narratives as well as the self-descriptions of entrepreneurs. Infused with a unique mixture of local myths and everyday life stories, these scenes serve as atmospheric stimulation for many people endeavouring to feel connected to a specific urban place – in this case Berlin – where they can launch their own entrepreneurial project.
A Review of Telehealth Service Implementation Frameworks

Despite the potential of telehealth services to increase the quality and accessibility of healthcare, the success rate of such services has been disappointing. The purpose of this paper is to find and compare existing frameworks for the implementation of telehealth services that can contribute to the success rate of future endeavors. After a thorough discussion of these frameworks, this paper outlines the development methodologies in terms of theoretical background, methodology and validation. Finally, the common themes and formats are identified for consideration in future implementation. It was confirmed that a holistic implementation approach is needed, which includes technology, organizational structures, change management, economic feasibility, societal impacts, perceptions, user-friendliness, evaluation and evidence, legislation, policy and governance. Furthermore, there is some scope for scientifically rigorous framework development and validation approaches.
Decision making under uncertain segmentations

Making decisions based on visual input is challenging because determining how the scene should be split into individual objects is often very difficult. While previous work mainly considers decision making and visual processing as two separate tasks, we argue that the inherent uncertainty in object segmentation requires an integrated approach that chooses the best decision over all possible segmentations. Our approach over-segments the visual input and combines the segments into possible objects to get a probability distribution over object compositions, represented as particles. We introduce a Markov chain Monte Carlo procedure that aims to produce exact, independent samples. In experiments, where a 6-DOF robot arm moves object hypotheses captured by an RGB-D visual sensor, our approach of probability distribution based decision making outperforms an approach which utilises the traditional most likely object composition.