Miracle-dz/UniFAR-FTUs huggingface dataset:
Distributed Geometric Fuzzy Multiagent Urban Traffic Signal Control

Rapid urbanization and the growing demand for faster transportation has led to heavy congestion in road traffic networks, necessitating the need for traffic-responsive intelligent signal control systems. The developed signal control system must be capable of determining the green time that minimizes the network-wide travel time delay based on limited information of the environment. This paper adopts a distributed multiagent-based approach to develop a traffic-responsive signal control system, i.e., the geometric fuzzy multiagent system (GFMAS), which is based on a geometric type-2 fuzzy inference system. GFMAS is capable of handling the various levels of uncertainty found in the inputs and rule base of the traffic signal controller. Simulation models of the agents designed in PARAMICS were tested on virtual road network replicating a section of the central business district in Singapore. A comprehensive analysis and comparison was performed against the existing traffic-control algorithms green link determining (GLIDE) and hierarchical multiagent system (HMS). The proposed GFMAS signal control outperformed both the benchmarks when tested for typical traffic-flow scenarios. Further tests show the superior performance of the proposed GFMAS in handling unplanned and planned incidents and obstructions. The promising results demonstrate the efficiency of the proposed multiagent architecture and scope for future development.
PENINGKATAN PEMAHAMAN KONSEP ENERGI PANAS MELALUI PENERAPAN MODEL PROJECT-BASED LEARNING (PjBL)

Tujuan dari penelitian ini adalah untuk meningkatkan pemahaman konsep energi panas pada pembelajaran IPA siswa kelas IV SD Negeri Mangkubumen Lor No. 15 Surakarta Tahun Ajaran 2015/2016 melalui penerapan model Project-Based Learning (PjBL). Bentuk penelitian ini adalah Penelitian Tindakan Kelas (PTK) yang dilaksanakan dalam dua siklus. Setiap siklusnya terdiri dari dua pertemuan dengan masing-masing terdiri atas perencanaan, pelaksanaan tindakan, pengamatan dan refleksi. Subjek penelitian ini adalah guru dan siswa kelas IV yang berjumlah 29 siswa, terdiri dari 14 siswa perempuan dan 15 siswa laki-laki. Teknik pengumpulan data menggunakan observasi, wawancara, tes dan dokumentasi. Validitas data menggunakan triangulasi sumber, triangulasi teknik dan validitas isi. Teknik analisis data yang digunakan adalah analisis deskriptif komparatif dan model analisis interaktif yang terdiri dari tiga komponen yaitu reduksi data, penyajian data, dan kesimpulan. Berdasarkan hasil penelitian yang telah dilaksanakan dapat disimpulkan bahwa penerapan model Project-Based Learning (PjBL) dapat meningkatkan pemahaman konsep energi panas siswa kelas IV SD Negeri Mangkubumen Lor No. 15 Surakarta Tahun Ajaran 2015/2016. Kata Kunci: pemahaman konsep, energi panas, model Project-Based Learning (PjBL) The purpose of this research is to improve the understanding of the concept of heat energy on the IV grade students of State Elementary School Mangkubumen Lor No. 15 Surakarta in academic year 2015/2016 by applying model Project Based Learning (PjBL). The form of this research was Classroom Action Researches (CAR)that consist of two cycles, each cycles consisting of two meets with each consisting of planning, action, observation, and reflection. The subjects of this research are techer and the IV grade whic have 29 students, consisting 14 female and 15 male. Data collecting technique used are observation, interview, test, and documentation. Validity data used by source triangulation, data gathering technique, and content validity. Analysis data used distributive comparative and interactive analyses consist of three compononents, they are data reducion, data display, and conclusion. Based on result of the research, it can be conclude that the application Project-Based Learning (PjBL) model can improve the concept understanding of heat energy on the IV grade stundents of the State Elementary School Mangkubumen lor No. 15 Surakarta, in academic year 2015/2016.
Directional maximum likelihood self-estimation of the path-loss exponent

