Miracle-dz/UniFAR-FTUs huggingface dataset:
Efficient Search in P2P-based Video-on-Demand Streaming Service

Providing video-on-demand streaming service to a large population of clients using peer-to-peer approach is drawing great interest recently. Since clients' demands are asynchronous and the buffered contents are continuously changing, how to find partners with expected data and collaborate with each other for future content delivery are very important and challenging. In this paper, we propose a generic buffer-assisted search (BAS) scheme to improve partner search efficiency. Extensive simulation results demonstrate that BAS can provide faster response time with less control cost than the existing search methods
UWB Array-Based Sensor for Near-Field Imaging

In this paper, the development of an ultra-wideband (UWB) array-based time-domain radar sensor for near-field imaging is described. The radar sensor is designed to be used within a vehicle-mounted multisensor system for humanitarian demining. The main novelty of the radar lies in the system design with a single transmitter and multichannel receiver. Design of the UWB antenna array is also novel. The radar produces 3D images of subsurface by 1D mechanical scanning. The imaging capability of the radar is realized via electronic steering of the receive antenna footprint in a cross-scan direction and synthetic aperture processing in an along-scan direction. Imaging via footprint steering allows for a drastic increase in the scanning speed.
Long-Term Temporal Imprecision of Information Coding in the Anterior Cingulate Cortex of Mice with Peripheral Inflammation or Nerve Injury

Temporal properties of spike firing in the central nervous system (CNS) are critical for neuronal coding and the precision of information storage. Chronic pain has been reported to affect cognitive and emotional functions, in addition to trigger long-term plasticity in sensory synapses and behavioral sensitization. Less is known about the possible changes in temporal precision of cortical neurons in chronic pain conditions. In the present study, we investigated the temporal precision of action potential firing in the anterior cingulate cortex (ACC) by using both in vivo and in vitro electrophysiological approaches. We found that peripheral inflammation caused by complete Freund's adjuvant (CFA) increased the standard deviation (SD) of spikes latency (also called jitter) of ∼51% of recorded neurons in the ACC of adult rats in vivo. Similar increases in jitter were found in ACC neurons using in vitro brain slices from adult mice with peripheral inflammation or nerve injury. Bath application of glutamate receptor antagonists CNQX and AP5 abolished the enhancement of jitter induced by CFA injection or nerve injury, suggesting that the increased jitter depends on the glutamatergic synaptic transmission. Activation of adenylyl cyclases (ACs) by bath application of forskolin increased jitter, whereas genetic deletion of AC1 abolished the change of jitter caused by CFA inflammation. Our study provides strong evidence for long-term changes of temporal precision of information coding in cortical neurons after peripheral injuries and explains neuronal mechanism for chronic pain caused cognitive and emotional impairment.
Electrooptically-Active Slow-Light-Enhanced Silicon Slot Photonic Crystal Waveguides

An electrooptically-active 80-nm-slot silicon photonic crystal waveguide is experimentally demonstrated. The index perturbation enhancement of 30 times is demonstrated in a Mach-Zehnder interferometer configuration. The second enhancement factor is the energy confinement within the slot region of the photonic crystal waveguide. The combined effect provides good potential for sensor applications.
Mosaic architecture of the somatic sensory-recipient sector of the cat's striatum

The striatum is known to have a compartmental organization in which histochemically defined zones called striosomes form branched 3- dimensional labyrinths embedded within the surrounding matrix. We explored how fiber projections from cortical somatic sensory areas representing cutaneous and deep-receptor inputs are organized in relation to this striatal architecture. Areas SI and 3a were mapped electrophysiologically, and distinguishable anterograde tracers (wheat germ agglutinin-HRP and 35S-methionine) were injected into physiologically identified loci. Primary somatic sensory corticostriatal projections were confined to a small, well-defined sector in the dorsolateral corner of the ipsilateral striatum. The somatic sensory afferents were arranged according to a coherent global body map in which rostral body parts were represented more laterally than caudal body parts. Single cortical loci innervated branched and clustered striatal zones that were reminiscent of the striosomes in their range of sizes and shapes yet lay strictly within the extrastriosomal matrix. In contrast to the global orderliness of the striatal body map, there were clear examples of locally complex patterns in which functionally distinct inputs interdigitated with each other. These patterns were often, but not always, produced when corticostriatal afferents carrying different submodality types were labeled. These findings demonstrate the existence of striosome-like striatal compartments within the seemingly uniform extrastriosomal matrix. The principle of mosaic organization thus holds throughout the tissue of the somatic sensory striatum. The striatal architecture delineated here could provide the anatomical substrate for computations requiring cross-modality comparisons within the framework of an overall somatotopy. If a similar multicompartmental architecture also characterizes other striatal regions, as seems likely, it may set general constraints on the nature of associative processing within the striatum as a whole.
Rapid flow cytofluorometric analysis of mammalian cell cycle by propidium iodide staining

