Miracle-dz/UniFAR-FTUs huggingface dataset:
Wireless Sensor Network for Vehicle Speed Monitoring and Traffic Routing System

A smart Vehicle Speed Monitoring and Traffic Routing System (VSMTRS) is proposed using Wireless Sensor Networks to monitor and report about the speeding vehicles and also to regulate the traffic. The system is built up of wireless modules including Crossbow MicaZ mote MPR2400, a 2.4 GHz IEEE 802.15. 4, Tiny Wireless Measurement System (TWMS), a data acquisition card MDA320CA and a base station MIB510. The other modules include a microcontroller and a motor. The software used includes Tiny OS-1.11, Crossbow Moteworks (Xsniffer, Moteview, Moteconfig), MATLAB 7.30 for Data Processing PIC 16F877A is used for generating required data. MPLAB Assembler is used for microcontroller programming. This paper explains about the hardware prototype setup for part of VSMTRS, the algorithms used for the purpose, the advantages and the limitations of the entire system. Also the configuration of the setup, the OS and the application software are elaborated.
Coargumenthood and the processing of pronouns

ABSTRACT We report three eye-movement experiments and an offline task investigating structural constraints on pronoun resolution in different contexts. This included “coargument” contexts in which a pronoun was the direct object of a verb (“The surgeon remembered that Jonathan had noticed him”), so-called picture noun phrases (“The surgeon remembered that Jonathan had a picture of him”) and picture noun phrases with a possessor (“The surgeon remembered about Jonathan’s picture of him”). In each eye-movement experiment, we observed longer reading times when the nonlocal antecedent (“the surgeon”) mismatched in stereotypical gender with the pronoun, but little evidence of the gender of the local antecedent (“Jonathan”) influencing reading times. The offline task suggested readers occasionally interpret pronouns as referring to local antecedents, especially in non-coargument contexts. These results suggest that structural constraints constitute more highly weighted cues to antecedent retrieval than gender congruency during the initial stages of memory retrieval during pronoun resolution.
Fuzzy Stabilization Design for Semilinear Parabolic PDE Systems With Mobile Actuators and Sensors

This paper deals with a fuzzy stabilization design problem for a class of semilinear parabolic partial differential equation (PDE) systems using mobile actuators and sensors. Initially, a Takagi–Sugeno (T–S) fuzzy PDE model is employed to accurately represent the semilinear parabolic PDE system. Subsequently, based on the T–S fuzzy model, a stabilization scheme containing the fuzzy controllers and the guidance of mobile actuator/sensor pairs is proposed, where the spatial domain is decomposed into multiple subdomains according to the number of actuator/sensor pairs and each actuator/sensor pair is capable of moving within the respective subdomain. Then, by a Lyapunov direct technique, an integrated design of fuzzy controllers plus mobile actuator/sensor guidance laws is developed in the form of bilinear matrix inequalities (BMIs), such that the resulting closed-loop system is exponentially stable and the mobile actuator/sensor guidance can enhance the transient performance of the closed-loop system. Furthermore, an iterative algorithm based on linear matrix inequalities is proposed to solve the BMIs. Finally, two examples are given to illustrate the effectiveness of the proposed method.
Autoclaved Tumor Bone for Skeletal Reconstruction in Paediatric Patients: A Low Cost Alternative in Developing Countries

