Miracle-dz/UniFAR-FTUs huggingface dataset:
Handoff procedure for heterogeneous wireless networks

Handoff is an important issue when considering mobility in heterogeneous telecommunication networks. During the past ten years, telecommunication networks have emerged as a central strategic component in various fields. Today, added flexibility of the heterogeneous wireless networks in the form of robust inter-technology mobility management schemes and sophisticated algorithms is becoming more important. Also data applications and IP protocols have become more important players when designing future architechtures. This paper gives a novel approach to procedures, algorithms and metrics involved in handoff in heterogeneous wireless networks. A network layer Mobile IP based handoff procedure between WLAN and GPRS is presented as a case study example.
Transformasi Channel System Ke Labelled Transition System

A parallel system must be developed with extra precision to achieve a high level of dependability to produce error-free software. Therefore, we need an appropriate and formal model of the system. The model is necessary for verification software in model checking. A model that is often used in model checking is Labelled Transition System (LTS). An LTS can be generated from Program Graphs (PG), which are representations of programs in any programming language. However, in modeling a parallel system we need to describe the communications(model of interactivity) between the Program Graphs. For this purpose, we need and use Channel Systems (CS). Therefore, we often need to transform CS to LTS. The aim of this research is to developa transformation algorithm to generate an LTS from a given CS. Through the concept of parallelism, the algorithm is constructed by exploiting the so-called Structured Operational Semantic (SOS) of the CS. The transformation algorithm is implemented by developing a prototype tool designed with 3 essential components:input, process and output. Input is a text file that contains a model of a parallel system in the form of a CS. The model will be processed by using thetransformation algorithm that generates an LTS as output text file. Functionally, the algorithm can handle models of parallel systems written ina CS that consists of several PGs containing both looping and branching. Moreover, it has ability to satisfy various parallelism models such as interleaving, synchronous and asynchronous.
Short-term memory for serial order.

How do we remember the order of a novel sequence of items, such as the digits in a telephone number? This problem is addressed by eight experiments on serial recall of temporal sequences. These experiments are used to develop a new model of short-term memory for serial order, the Start-End Model (SEM). Existing approaches to the problem of serial order include chaining, positional and ordinal theories. Chaining theories, which store order in a chain of interitem associations, face problems explaining the pattern of errors in serial recall (Experiment 1). Positional theories, which store order by associations between items and their positions, are consistent with these errors, particularly those between sequences that maintain their position within a sequence (Experiments 2 and 3). Such positional errors cannot be explained by ordinal theories. Previous positional models cannot explain the detailed pattern of errors however, as revealed by a meta-analysis of serial recall experiments. These errors are summarised as a set of empirical constraints, which are used to develop SEM, a computational model that simulates serial recall. SEM assumes (a) position is coded relative to the start and end of a sequence, (b) these codes are stored together with items as position-sensitive tokens, and (c) items are retrieved in order by cuing with codes for each position. SEM produces excellent quantitative fits to data from Experiments 1, 2 and 3. SEM predicts that errors between sequences of different length will maintain position relative to the end of those sequences, in contrast to other positional models, which predict that such errors will maintain absolute position. SEM’s predictions are confirmed in Experiments 4 and 5. SEM also predicts effects of repeated items in serial recall, which are examined in Experiments 6, 7 and 8. These complex effects of repetition pose important challenges for models of serial recall. SEM is a model of short-term memory. However, the associated theory of relative position extends beyond short-term memory, and is a promising approach to the problem of serial order in general, particularly with respect temporal order in episodic memory.
Inferring Signal Transduction Pathways from Gene Expression Data using Prior Knowledge

Plants have developed specific responses to external stimuli such as drought, cold, high salinity in soil, and precipitation in addition to internal developmental stimuli. These stimuli trigger signal transduction pathways in plants, leading to cellular adaptation. A signal transduction pathway is a network of entities that interact with one another in response to given stimulus. Such participating entities control and affect gene expression in response to stimulus . For computational purposes, a signal transduction pathway is represented as a network where nodes are biological molecules. The interaction of two nodes is a directed edge. A plethora of research has been conducted to understand signal transduction pathways. However, there are a limited number of approaches to explore and integrate signal transduction pathways. Therefore, we need a platform to integrate together and to expand the information of each signal transduction pathway. One of the major computational challenges in inferring signal transduction pathways is that the addition of new nodes and edges can affect the information flow between existing ones in an unknown manner. Here, I develop the Beacon inference engine to address these computational challenges. This software engine employs a network inference approach to predict new edges. First, it uses mutual information and context likelihood relatedness to predict edges from gene expression time-series data. Subsequently, it incorporates prior knowledge to limit false-positive predictions. Finally, a naive Bayes classifier is used to predict new edges. The Beacon inference engine predicts new edges with a recall rate 77.6% and precision 81.4%. 24% of the total predicted edges are new i.e., they are not present in the prior knowledge.
A Framework of High-Performance Computation Algorithms for Processing Satellite Remote Sensing Data ⋆