A rapid method for the flow microfluorometric determination of the DNA content per cell is described. Incubation of cells in a hypotonic solution of propidium iodide results in disruption of the cell membrane and rapid staining of nuclear chromatin. DNA distribution histograms generated from cells stained by this method are identical to those generated after fixation and RNase digestion. In contrast to some earlier described methods, the present technique is rapid (5 min of processing), requires a minimal amount of material, and avoids formation of cell clumps.
Studies on Rickettsia-Like Micro-Organisms in Insects.

INTRODUCTION HisTORICAL REVIEW OF THE KNOWN RIcKETTSIAE MATERIALS AND TECHNIQUE Criteria for Distinguishing Rickettsiae from Cell Granules, etc. OBSERVATIONS ON VARIOUs RICKETTSIAE Rickettsia medophagi in the Sheep-Ked, Melophagus ovinus Rickettsia in the Mosquito, Culex pipiens Rickettsia in the Sand-Fly, Culicoides sanguisuga Rickettsiae in Tabanidae Rickettsia lectularia in the Bedbug, Cimex lectularius Rickettsiae in Siphonaptera Rickettsiae in Corrodentia Rickettsiae in Mallophaga Rickettsiae in Coleoptera. The Drug-Store Beetle, Sitodrepa panicea Rickettsia in the Argasid Tick, Ornithodorus moubata Intracellular Protozoa found in the Ixodid Tick, Dermacentor Other Bacterial Organisms of Insects DISCUSSION Relation of Rickettsiae to their Hosts Nature and Relationships of the Rickettsiae TABULAR SUMMARY OF RICKETTsIA-LIcE ORGANISMS REFERENCES CITE DESCRIPTON OF PLATES
Myelin Oligodendrocyte Glycoprotein (MOG35-55) Induced Experimental Autoimmune Encephalomyelitis (EAE) in C57BL/6 Mice

Multiple sclerosis is a chronic neuroinflammatory demyelinating disorder of the central nervous system with a strong neurodegenerative component. While the exact etiology of the disease is yet unclear, autoreactive T lymphocytes are thought to play a central role in its pathophysiology. MS therapy is only partially effective so far and research efforts continue to expand our knowledge on the pathophysiology of the disease and to develop novel treatment strategies. Experimental autoimmune encephalomyelitis (EAE) is the most common animal model for MS sharing many clinical and pathophysiological features. There is a broad diversity of EAE models which reflect different clinical, immunological and histological aspects of human MS. Actively-induced EAE in mice is the easiest inducible model with robust and replicable results. It is especially suited for investigating the effects of drugs or of particular genes by using transgenic mice challenged by autoimmune neuroinflammation. Therefore, mice are immunized with CNS homogenates or peptides of myelin proteins. Due to the low immunogenic potential of these peptides, strong adjuvants are used. EAE susceptibility and phenotype depends on the chosen antigen and rodent strain. C57BL/6 mice are the commonly used strain for transgenic mouse construction and respond among others to myelin oligodendrocyte glycoprotein (MOG). The immunogenic epitope MOG35-55 is suspended in complete Freund's adjuvant (CFA) prior to immunization and pertussis toxin is applied on the day of immunization and two days later. Mice develop a "classic" self-limited monophasic EAE with ascending flaccid paralysis within 9-14 days after immunization. Mice are evaluated daily using a clinical scoring system for 25-50 days. Special considerations for care taking of animals with EAE as well as potential applications and limitations of this model are discussed.
DATA: A double auction based task assignment mechanism in crowdsourcing systems

With the increasing number of smartphone users, mobile phone sensing applications have been regarding as a promising paradigm which makes use of the smartphones to access the ubiquitous environment data. In this work, we study the sensing task auction problem where there are multiple tasks and smartphone users. The most significant challenge of this problem is how to design a truthful auction mechanisms, which is crucial for auction mechanism design. Thus, we address this challenge by proposing DATA, which is a truthful double auction mechanism for sensing tasks allocation. Different from the existing designs, we are the first to design double auction mechanism for solving mobile phone sensing problem. Besides, we further take the relationship between the utility of task demanders and the number of users that are assigned to do the tasks into consideration, and assign a set of smartphone users to a winning demander which can maximize the winning demander's utility. At last, we conduct extensive simulations to study the performances of the proposed auction mechanism, and the simulation results corroborate our theoretical analysis.
An Electronic Commerce Security Model Based on SOA