We reviewed in this series forty patients of pediatric age who underwent resection for malignant tumors of musculoskeletal system followed by biological reconstruction. Our surgical procedure for reconstruction included (1) wide en bloc resection of the tumor; (2) curettage of tumor from the resected bone; (3) autoclaving for 8 minutes (4) bone grafting from the fibula (both vascularized and nonvascularized fibular grafts used); (5) reimplantation of the autoclaved bone into the host bone defect and fixation with plates. Functional evaluation was done using MSTS scoring system. At final followup of at least 18 months (mean 29.2 months), 31 patients had recovered without any complications. Thirty-eight patients successfully achieved a solid bony union between the graft and recipient bone. Three patients had surgical site infection. They were managed with wound debridement and flap coverage of the defect. Local recurrence and nonunion occurred in two patients each. One patient underwent disarticulation at hip due to extensive local disease and one died of metastasis. For patients with non-union, revision procedure with bone graft and compression plates was successfully used. The use of autoclaved tumor grafts provides a limb salvage option that is inexpensive and independent of external resources and is a viable option for musculoskeletal tumor management in developing countries.
Toward Self-Generalizing Objects and On-the-Fly Map Generalization

Map generalization is a complex task that sometimes requires human intervention. In order to support such a process on the fly, we propose a generalization approach based on self-generalizing objects (SGOs) that encapsulate geometric patterns (forms common to several cartographic features), generalization algorithms, and spatial integrity constraints. During a database enrichment process, an SGO is created and associated with a cartographic feature or a group of features. Each SGO created is then transformed into a software agent (SGO agent) in a multi-agent on-the-fly map-generalization system. SGO agents are equipped with behaviours that enable them to coordinate the generalization process. This article presents the concept of the SGO and two prototypes developed to support this approach: a prototype for the creation of SGOs and another for the on-the-fly map generalization (which uses the created SGOs).
The Computational Problem of Prospective Memory Retrieval

Although the need to remember to do things in the future is important and ubiquitous in human life, this phenomenon of prospective memory has received little attention in the cognitive modeling community. One roadblock is the lack of a computational definition of the phenomenon. We propose that prospective memory is fundamentally a problem of circular knowledge dependencies. This framework allows us to explain the success of human preemptive, spontaneous retrieval, and noticing-plus-search strategies. It also provides a clear mapping of the problem onto the capabilities of cognitive architectures. We interpret previous ACT-R and Soar models of prospective memory in this light, and identify areas of architectural development that would lead to more complete models of prospective memory.
Metabotropic Glutamate Receptors for Parkinson's Disease Therapy

Excessive glutamatergic signalling within the basal ganglia is implicated in the progression of Parkinson's disease (PD) and inthe emergence of dyskinesia associated with long-term treatment with L-DOPA. There is considerable research focus on the discovery and development of compounds that modulate glutamatergic signalling via glutamate receptors, as treatments for PD and L-DOPA-induced dyskinesia (LID). Although initial preclinical studies with ionotropic glutamate receptor antagonists showed antiparkinsonian and antidyskinetic activity, their clinical use was limited due to psychiatric adverse effects, with the exception of amantadine, a weak N-methyl-d-aspartate (NMDA) antagonist, currently used to reduce dyskinesia in PD patients. Metabotropic receptor (mGlu receptor) modulators were considered to have a more favourable side-effect profile, and several agents have been studied in preclinical models of PD. The most promising results have been seen clinically with selective antagonists of mGlu5 receptor and preclinically with selective positive allosteric modulators of mGlu4 receptor. The growing understanding of glutamate receptor crosstalk also raises the possibility of more precise modulation of glutamatergic transmission, which may lead to the development of more effective agents for PD.
Forecasting: State-Space Models and Kalman Filter Estimation

We present continuous and discrete time linear state-space models and explain the Kalman filter algorithm that is used to obtain the one-step-ahead state estimations recursively. Adaptive and nonlinear state estimations, as well as parameter estimation, with a Kalman filter are also briefly described. Keywords: Kalman filter; Gaussian model; input-output; discrete/continuous-time models
Interactive modelling for AR applications

