Miracle-dz/UniFAR-FTUs huggingface dataset:
Service Composition in Opportunistic Networks: A Load and Mobility Aware Solution

Pervasive networks formed by users' mobile devices have the potential to exploit a rich set of distributed service components that can be composed to provide each user with a multitude of application level services. However, in many challenging scenarios, opportunistic networking techniques are required to enable communication as devices suffer from intermittent connectivity, disconnections and partitions. This poses novel challenges to service composition techniques. While several works have discussed middleware and architectures for service composition in well-connected wired networks and in stable MANET environments, the underlying mechanism for selecting and forwarding service requests in the significantly challenging networking environment of opportunistic networks has not been entirely addressed. The problem comprises three stages: i) selecting an appropriate service sequence set out of available services to obtain the required application level service; ii) routing results of a previous stage in the composition to the next one through a multi-hop opportunistic path; and iii) routing final service outcomes back to the requester. The proposed algorithm derives efficiency and effectiveness by taking into account the estimated load at service providers and expected time to opportunistically route information between devices. Based on this information the algorithm estimates the best composition to obtain a required service. It is shown that using only local knowledge collected in a distributed manner, performance close to a real-time centralized system can be achieved. Applicability and performance guarantee of the service composition algorithm in a range of mobility characteristics are established through extensive simulations on real/synthetic traces.
If they say go faster or something I'll probably go faster: peer influence upon the risky driving behaviour of young novices

Purpose Young novice drivers are at considerable risk of injury on the road, and their behaviour appears vulnerable to the social influence of their friends. Research was undertaken to identify the nature and mechanisms of peer influence upon novice driver (16-25 years) behaviour to inform the design of more effective young driver countermeasures. Methods. Peer influence was explored in small group interviews (n = 21) and three surveys (n1 = 761, n2 = 1170, n3 = 390) as part of a larger Queensland-wide study. Surveys two and three were part of a six-month longitudinal study. Results Peer influence was reported from the pre-Licence to the Provisional (intermediate) periods. Young novice drivers who experienced or expected social punishments including ‘being told off’ for risky driving reported less riskiness. Conversely young novice drivers who experienced or expected social rewards such as being ‘cheered on’ by their friends – who were also more risky drivers – reported more risky driving including crashes and offences. Conclusions Peers appear influential in the risky behaviour of young novice drivers, and influence occurs through social mechanisms of reinforcement and sanction. Interventions enhancing positive influence and curtailing negative influence may improve road safety outcomes not only for young novice drivers, but for all persons who share the road with them. Among the interventions warranting further development and evaluation are programs to encourage the modelling of safe driving behaviour and attitudes by young drivers; and minimisation of social reinforcement and promotion of social sanctions for risky driving behaviour in particular.
Youth Policy in the 1990s: The Way Forward

1. Dear Minister Chris Warren-Adamson 2. The Nature of Adolescence John C. Coleman 3. Secondary Education Phil Walking and Chris Brannigan 4. Youth Unemployment and Training Michael H. Banks 5. Sport and Leisure: the not-so-hidden curriculum? Leo Hendry 6. Youth Work and Informal Education Janet Paraskeva 7. Health Matters Sylvia Tilford 8. Mental Health Services for Adolescents Richard Williams and Ian Skeldon 9. Empowerment and Child Welfare Mike Stein and Nick Frost 10. Juvenile-justice policy in England and Wales John Pitts 11. Leaving Home: housing and income - social policy on leaving home Damien Killeen.
Adhesion receptors as therapeutic targets for circulating tumor cells

Metastasis contributes to >90% of cancer-associated mortality. Though primary tumors can be removed by surgical resection or chemo/radiotherapy, metastatic disease is a great challenge to treatment due to its systemic nature. As metastatic “seeds,” circulating tumor cells (CTCs) are believed to be responsible for dissemination from a primary tumor to anatomically distant organs. Despite the possibility of physical trapping of CTCs in microvessels, recent advances have provided insights into the involvement of a variety of adhesion molecules on CTCs. Such adhesion molecules facilitate direct interaction with the endothelium in specific tissues or indirectly through leukocytes. Importantly, significant progress has been made in understanding how these receptors confer enhanced invasion and survival advantage during hematogenous circulation of CTCs through recruitment of macrophages, neutrophils, platelets, and other cells. This review highlights the identification of novel adhesion molecules and how blocking their function can compromise successful seeding and colonization of CTCs in new microenvironment. Encouraged by existing diagnostic tools to identify and isolate CTCs, strategic targeting of these adhesion molecules to deliver conventional chemotherapeutics or novel apoptotic signals is discussed for the neutralization of CTCs in the circulation.
The Plasmid-Encoded Signal Peptidase SipP Can Functionally Replace the Major Signal Peptidases SipS and SipT ofBacillus subtilis