SOA provides an effective way for electronic commerce. On the basis of studying generic business and SOA security mechanisms, this paper points out the inadequacies of current electronic commerce system and gives out a electronic commerce security model based on SOA. It can provide a secure, compatible and extensible application for business process.
High-throughput detection and multiplex identification of cell contaminations

Unnoticed cell culture contamination by viruses, Mycoplasma, or other cell lines is not uncommon and a threat to laboratory safety and the quality of scientific results. We developed and validated a novel high-throughput Multiplex cell Contamination Test (McCT), which is currently able to detect 37 contamination markers in a single reaction. The assay is based on multiplex PCR with target-specific primers and subsequent hybridization of amplimers to specific oligonucleotide probes. McCT proved to be highly specific, sensitive and robust, and allows to analyze more than 1000 cell lysates per week. In conclusion, the novel McCT assay is a powerful high-throughput tool in assessing cell line purity.
Remote Programmatic vCloud Forensics: A Six-Step Collection Process and a Proof of Concept

With the increasing popularity of cloud services and their potential to either be the target or the tool in a cybercrime activity, organizational cloud services users need to ensure that they are able to collect evidential data should they be involved in litigation or a criminal investigation. In this paper, we seek to contribute to a better understanding of the technical issues and processes regarding collection of evidential data in the cloud computing environment. Using VMware vCloud as a case study in this paper, we describe the various artefacts available in the cloud environment and identify several forensic preservation considerations for forensics practitioners. We then propose a six-step process for the remote programmatic collection of evidential data to ensure as few changes as possible are made as part of evidence collection and that no potential evidence is missed. The six-step process is implemented in a proof of concept application to demonstrate utility of the process.
Rosetta Stone Linguistic Problems

This paper describes the process of composing problems that are suitable for competitions in linguistics. The type of problems described is “Rosetta Stone”—a bilingual problem where typically one of the languages is unknown, and the other is the native language of the person solving the problem. The process includes selecting phenomena, composing and arranging the data and assignments in order to illustrate the phenomena, and verifying the solvability and complexity of the problem.
Integrating EMDR into an evolutionary-based therapy for depression: a case study

We present an intervention in a case of major depression, where eye movement desensitization and reprocessing (EMDR) therapy was integrated into an evolutionary‐based psychotherapy for depression. At the end of the treatment and at follow up assessment we observed a more accepting disposition and decreased depressive but not anxiety symptoms.
The Gauge/Gravity Theory of Blown up Four Cycles

We present an explicit supersymmetric deformation of supergravity backgrounds describing D3-branes on Calabi-Yau cones. From the geometrical point of view, it corresponds to blowing up a 4-cycle in the Calabi-Yau and can be done universally. In the field theory, we identify this deformation with motion on non-mesonic directions in the full moduli space of vacua. For the case of a Z_2 orbifold of the conifold, we discuss an explicit gravity solution with two deformation parameters: one corresponding to blowing up a 2-cycle and one corresponding to blowing up a 4-cycle. The generic case where the Calabi-Yau is toric is also discussed in detail. Quite generally, the order parameter of these 4-cycle deformations is a dimension six operator. We also consider probe strings which show linear confinement and probe D7 branes which help in understanding the behavior far in the infrared.
Multilingual Document Alignment - A Study with Chinese and Japanese

Natural language processing (NLP) community is increasingly using paralleland comparablecorpora for cross-linguistic research. The knowledge extracted from such corpora helps us in cross-language information retrieval, topic detection and tracking, machine translation, and many other NLP tasks. Parallel or comparable corpora of JapaneseChinese language-pair are rare. We investigate an automatic approach to build bilingual corpora from a collection of unaligned bilingual-documents using linguistic and statistical processing. The similarities between two documents across the languages are calculated using mutual information (MI) and residual inverse document frequency (RIDF) of Kanji. We explained the document alignment algorithm in detail and evaluated the effectiveness of the algorithm using a collection of potentially relevant but unaligned bilingual documents.
Learning behavior models of hybrid systems using wavelets for autonomous jumps detection

Today's hybrid technical systems, such as production facilities, evolve rapidly. Therefore the efforts and resources needed to obtain their trustworthy behavior models are significantly increased. This forms the modeling bottleneck, as the model creation mostly relies on the expensive and durable manual modeling. Behavior models are of the greatest importance in monitoring, anomaly detection, and diagnosis applications. To deal with this issue, the novel HyBUTLA algorithm was recently proposed for automated learning of behavior models from process data. Despite being the first hybrid automaton learning algorithm, it does not model the autonomous jumps (abrupt changes in process variables), and it suffers from long runtime due to the use of advanced machine learning methods. In this paper the HyBUTLA algorithm is improved to account for the autonomous jumps by introducing the splitting step based on discrete wavelet transform. This significantly improves the algorithm runtime, since high function approximation accuracy can be reached by using rather simple methods such as multiple linear regression. The benefits that splitting brings are formally proved and demonstrated in a real-world production system.
Minimally Supervised Novel Relation Extraction Using a Latent Relational Mapping