The path-loss exponent (PLE) is a key parameter in wireless propagation channels. Therefore, obtaining the knowledge of the PLE is rather significant for assisting wireless communications and networking to achieve a better performance. Most existing methods for estimating the PLE not only require nodes with known locations but also assume an omni-directional PLE. However, the location information might be unavailable or unreliable and, in practice, the PLE might change with the direction. In this paper, we are the first to introduce two directional maximum likelihood (ML) self-estimators for the PLE in wireless networks. They can individually estimate the PLE in any direction merely by locally collecting the related received signal strength (RSS) measurements. The corresponding Cramér-Rao lower bound (CRLB) is also obtained. Simulation results show that the performance of the proposed estimators is very close to the CRLB. Additionally, also for the first time, the RSSs based on only a geometric path loss are found to follow a truncated Pareto distribution in wireless random networks. This might be of great help in the analysis of wireless communications and networking.
A distributed transcoding system for mobile video delivery

The heterogeneity of client devices is increasing leading to different resolutions, qualities and form factors. Due to the amount of multimedia to be processed, transcoding and protection can be no longer performed linearly. For that reason, this article describes a solution to distribute and parallelize the transcoding process as well as the content encryption relying on cloud computing. Moreover, this article shows the benefits of this approach showing several experimental results.
Dynamic Scheduling for Emergency Tasks on Distributed Imaging Satellites with Task Merging

Scheduling plays a significant role in improving observation effectiveness of distributed imaging satellites. Although extensive satellite scheduling algorithms have been proposed, none of them focuses on dynamic scheduling for emergency tasks. In this paper, a novel multi-objective dynamic scheduling model for emergency tasks on distributed imaging satellites is established for the first time. To improve user's satisfaction ratio and resource utilization, we propose the task merging strategy: establishing a task merging graph (TMG) model and proposing a task merging algorithm-CP-TM based on clique partition. In addition, a rehabilitation technique is suggested to overcome the disadvantage that task merging will make tasks have less imaging opportunities. To further enhance the schedulability, the task backward shift in the waiting sequence is considered in our study. Furthermore, a novel dynamic scheduling algorithm called TMBSR-DES is presented, which comprehensively considers task merging, backward shift, and rehabilitation. To demonstrate the superiority of our TMBSR-DES, we conduct extensive experiments by simulations to compare TMBSR-DES with three existing algorithm-RBHA, RTSSA, and LSA, as well as three baseline algorithms-BS-DES, TMR-DES, and TMBS-DES. The experimental results indicate that TMBSR-DES outperforms the others and is suitable for emergency task scheduling.
Online Optimization in Application Admission Control for Service Oriented Systems

In a service oriented environment an application is created through the composition of different service components. In this paper, we investigate the problem of application admission control in a service oriented environment. We propose an admission control system that makes admission decisions using an online optimization approach. The core part of the proposed system is an online optimization algorithm that solves a binary integer programming problem which we formulate in this paper. An online optimizer maximizes the system revenue given the system's available resources as well as the system's previous commitments. Another part of the proposed system carries out a feasibility evaluation that is intended to guarantee an agreed level of probability of success for each admitted application instance. We use simulations and performance comparisons to show that the proposed application admission control system can improve the system revenue while guaranteeing the required level of quality of service.
Coordinated paradigm for D2D communications

Interference management is an important subject in Device to Device (D2D) communication when underlying a LTE-A cellular band. By default, in LTE-A there is negligible intra-cell interference due to the orthogonality of the subcarriers but this orthogonality will be lost when D2D communication takes place under cellular users (CU). Therefore, the purpose of this paper is to propose a novel scenario with the help of coordinated multipoint (CoMP) technology to remove inter and intra interference between D2D and CU. So far no works have been done on coexistence analysis of CoMP and D2D. This paper is the first effort on coexistence analysis of these two technologies. It is clear that the combination of D2D and CoMP can offer a palette of interesting colors that can paint new business opportunities for mobile stakeholders promoting its candidacy for 5G wireless communication system. To this end, we present numerical results, which prove that this novel scenario will increase the spectral and energy efficiency of whole system and offloaded the traffic from core network.
Robust scene reconstruction from an omnidirectional vision system

