Miracle-dz/UniFAR-FTUs huggingface dataset:
User-Generated services: Policy Management and access control in a cross-domain environment

The rapid evolution of mobile computing, together with the spread of social networks is increasingly moving the role of users from simple information and services consumers to actual producers. Currently, while most of the critical aspects related to User-Generated Contents (UGC) have been addressed, many issues related to service generation still must be faced and represent the next challenge. In this work, we focus on security issues raised by a particular kind of services: those generated by users. User-Generated Services (UGS) are characterized by a set of features that distinguish them from conventional services. To cope with UGS security problems we introduce three possible policy management models, analyzing benefits and drawbacks of each approach. Finally, we propose a cloud-based solution that enables the composition of multiple UGS and policy models, allowing user's devices to share features and services among them.
PROMOTING GENDER EQUITY IN ACADEMIC DEPARTMENTS: A STUDY OF DEPARTMENT HEADS IN TOP-RANKED CHEMISTRY DEPARTMENTS

Although the proportion of doctoral degrees in chemistry that have gone to women has increased markedly over the past few decades, the representation of women among higher education faculty has not increased at the same rate. This paper reports the results of a systematic effort to change this pattern by increasing the commitment of department heads in leading departments to the hiring and support of women faculty. Results indicate that participants in a carefully planned intervention changed their attitudes regarding reasons underlying women’s underrepresentation and barriers to their progress in the fi eld from preto postworkshop. Participants also reported commitment to change immediately after the event and engaging in a number of specifi c change efforts in the following months. While the quality of these change efforts was not related to changes in attitudes, those with fewer women in their department were more likely to report more fully on change efforts.
Musculoskeletal Complications in Type 1 Diabetes

OBJECTIVE The development of periarticular thickening of skin on the hands and limited joint mobility (cheiroarthropathy) is associated with diabetes and can lead to significant disability. The objective of this study was to describe the prevalence of cheiroarthropathy in the well-characterized Diabetes Control and Complications Trial/Epidemiology of Diabetes Interventions and Complications (DCCT/EDIC) cohort and examine associated risk factors, microvascular complications, and the effect of former DCCT therapy (intensive [INT] vs. conventional [CONV]) on its development. RESEARCH DESIGN AND METHODS This cross-sectional analysis was performed in 1,217 participants (95% of the active cohort) in EDIC years 18/19 after an average of 24 years of follow-up. Cheiroarthropathy—defined as the presence of any one of the following: adhesive capsulitis, carpal tunnel syndrome, flexor tenosynovitis, Dupuytren's contracture, or a positive prayer sign—was assessed using a targeted medical history and standardized physical examination. A self-administered questionnaire (Disabilities of the Arm, Shoulder and Hand [DASH]) assessed functional disability. RESULTS Cheiroarthropathy was present in 66% of subjects (64% of the INT group and 68% of the CONV group; P = 0.1640) and was associated with age, sex, diabetes duration, skin intrinsic fluorescence, HbA1c, neuropathy, and retinopathy (P < 0.005 for each). DASH functional disability scores were worse among subjects with cheiroarthropathy (P < 0.0001). CONCLUSIONS Cheiroarthropathy is common in people with type 1 diabetes of long duration (∼30 years) and is related to longer duration and higher levels of glycemia. Clinicians should include cheiroarthropathy in their routine history and physical examination of patients with type 1 diabetes because it causes clinically significant functional disability.
Functional Analysis of a Breast Cancer-Associated Mutation in the Intracellular Domain of the Metalloprotease ADAM12

A recently identified breast cancer-associated mutation in the metalloprotease ADAM12 alters a potential dileucine trafficking signal, which could affect protein processing and cellular localization. ADAM12 belongs to the group of A Disintegrin And Metalloproteases (ADAMs), which are typically membrane-associated proteins involved in ectodomain shedding, cell-adhesion, and signaling. ADAM12 as well as several members of the ADAM family are over-expressed in various cancers, correlating with disease stage. Three breast cancer-associated somatic mutations were previously identified in ADAM12, and two of these, one in the metalloprotease domain and another in the disintegrin domain, were investigated and found to result in protein misfolding, retention in the secretory pathway, and failure of zymogen maturation. The third mutation, p.L792F in the ADAM12 cytoplasmic tail, was not investigated, but is potentially significant given its location within a di-leucine motif, which is recognized as a potential cellular trafficking signal. The present study was motivated both by the potential relevance of this documented mutation to cancer, as well as for determining the role of the di-leucine motif in ADAM12 trafficking. Expression of ADAM12 p.L792F in mammalian cells demonstrated quantitatively similar expression levels and zymogen maturation as wild-type (WT) ADAM12, as well as comparable cellular localizations. A cell surface biotinylation assay demonstrated that cell surface levels of ADAM12 WT and ADAM12 p.L792F were similar and that internalization of the mutant occurred at the same rate and extent as for ADAM12 WT. Moreover, functional analysis revealed no differences in cell proliferation or ectodomain shedding of epidermal growth factor (EGF), a known ADAM12 substrate between WT and mutant ADAM12. These data suggest that the ADAM12 p.L792F mutation is unlikely to be a driver (cancer causing)-mutation in breast cancer.
SSLock: sustaining the trust on entities brought by SSL