In this paper, we propose a framework for processing satellite remote sensing image data with high performance computation algorithms, which utilizes heterogeneous resources to harness enormous computing power and functions in a distributed way. Under the framework, we implemented a workload partitioning algorithm, combining static planning and dynamic partitioning, devised to realize the loadbalanced data parallelism for generic task workload. The algorithms for task granularity controlling strategy, locality awareness processing, and fault tolerance processing are designed. The experimental results demonstrated that the ability of the framework to securely process satellite data on distributed machines, and the computational performance which has been improved with the high performance algorithms.
DYNAMIC NETWORK TRAFFIC ISOLATION THROUGH OPENFLOW

OpenFlow is the latest and most widely accepted networking technology which is used to realize the paradigm changing concept of Software Defined Networking (SDN). OpenFlow strongly advocates the separation of a switch's control plane from the data plane and a centralized controller to control the entire network. Traffic isolation enables greater security for network communication, along with managing the bandwidth of the network more efficiently and providing logical separation between hosts that need to work together. But, dynamically managing the traffic isolation in a network is a very tedious task. Network management applications using OpenFlow for addressing this problem are not widely available. We propose two approaches to solve this problem using OpenFlow. We developed two OpenFlow controller applications 'OFModifyVLAN' and 'OF-WhiteListing', for addressing the above problem in short-term and long-term dynamic scenarios, respectively. We configured multiple OpenFlow network platforms using Mininet, Open VSwitch and HP Procurve switch to test the working and performance of the two OpenFlow controller applications. We tested 'OFModifyVLAN' on the Open VSwitch network, while 'OFWhiteListing' has been tested on all three platforms. We measured the round trip time of the packets in all the above mentioned scenarios. By observing the experimental results, we conclude that the two applications are capable of handling traffic isolation in real networks. Further, we conclude that 'OFWhiteListing' is more efficient than 'OFModifyVLAN. ' iii ACKNOWLEDGMENTS I am greatly thankful to Dr. Byrav Ramamurthy for his invaluable guidance throughout my Masters education. It was his direction, research insights, generous encouragement , and financial support that helped and motivated me to successfully complete this project report. I feel very fortunate that I had a chance to work and learn from him throughout my Masters education. Garhan Attebury (HCC,UNL) for helping me with switch access and configurations on several occasions. I would like to thank Mr. of Ciena for helping with the firmware upgrade on the Ciena CoreDirector switch. I would like to thank my labmates Adrian Lara and Lin Liu for their valuable help with my Masters project. I would like to thank my many great friends at UNL who made my study enjoyable and lively throughout my Masters. I would like to deeply thank my parents and my sister for their love, affection, continuous support and encouragement that they gave me.
EUROPEANA

In this article a critical discourse analysis is conducted on the formal EU documents that led to the construction of the digital library Europeana. The analysis links these discourses to the actual user experience of the current beta version of Europeana and examines how they relate to the interactive, user-generated and participative features of Web 2.0. At ceremonial occasions and in the communication conducted on Europeana's portal, user-generated content is underscored. This is, however, neither mirrored in the discourse analysis nor when Europeana is further tested. Therefore, even though there is will to incorporate the digital flows and processes of mass self-communication within the sphere of Europeana, the library as the purveyor of the ‘right’ knowledge is still a dominant factor, and therefore the modern ‘produsers’ are left out.
Combating Kernel Rootkits on Linux Version 2.6 (Analysis of Rootkit Prevention, Detection and Correction)

Rootkits are a major security concern for smartphones today. They have always been around, though largely operational on desktops and PCs. On the mobile platform, their presence was not very popular until the advent of smartphones and advanced mobile devices. The rapid developments and trends recorded on smartphones today make them highly vulnerable to rootkit attacks. Smartphone operating systems now come highly sophisticated and packaged with advanced functionality to keep record of users’ diary, sensitive personal and security details, among others. These features make them a prime choice for attacks from rootkit authors, who explore all available avenues to exploit and extract this information for malicious purposes. Cases of rootkit attacks have continued to increase with more of such attacks targeted at popular smartphone operating systems like Android. In this research, we discuss rootkits, illustrating their operational architecture and operation with a design of a kernel rootkit for the Linux kernel 2.6. We explore possible measures to combat rootkits on the mobile platform, using Android as a case study
Subcarrier multiple access for passive optical networks and comparison to other multiple access techniques