The World Wide Web includes semantic relations of numerous types that exist among different entities. Extracting the relations that exist between two entities is an important step in various Web-related tasks such as information retrieval (IR), information extraction, and social network extraction. A supervised relation extraction system that is trained to extract a particular relation type (source relation) might not accurately extract a new type of a relation (target relation) for which it has not been trained. However, it is costly to create training data manually for every new relation type that one might want to extract. We propose a method to adapt an existing relation extraction system to extract new relation types with minimum supervision. Our proposed method comprises two stages: learning a lower dimensional projection between different relations, and learning a relational classifier for the target relation type with instance sampling. First, to represent a semantic relation that exists between two entities, we extract lexical and syntactic patterns from contexts in which those two entities co-occur. Then, we construct a bipartite graph between relation-specific (RS) and relation-independent (RI) patterns. Spectral clustering is performed on the bipartite graph to compute a lower dimensional projection. Second, we train a classifier for the target relation type using a small number of labeled instances. To account for the lack of target relation training instances, we present a one-sided under sampling method. We evaluate the proposed method using a data set that contains 2,000 instances for 20 different relation types. Our experimental results show that the proposed method achieves a statistically significant macroaverage F-score of 62.77. Moreover, the proposed method outperforms numerous baselines and a previously proposed weakly supervised relation extraction method.
An Introduction to Empty Lattice-simplices

We study simplices whose vertices lie on a lattice and have no other lattice points. Suchèmpty lattice simplices' come up in the theory of integer programming, and in some combi-natorial problems. They have been investigated in various contexts and under varying terminology Can thèemptiness' of lattice simplices bèwell-characterized' ? Is theirìattice-width' small ? Do the integer points of the parallelepiped they generate have a particular structure ? Thègood characterization' of empty lattice simplices occurs to be open in general ! We provide a polynomial algorithm for deciding when a given integer`knapsack' or`partition' lattice simplex is empty. More generally, we ask for a characterization of linear inequalities satissed by the lattice points of a lattice parallelepiped. We state a conjecture about such inequalities, prove it for n 4, and deduce several variants of classical results of Reeve, White and Scarf characterizing the emptiness of small dimensional lattice simplices. For instance, a three dimensional integer simplex is empty if and only if all its faces have width 1. Seemingly diierent characterizations can be easily proved from one another using the Hermite normal form. In xed dimension the width of polytopes can be computed in polynomial time (see the simple integer programming formulation of Haase and Ziegler). We prove that it is already NP-complete to decide whether the width of a very special class of integer simplices is 1, and we also provide for every n 3 a simple example of n-dimensional empty integer simplices of width n ? 2, improving on earlier bounds.
Visualizing video sounds with sound word animation

Text captions are important means to provide sound information in videos when the sound is not accessible. However, conventional text captions are far less expressive for non-verbal sounds since they are designed to visualize speech sound. To address this problem, we propose a method for automatically transforming non-verbal video sounds to animated sound words, and positioning them near the sound source objects in the video for visualization. This provides natural visual representation of non-verbal sounds with rich information about the sound category and dynamics. We conducted a user study with over 300 participants using an online crowdsourcing service. The results showed that animated sound words could not only effectively and naturally visualize the dynamics of sound while clarify the position of the sound source, but also contribute to making video watching more enjoyable and increasing the visual impact of the video.
Decreasing Power Consumption of a Medical E-textile

In this paper we present a novel design of a wearable electronic textile. After defining a special application, we used the specifications of some low power, tiny elements including sensors, microcontrollers, transceivers, and a fault tolerant special topology to have the most reliability as well as low power consumption and longer lifetime. We have considered two different conditions as normal and bodily critical conditions and set priorities for using different sensors in various conditions to have a longer effective lifetime. Keywords—ECG, E-Textile, Fault Tolerance, Power consumption.
Enriching Ontologies for Improved Access to Web Documents

The complex hierarchies of ontologies make it often difficult for human users to locate classes within them. We present in this paper a method to enrich classes of an existing light-weight ontology with additional keyword attributes that are learned from instances of these classes. Further we show a method to use these attributes for improving the recall of queries and for facilitating access to the classes in a result set after a query.