We propose a new, simple and effective domain segmentation approach to sustain SSL protection which is usually compromised when users are expected to perform legitimacy judgment. It has been established that using security warnings and indicators is a serious operational flaw of SSL. As a security-critical system, SSL should never rely on users' judgment as the ultimate defense because adversaries that exploit users' ignorance and illiteracy are sufficient to break the most secure system. The proposal simply requires a service provider to opt-in by hosting its service in a special subdomain "secure". The enhanced protection will then be automatically in force. In this paper, we consider three severe and characteristic attack models, namely dynamic pharming, deceptive captive portal and SSLStrip attacks, and we show that there is no single defeating solution except SSLock. We have conducted deployability analysis which further justifies the proposal in terms of its high compatibility rate. SSLock is the only approach that is generic and light-weight for application vendors, opt-in and zero-initialization for service providers, and privacy-preserving and idiot-proof for generic users.
Cd40 Ligand (Cd154) Triggers a Short-Term Cd4+ T Cell Activation Response That Results in Secretion of Immunomodulatory Cytokines and Apoptosis

Signals generated through CD28–B7 and CD40 ligand (CD40L)–CD40 interactions have been shown to be crucial for the induction of long-term allograft survivability. We have recently demonstrated that humanized anti-CD40L (hu5C8) prevents rejection of mismatched renal allografts in primates. To investigate potential mechanisms of CD40L–induced allograft acceptance, we coimmobilized hu5C8 with suboptimal amounts of anti-CD3 to stimulate CD4+ T cells. We now report that anti-CD3/CD40L costimulation results in CD28-independent activation and subsequent deletion of resting T cells. Coligation of CD3 and CD40L increased expression of CD69, CD25, and CD54 on CD4+ T cells. We also found that costimulation with anti-CD3/CD40L resulted in enhanced production of interleukin (IL)-10, interferon γ, and tumor necrosis factor α but not IL-2 or IL-6. Interestingly, after several days, anti-CD3/CD40L–mediated activation was followed by apoptosis in a significant population of cells. Consistent with that observation, anti-CD3/CD40L did not enhance the antiapoptotic proteins Bcl-2 and Bcl-xL. Further, the addition of CD28 at 24 h failed to rescue those cells induced to die after costimulation with anti-CD3/CD40L. Together, these data suggest that the graft-sparing effect of hu5C8 in vivo may result in part from early and direct effects on CD4+ T cells, including a vigorous induction of immunomodulatory cytokines and/or apoptosis of allograft-specific T cells.
Parallel approximation to high multiplicity scheduling problems VIA smooth multi-valued quadratic programming

We consider the parallel approximability of two problems arising from high multiplicity scheduling, namely the unweighted model with variable processing requirements and the weighted model with identical processing requirements . These two problems are known to be modelled by a class of quadratic programs that are efficiently solvable in polynomial time. On the parallel setting, both problems are P-complete and hence cannot be efficiently solved in parallel unless P = NC. To deal with the parallel approximablity of these problems, we show first a parallel additive approximation procedure to a subclass of multi-valued quadratic programming, called smooth multi-valued QP, which is defined by imposing certain restrictions on the coefficients of the instance. We use this procedure to obtain parallel approximation to dense instances of the two problems by observing that dense instances of these problems are instances of smooth multi-valued QP. The dense instances of the problems considered here are defined similarly as for other combinatorial problems in the literature. For such instances we can find in parallel a near optimal schedule. The definition of smooth multi-valued QP as well as the procedure for approximating it in parallel are of interest independently of the application to the scheduling problems considered in this paper.
Semantic relevance of current image segmentation algorithms

Several image classification problems are handled using a classical statistical pattern recognition methodology: image segmentation, visual feature extraction, classification. The accuracy of the solution is typically measured by comparing automatic results with manual classification ones, where the distinction between these three steps is not clear at all. In this paper we will focus on one of these steps by addressing the following question: does the visual relevance exploited by segmentation algorithms reflect the semantic relevance of the manual annotation performed by the user? For this purpose we chose a gastroenterology scenario where clinicians classified a set of images into three different types (cancer, pre-cancer, normal), and manually segmented the area they believe was responsible for this classification. Afterwards, we have quantified the performance of two popular segmentation algorithms (mean shift, normalized cuts) on how well they produced one image patch that approximates manual annotation. Results showed that, for this case study, this resemblance is quite close for a large percentage of the images when using normalized cuts.
Human Anti-Plague Monoclonal Antibodies Protect Mice from Yersinia pestis in a Bubonic Plague Model