We present a method for estimating the 3D shape of an object from a sequence of images captured by a hand-held device. The method is well suited to augmented reality applications in that minimal user interaction is required, and the models generated are of an appropriate form. The method proceeds by segmenting the object in every image as it is captured and using the calculated silhouette to update the current shape estimate. In contrast to previous silhouettebased modelling approaches, however, the segmentation process is informed by a 3D prior based on the previous shape estimate. A voting scheme is also introduced in order to compensate for the inevitable noise in the camera position estimates. The combination of the voting scheme with the closed-loop segmentation process provides a robust and flexible shape estimation method. We demonstrate the approach on a number of scenes where segmentation without a 3D prior would be challenging.
A Nonlinear State Space Model for Identifying At-Risk Students in Open Online Courses

How to identify at-risk students in open online courses has received increasing attention, since the dropout rate is unexpectedly high. Most prior studies have focused on using machine learning techniques to predict student dropout based on features extracted from students’ learning activity logs. However, little work has viewed the dropout prediction problem as a sequence classiﬁcation problem in the consideration that the dropout probability of a student at the current time step can be likely dependent on her/his engagement at the previous time step. Therefore, in this paper, we propose a nonlinear state space model to solve this problem. We show how students’ latent states at diﬀerent time steps can be learned via this model, and demonstrate its outperforming prediction accuracy relative to related methods through experiment.
Mechanisms of Immunity in Post-Exposure Vaccination against Ebola Virus Infection

Ebolaviruses can cause severe hemorrhagic fever that is characterized by rapid viral replication, coagulopathy, inflammation, and high lethality rates. Although there is no clinically proven vaccine or treatment for Ebola virus infection, a virus-like particle (VLP) vaccine is effective in mice, guinea pigs, and non-human primates when given pre-infection. In this work, we report that VLPs protect Ebola virus-infected mice when given 24 hours post-infection. Analysis of cytokine expression in serum revealed a decrease in pro-inflammatory cytokine and chemokine levels in mice given VLPs post-exposure compared to infected, untreated mice. Using knockout mice, we show that VLP-mediated post-exposure protection requires perforin, B cells, macrophages, conventional dendritic cells (cDCs), and either CD4+ or CD8+ T cells. Protection was Ebola virus-specific, as marburgvirus VLPs did not protect Ebola virus-infected mice. Increased antibody production in VLP-treated mice correlated with protection, and macrophages were required for this increased production. However, NK cells, IFN-gamma, and TNF-alpha were not required for post-exposure-mediated protection. These data suggest that a non-replicating Ebola virus vaccine can provide post-exposure protection and that the mechanisms of immune protection in this setting require both increased antibody production and generation of cytotoxic T cells.
Update on XplorMed: a web server for exploring scientific literature

