Miracle-dz/UniFAR-FTUs huggingface dataset:
Inferring distant-time location in low-sampling-rate trajectories

With the growth of location-based services and social services, low- sampling-rate trajectories from check-in data or photos with geo- tag information becomes ubiquitous. In general, most detailed mov- ing information in low-sampling-rate trajectories are lost. Prior works have elaborated on distant-time location prediction in high- sampling-rate trajectories. However, existing prediction models are pattern-based and thus not applicable due to the sparsity of data points in low-sampling-rate trajectories. To address the sparsity in low-sampling-rate trajectories, we develop a Reachability-based prediction model on Time-constrained Mobility Graph (RTMG) to predict locations for distant-time queries. Specifically, we de- sign an adaptive temporal exploration approach to extract effective supporting trajectories that are temporally close to the query time. Based on the supporting trajectories, a Time-constrained mobility Graph (TG) is constructed to capture mobility information at the given query time. In light of TG, we further derive the reacha- bility probabilities among locations in TG. Thus, a location with maximum reachability from the current location among all possi- ble locations in supporting trajectories is considered as the predic- tion result. To efficiently process queries, we proposed the index structure Sorted Interval-Tree (SOIT) to organize location records. Extensive experiments with real data demonstrated the effective- ness and efficiency of RTMG. First, RTMG with adaptive tempo- ral exploration significantly outperforms the existing pattern-based prediction model HPM [2] over varying data sparsity in terms of higher accuracy and higher coverage. Also, the proposed index structure SOIT can efficiently speedup RTMG in large-scale trajec- tory dataset. In the future, we could extend RTMG by considering more factors (e.g., staying durations in locations, application us- ages in smart phones) to further improve the prediction accuracy.
Aircraft anomaly detection using algorithmic model and data model trained on FOQA data

Two models of anomaly detection are put to use in detecting anomalies in aircraft operation. Self-Organizing Map Neural Network (SOM NN) is used from the culture of algorithmic modeling and One-Class Support Vector Machine (SVM) is used from the culture of data modeling. The goal of the research is to find anomalies within the data of aircraft operation or otherwise known as Flight Operations Quality Assurance (FOQA) data, and to find out which model performs better. SOM NN found 8800 data points of anomalies over 69 flights and One-Class SVM found 40392 data points of anomalies over 651 flights. The anomalies are divided into three categories: performance anomaly, sensor anomaly, and miscellaneous anomaly, each happened because of different causes. It is concluded that both models could detect anomalies within FOQA data and the One-Class SVM outperforms SOM NN in number of anomalies found, however in runtime length, SOM NN performs better, the best choice of model is then concluded according to computing resource availability since SOM NN could still be improved without an expensive resource compared to One-Class SVM.
PreCrime to the rescue: defeating mobile malware one-step ahead

Prior mobile malware defensive means is usually retroactive, which may either lead to high false negatives or can hardly recover systems states from malware activities. PreCrime is a proactive malware detection scheme that detects and stops malware activities from happening. PreCrime creates mirrors of a mobile device in a resource-rich and trusted cloud, which speculatively executes multiple likely user operations concurrently to detect potential tampering and information leakage. Our preliminary evaluation shows that PreCrime introduces small performance overhead on smartphones and feasible delay during speculative execution on the cloud.
Growth Factor Dependent Regulation of Centrosome Function and Genomic Instability by HuR

The mRNA binding protein HuR is over expressed in cancer cells and contributes to disease progression through post-transcriptional regulation of mRNA. The regulation of HuR and how this relates to glioma is the focus of this report. SRC and c-Abl kinases regulate HuR sub-cellular trafficking and influence accumulation in the pericentriolar matrix (PCM) via a growth factor dependent signaling mechanism. Growth factor stimulation of glioma cell lines results in the associate of HuR with the PCM and amplification of centrosome number. This process is regulated by tyrosine phosphorylation of HuR and is abolished by mutating tyrosine residues. HuR is overexpressed in tumor samples from patients with glioblastoma and associated with a reduced survival. These findings suggest HuR plays a significant role in centrosome amplification and genomic instability, which contributes to a worse disease outcome.
Quantization with Fractional Calculus

As a continuation of Riewe’s pioneering work [Phys. Rev. E 55, 3581(1997)], the canonical quantization with fractional drivatives is carried out according to the Dirac method. The canonical conjugate-momentum coordinates are defined and turned into operators that satisfy the commutation relations, corresponding to the Poisson-bracket relations of the classical theory. These are generalized and the equations of motion are redefined in terms of the generalized brackets. A generalized Heisenberg equation of motion containing fractional derivatives is introduced. Key-Words:Hamiltonian Formulation, Canonical Quantization, Fractional Calculus, Nonconservative systems.
Radiation protection material based on silicone