In this paper, we present an efficient multi-baseline stereo algorithm for panoramic image data. We derive a parameterization of epipolar curves in terms of inverse depth. As a result, the search for image correspondences across multiple images can be performed efficiently. Furthermore, depth estimates are obtained directly, thus bypassing the need to perform explicit stereoscopic triangulation. We apply our method to obtain a three-dimensional reconstruction of an environment from a set of panoramic images. The images are acquired by a single omnidirectional vision sensor mounted on top of our mobile robot during navigation. Experimental results demonstrate the effectiveness of our approach.
Nanowatt, Sub-nS OTAs, With Sub-10-mV Input Offset, Using Series-Parallel Current Mirrors

In this paper, series-parallel (SP) current-division will be employed for the design of very low transconductance OTAs. From the theory and measurements, it will be shown that SP mirrors allow the division of currents with division factors of thousands, without reducing matching or noise performance. SP mirrors will be applied to the design of OTAs ranging from 33 pS to a few nS, with up to 1 V linear range, consuming in the order of 100nW, and with a reduced area. An integrated 3.3-s time-constant integrator will also be presented. Several design concerns will be studied: linearity, offset, noise, and leakages, as well as layout techniques. A final comparative analysis concludes that SP association of transistors allows the design of very efficient transconductors, for demanding applications in the field of implantable electronics, among others
ADABOOST AND LEARNING ALGORITHMS : AN INTRODUCTION

This article will give a general overview of boosting and in particular AdaBoost. AdaBoost is the most popular boosting algorithm. It has been shown to have very interesting properties such as low generalization error as well as an exponentially decreasing bound on the training error. The article will also give a short introduction to learning algorithms.
Satir's Communication Stances and Pursue–Withdraw Cycles: An Enhanced Emotionally Focused Therapy Framework of Couple Interaction

ABSTRACT Couple interactions have long been conceptualized in terms of pursue and withdraw. Emotionally focused therapy is an approach that is largely based on this conceptualization of couple interaction. However, the interaction cycle utilized by emotionally focused therapy is limited in terms of the description of the forms of communication utilized by partners during an interaction cycle and does not provide a flexible framework for conceptualizing heterogeneous couple interactions. Diverse forms of communication that do not fall into the stereotypical pursue/blame-withdraw/placate pattern can be identified and labeled with the communication styles created by Virginia Satir. The current article articulates a rich framework for viewing couple interaction that integrates the communication styles of Satir into emotionally focused therapy's pursuer-withdrawer pattern. Examples are provided for illustration and clinical implications are discussed. A worksheet is provided for training beginning couples therapists on identifying interaction cycles and communication styles within the proposed enhanced EFT framework.
Fluid animation from simulation on tetrahedral meshes

This thesis presents a simulation method for creating animations of gases and liquids that enhances the adaptability over current simulators within the computer graphics community. The method achieves adaptability in element size and shape by discretizing the domain with tetrahedra rather than regular hexahedra, the standard element shape in computer graphics. I also describe a method which allows the discretization to adapt arbitrarily from time step to time step without computational or numerical smoothing penalty. Additionally, I demonstrate a method to augment the fluid simulator with a rigid body simulator such that the fluid and rigid body simultaneously effect one another. Together these capabilities allow for complex scenarios to be simulated with a high level of detail while maintaining practical computation time, memory use, and ease of implementation.
Sparse spatio-temporal representation of joint shape-motion cues for human action recognition in depth sequences