Yersinia pestis is the etiologic agent of plague that has killed more than 200 million people throughout the recorded history of mankind. Antibiotics may provide little immediate relief to patients who have a high bacteremia or to patients infected with an antibiotic resistant strain of plague. Two virulent factors of Y. pestis are the capsid F1 protein and the low-calcium response (Lcr) V-protein or V-antigen that have been proven to be the targets for both active and passive immunization. There are mouse monoclonal antibodies (mAbs) against the F1- and V-antigens that can passively protect mice in a murine model of plague; however, there are no anti-Yersinia pestis monoclonal antibodies available for prophylactic or therapeutic treatment in humans. We identified one anti-F1-specific human mAb (m252) and two anti-V-specific human mAb (m253, m254) by panning a naïve phage-displayed Fab library against the F1- and V-antigens. The Fabs were converted to IgG1s and their binding and protective activities were evaluated. M252 bound weakly to peptides located at the F1 N-terminus where a protective mouse anti-F1 mAb also binds. M253 bound strongly to a V-antigen peptide indicating a linear epitope; m254 did not bind to any peptide from a panel of 53 peptides suggesting that its epitope may be conformational. M252 showed better protection than m253 and m254 against a Y, pestis challenge in a plague mouse model. A synergistic effect was observed when the three antibodies were combined. Incomplete to complete protection was achieved when m252 was given at different times post-challenge. These antibodies can be further studied to determine their potential as therapeutics or prophylactics in Y. pestis infection in humans.
On easy implementation of a variant of the replica exchange with solute tempering in GROMACS

To reduce the number of replicas required in the conventional replica exchange method for huge systems, recently the replica exchange with solute tempering (REST) method was proposed. Here we showed that a variant of REST realized by rescaling the force‐field parameters can be performed with GROMACS 4 without changing the code. We tested the variant REST for alanine dipeptide and an N‐terminal peptide from p53 confirming its performance nearly equal to the original REST. © 2010 Wiley Periodicals, Inc. J Comput Chem, 2011
Understanding E-Learning System Usage Outcomes in Hybrid Courses

E-learning systems are widely used in higher education. However, much of the research on elearning systems focuses on the technology and is limited to the adoption and utilization e-learning systems. In order to develop the potential advantages of e-learning systems, research that addresses the outcomes of the adoption and use of e-learning system is needed. This paper proposes a research model for assessing the possible outcomes of e-learning systems adoption and use. It was tested by university students (n = 249) participating in hybrid courses using partial least squares (PLS) analysis. Its findings suggest that beliefs about perceived usefulness and perceived ease of use, and how an e-learning system is used cause students' perceived learning assistance. In turn, perceived learning assistance predicts students' perceived academic performance.
Roles of the subfornical organ and area postrema in arterial pressure increases induced by 48‐h water deprivation in normal rats

In rats, water deprivation (WD) increases arterial blood pressure (BP) in part due to actions of elevated osmolality in the brain to increase vasopressin levels and sympathetic activity. However, the osmoreceptors that mediate this response have not been identified. To test the hypothesis that osmoregulatory circumventricular organs are involved, BP and heart rate (HR) were continuously recorded telemetrically during 48 h of WD in normal rats with lesions (x) or sham lesions (sham) of the subfornical organ (SFO) or area postrema (AP). Although WD increased BP in SFOx and SFOsham rats, no significant difference in the hypertensive response was observed between groups. HR decreased transiently but similarly in SFOx and SFOsham rats during the first 24 h of WD. When water was reintroduced, BP and HR decreased rapidly and similarly in both groups. BP (during lights off) and HR were both lower in APx rats before WD compared to APsham. WD increased BP less in APx rats, and the transient bradycardia was eliminated. Upon reintroduction of drinking water, smaller falls in both BP and HR were observed in APx rats compared to APsham rats. WD increased plasma osmolality and vasopressin levels similarly in APx and APsham rats, and acute blockade of systemic V1 vasopressin receptors elicited similar depressor responses, suggesting that the attenuated BP response is not due to smaller increases in vasopressin or osmolality. In conclusion, the AP, but not the SFO, is required for the maximal hypertensive effect induced by WD in rats.
Topological Censorship and Higher Genus Black Holes

