Miracle-dz/UniFAR-FTUs huggingface dataset:
COOJA/MSPSim: interoperability testing for wireless sensor networks

Wireless sensor networks are moving towards emerging standards such as IP, ZigBee and WirelessHART which makes interoperability testing important. Interoperability testing is performed today through black-box testing with vendors physically meeting to test their equipment. Black-box testing can test interoperability but gives no detailed information of the internals in the nodes during the testing. Blackbox testing is required because existing simulators cannot simultaneously simulate sensor nodes with different firmware. For standards such as IP and WirelessHART, a white-box interoperability testing approach is desired, since it gives details on both performance and clues about why tests succeeded or failed. To allow white-box testing, we propose a simulation-based approach to interoperability testing, where the firmware from different vendors is run in the same simulator. We extend our MSPSim emulator and COOJA wireless sensor network simulator to support interoperable simulation of sensor nodes with firmware from different vendors. To demonstrate both cross-vendor interoperability and the benefits of white-box interoperability testing, we run the state-of-the-art Contiki and TinyOS operating systems in a single simulation. Because of the white-box testing, we can do performance measurement and power profiling over both operating systems.
Aemoo: exploring knowledge on the web

Aemoo is a Semantic Web application supporting knowledge exploration on the Web. Through a keyword-based search interface, users can gather an effective summary of the knowledge about an entity, according to Wikipedia, Twitter, and Google News. Summaries are designed by applying lenses based on a set of empirically discovered knowledge patterns.
Knowledge-Based Image Retrieval with Spatial and Temporal Constructs

A knowledge-based approach to retrieve medical images by feature and content with spatial and temporal constructs is developed. Selected objects of interest in a medical image (e.g. x-ray, MR image) are segmented, and contours are generated from these objects. Features (e.g. shape, size, texture) and content (e.g. spatial relationships among objects) are extracted and stored in a feature and content database. Knowledge about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). The high-level nodes in the TAH represent more general concepts than low-level nodes. Thus, traversing along TAH nodes allows approximate matching by feature and content if an exact match is not available. TAHs can be generated automatically by clustering algorithms based on feature values in the databases and hence are scalable to large collections of image features. Further, since TAHs are generated based on user classes and applications, they are context- and user-sensitive.
A strongly polynomial algorithm for linear optimization problems having 0-1 optimal solutions

We present a strongly polynomial algorithm for linear optimization problems of the form min{cx|Ax = b, x ≥ 0} having 0-1 vectors among their optimal solutions. The algorithm runs in time O(n max{m, log n}), where n is the number of variables an m is the number of equations. The algorithm also constructs necessary and sufficient optimality conditions for 0-1 solutions in the form of a linear system.
Maximum MIMO capacity of Rice channel

In this paper, we investigate the capacity limits of Multiple-Input, Multiple-Output (MIMO) communication systems in Rice environments. Under this scenario, In Rice environments the channel response matrix is modeled as the weighted sum of the Line-of-Sight (LOS) and the Non-Line-of-Sight (NLOS) matrices. The LOS transmission matrix is used in a Ricean fading channel model which incorporates spatial correlation between the NLOS components, and performance is evaluated with respect to the average capacity. There are many factors impact the capacity, while the antenna spacing is considered in detail. We derive the criteria for the maximum theoretical capacity in terms of the positioning of the antenna elements in a way that can help in the design of optimal MIMO architectures. Different displacement of antennas can impact the channel rank, the capacity becomes larger when the rank increases. In this paper, we compare the Uniform Linear Arrays (ULAs) and the Uniform Circular Arrays (UCAs), in order to get the impact on capacity of the different displacement of the antennas.
Automatic multi-parametric quantification of the proximal femur with quantitative computed tomography.

