Miracle-dz/UniFAR-FTUs huggingface dataset:
An object detection method based on topological structure

Due to the influence of both background interference and time-varying position, it is difficult to detect the moving object by computer vision in the complex background environment. This paper novelly builds a topological structure of typical features to detect object. The presented method can effectively detect the object which is scaling, rotating or in affine transformation, because of the using of geometric properties of the topological structure. Firstly, the feature points are extracted and clustered, then the supposed region which includes the object will be obtained from the image. Secondly, the HOG-SVM classifier is used to detect typical local features in the supposed region. Lastly, the typical local features are regarded as nodes to build a topological structure based on the object's contour, then the constraints of the geometric properties are used to figure out the object. The experimental results indicate that the proposed method can detect the object when it is in different postures or a part of the object was sheltered.
Anomaly Detection of Polymer Resettable Circuit Protection Devices

As circuit protection devices, failure or abnormal behavior of polymer positive-temperature-coefficient resettable devices can cause damage to circuits. It is necessary to detect anomalies in the resettable circuit protection devices to provide early warning of failure and avoid damage to a circuit. In this paper, a novel anomaly detection method, the cross-validation-based sequential probability ratio test, is developed and applied to the failure precursor parameters of the resettable circuit protection devices to conduct anomaly detection. The cross-validation-based sequential probability ratio test integrates the advantages of both the sequential probability ratio test for in situ anomaly detection and the cross-validation technique for model parameter selection to reduce the probability of false and missed alarms in anomaly detection. The cross-validation-based sequential probability ratio test solves the model parameter selection difficulty of the traditional sequential probability ratio test and improves its performance in anomaly detection.
An Evaluation of Neoadjuvant Chemoradiotherapy for Patients with Resectable Pancreatic Ductal Adenocarcinoma

Aims. The aim of this study is to compare our results of preoperative chemotherapy followed by pancreaticoduodenectomy (PD) with those of surgery alone in patients with localized resectable pancreatic ductal adenocarcinoma (PDAC). Methods. Outcome data for 112 patients of resectable PDAC who received preoperative chemoradiotherapy followed by PD (group I) between January 2004 and April 2010 were retrospectively analyzed and were compared with selected 120 patients who underwent PD alone (group II) in the same period. Results. Patients in group I had an incidence of locoregional recurrence of 17.1% compared to 30.8% in group II (P = 0.03). There were no statistically significant differences in postoperative morbidity (27.7% versus 30.8%) and mortality (2.67% versus 3.33%). The 1-, 2-, and 3-year survival rates were estimated at 82.1%, 54%, and 28%, respectively, with NCRT and 65.8%, 29.1%, and 10% without (P = 0.006). Nevertheless, preoperative chemotherapy did not reduce the 1-, 3-, and 5-year disease-free survival rates, which were estimated at 58%, 36.6%, and 12.5% with NCRT and 51.7%, 18.3%, and 7.5% without (P = 0.058). Conclusions. The treatment of NCRT followed by PD in patients with PDAC has a significantly lower rate of locoregional recurrence and a longer overall survival than those with surgery alone.
LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns

Invasive patterns are an extension of standard parallel and distributed architectural patterns for complex distributed algorithms. They have previously been implemented in terms of the AWED language, an aspect language with features for explicit distribution. In this paper we present two formal semantics based on labeled transition systems, one for AWED and the other for invasive patterns, for the definition of interaction properties of aspects and pattern compositions. We also show how the semantics can be used to check corresponding liveness and safety properties.
Study of recognition the remote sensing information of alteration based on MPS model

This research made use of the more accessible ETM+ remote sensing data and based on the previous methods to propose the MPS model and extract alteration information. The meaning of MPS model was mask process-principal component analysis-the support vector machine processing. This article applied and tested the methodology in the Hatu area, Xinjiang. Though the research, there was a better effect of extraction, and the outcome and the distribution of the mineral deposits was coherent well.
A Fast Implementation of Diffie-Hellman Type ID-NIKS