Subcarrier multiple access (SCMA) is described. It is a flexible access technique for passive optical networks (PONs), both for fiber-to-the home and fiber-to-the curb architectures. The main advantages of SCMA are the independence of the channels, which yields flexibility with respect to modulation format and evolution scenario, and the absence of synchronization between the different subscribers. Some results of SCMA experiments are presented. The capability of broadband channels is discussed, taking into account the optical interference effect. A comparison is made with other access techniques. <<ETX>>
A novel strategy for high throughput in ad hoc networks using potential transmission count (PTC) metric

A multi-hop wireless network is a network of computers and devices (nodes) which are connected by wireless communication links. The links are most often implemented with digital packet radios. Because each radio link has a limited communications range, many pairs of nodes cannot communicate directly, and must forward data to each other via one or more cooperating intermediate nodes. The PTC of a route is the total number of packet transmissions and retransmissions required to send a packet across the route, assuming that each link in the route retransmits the packet until it is successfully received across the link. PTC is designed for links with link-layer acknowledgments (ACKs) and retransmissions, as provided by IEEE 802.11 radios. The PTC metric for a route is calculated using measurements of the lossless of each link in the route. Routing protocols select routes with the minimum PTC. For short routes, the minimum- PTC route is the maximum-throughput route; for longer routes, the minimum- PTC route is still a high-throughput route. The design of the PTC metric does not depend on a particular routing protocol; PTC improves the throughput of both Dynamic Source Routing (DSR), an on-demand source routing protocol, and Destination-Sequenced Distance-Vector (DSDV) routing, a proactive table-driven distance-vector routing protocol. We also present a set of design changes and implementation techniques that allow DSR and DSDV to work well with PTC.
Approximate detection of machine-morphed variants of malicious programs

A morphing malware is malicious software that uses a code morphing program, or morphing engine, to transform its own code into a morphed variant. The goal of this transformation is to evade recognition by malware detectors. This dissertation proposes and evaluates a new method for detecting morphed malware variants. The method uses information about the morphing engine to recognize variants created by that engine. In particular, it is shown that implementation of the requirements of good design practices of morphing malware can be capitalized upon to efficiently discriminate programs generated by a morphing engine implementing these requirements from programs that have not been generated by the engine. Exact recognition techniques implementing this method are proposed and shown to be computationally costly. Approximate efficient variations on these techniques are then proposed and successfully evaluated to recognize programs generated by a real world morphing engine, W32. Evo1. Finally, the variation of a malware's instruction distribution underlying a probabilistic morphing engine is modeled as a Markov chain. Techniques from Markov chain theory are suggested to enable the use, for detection purposes, of the distribution of the instruction-frequency vectors of the various generations of variants of morphed malware generated by a probabilistic morphing engine.
Development Concept of Guaranteed Verification Electric Power System Simulation Tools and Its Realization

The analysis of existing problem reliability and verification of widespread electric power systems (EPS) simulation tools is presented in this article. Everything simulation tools are based on the using of numerical methods for ordinary differential equations. Described the concept of guaranteed verification EPS simulation tools and the structure of its realization are based using the Simulator having properties of continuous , without decomposition three-phase EPS simulation in real time and on an unlimited range with guaranteed accuracy. The information from the Simulator can be verified by using data only quasi-steady-state regime received from the SCADA and such Simulator can be applied as the standard model for verification any EPS simulation tools.
A Practical Approach to Compensation of Torque Ripple in High-Precision Permanent Magnet Motor Drives

Torque pulsation in permanent magnet synchronous motor impairs their performance in critical applications, particularly for direct-drive. A practical approach to compensation of selected torque harmonics is presented. The approach consist of two steps: identification of dominant torque harmonics (the cogging harmonics and the flux linkage harmonics) and using simple iterative search algorithm to tune the compensation algorithm. The angular spectral analysis is used as a optimum criteria. The design of a ripple compensation scheme is based on the fast, robust 2DFC current controller. The overall control scheme and experimental results are also presented. Proposed approach can be used as an automated self-commissioning scheme.
A Comparative Analysis of Air-inflated and Foam Seat Cushions for Truck Seats