Motivated by recent interest in black holes whose asymptotic geometry approaches that of anti‐de Sitter spacetime, we give a proof of topological censorship applicable to spacetimes with such asymptotic behavior. Employing a useful rephrasing of topological censorship as a property of homotopies of arbitrary loops, we then explore the consequences of topological censorship for the horizon topology of black holes. We find that the genera of horizons are controled by the genus of the space at infinity. Our results make it clear that there is no conflict between topological censorship and the nonspherical horizon topologies of locally anti‐de Sitter black holes. More specifically, letD be the domain of outer communications of a boundary at infinity ‘‘scri. ’’ We show that the principle of topological censorship ~PTC! , which is that every causal curve in D having end points on scri can be deformed to scri, holds under reasonable conditions for timelike scri, as it is known to do for a simply connected null scri. We then show that the PTC implies that the fundamental group of scri maps, via inclusion, onto the fundamental group of D: i.e., every loop in D is homotopic to a loop in scri. We use this to determine the integral homology of preferred spacelike hypersurfaces ~Cauchy surfaces or analogues thereof! in the domain of outer communications of any four-dimensional spacetime obeying the PTC. From this, we establish that the sum of the genera of the cross sections in which such a hypersurface meets black hole horizons is bounded above by the genus of the cut of infinity defined by the hypersurface. Our results generalize familiar theorems valid for asymptotically flat spacetimes requiring simple connectivity of the domain of outer communications and spherical topology for stationary and evolving black holes. @S0556-2821~99! 08218-1#
Effectiveness of Belt Positioning Booster Seats: An Updated Assessment

OBJECTIVE: The objective of this study was to provide an updated estimate of the effectiveness of belt-positioning booster (BPB) seats compared with seat belts alone in reducing the risk for injury for children aged 4 to 8 years. METHODS: Data were collected from a longitudinal study of children who were involved in crashes in 16 states and the District of Columbia from December 1, 1998, to November 30, 2007, with data collected via insurance claims records and a validated telephone survey. The study sample included children who were aged 4 to 8 years, seated in the rear rows of the vehicle, and restrained by either a seat belt or a BPB seat. Multivariable logistic regression was used to determine the odds of injury for those in BPB seats versus those in seat belts. Effects of crash direction and booster seat type were also explored. RESULTS: Complete interview data were obtained on 7151 children in 6591 crashes representing an estimated 120646 children in 116503 crashes in the study population. The adjusted relative risk for injury to children in BPB seats compared with those in seat belts was 0.55. CONCLUSIONS: This study reconfirms previous reports that BPB seats reduce the risk for injury in children aged 4 through 8 years. On the basis of these analyses, parents, pediatricians, and health educators should continue to recommend as best practice the use of BPB seats once a child outgrows a harness-based child restraint until he or she is at least 8 years of age.
Origin of magmas in subduction zones: a review of experimental studies

Studies of the origin of magmas in subduction zones, particularly in the Japanese island arc, have been significantly advanced by petrological, geochemical, geophysical and experimental studies during last 50 years. Kuno’s original model1) for magma generation in the Japanese island arc, that tholeiite magmas are formed at relatively shallow levels in the mantle on the Pacific Ocean side whereas alkali basalt magmas are formed in deeper levels on the Japan Sea side, stimulated subsequent studies, particularly high-pressure experimental studies in which the author participated. Recent seismic tomographic studies of regions beneath the Japanese island arc demonstrate that seismic low-velocity zones where primary magmas are formed have finger-like shapes and rise obliquely from the Japan Sea side toward the Pacific Ocean side. Based on experimental studies, it is suggested that the compositions of primary magmas depend mainly on the H2O content and degree of melting in the melting zones, and that primary tholeiite magmas are formed by 10–25% melting of the source mantle containing less than 0.2 wt. % H2O. High-alumina basalt and alkali basalt magmas are formed by smaller degrees of melting of similar mantle, whereas primary boninite magmas are formed by more than 20% melting of the source mantle with more than 0.2 wt. % H2O, and finally, high-magnesia andesite magmas are formed by smaller degrees of melting of similar mantle.
Introduction to a General Equilibrium Approach to Economic Growth

Abstract Endogenous growth theory has had some success in explaining the observed data related to the process of economic growth. However, the results of the models in this literature are typically very sensitive to their micro-economic structure. It is therefore important to understand how the growth process behaves under more general specifications of such features as the number of commodities, the number and preferences of consumers, the factors of production, and the financial and information structures. In other words, valuable insights can be gained by integrating growth theory into the framework of general equilibrium theory. The summary of the papers in this volume, focuses on seven issues that are crucial to this integration and highlights the contributions of the papers to the resolution of these issues. Journal of Economic Literature Classification Numbers: C61, D50, D90, F43, O30, O41.
Cumulative Higher-Order Logic as a Foundation for Set Theory

The systems Kα of transfinite cumulative types up to α are extended to systems K∞α that include a natural infinitary inference rule, the so-called limit rule. For countable α a semantic completeness theorem for K∞α is proved by the method of reduction trees, and it is shown that every model of K∞α is equivalent to a cumulative hierarchy of sets. This is used to show that several axiomatic first-order set theories can be interpreted in K∞α, for suitable α.