In 1990, Murakami and Kasahara proposed a Diffie-Hellman type ID-based non-interactive key sharing scheme, referred to as MK. The applying the scheme MK to a practical use was considered difficult due to the lack of a computer power at that time. However, MK would have more chance to be applied practically because of a rapid progress of computer power for the last 15 years. In this paper, we shall propose a new special composite number of particular form for the purpose of a practical realization of MK and show the proposed numbers sufficiently exist. Moreover, we show the computing time of the discrete logarithms over the proposed composite number
Migraine Diagnosis and Pathophysiology

Purpose of Review: This article describes current knowledge regarding headache, especially migraine, and includes information on genetics, anatomy, pathophysiology, and pharmacology in order to demonstrate their relevance to clinical phenomenology.Recent Findings: Animal models show that drugs effective in migraine prevention may work by raising the threshold for initiating cortical spreading depression and may also attenuate the response to simulation.Summary: Great advances have been made in diagnosing and understanding migraine over the past several decades. Tools such as the International Classification of Headache Disorders assist in making diagnoses. Although blood vessel changes do occur in migraine, they are not timelocked to the occurrence of head pain. Cortical spreading depression is at least one trigger for the events that occur in migraine. Migraine may be due to the interplay of host susceptibility and various triggers. Nitric oxide and calcitonin gene-related peptide are important mediators, and estrogen seems to “ramp up” the system.
Under Consideration for Publication in Formal Aspects of Computing Capito: Protocol Stacks for Services

CaPiTo allows the modelling of service-oriented applications using process algebras at three levels of abstraction. The abstract level focuses on the key functionality of the services; the plug-in level shows how to obtain security using standardised protocol stacks; finally, the concrete level allows to consider how security is obtained using asymmetric and symmetric cryptographic primitives. The CaPiTo approach therefore caters for a variety of developers that need to cooperate on designing and implementing service-oriented applications. We show how to formally analyse CaPiTo specifications for ensuring the absence of security flaws. The method used is based on static analysis of the corresponding LySa specifications. We illustrate the development on two industrial case studies; one taken from the banking sector and the other a single sign-on protocol.
Detail study of SiC MOSFET switching characteristics

This paper makes detail study of the latest SiC MOSFETs switching characteristics in relation to gate driver maximum current, gate resistance, common source inductance and parasitic switching loop inductance. The switching performance of SiC MOSFETs in terms of turn on and turn off voltage and current are presented. Switching losses analysis is made according to the experiment results. The switching characteristics study and switching losses analysis could give some guidelines of gate driver IC and gate resistance selection, switching losses estimation and circuit design of SiC MOSFETs.
Discussion of 'Is there a Currency Bloc in the Pacific?'

Formal regional economic arrangements have progressed the furthest in Europe. Within the European Community (EC), the Single European Act of 1986 resulted in the elimination of most trade barriers by 1992. Most members removed capital controls by 1990 and the European Monetary System (EMS) had succeeded in stabilising exchange rates well enough by December 1991 that the members agreed on ambitious plans for European Monetary Union (EMU). Those plans soon proved overly ambitious, but the long-run trend towards integration is nevertheless clear. The next successful project of the EC will most likely be enlargement to include those of the other Western European countries (members of EFTA European Free Trade Association) who wish to join. There is also talk of eventually including countries from Central and even Eastern Europe. In the Western Hemisphere, the Canadian-United States Free Trade Agreement took effect in 1989, the countries of the eastern half of South America agreed on plans for a free trade area under the name MERCOSUR in 1990, the moribund Andean Pact removed regional trade barriers in 1991 and the North American Free Trade Agreement (NAFTA) was negotiated in 1992. NAFTA has provisions for
An information infrastructure for disaster management in Pacific Island countries