The present invention relates to a lead substitute material for radiation protection, in this case, the nominal total lead equivalent of 2.00mm from 0.25, the lead substitute material, 22 wt% of a silicone-based matrix material 12, Sn or from Sn compound 1 75% by weight, W or W compounds from 0 to 73 wt%, containing 80% by weight of Bi or Bi compounds 0. The present invention further provides one or more of the following elements: Er, Ho, Dy, Tb, Gd, Eu, Sm, Ta, Hf, Lu, Yb, Tm, Th, U and / or their compounds and / or to lead substitute material additionally contains CsI.
Enhancing the Migration Ability of Mesenchymal Stromal Cells by Targeting the SDF-1/CXCR4 Axis

Mesenchymal stromal cells (MSCs) are currently being investigated in numerous clinical trials of tissue repair and various immunological disorders based on their ability to secrete trophic factors and to modulate inflammatory responses. MSCs have been shown to migrate to sites of injury and inflammation in response to soluble mediators including the chemokine stromal cell-derived factor-(SDF-)1, but during in vitro culture expansion MSCs lose surface expression of key homing receptors particularly of the SDF-1 receptor, CXCR4. Here we review studies on enhancement of SDF-1-directed migration of MSCs with the premise that their improved recruitment could translate to therapeutic benefits. We describe our studies on approaches to increase the CXCR4 expression in in vitro-expanded cord blood-derived MSCs, namely, transfection, using the commercial liposomal reagent IBAfect, chemical treatment with the histone deacetylase inhibitor valproic acid, and exposure to recombinant complement component C1q. These methodologies will be presented in the context of other cell targeting and delivery strategies that exploit pathways involved in MSC migration. Taken together, these findings indicate that MSCs can be manipulated in vitro to enhance their in vivo recruitment and efficacy for tissue repair.
Neurobiological Evidence for Abstract Phonological Representations in the Mental Lexicon during Speech Recognition

A central issue in speech recognition is how contrastive phonemic information is stored in the mental lexicon. The conventional view assumes that this information is closely related to acoustic properties of speech. Considering that no word is ever pronounced alike twice and that the brain has limited capacities to manage information, an opposing view proposes abstract underspecified representations where not all phonemic features are stored. We examined this proposal using event-related brain potentials, in particular mismatch negativity (MMN), an automatic change detection response in the brain that is sensitive to language-specific phoneme representations. In the current study, vowel pairs were presented to subjects, reversed as standard and deviant. Models not assuming underspecification predict equal MMNs for vowel pairs regardless of the reversal. In contrast, enhanced and earlier MMNs were observed for those conditions where the standard is not phonologically underspecified in the mental representation. This provides the first neurobiological evidence for a featurally underspecified mental lexicon.
University of Birmingham On a categorical framework for coalgebraic modal logic

A category of one-step semantics is introduced to unify diﬀerent approaches to coalgebraic logic parametric in a contravariant functor that assigns to the state space its collection of predicates with propositional connectives. Modular constructions of coalgebraic logic are identiﬁed as colimits, limits, and tensor products, extending known results for predicate liftings. Generalised predicate liftings as modalities are introduced. Under common assumptions, the logic of all predicate liftings together with a complete axiomatisation exists for any type of coalgebras, and it is one-step expressive for ﬁnitary functors. Colimits and compositions of one-step expressive coalgebraic logics are shown to remain one-step expressive.
Background on methods of stimulation in galvanic-induced body sway in young healthy adults

The aim of this study was to develop a standardized procedure for reproducible quantification of galvanic-induced body sway (GBS). This was a prospective experimental study conducted in a tertiary referral centre. An exploratory study was first conducted to define the galvanic vestibular stimulation (GVS) method that resulted in the best reproducible responses. Ten subjects underwent computer-controlled GVS using five different types of monaural and binaural stimulation with 2-mA currents. Cosinusoidal stimulation gave the most reproducible responses. The frequency and current variability of this stimulus type were then tested in the same 10 subjects. A monaural continuous 1–cosinusoidal current of 0.5 Hz and 2 mA gave the most reproducible responses (<20% test–retest variation) and the largest GBS amplitude. The other (sinusoidal) stimuli resulted in variabilities exceeding 50%. This stimulus was thus used for further testing in our normative study. In this study we measured GBS amplitude at 0.5 Hz in 60 subjects, with eyes closed and an inter-feet distance of 0 cm, using a force platform. In addition to body sway, responses included slight dizziness, taste sensations and a tingling sensation at the site of stimulation. Habituation to the applied stimulus was seen. Binaural prestimulation, performed in 50/60 test subjects, is necessary to reduce habituation and achieve optimal reproducibility in order to be able to compare the sensitivity of the left and right vestibular systems. The test–retest variability was determined in detail in 12 additional subjects. Prestimulation reduced habituation, but improved the sensitivity of the method; some test–retest variability persisted (<20%).
Design of Hidden Web Search Engine