BACKGROUND Quantitative computed tomography (QCT) imaging is the basis for multiple assessments of bone quality in the proximal femur, including volumetric bone mineral density (vBMD), tissue volume, estimation of bone strength using finite element modeling (FEM), cortical bone thickness, and computational-anatomy-based morphometry assessments. METHODS Here, we present an automatic framework to perform a multi-parametric QCT quantification of the proximal femur. In this framework, the proximal femur is cropped from the bilateral hip scans, segmented using a multi-atlas based segmentation approach, and then assigned volumes of interest through the registration of a proximal femoral template. The proximal femur is then subjected to compartmental vBMD, compartmental tissue volume, FEM bone strength, compartmental surface-based cortical bone thickness, compartmental surface-based vBMD, local surface-based cortical bone thickness, and local surface-based cortical vBMD computations. Consequently, the template registrations together with vBMD and surface-based cortical bone parametric maps enable computational anatomy studies. The accuracy of the segmentation was validated against manual segmentations of 80 scans from two clinical facilities, while the multi-parametric reproducibility was evaluated using repeat scans with repositioning from 22 subjects obtained on CT imaging systems from two manufacturers. RESULTS Accuracy results yielded a mean dice similarity coefficient of 0.976±0.006, and a modified Haussdorf distance of 0.219±0.071 mm. Reproducibility of QCT-derived parameters yielded root mean square coefficients of variation (CVRMS) between 0.89-1.66% for compartmental vBMD; 0.20-1.82% for compartmental tissue volume; 3.51-3.59% for FEM bone strength; 1.89-2.69% for compartmental surface-based cortical bone thickness; and 1.08-2.19% for compartmental surface-based cortical vBMD. For local surface-based assessments, mean CVRMS were between 3.45-3.91% and 2.74-3.15% for cortical bone thickness and vBMD, respectively. CONCLUSIONS The automatic framework presented here enables accurate and reproducible QCT multi-parametric analyses of the proximal femur. Our subjects were elderly, with scans obtained across multiple clinical sites and manufacturers, thus documenting its value for clinical trials and other multi-site studies.
Taking into Account Manufacturing Faults in PMSM for Diagnosis Purposes

This paper deals with some problems related to the use of fractional slot winding configurations in recent PM motors designs. The main idea is to take into account specific characteristics such as parasitic air-gaps which are leading to unexpected behaviors. Depending on the situation this behaviors can be mistaken electrical or mechanical faults. The aim is to develop improved models of compact actuators avoiding false alarm issues in diagnosis methods.
Genome-Wide Association Mapping of Barley Yellow Dwarf Virus Tolerance in Spring Oat (Avena sativa L.)

Barley yellow dwarf viruses (BYDVs) are responsible for the disease barley yellow dwarf (BYD) and affect many cereals including oat (Avena sativa L.). Until recently, the molecular marker technology in oat has not allowed for many marker-trait association studies to determine the genetic mechanisms for tolerance. A genome-wide association study (GWAS) was performed on 428 spring oat lines using a recently developed high-density oat single nucleotide polymorphism (SNP) array as well as a SNP-based consensus map. Marker-trait associations were performed using a Q-K mixed model approach to control for population structure and relatedness. Six significant SNP-trait associations representing two QTL were found on chromosomes 3C (Mrg17) and 18D (Mrg04). This is the first report of BYDV tolerance QTL on chromosome 3C (Mrg17) and 18D (Mrg04). Haplotypes using the two QTL were evaluated and distinct classes for tolerance were identified based on the number of favorable alleles. A large number of lines carrying both favorable alleles were observed in the panel.
Arctic marine mammal population status, sea ice habitat loss, and conservation recommendations for the 21st century

Arctic marine mammals (AMMs) are icons of climate change, largely because of their close association with sea ice. However, neither a circumpolar assessment of AMM status nor a standardized metric of sea ice habitat change is available. We summarized available data on abundance and trend for each AMM species and recognized subpopulation. We also examined species diversity, the extent of human use, and temporal trends in sea ice habitat for 12 regions of the Arctic by calculating the dates of spring sea ice retreat and fall sea ice advance from satellite data (1979–2013). Estimates of AMM abundance varied greatly in quality, and few studies were long enough for trend analysis. Of the AMM subpopulations, 78% (61 of 78) are legally harvested for subsistence purposes. Changes in sea ice phenology have been profound. In all regions except the Bering Sea, the duration of the summer (i.e., reduced ice) period increased by 5–10 weeks and by >20 weeks in the Barents Sea between 1979 and 2013. In light of generally poor data, the importance of human use, and forecasted environmental changes in the 21st century, we recommend the following for effective AMM conservation: maintain and improve comanagement by local, federal, and international partners; recognize spatial and temporal variability in AMM subpopulation response to climate change; implement monitoring programs with clear goals; mitigate cumulative impacts of increased human activity; and recognize the limits of current protected species legislation.
New insights into therapeutic activity and anticancer properties of curcumin

Natural compounds obtained from plants are capable of garnering considerable attention from the scientific community, primarily due to their ability to check and prevent the onset and progress of cancer. These natural compounds are primarily used due to their nontoxic nature and the fewer side effects they cause compared to chemotherapeutic drugs. Furthermore, such natural products perform even better when given as an adjuvant along with traditional chemotherapeutic drugs, thereby enhancing the potential of chemotherapeutics and simultaneously reducing their undesired side effects. Curcumin, a naturally occurring polyphenol compound found in the plant Curcuma longa, is used as an Indian spice. It regulates not only the various pathways of the immune system, cell cycle checkpoints, apoptosis, and antioxidant response but also numerous intracellular targets, including pathways and protein molecules controlling tumor progression. Many recent studies conducted by major research groups around the globe suggest the use of curcumin as a chemopreventive adjuvant molecule to maximize and minimize the desired effects and side effects of chemotherapeutic drugs. However, low bioavailability of a curcumin molecule is the primary challenge encountered in adjuvant therapy. This review explores different therapeutic interactions of curcumin along with its targeted pathways and molecules that are involved in the regulation of onset and progression of different types of cancers, cancer treatment, and the strategies to overcome bioavailability issues and new targets of curcumin in the ever-growing field of cancer.
Fusing Received Signal Strength from Multiple Access Points for WLAN User Location Estimation