A study into the information infrastructure of disaster management in the Pacific Island Countries is presented to ensure delivery of the information. Direction, collection, processing and dissemination are the four processes of information management and the development of profiles of need and the identification of the essential elements of information are the integral parts of the information management process that lies at the heart of any information infrastructure.
A Novel TPA Scheme for SVD-Assisted Multi-User MIMO Downlink with Imperfect CSI

In this paper, we investigate the Singular Value Decomposition (SVD)-Assisted multi-user multiple-input multiple-output (MU-MIMO) downlink transmission in the presence of imperfect channel state information (ICSI), and propose an effective transmit power allocation (TPA) scheme. The original equal power allocation (EPA) has been adopted in perfect CSI case. However, EPA doesn't exploit the CSI and ignores the Bit Error Rate (BER) difference among all singular values. The proposed TPA scheme takes the smallest singular value into account and improves the system performance efﬁciently. Apart from that, it can exploit the power allocation operation to mitigate the residual interference induced by ICSI. Simulation results reveal that, compared with the original algorithm, the TPA scheme can maintain the BER performance corresponding to the largest singular value and ameliorate that corresponding to the smallest singular value. Furthermore, with ICSI, the proposed TPA scheme can be proved to be more robust to the CSI imperfection.
Sensation seeking as a predictor of psychopathology in Danish soldiers deployed to Afghanistan

ABSTRACT Identifying methods that enable prediction of psychopathology that results from military service is crucial for individual and mission readiness, and for postdeployment mental health. In the present study, we investigate the relationship between sensation seeking (SS) and posttraumatic stress disorder (PTSD) and between SS and depression. Data from 743 Danish soldiers deployed to Afghanistan in 2009 were collected 6 times: before deployment, during deployment, 1–3 weeks after homecoming, 2 months after homecoming, 7 months after homecoming, and 2.5 years after homecoming. In this study, we did not find a relationship between SS and PTSD, or between SS and depression. The present study does not support previous findings that link SS with psychopathology. The structural environment in the military setting, the extent of exposure and type of stressful situations may play a moderating role. More extreme environments, such as imprisonment and torture, may favor different expressions of SS. Further research should include other factors such as context and the extent and type of traumatic exposure in relation to SS.
Plagiarism and the Crisis of Higher Education

Who are complaining about Romania that is far behind the developed democracies is wrong at least in one point. The practices and events of the last years proved that it has already aligned to the most advanced democracies as USA and Canada in aspect of the judicialization of politics, even though it has a genuine form. The fierce political battles of the last years, were characterized by unbelievable penal allegations ranging from the benign parliamentary political cross talk transformed in violations of the right to speech and of the presumption of innocence to the high treason and the coup d’etat interpretations of some diplomatic discussions and civic protests. This generalized judicialization of politics has an unexpected collateral victim. Several major political leaders and heads of public, juridical or military institutions were accused of plagiarism in their doctoral thesis.
Melanocortin Signaling in the Brainstem Influences Vagal Outflow to the Stomach

Activation of melanocortin 4 receptors (MC4-Rs) in brain nuclei associated with food intake profoundly influences consummatory behavior. Of these nuclei, the dorsal motor vagal nucleus (DMV), which has a dense concentration of MC4-Rs, is an important regulator of gastric tone and motility. Hence, the present study sought to examine the role of MC4-Rs in this nucleus on these activities. Using an in vivo approach, MC4-R agonists, melanotan-II (MT-II) or α-melanocyte stimulating hormone (α-MSH), were unilaterally microinjected into the DMV of rats, and their effects were noted on gastric activity. MT-II decreased phasic contractions, whereas α-MSH increased their amplitude. Both effects were blocked by the MC4-R antagonist SHU9119 or by ipsilateral vagotomy. Microinjection of the agonists (MT-II and α-MSH) into the overlying nucleus of the solitary tract (NTS), an important component of “vago-vagal” gastric circuitry, decreased phasic contractions. In addition, α-MSH reduced gastric tone and mean arterial blood pressure. To study the underlying mechanisms of the effect of MC4-R stimulation on gastric activity, electrophysiological recordings were made from labeled DMV antrum neurons in rat pups and MC4-R−/− mice. Bath application of MT-II or α-MSH significantly reduced spontaneous action potentials (but not in MC4-R−/− mice). However, in low-calcium ACSF, MT-II decreased neuronal firing, whereas α-MSH increased it. These effects mirror those of our in vivo DMV studies. Altogether, our novel findings show that activation of MC4-Rs in the brainstem, particularly in the medial NTS by the endogenous peptide α-MSH, modulates gastric activity, which may have physiological relevance for food intake and gastric function.
Herbivore-Specific, Density-Dependent Induction of Plant Volatiles: Honest or “Cry Wolf” Signals?