Extracting Hidden Web data arises several challenges especially in case of data sources with multi-attribute interfaces wherein multiple attributes and their respective values should be extracted, indexed and stored. Hence, accessing the hidden web content is a potential research area as the pages are dynamically created through search query interface. However, direct query through search interface is laborious way to search. Hence, there has been increased interest in retrieval and integration of hidden web data with a view to give high quality information to the web user or we can say it is highly desirable to build a hidden web search engine. This paper proposes a novel approach for building a hidden web search engine which fills the search forms automatically, extracts the result records, store them in a repository for later searching. This proposed work also provides the user with user interface in which user can fill the query and finds the desired results.
ISP-Enabled Behavioral Ad Targeting without Deep Packet Inspection

Online advertising is a rapidly growing industry currently dominated by the search engine 'giant' Google. In an attempt to tap into this huge market, Internet Service Providers (ISPs) started deploying deep packet inspection techniques to track and collect user browsing behavior. However, such techniques violate wiretap laws that explicitly prevent intercepting the contents of communication without gaining consent from consumers. In this paper, we show that it is possible for ISPs to extract user browsing patterns without inspecting contents of communication. Our contributions are threefold. First, we develop a methodology and implement a system that is capable of extracting web browsing features from stored non- content based records of online communication, which could be legally shared. When such browsing features are correlated with information collected by independently crawling the Web, it becomes possible to recover the actual web pages accessed by clients. Second, we systematically evaluate our system on the Internet and demonstrate that it can successfully recover user browsing patterns with high accuracy. Finally, our findings call for a comprehensive legislative reform that would not only enable fair competition in the online advertising business, but more importantly, protect the consumer rights in a more effective way.
Research and Design on Mixed-Dumping Algorithm in Sanshandao Gold Mine

This paper aims to solve the dumping count problem of trackless transport equipment (scooptram, truck) and to recognize ore II. the respective time and count of two mixed dumping -ore into the mullock chute and mullock into the ore pass. Instead of manual work, the proposed algorithm further improves the level of informatization, automation and intelligence of the mining operations.
Speaker recognition from coded speech in matched and mismatched conditions

We investigate the effect of speech coding on automatic speaker recognition when training and testing conditions are matched and mismatched. Experiments use standard speech coding algorithms (GSM, G.729, G.723, MELP) and a speaker recognition system based on Gaussian mixture models adapted from a universal background model. There is little loss in recognition performance for toll quality speech coders and slightly more loss when lower quality speech coders are used. Speaker recognition from coded speech using handset dependent score normalization is examined, and we find that this significantly improves performance, particularly when there is a mismatch between training and testing conditions.
Counting Toroidal Binary Arrays, II

We derive formulas for $(i)$ the number of toroidal $n\times n$ binary arrays, allowing rotation of rows and/or columns as well as matrix transposition, and $(ii)$ the number of toroidal $n\times n$ binary arrays, allowing rotation and/or reflection of rows and/or columns as well as matrix transposition.
Adaptive online scheduling in storm

Today we are witnessing a dramatic shift toward a data-driven economy, where the ability to efficiently and timely analyze huge amounts of data marks the difference between industrial success stories and catastrophic failures. In this scenario Storm, an open source distributed realtime computation system, represents a disruptive technology that is quickly gaining the favor of big players like Twitter and Groupon. A Storm application is modeled as a topology, i.e. a graph where nodes are operators and edges represent data flows among such operators. A key aspect in tuning Storm performance lies in the strategy used to deploy a topology, i.e. how Storm schedules the execution of each topology component on the available computing infrastructure. In this paper we propose two advanced generic schedulers for Storm that provide improved performance for a wide range of application topologies. The first scheduler works offline by analyzing the topology structure and adapting the deployment to it; the second scheduler enhance the previous approach by continuously monitoring system performance and rescheduling the deployment at run-time to improve overall performance. Experimental results show that these algorithms can produce schedules that achieve significantly better performances compared to those produced by Storm's default scheduler.
Extraction and retrieval of furniture from designing decoration and furniture database