WLAN received signal strength based location estimation techniques are promising for their low cost and ease of deployment. Existing techniques use received signal strength from different access points in an equal way. However, signals sent from the far access point experience more influence of the environmental noises, and more uncertainties are added in the signal strength. As detectable access points have different distance to the user, their contributions to the final estimation should be considered discriminatingly. In this paper, a novel location estimation approach is proposed using the Dempster-Shafer evidence theory to fuse received signal strength from multiple access points with different belief. We elaborate on three key problems during applying the Dempster-Shafter evidence theory. The approach has been implemented in a practical wireless network and experimental results indicate that it is feasible in both accuracy and locating time. An average location estimation error below 2 meters can be obtained.
Quantitative Agent Based Model of User Behavior in an Internet Discussion Forum

The paper presents an agent based simulation of opinion evolution, based on a nonlinear emotion/information/opinion (E/I/O) individual dynamics, to an actual Internet discussion forum. The goal is to reproduce the results of two-year long observations and analyses of the user communication behavior and of the expressed opinions and emotions, via simulations using an agent based model. The model allowed to derive various characteristics of the forum, including the distribution of user activity and popularity (outdegree and indegree), the distribution of length of dialogs between the participants, their political sympathies and the emotional content and purpose of the comments. The parameters used in the model have intuitive meanings, and can be translated into psychological observables.
36 , 1 99 7 Classification of Banded Chromosomes using Error-Correcting Grammatical Inference ( ECGI ) and Multilayer Perceptron ( MLP )

The application of two general-purpose Pattern Recognition techniques (a Syntactic approach, Error Correcting Grammatical Inference, and a Geometric approach, Multilayer Percptron) to unidi-mensionally coded human chromosome recognition is considered in this paper. The results obtained with both techniques are comparable or better than previous results obtained by other authors with the very same data using methods specifically designed for this application.
Path Selection in Streaming Video Over Multioverlay Application Layer Multicast

Application-layer multicast (ALM) has grown tremendously in recent years, making the distribution of bulk data such as streaming video economically feasible for small companies and even individuals. The efficiency of an ALM network depends on its data distribution overlay, which is constructed based on metrics such as round-trip time (RTT) measurement between peers. However Internet measurement experiments revealed that RTT is far from an accurate estimator of bandwidth availability and as such, may lead to sub-optimal performance in the constructed ALM overlays. This paper tackles this problem by developing a new in-band bandwidth probing tool which can estimate the amount of achievable bandwidth available in the target network path so that excess data traffic can be diverted from the congested path without causing new congestion in the target path. Moreover, the probing tool does not incur any bandwidth overhead as it piggybacks on the existing data flow. Simulation results show that multioverlay ALM networks constructed based on achievable bandwidth consistently out-performs RTT-based and residual bandwidth-based approaches in terms of data delivery ratio and video playback continuity. Moreover, the proposed bandwidth probing tool can be implemented entirely within the application and thus can be readily incorporated into existing ALM protocols.
Source Coding Using Families of Universal Hash Functions

This correspondence is concerned with new connections between source coding and two kinds of families of hash functions known as the families of universal hash functions and N-strongly universal hash functions, where N ges 2 is an integer. First, it is pointed out that such families contain classes of well-known source codes such as bin codes and linear codes. Next, performance of a source coding scheme using either of the two kinds of families is evaluated. An upper bound on the expectation of the decoding error probability is obtained for each family. The expectation of the decoding error probability is analyzed in detail for the cases of discrete memoryless sources and sources without the memoryless assumption under a certain class of decoders.
On-line Learning RBF Neural Networks for Sensor Validation

A Sensor Failure Detection, Identification and 1 Accommodation (SFDIA) scheme for a flight control system with dual physical redundancy is proposed, with the focus on taking advantage of analytical redundancy for SFDIA purposes. The proposed scheme, based on a set of neural on-line approximators, has shown to be able to provide desirable SFDIA capabilities. The designed approximators are based on either static or recurrent radial basis function neural networks featuring stable online learning capabilities. Embedded filters are also introduced in the approximator structure as an effective way of increasing the sensitivity to sensor failure while attenuating sensitivity to noise and disturbance. The schemes have been simulated on a non-linear mathematical model of a high performance aircraft developed at West Virginia University from a simulation code distributed for the 1991 GNC Design Challenge.
Implementation of CMOS charge sharing dynamic latch comparator in 130nm and 90nm technologies