ABSTRACT The gram-positive eubacterium Bacillus subtilis is the organism with the largest number of paralogous type I signal peptidases (SPases) known. These are specified both by chromosomal and plasmid-borne genes. The chromosomally encoded SPases SipS and SipT have a major function in precursor processing, and cells depleted of SipS and SipT stop growing and die. In this study, we show that the SPase SipP, specified by the B. subtilis plasmid pTA1015, can functionally replace SipS and SipT, unlike the three chromosomally encoded SPases with a minor function in protein secretion (i.e., SipU, SipV, and SipW). Unexpectedly, SipP is not specifically required for the processing and secretion of Orf1p, which is specified by a gene that is cotranscribed with sipP. These two genes form a conserved structural module of rolling-circle plasmids from B. subtilis. As previously shown for the chromosomalsipS and sipT genes, the transcription of plasmid-borne copies of sipP is temporally controlled, reaching maximal levels during the post-exponential growth phase when the cells secrete proteins at high levels. However, increased transcription of sipP starts at the end of exponential growth, about 2 h earlier than that of sipS andsipT. These data suggest that SipP fulfills a general role in the secretory precursor processing of pTA1015-containing cells.
Achalasia Secondary to Submucosal Invasion by Poorly Differentiated Adenocarcinoma of the Cardia, Siewert II: Consideration on Preoperative Workup

Secondary achalasia due to submucosal invasion of cardia by gastric cancer is a rare condition. We report a case of pseudoachalasia, secondary to the involvement of gastroesophageal junction by poorly differentiated gastric cancer, initially mistaken as idiopathic form. We focus on the difficulty to establish differential diagnosis only on the basis of routine exams and we stress the necessity of “second level” instrumental exams; EUS in routine workup in selected patients should be considered. We support that routine workup based on history, clinical presentation, radiological and endoscopic findings, and certainly manometry could be insufficient for a correct differential diagnosis between primary and secondary forms in some patients.
Title Association of CDX 1 binding site of periostin gene with bonemineral density and vertebral fracture risk

Summary Periostin (POSTN) as a regulator of osteoblast differentiation and bone formation may affect susceptibility to osteoporosis. This study suggests POSTN as a candidate gene for bone mineral density (BMD) variation and vertebral fracture risk, which could better our understanding about the genetic pathogenesis of osteoporosis and will be useful in clinic in the future. Introduction The genetic determination of osteoporosis is complex and ill-defined. Periostin (POSTN), an extracellular matrix secreted by osteoblasts and a regulator of osteoblast differentiation and bone formation, may affect susceptibility to osteoporosis. Methods We adopted a tag-single nucleotide polymorphism (SNP) based association method followed by imputationbased verification and identification of a causal variant. The association was investigated in 1,572 subjects with extremeBMD and replicated in an independent population of 2,509 subjects. BMD was measured by dual X-ray absorptiometry. Vertebral fractures were identified by assessing vertebral height from X-rays of the thoracolumbar spine. Association analyses were performed with PLINK toolset and imputation analyses with MACH software. The top imputation finding was subsequently validated by genotyping. Interactions between POSTN and another BMD-related candidate gene sclerostin (SOST) were analyzed using MDR program and validated by logistical regression analyses. The putative transcription factor binding with target sequence was confirmed by electrophoretic mobility shift assay (EMSA). Results Several SNPs of POSTN were associated with BMD or vertebral fractures. The most significant polymorphism was rs9547970, located at the −2,327 bp upstream (P06.8×10) of POSTN. Carriers of the minor allele G per copy of rs9547970 had 1.33 higher risk of vertebral fracture (P00.007). An interactive effect between POSTN and SOST upon BMD variation was suggested (P<0.01). A specific binding of CDX1 to the sequence of POSTN with the major allele A of rs9547970 but not the variant G allele was confirmed by EMSA. Conclusions Our results suggest POSTN as a candidate gene for BMD variation and vertebral fracture risk.
Sozialkapital im chinesischen Kontext: Einige Überlegungen und empirische Ergebnisse aus Taiwan

This paper empirically explores the determinants of social capital, measured as social trust, in the Chinese context using survey data from Taiwan. After discussing relevant available research from the general discussion and the Chinese context, theories regarding the creation of social trust are tested by means of a multivariate regression analysis. Activities within bridging and bonding formal civil society networks, a notion of control over one’s life and age are significantly related to social trust in Taiwan. Generally speaking the results implicate a similarity of social trust in Chinese and Western societies as measured with surveys that is not suggested by theoretical accounts.
The challenges of integrated performance measurement systems Integrating mechanisms for integrated measures