The availability of 3D sensors has recently made it possible to capture depth maps in real time, which simplifies a variety of visual recognition tasks, including object/action classification, 3D reconstruction, etc.We address here the problems of human action recognition in depth sequences. On one hand, we present a new joint shape-motion descriptor which we call as 3D Spherical Histogram of Oriented Normal Vectors (3DS-HONV), since it is a spatio-temporal extension of the original HONV quantized in a 3D spherical coordinate. We further prove that the Optical Flow fields in depth sequences could be used in conjunction with the presented descriptor to augment the ability of capturing in-plane movements; the experiments later show that this combination is more efficient than the standalone 3DS-HONV. In addition, a discriminative dictionary learning and feature representation via Sparse Coding is applied to proposed descriptors to relieve the intrinsic effects of noise and capture high-level patterns. By learning these sparse and distinctive representations, we demonstrate large improvements over the state-of-the-art on two challenging benchmarks, which results with an overall accuracy of 91.92% on the MSRAction3D and 93.31% on the MSRGesture3D datasets, respectively.
Nearest Shrunken Centroid as Feature Selection of Microarray Data

The nearest shrunken centroid classifier uses shrunken centroids as prototypes for each class and test samples are classified to belong to the class whose shrunken centroid is nearest to it. In our study, the nearest shrunken centroid classifier was used simply to select important genes prior to classification. Random Forest, a decision tree based classification algorithm, is chosen as a classifier to seven cancer microarray data for correct diagnosis. Classification was also performed using the nearest shrunken centroid classifier and its results are compared to those from random Forest. Our study demonstrates that the nearest shrunken centroid classifier is simple, yet efficient in selecting important genes, but does not perform well as a classifier. We report that performance of Random Forest as a classifier is far superior to that of Shrunken centroid classifier.
Precise and scalable context-sensitive pointer analysis via value flow graph

In this paper, we propose a novel method for context-sensitive pointer analysis using the value flow graph (VFG) formulation. We achieve context-sensitivity by simultaneously applying function cloning and computing context-free language reachability (CFL-reachability) in a novel way. In contrast to existing clone-based and CFL-based approaches, flow-sensitivity is easily integrated in our approach by using a flow-sensitive VFG where each value flow edge is computed in a flow-sensitive manner. We apply context-sensitivity to both local variables and heap objects and propose a new approximation for heap cloning. We prove that our approach can achieve context-sensitivity without loss of precision, i.e., it is as precise as inlining all function calls. We develop an efficient algorithm and implement a context-, flow-, and field-sensitive pointer analysis with heap cloning support in LLVM. We evaluate the efficiency and precision of our implementation using standard SPEC CPU2006 benchmarks. Our experimental results show that the analysis is much faster than existing approaches, it scales well to large real-world applications, and it enables more effective compiler optimizations.
Fast bit permutation unit for media enhanced microprocessors

Bit and subword permutations are useful in many multimedia and cryptographic applications. New shift and permute instructions have been added to the instruction set of general-purpose microprocessors to efficiently implement the required data permutations. In this paper, the design of a high speed bit permutation unit is examined. The proposed architecture has been derived by mapping the functionality of one of the most powerful bit permutation instructions (GRP) to a new enhanced bitonic sorting network. The proposed design achieves delay reductions more than 20% when compared with previously presented solutions, while its regularity enables efficient VLSI implementations
Rectangle Covering Factorization of ESOPs Into Scan-Based Levelized Circuits with Universal Test Set

Easily testable two-level AND-EXOR circuits have been investigated by many researchers. However, two-level AND/EXOR circuits (i.e. ESOP) can be area-consuming and slow; therefore they should be factorized. In this paper, a new AND-EXOR factorization method based on rectangle covering is presented. A factorized multi-level AND/EXOR circuit can be partitioned into planes of ESOP circuits, which can be tested separately using the scheme given in [10]. Therefore, in this paper we also show a new scan-based easily testable realization that uses a universal test set, and that suggests a deterministic Built-in Self Test (BIST).
Does social capital matter? A quantitative approach to examining technology infusion in schools