Plants release volatile chemicals upon attack by herbivorous arthropods. They do so commonly in a dose-dependent manner: the more herbivores, the more volatiles released. The volatiles attract predatory arthropods and the amount determines the probability of predator response. We show that seedlings of a cabbage variety (Brassica oleracea var. capitata, cv Shikidori) also show such a response to the density of cabbage white (Pieris rapae) larvae and attract more (naive) parasitoids (Cotesia glomerata) when there are more herbivores on the plant. However, when attacked by diamondback moth (Plutella xylostella) larvae, seedlings of the same variety (cv Shikidori) release volatiles, the total amount of which is high and constant and thus independent of caterpillar density, and naive parasitoids (Cotesia vestalis) of diamondback moth larvae fail to discriminate herbivore-rich from herbivore-poor plants. In contrast, seedlings of another cabbage variety of B. oleracea (var. acephala: kale) respond in a dose-dependent manner to the density of diamondback moth larvae and attract more parasitoids when there are more herbivores. Assuming these responses of the cabbage cultivars reflect behaviour of at least some genotypes of wild plants, we provide arguments why the behaviour of kale (B. oleracea var acephala) is best interpreted as an honest signaling strategy and that of cabbage cv Shikidori (B. oleracea var capitata) as a “cry wolf” signaling strategy, implying a conflict of interest between the plant and the enemies of its herbivores: the plant profits from being visited by the herbivore's enemies, but the latter would be better off by visiting other plants with more herbivores. If so, evolutionary theory on alarm signaling predicts consequences of major interest to students of plant protection, tritrophic systems and communication alike.
Rebound model of table tennis ball for trajectory prediction

A flying model and a rebound model are presented for the trajectory prediction of table tennis ball in this paper based on the assumption that the ball would fly without spin before rebound. The analytic solution for the flying model is also given. The rebound model in Z axis is based on height loss coefficient, and a learning method based on one order polynomial is proposed. Experiments show that the prediction results based on the proposed flying and rebound models are accurate enough to satisfy the need to return the ball successfully.
Creativity in digital pedagogy and game-based learning techniques; theoretical aspects, techniques and case studies

This article is based on authors' experience of using digital games for creative teaching and learning. Firstly the meaning of "digital pedagogy" and its relation with creative digital learning is discussed. Then several applications of using game-based learning techniques for improving creative digital learning are presented. Practical solutions for problems of creative learning and creative teaching are shown. Each case-study is followed by explanation of techniques which could be used for design and development of digital learning games implementing creativity-based learning principles.
Control of Transplant Tolerance and Intragraft Regulatory T Cell Localization by Myeloid-Derived Suppressor Cells and CCL5