Purpose - – The purpose of this paper is to explore some of the challenges involved in the development of integrated performance measurement systems (PMS). In particular, given the difficulties involved in the development process, and the “inherent incompleteness” of PMS, the authors seek to investigate whether and how these difficulties may challenge the integrating role of PMS and the eventual influence of alternative integrating mechanisms on this role. Design/methodology/approach - – The paper combines studies on PMS with empirical findings related to Monnalisa, a medium-sized Italian family firm, which designs and sells children ' - s wear and accessories. Over the last ten years Monnalisa has adopted various design frameworks (such as the balanced scorecard and the integrated report) for integrated PMS. Through an analysis of the PMS development process within the company, the authors explore the challenges involved in this process. Findings - – In the case of Monnalisa, despite the adoption of a design framework for integrated PMS, various critical issues emerged during the implementation phase, mainly as a consequence of tensions between different performance dimensions and the need for creativity. While these critical issues compromised the integrating role of PMS, alternative integrating mechanisms (such as the direct intervention of the founder and social interaction) were stimulated and worked alongside PMS in achieving organizational integration. In so doing, these mechanisms operated in different ways, by complementing incomplete PMS when they were failing to achieve organizational integration, or improving their integrated nature. Originality/value - – Although the literature acknowledges some of the challenges involved in PMS development, understanding how to manage these challenges and how they actually affect PMS require further investigation. This paper provides new insights on the challenges involved in the development process (particularly in relation to the tensions caused by creativity, unpredictability, time gaps between operations and targets, as well as the distinct priorities of different levels of customers), and on the role played by alternative integrating mechanisms in the management of these challenges. While the founder ' - s direct intervention may be peculiar to the context of medium-sized enterprises, the role played by social integrating mechanisms suggests potential ways to overcome the challenges of integrated PMS also within larger firms.
Failure of a Randomized, Double-Blind, Placebo-Controlled Study to Evaluate the Efficacy of H. pylori Eradication in H. pylori-Infected Patients with Functional Dyspepsia

Background/Aims The role of Helicobacter pylori eradication in patients with functional dyspepsia (FD) is still uncertain. We originally planned a randomized clinical study to observe dyspeptic symptoms after H. pylori eradication therapy. However, we failed to complete the study; therefore, we analyzed the factors that affected the failure of the study. Methods Interviews and questionnaire surveys were conducted to analyze the factors that induced early termination from the study. Results Many patients were screened by gastroenterologists at 11 tertiary referral hospitals between July 2009 and August 2010; however, only 4 patients met the enrollment criteria. Most patients who visited our clinics had been experiencing FD symptoms for less than 6 months or were already taking medication. They also demanded to continue taking medications and using other drugs. Only 3 of the 4 patients signed informed consent. Conclusions The application of the current Rome III criteria to FD is difficult to evaluate in Korean patients with dyspeptic symptoms because of the early medical evaluation. Most Korean patients who were diagnosed with FD by the Rome III criteria did not overcome their fear of being unable to use rescue medications during the study period.
Search based software engineering for software product line engineering: a survey and directions for future work

This paper presents a survey of work on Search Based Software Engineering (SBSE) for Software Product Lines (SPLs). We have attempted to be comprehensive, in the sense that we have sought to include all papers that apply computational search techniques to problems in software product line engineering. Having surveyed the recent explosion in SBSE for SPL research activity, we highlight some directions for future work. We focus on suggestions for the development of recent advances in genetic improvement, showing how these might be exploited by SPL researchers and practitioners: Genetic improvement may grow new products with new functional and non-functional features and graft these into SPLs. It may also merge and parameterise multiple branches to cope with SPL branchmania.
Visual quality assessment using a contrast gain control model

Much of the work on visual quality assessment has been devoted to gray-level images; metrics taking into account color information and the temporal component are still relatively rare. This paper presents a quality metric for color video which is based on a recent contrast gain control model of the human visual system. It is used to assess the quality of MPEG-coded sequences and exhibits a behavior that is consistent with subjective ratings.
Coronary Artery Disease in an Asymptomatic Population Undergoing a Multidetector Computed Tomography (MDCT) Coronary Angiography

Aim: To assess the prevalence of coronary artery disease (CAD) in asymptomatic subjects using multidetector computed tomography (MDCT) and its relationships to demographic and clinical risk factors. Material and method: We enrolled consecutive asymptomatic volunteers with no evidence of ischemic heart disease that underwent MDCT for the early detection of CAD. All MDCT findings were correlated with demographic and risk factors. A total of 2820 coronary segments were analyzed in 188 asymptomatic subjects (150 males and 38 females), aged 54.4 ± 7.4 years. Results: A total of 128 (68%) demonstrated MDCT findings compatible with CAD; of these 111 (86.7%) had non-significant (diameter stenosis ≤ 50%) and 17 (13.3%) had significant CAD (diameter stenosis ≥ 50%). Compared with older subjects (mean age 56±8 years), younger subjects had a lower prevalence of MDCT findings of CAD 55.5% vs. 12.5%, respectively (P<0.001), regardless of risk factors. Males had more CAD (mostly non-significant) compared with females (109 [72.7%] vs. 19 [50.3%], respectively; P= 0.007). Subjects with ≥ 2 risk factors had a higher prevalence of CAD in general and significant CAD in particular (P<0.001). Conclusion: CAD in asymptomatic population seems to be not uncommon. Using MDCT a high prevalence of non-significant and low prevalence of significant CAD was discovered in middle age asymptomatic population.
Go with the flow: compositional abstractions for concurrent data structures