Changing teachers’ perceptions about the value of technology and equipping them with appropriate knowledge and skills in pedagogical use of technology is often regarded as a key determinant of success in technology infusion in schools. However, recent studies have indicated that changing teachers’ epistemological beliefs about the use of technology in teaching and learning may not necessarily bring about change in their practice, and that technology implementation in schools can be affected by other instrumental forces, such as collegial trust, support for risk taking and access to expertise within an organization. In this article, we delineate collegial trust, access to expertise, willingness to take risks, etc. as manifestations of social capital in an organization. We argue that social capital plays a pivotal role in leveraging pedagogical change in schools. To gauge teachers’ self-perceived change in their pedagogical use of technology, we take a constructivist perspective to explore how technology serves as a tool for facilitating students to articulate their thoughts, to explore and construct knowledge, and to become more autonomous in learning. The results of our questionnaire survey indicate that (1) the social capital of a school had a strong direct effect on teachers’ self-perceived changes in their pedagogical use of technology, and that the effect of social capital on pedagogical change outweighed that of teachers’ perceived effectiveness of professional development; (2) teachers’ receptivity towards technology use had a direct effect on their perceived effectiveness of professional development but a very weak effect on fostering changes in their pedagogical use of technology; and (3) the social capital of a school had a direct influence on teachers’ receptivity towards technology use and their perceived effectiveness of professional development. To further unfold the complexity of technology implementation, more in-depth qualitative studies on how social forces shape the change process are deemed necessary.
Generalized Predictive Control with Online Least Squares Support Vector Machines

Abstract This paper proposes a practical generalized predictive control (GPC) algorithm based on online least squares support vector machines (LS-SVM) which can deal with nonlinear systems effectively. At each sampling period the algorithm recursively modifies the model by adding a new data pair and deleting the least important one out of the consideration on realtime property. The data pair deleted is determined by the absolute value of lagrange multiplier from last sampling period. The paper gives the recursive algorithm of model parameters when adding a new data pair and deleting an existent one, respectively, and thus the inversion of a large matrix is avoided and the memory can be controlled by the algorithm entirely. The nonlinear LS-SVM model is applied in GPC algorithm at each sampling period. The experiments of generalized predictive control on pH neutralizing process show the effectiveness and practicality of the proposed algorithm.
Chronicler: Interactive Exploration of Source Code History

Exploring source code history is an important task for software maintenance. Traditionally, source code history is navigated on the granularity of individual files. This is not fine-grained enough to support users in exploring the evolution of individual code elements. We suggest to consider the history of individual elements within the tree structure inherent to source code. A history graph created from these trees then enables new ways to explore events of interest defined by structural changes in the source code. We present Tree Flow, a visualization of these structural changes designed to enable users to choose the appropriate level of detail for the task at hand. In a user study, we show that both Chronicler and the history aware timeline, two prototype systems combining history graph navigation with a traditional source code view, outperform the more traditional history navigation on a file basis and users strongly prefer Chronicler for the exploration of source code.
Address Auto-configuration in Mobile Ad Hoc Networks using OLSR

Mobile Ad Hoc Networks is dynamic multi-hop network that is formed by a set of mobile wireless nodes that are sharing the same bandwidth. So every node possibly acts as a host as well as a router. In traditional networks, hosts can depend on the central servers like DHCP for IP assignment and management, but it cannot be extended to MANET due to its distributed and dynamic nature. Many solutions have been proposed, amongst them some are try to extend the stateless configuration of IPv6 for MANET; others distribute IP addresses among nodes (using binary distribution). Most of these proposed solutions have lag consideration of network partitioning and merging. Our proposed solution not only caters the need of configuration but also covers the issues of network partitioning and merging by introducing extension to OLSR protocol.