A novel approach to extract and retrieve furniture items from an image database and online websites which includes multiple furniture items, and then find the similar items from the database. The image could be taken using phone cameras or downloaded from online websites or from shopping malls. A real time application is developed in android phone to find the similar images of furniture taken using the phone camera in which people are interested in. The additional processing can be divided into three steps: first, certain image segmentation techniques are need to be applied to split out each individual furniture item; then, an object recognition technique is applied to each segmented furniture item; finally a shape feature matching scheme is used to retrieve similar images to the segmented furniture items from the database.
A Review of Perindopril in the Reduction of Cardiovascular Events

Background Angiotensin-converting enzyme inhibitors (ACEI) have a well-established role in the prevention of cardiovascular events in hypertension, left ventricular dysfunction, and heart failure. More recently, ACEI have been shown to prevent cardiovascular events in individuals with increased cardiovascular risk, where hypertension, left ventricular dysfunction, or heart failure was not the primary indication for ACEI therapy. Objective To review studies of the effects of the ACEI perindopril on cardiovascular events. Method The EUROPA (European Trial on Reduction of Cardiac Events with Perindopril in Patients with Stable Coronary Artery Disease Study), PROGRESS (Perindopril Protection Against Recurrent Stroke Study), and ASCOT-BPLA (Anglo-Scandinavian Cardiac Outcomes Trial – Blood Pressure Lowering Arm) trials are reviewed. Results Perindopril alone reduced cardiovascular events in subjects with stable coronary heart disease. Perindopril in combination with indapamide reduced cardiovascular events in subjects with cerebrovascular disease. Perindopril in combination with amlodipine reduced cardiovascular events in subjects with hypertension. Conclusion Perindopril reduced cardiovascular events. The reduction of cardiovascular events by perindopril was in large part associated with reduction of blood pressure, and greater reduction in cardiovascular events was associated with greater reduction of blood pressure. Perindopril may need to be combined with other antihypertensive agents to maximize reduction of cardiovascular events.
Genome Differences between Treponema pallidum subsp. pallidum Strain Nichols and T. paraluiscuniculi Strain Cuniculi A

ABSTRACT The genome of Treponema paraluiscuniculi strain Cuniculi A was compared to the genome of the syphilis spirochete Treponema pallidum subsp. pallidum strain Nichols using DNA microarray hybridization, whole-genome fingerprinting, and DNA sequencing. A DNA microarray of T. pallidum subsp. pallidum Nichols containing all 1,039 predicted open reading frame PCR products was used to identify deletions and major sequence changes in the Cuniculi A genome. Using these approaches, deletions, insertions, and prominent sequence changes were found in 38 gene homologs and six intergenic regions of the Cuniculi A genome when it was compared to the genome of T. pallidum subsp. pallidum Nichols. Most of the observed differences were localized in tpr loci and the vicinity of these loci. In addition, 14 other genes were found to contain frameshift mutations resulting in major changes in protein sequences. Analysis of restriction target sites representing 0.34% of the total genome length and DNA sequencing of three PCR products (0.46% of the total genome length) amplified from Cuniculi A chromosomal regions and comparison to the Nichols genome revealed a sequence similarity of 98.6 to 99.3%. These results are consistent with a close genetic relationship among the T. pallidum strains and subspecies and a strong, but relatively divergent connection between the human and rabbit pathogens.
Query and Product Suggestion for Price Comparison Search Engines based on Query-product Click-through Bipartite Graphs

Query suggestion is a technique for generating alternative queries to facilitate information seeking, and has become a needful feature that commercial search engines provide to web users. In this paper, we focus on query suggestion for price comparison search engines. In this specific domain, suggestions provided to web users need to be properly generated taking into account whether both the searched and the suggested products are still available for sale. To this end, we propose a novel approach based on a slightly variant of classical query-URL graphs: the query-product click through bipartite graph. Such graph is built using information extracted both from search engine logs and specific domain features such as categories and products popularities. Information collected from the query-product graph can be used to suggest not only related queries but also related products. The proposed model was tested on several challenging datasets, and also compared with a recent competing query suggestion approach specifically designed for price comparison engines. Our solution outperforms the competing approach, achieving higher results both in terms of relevance of the provided suggestions and coverage rates on top-8 suggestions.