Myeloid-derived suppressor cells (MDSC) are a heterogeneous population of immature cells that are believed to inhibit immune responses in the contexts of cancer and organ transplantation, in association with regulatory T cells (Treg). However, the way in which MDSC cooperate with Treg remains elusive. In this study, we used DNA microarrays to analyze gene expression in blood-derived MDSC from rat recipients of kidney allografts. We found CCL5 (Rantes), a chemotactic C-C motif 5 chemokine, to be strongly downregulated after treatment with a tolerizing regimen. The amount of CCL5 protein was also lower in the plasma of tolerant recipients, whereas intragraft CCL5 was unchanged. Because CCL5 is chemotactic for Treg, we hypothesized that a gradient of CCL5 between the graft and peripheral blood might contribute to the intragraft localization of Treg in tolerant animals. To test this hypothesis, we treated tolerant rat recipients of kidney allografts with recombinant rat CCL5 to restore normal plasma concentrations. This led to a strong reduction in intragraft Treg monitored by immunohistofluorescence and by quantitative real-time PCR measurement of Foxp3 mRNA. Ultimately, this treatment led to an increase in serum creatinine concentrations and to kidney graft rejection after about a month. The kidney function of syngeneic grafts was not affected by a similar administration of CCL5. These data highlight the contribution of MDSC to the establishment of a graft-to-periphery CCL5 gradient in tolerant kidney allograft recipients, which controls recruitment of Treg to the graft where they likely contribute to maintaining tolerance.
Accelerometer-based activity recognition on a mobile phone using cepstral features and quantized gmms

The use of cepstral coefficients derived from a filter bank with logarithmically spaced band center frequencies and Gaussian mixture models (GMMs) with quantized parameters (qGMMs) are proposed for accelerometer-based activity recognition of mobile phone users. The use of a filter bank with logarithmically spaced band center frequencies is shown to yield better results than the use of a filter bank with linear spacing between band center frequencies. GMMs and qGMMs are shown to achieve similar recognition accuracies. However, the computation time using qGMMs is shown to be either at the same level or faster when compared to GMMs, depending on model complexity. Using the proposed approach, we achieve an accuracy of 72.6% and 91.3% on two recognition tasks with seven and five activities, respectively.
Simulation of orthogonal cutting with smooth particle hydrodynamics

There is an active literature on the simulation of cutting processes through finite element methods. Such efforts are motivated by the enormous economic importance of machining processes and the desire to adjust processes so as to optimize product and throughput, but suffer from some difficulties inherent to the finite element method. An alternative approach, which appears to overcome most of those difficulties, is that of Smooth Particle Hydrodynamics (SPH). Though some finite element work is reviewed here, the focus of this paper is on the demonstration of the SPH technique of to simulate orthogonal cutting.
Image retrieval by ontological description of shapes (IRONS), early results

This paper addresses the problem of retrieving documents that contain visual information. Current visual information retrieval systems sometimes retrieve irrelevant documents or documents unrelated to the user¿s query. This problem is caused by the use of low-level image descriptors; furthermore, these descriptors hardly have a semantic weight. In this work we address the image retrieval problem based on shape, since shape has a meaning by itself. On the other hand, an extension of the ontology concept, which is used in information retrieval based on text, is proposed in the image domain. Likewise, we present the Image Retrieval by Ontological Description of Shapes (IRONS) System. IRONS has been implemented and evaluated in order to analyze its utility, efficiency, and advantages comparing with well-known systems.
X:Map: annotation and visualization of genome structure for Affymetrix exon array analysis

Affymetrix exon arrays aim to target every known and predicted exon in the human, mouse or rat genomes, and have reporters that extend beyond protein coding regions to other areas of the transcribed genome. This combination of increased coverage and precision is important because a substantial proportion of protein coding genes are predicted to be alternatively spliced, and because many non-coding genes are known also to be of biological significance. In order to fully exploit these arrays, it is necessary to associate each reporter on the array with the features of the genome it is targeting, and to relate these to gene and genome structure. X:Map is a genome annotation database that provides this information. Data can be browsed using a novel Google-maps based interface, and analysed and further visualized through an associated BioConductor package. The database can be found at http://xmap.picr. man.ac. uk.