This paper proposes a CMOS charge sharing dynamic latch comparator along with the Buffer stage in 130nm and 90nm technologies. The supply voltage for this comparator is 1.3v and 0.9v for 130nm and 90nm respectively. Various analysis of different characteristics of the comparator such as offset, ICMR, propagation delay, power dissipation has been carried out in both the technologies and the result has been compared for both the technologies. The simulation results shows that speed of 1.33GHz and 0.47GHz was achieved with the power dissipation of 4.89mW and 167.32mW in 90nm and 130nm technologies respectively.
Antimicrobial resistance and genetic diversity of Escherichia coli isolated from humans and foods

Antibiotic resistance has increased in recent years, raising the concern of public health authorities. We conducted a study of Escherichia coli isolates obtained from human and food samples to assess the prevalence of antimicrobial resistance and to determine the genotype and clonal relationship of 84 E. coli isolates (48 from humans and 36 from foods). An antimicrobial susceptibility test was performed using the disk diffusion method. Virulence factors were evaluated by multiplex PCR, and the clonal relationship among the resistant isolates was studied by Pulsed Field Gel Electrophoresis (PFGE). All isolates were susceptible to ceftriaxone. Overall, 26%, 20.2%, 15.4% and 6% of the isolates were resistant to tetracycline, ampicillin, sulfamethoxazole/trimethoprim and cephalotin, respectively. Twenty two percent of the isolates exhibited resistance to more than one antimicrobial agent. Multiple-drug resistance was mostly observed in the human isolates and involved the antibiotics ampicillin and tetracycline. None of the six virulence genes were identified among the isolates. Analysis of genetic diversity by PFGE of 31 resistant isolates, revealed 29 distinct restriction patterns. In conclusion, E. coli from humans and foods are resistant to commonly used antibiotics and are highly genetically diverse. In this setting, inappropriate use of antibiotics may be a cause of high resistance rate instead of clonal spread.
Binary specification of nonsense codons by splicing and cytoplasmic translation

Premature translation termination codons resulting from nonsense or frameshift mutations are common causes of genetic disorders. Complications arising from the synthesis of C‐terminally truncated polypeptides can be avoided by ‘nonsense‐mediated decay’ of the mutant mRNAs. Premature termination codons in the β‐globin mRNA cause the common recessive form of β‐thalassemia when the affected mRNA is degraded, but the more severe dominant form when the mRNA escapes nonsense‐mediated decay. We demonstrate that cells distinguish a premature termination codon within the β‐globin mRNA from the physiological translation termination codon by a two‐step specification mechanism. According to the binary specification model proposed here, the positions of splice junctions are first tagged during splicing in the nucleus, defining a stop codon operationally as a premature termination codon by the presence of a 3′ splicing tag. In the second step, cytoplasmic translation is required to validate the 3′ splicing tag for decay of the mRNA. This model explains nonsense‐mediated decay on the basis of conventional molecular mechanisms and allows us to propose a common principle for nonsense‐mediated decay from yeast to man.
Anonymous Identity-Based Encryption with Bounded Leakage Resilience

Memory attacks, inspired by recent realistic physical attacks, have broken many cryptographic schemes which were considered secure. In this paper, we consider the memory leakage resilience in anonymous identity-based encryption schemes. We construct a leakage-resilient anonymous identity based encryption scheme based on dual system encryption. Inspired by Lewko et al.'s techniques, our scheme is built in composite order groups which have four prime order subgroups and blind the public parameters and cipher texts using the random elements of same subgroup to achieve the anonymity. Moreover, we analyze the security of our scheme in the full adaptive-ID model rather than the selective-ID model.
Influencing Performance Development in Student Design Groups through Relational Development

In this paper, a review of a workshop directed by the author, as part of the 2012 Capstone Design Conference held at the University of Illinois, Urbana-Champaign, May 30-June 1, is presented. In the workshop, a theoretical approach that interprets how students form relationships, and how relational environments form student thinking, was presented that gives insight toward how to create high-performance teams in a very short time. The theory and reflection that were shared with workshop participants are based on the author's own experience with his clinic program, and the methods are based on the value-memetic theory known as Spiral Dynamics, originated by Clare Graves in the 1950s, and further developed by his student, Don Beck. During the workshop, the format of a capstone design clinic, measurably successful from an industrial recruitment and a project completion perspective, was presented, and the differences between the fundamental relational structure of this type of clinic, where independent, trust-based relationships are emphasized, vs. one with more traditional grading and policies, and instructor-assigned groups were contrasted. Following this, theory of relational development that all students were subjected to was discussed, and case studies from the workshop director's own program were distributed, highlighted and discussed.