A Comparative Analysis of Air-inflated and Foam Seat Cushions for Truck Seats by Thomas Michael Seigler Mehdi Ahmadian, Chairman Mechanical Engineering A comprehensive comparison between an air-inflated seat cushion designed for truck seats and a commonly used foam cushion is provided, using a single-axis test rig designed for dynamic seat testing. Different types of tests are conducted in order to evaluate various aspects of each type of cushion; in terms of their response to narrowband (single frequency) dynamics, broadband input of the type that is commonly used in the trucking industry for testing seats (ISO2), and a step input for assessing the damping characteristics of each cushion. The tests were conducted over a twelve-hour period—in four-hour intervals—measuring the changes that occur at the seat cushion over time and assessing how these changes can affect the metrics that are used for evaluating the cushions. The tests indicated a greater stiffening of the foam cushion over time, as compared with the air-inflated cushion that showed almost no change in stiffness when exposed to a static weight for twelve hours. Furthermore, pressure measurements at the seat showed higher-pressure concentrations for the foam cushion at the bony prominence of the seat profile—namely, the ischial tuberosities—as compared to the air-inflated cushion. A series of tests aimed at evaluating the damping properties of each cushion showed both cushions to have nearly identical damping properties. Other methods used for evaluating the dynamic properties of the two seat cushions included those recommended by studies in the past, as well as new techniques that were developed specifically for this study. The new techniques, named Seat Pressure Distribution (SPD%) and Area Pcrms (aPcrms) for the purpose of this study, are formulated such that they can best highlight the dynamic differences between different types of seat cushions, ii and their effect on driver comfort. The results show that the air-inflated seat cushion can provide significant improvements in pressure distribution between the seat cushion and the driver, therefore providing a more comfortable ride and causing less fatigue.
Les jeunes Français face à la lecture : nouvelles pistes méthodologiques pour l'évaluation massive des performances cognitives

Le dispositif du Ministere de la Defense (JAPD, Journee d’Appel de Preparation a la Defense) permet d’evaluer chaque annee les performances en lecture d’environ 700 000 jeunes. Les contraintes de passation et l’observation des resultats des annees precedentes ont conduit a faire encore evoluer les epreuves. Il s’agit ici de proposer de nouvelles pistes methodologiques pour l’evaluation massive de la lecture a travers la presentation des resultats collectes sur les annees 2004-2008. Cette enquete est une nouvelle occasion de nuancer les oppositions binaires entre lettres et illettres pour montrer que des modalites de lecture diverses, plus ou moins efficaces, caracterisent le savoir-lire des jeunes Francais. Pour certains jeunes, la fin de la scolarite approchant, le basculement prochain dans la vie active va engendrer un nouveau rapport a l’ecrit. L’ecole comme lieu de sollicitation d’actes de lecture et d’ecriture va disparaitre au profit du monde du travail. Pour ces jeunes, le rapport a l’ecrit sera definitivement distendu.
Developing an architecture for the software subsystem of a learning technology system-an engineering approach

There exists an urgent demand on defining architectures for learning technology systems (LTS), so that high-level frameworks for understanding these systems can be discovered, portability, interoperability and reusability can be achieved and adaptability over time can be accomplished. The authors propose an architecting process for only the software subsystem of an LTS. We base our work upon the LTSA working standard of IEEE LTSC, which serves as a business model and on the practices of a well-established software engineering process. Special emphasis is granted on imposing a component based nature on the produced architecture.
Entwining Sanitization and Personalization on Databases

In the last decade, a lot of research has been done to prevent the illegal distribution of digital content, % in the context in which the proprietary content is a medium such as musical works and movies. However, only few works have tackled this problem for databases, and even less for databases containing personal and sensitive information (\emphe.g, a medical database). In this work, we address this latter issue by proposing øuralgo\ (for Sanitization and Personalization of Databases ), an approach in which the owner of a database personalizes it before distributing it to ensure that a malicious buyer can be traced back in case of an illegal redistribution. Our novel solution entwines the personalization step with a sanitization mechanism to prevent the leak of personal information and limit the privacy risks. Thus, our objective is to release a sanitized and personalized database, both to protect the privacy of the concerned individuals and to prevent the illegal redistribution, even from a collusion of malicious buyers.
Designing World-Class E-Learning : How IBM, GE, Harvard Business School, And Columbia University Are Succeeding At E-Learning

Introduction - "a learning by doing" manifesto get smart - the problem with traditional training and education the problem with most e-learning the answer - simulation-based e-learning environments why good e-learning is not cheaper or faster to build than traditional training failure - the engine that powers e-learning rules to e-learn by e-learning by doing lessons from recent e-learning simulations redesigning curricula when the Web helps did you ever want to go to Harvard? the idea of a web-mentored course e-learning meets real learning let freedom ring (assessing the quality of e-learning courses) using the freedom criteria designing an e-learning system to Web or not to Web? e-learning does not mean copying school.