As scientific literature databases like MEDLINE increase in size, so does the time required to search them. Scientists must frequently inspect long lists of references manually, often just reading the titles. XplorMed is a web tool that aids MEDLINE searching by summarizing the subjects contained in the results, thus allowing users to focus on subjects of interest. Here we describe new features added to XplorMed during the last 2 years (http://www.bork.embl-heidelberg.de/xplormed/).
Evaluating Welfare Effects of Rice Import Quota in Japan: Based on Measuring Non-Tariff Barriers of SBS Rice Imports

The principal objective of this study is to analyze welfare effects of Japan’s rice import quota focusing on the simultaneous buy and sell (SBS) of the rice importation minimum access (MA) policy. Based on the utility function specified in this study, the constructed model is adopted to measure consumption patterns through estimating elasticity of substitution between imported rice and Japan’s domestic rice, and consumers’ preference parameters for different kinds of rice. The results showed that Japanese households prefer domestic rice to the imported rice. Besides, three scenarios of adjusting rice quota volumes were carried out to examine the changes in consumer prices of imported rice and Japanese consumers’ welfares. The results revealed that tariff equivalents of the SBS import quota almost doubled the scale of the mark-up, and the intervention by the Ministry of Agriculture of Japan did cause non-tariff barriers to trade (NTBs). Finally, if the SBS rice quota quantity was fixed at or larger than 180 thousand tons every fiscal year, the consumer prices of imported rice in Japan’s market would decrease to be less than the prices of Japan’s domestic rice, and therefore the imported rice would have more price advantages in this scenario.
A Fast Algorithm to Calculate the Exact Radiological Path through a Pixel or Voxel Space

Calculating the exact radiological path through a pixel or voxel space is a frequently encountered problem in medical image reconstruction from projections and greatly influences the reconstruction time. Currently, one of the fastest algorithms designed for this purpose was published in 1985 by Robert L. Siddon [1]. In this paper, we propose an improved version of Siddon's algorithm, resulting in a considerable speedup.
Interactive Recommending: Framework, State of Research and Future Challenges

Copyright is held by the author/owner(s). EICS’16, June 21-24, 2016, Bruxelles, Belgium. Abstract In this paper, we present a framework describing the various aspects of recommender systems that can serve for empowering users by giving them more interactive control and transparency in the recommendation process. While conventional recommenders mostly operate like black boxes that cannot be influenced by the user, we identify four aspects properly connected with the recommendation algorithm-namely input data, user model, external context model and presentation-as essential points in which a system may be enhanced by additional interaction possibilities. In light of this framework, we take a closer look at prior and present solutions to integrate recommender systems with more inter-activity and describe future research challenges. Regarding these challenges, we especially focus on experiences gained in our own work and outline future research we have planned in the area of interactive recommending.
Postbounce Evolution of Core-Collapse Supernovae: Long-Term Effects of the Equation of State

We study the evolution of a supernova core from the beginning of the gravitational collapse of a 15 M☉ star up to 1 s after core bounce. We present results of spherically symmetric simulations of core-collapse supernovae by solving general relativistic ν-radiation hydrodynamics in the implicit time differencing. We aim to explore the evolution of shock waves in the long term and investigate the formation of proto-neutron stars together with supernova neutrino signatures. These studies are done to examine the influence of the equation of state (EOS) on the postbounce evolution of shock waves in the late phase and the resulting thermal evolution of proto-neutron stars. We compare two sets of EOSs, namely, those by Lattimer and Swesty (LS-EOS) and by Shen et al. (SH-EOS). We found that, for both EOSs, the core does not explode and the shock wave stalls similarly in the first 100 ms after bounce. A revival of the shock wave does not occur even after a long period in either case. However, the recession of the shock wave appears different beyond 200 ms after bounce, having different thermal evolution of the central core. A more compact proto-neutron star is found for LS-EOS than SH-EOS with a difference in the central density by a factor of ~2 and a difference of ~10 MeV in the peak temperature. The resulting spectra of supernova neutrinos are different to an extent that may be detectable by terrestrial neutrino detectors.
Web Service Recommendations Based on Time-Aware Bayesian Networks

With the increasing number of services published on the Web, it is useful to derive desirable service execution plans by identifying relevant and reliable services via an intelligent and automated recommendation process. Different from other proposals, this paper proposes to exploit time-dependant relationships among web services and their quality of service to make better recommendations. We employ time-aware Bayesian networks to reveal time dependency relationships for quality of service from service logs. Service selection is then guided using the latest time-step quality of service of related services. The short listed services can be further evaluated by business social trust paths to identify their trustworthiness. Our experiments demonstrate the effectiveness of our proposed service ranking method.
An Architecture of Active Learning SVMs with Relevance Feedback for Classifying E-mail

In this paper, we have proposed an architecture of active learning SVMs with relevance feedback (RF)for classifying e-mail. This architecture combines both active learning strategies where instead of using a randomly selected training set, the learner has access to a pool of unlabeled instances and can request the labels of some number of them and relevance feedback where if any mail misclassified then the next set of support vectors will be different from the present set otherwise the next set will not change. Our proposed architecture will ensure that a legitimate e-mail will not be dropped in the event of overflowing mailbox. The proposed architecture also exhibits dynamic updating characteristics making life as difficult for the spammer as possible.
An in vitro procedure for studying enzymic dephosphorylation of phytate in maize-soyabean feeds for turkey poults

An in vitro method was developed to predict inorganic P release from maize-soyabean poultry feeds containing supplemental phytase (EC31·3·8), and to quantify the effect of acid phosphatase (EC 3·1·3·2), fungal protease (EC 3·4·23·6) and Aspergillus niger cellulase (EC 3·2·1·4) on phytate dephosphorylation. Pepsin (EC3·4·23·1) and pancreatin digestion periods were preceded by a 30 min pre-incubation at pH 5·25 to simulate digestion in the crop of poultry. Pancreatin digestion was carried out in dialysis tubing, with a ratio of about 1:25 (v/v) between the digesta and dialysing medium, to simulate gradient absorption from the duodenum. The feed:water ratio was kept within physiological limits and a constant proportion of feed weight to digestive enzymes was maintained. There was a linear response to increasing dosages of phytase up to 1000 phytase units (FTU)/kg feed, and to increasing phosphate concentration in feeds. In vivo validation was performed with growing turkeys (1–3 weeks) fed on diets containing 12 g Ca/kg and 0, 500 or 1000 FTU phytase/kg in a factorial arrangement with 0, 1, 2 or 3 g supplemental phosphate/kg (from KH2PO4). After a simple transformation (variable/in vitro P = f (in vitro P)), amounts of P hydrolysed from feed samples by in vitro digestions correlated with 3-week body-weight gain (R 0·986, P < 0·0001), toe ash (R 0·952, P < 0·0001), feed intake (R 0·994, P < 0·0001) and feed efficiency (R 0·992, P < 0·0001). The dephosphorylating ability of phytase in vitro was significantly enhanced (P < 0·05) by the addition of acid phosphatase. Fungal acid protease and Aspergillus niger cellulase also enhanced the dephosphorylation process in vitro.
A novel fingerprint smear detection method based on integrated sub-band feature representation

Fingerprint smear detection has become a challenging issue due to the erratic texture of the smear tissue and its similarity to normal finger area. This paper presents a novel fingerprint image smear detection approach integrating symmetric wavelet transform (SWT), gray level co-occurrence matrix and DCT. A feature extraction algorithm is first proposed by utilizing SWT to decompose each fingerprint and characterizing local texture features of defective finger tissue with the SWT coefficients in sub-bands 4∼19. Concurrence matrix based texture features are incorporated into the feature vector to further improve the texture classification sensitivity. The fused feature vector is then fed into a pre-trained genetic neural network classifier, which identifies smears by labeling fingerprint sub-blocks into different categories. Finally, DCT decomposition is used to detect abnormalities in smear images. Experimental results indicate that the hybrid method can effectively identify various types of fingerprint smears.
Real-time adjustment strategy for conflict-free taxiing route of A-SMGCS aircraft on airport surface

With regard to the real-time adjustment for conflict-free taxiing route planning of A-SMGCS aircrafts on airport surface, a colored taxiway-oriented Petri net model was proposed. The process of aircrafts accessing an airport road section according to the planned time windows could be interpreted as the access priority of aircrafts for a road section. Aircraft taxiing route was adjusted by decreasing the priority of delayed aircrafts to access road section, which could avoid long waits. To change priorities of aircrafts may lead to two kinds of conflicts: head-on conflicts and circular wait conflicts. Sufficient condition and priority change strategy of aircrafts conflict-free taxiing were proposed to solve those conflicts. The result demonstrates that the proposed method can avoid conflicts in route plans adjustment, and the control rules are simple, effective and suitable for real-time control.
Equivariant volumes for linearized actions

Suppose given a linearized action on a polarized complex projective manifold (M,L), and assume that the stable locus is non-empty. We study the leading asymptotics of the dimension of the equivariant summands appearing in the space of global sections of high powers of L. We use Kirwan resolutions and an elementary algebro-geometric argument to reduce the problem to the case of non-singular actions (that is, actions for which the stable and semistable loci coincide and are non-empty).