Concurrent separation logics have helped to significantly simplify correctness proofs for concurrent data structures. However, a recurring problem in such proofs is that data structure abstractions that work well in the sequential setting are much harder to reason about in a concurrent setting due to complex sharing and overlays. To solve this problem, we propose a novel approach to abstracting regions in the heap by encoding the data structure invariant into a local condition on each individual node. This condition may depend on a quantity associated with the node that is computed as a fixpoint over the entire heap graph. We refer to this quantity as a flow. Flows can encode both structural properties of the heap (e.g. the reachable nodes from the root form a tree) as well as data invariants (e.g. sortedness). We then introduce the notion of a flow interface, which expresses the relies and guarantees that a heap region imposes on its context to maintain the local flow invariant with respect to the global heap. Our main technical result is that this notion leads to a new semantic model of separation logic. In this model, flow interfaces provide a general abstraction mechanism for describing complex data structures. This abstraction mechanism admits proof rules that generalize over a wide variety of data structures. To demonstrate the versatility of our approach, we show how to extend the logic RGSep with flow interfaces. We have used this new logic to prove linearizability and memory safety of nontrivial concurrent data structures. In particular, we obtain parametric linearizability proofs for concurrent dictionary algorithms that abstract from the details of the underlying data structure representation. These proofs cannot be easily expressed using the abstraction mechanisms provided by existing separation logics.
Analysis of concentric and eccentric contractions in biceps brachii muscles using surface electromyography signals and multifractal analysis

Muscle contractions can be categorized into isometric, isotonic (concentric and eccentric) and isokinetic contractions. The eccentric contractions are very effective for promoting muscle hypertrophy and produce larger forces when compared to the concentric or isometric contractions. Surface electromyography signals are widely used for analyzing muscle activities. These signals are nonstationary, nonlinear and exhibit self-similar multifractal behavior. The research on surface electromyography signals using multifractal analysis is not well established for concentric and eccentric contractions. In this study, an attempt has been made to analyze the concentric and eccentric contractions associated with biceps brachii muscles using surface electromyography signals and multifractal detrended moving average algorithm. Surface electromyography signals were recorded from 20 healthy individuals while performing a single curl exercise. The preprocessed signals were divided into concentric and eccentric cycles and in turn divided into phases based on range of motion: lower (0°–90°) and upper (>90°). The segments of surface electromyography signal were subjected to multifractal detrended moving average algorithm, and multifractal features such as strength of multifractality, peak exponent value, maximum exponent and exponent index were extracted in addition to conventional linear features such as root mean square and median frequency. The results show that surface electromyography signals exhibit multifractal behavior in both concentric and eccentric cycles. The mean strength of multifractality increased by 15% in eccentric contraction compared to concentric contraction. The lowest and highest exponent index values are observed in the upper concentric and lower eccentric contractions, respectively. The multifractal features are observed to be helpful in differentiating surface electromyography signals along the range of motion as compared to root mean square and median frequency. It appears that these multifractal features extracted from the concentric and eccentric contractions can be useful in the assessment of surface electromyography signals in sports medicine and training and also in rehabilitation programs.
Proteomic Analysis of the Follicular Fluid of Tianzhu White Yak during Diestrus

The aim of this study was to identify differentially expressed proteins in the follicular fluid of Tianzhu white yak during diestrus. Follicles obtained from female yak were divided into four groups according to their diameter: 0–2, 2–4, 4–6 mm, and greater than 6 mm. The follicular fluid was directly aspirated from the follicles and mixed according to follicular size, and two-dimensional gel electrophoresis was carried out on the crude follicular fluid samples. Thirty-four differentially expressed spots were generated from these four sizes of follicles. Fourteen of these spots were analyzed by MALDI-TOF/TOF-MS and identified as: AS3MT, VDP, ANKRD6, C10orf107 protein, MRP4, MAPKAP1, AGO3, profilin-β-actin, SPT2 homolog, AGP, AR, RNF20, obscurin-like-1, and one unnamed protein. These proteins were first reported in follicular fluid, in addition to VDP and AGP. Based on existing knowledge of their function and patterns of expression, we hypothesize that most of these differentially expressed proteins play a role in ovarian follicular growth and development, dominant follicle selection, or follicular atresia and development of oocytes; however, the function of the other differentially expressed proteins in reproduction remains ambiguous.