Miracle-dz/UniFAR-FTUs huggingface dataset:
Measurement and modeling of UWB path loss for single-band and multi-band propagation channel

In this paper, the measured data and the empirical path loss models for 3.1-10.6 GHz ultra-wideband (UWB) radio propagation in the residential environment for single-band and multi-band communication are presented. The path loss characteristics are demonstrated based on the measured channel for line of sight (LOS) propagation by using the double ridge horn antenna and the biconical antenna to investigate the dependence of the antenna directivity on the UWB system. The characterization of the path loss exponent, n, and the reference path loss, PL(d/sub o/), are provided. In the case of the single-band propagation, as the results, the path loss increases as the T-R separation distance increases as same as the multi-band propagation. For the case of the multi-band channel, however, the path loss exponent can randomly change according to each propagation scheme and subband frequency. Therefore, the propagation path loss models are developed to understand the phenomenon of the indoor residential communication systems for home wireless networking.
To be committed or not: examining effects of personal and workplace variables on the organizational commitment of Southern prison staff

Abstract This study examined how personal and workplace variables were related to organizational commitment among staff working at a large Southern prison. The personal variables were gender, age, position, tenure, educational level, and supervisory status. The workplace variables were assessment of training, job variety, role clarity, input into decision-making, and instrumental communication. The results indicate workplace variables play a greater role in shaping affective commitment of surveyed Southern prison staff than do personal variables. The personal variables explained only 10% of the variance in the commitment index, while workplace factors accounted for approximately 59% of the variance and were significant determinants of organizational commitment among the respondents. In the multivariate regression analysis, age, assessment of training, job variety, role clarity, input into decision-making, and instrumental communication all had positive associations with commitment. Educational level had a negative relationship with commitment. Implications of these findings for policy and future research are also discussed.
Design and comparison of parallel and series resonant topology in wireless power transfer

Wireless power transfer is a very promising technology in industrial applications. This paper analyzes the difference of LC parallel and series resonant topology in wireless power transfer. With the three coils model as example, on the transmitter side, it is proven that the voltage source in parallel resonant mode is interchangeable with the current source in series resonant mode, under a certain transfer equation, in such a way to have the same output status. And on the receiver end, the topology selection is proven to be related with the load. For heavy load, the parallel topology has more advantages, while for light load; the series topology is the preferable one. The equation of the critical load point is deduced. Design criterion and guideline are given for future designers regarding with the load variation. Equivalent circuit model of the system is built and simulated by Saber. Furthermore, experiment is setup and the results are compared and validated.
Earthquake emergency management by social sensing

Social Sensing is based on the idea that communities or groups of people provide a set of information similar to those obtainable from a single sensor. This amount of information generate a complex and adequate knowledge of one or more specific issues. A possible field of application for Social Sensing is Emergency Management. By using the Social Media it is possible to gather updated information about emerging situations of danger, in order to gain greater situational awareness and to alert interested parties promptly or verify information obtained through other channels. A system able to timely detect events that are of social concern can be referred to as an Early Warning system. In this work we propose a novel and general architecture for an early warning system and, as a proof-of-concept, we describe an implementation of this architecture for a real scenario. We use Twitter as source of information for the detection of earthquakes on the Italian territory. We compare our results with official data provided by the National Institute of Geophysics and Volcanology, the authority responsible for the monitoring of seismic events in Italy. Results show an high ability of the system in the timely detection of events with magnitude equal or greater than 3.5 Richter with only 10% of False Positives.
A novel low power, low area array multiplier design for DSP applications

In this paper a low power and low area array multiplier with carry save adder is proposed. The proposed adder eliminates the final addition stage of the multiplier than the conventional parallel array multiplier. The conventional and proposed multiplier both are synthesized with 16-T full adder. Among Transmission Gate, Transmission Function Adder, 14-T, 16-T full adder shows energy efficiency. In the proposed 4×4 multiplier to add carry bits with out using Ripple Carry Adder (RCA) in the final stage, the carries given to the input of the next left column input. Due to this the proposed multiplier shows 56 less transistor count, then cause trade off in power and area. The proposed multiplier has shown 13.91% less power, 34.09% more speed and 59.91% less energy consumption for 0.18nm TSMC technology at a supply voltage 2.0V than the conventional multiplier.
Vowel Acquisition Based on an Auto-Mirroring Bias with a Less Imitative Caregiver

Regardless of interaction with less frequent imitative caregivers, infants can obtain the vowels of the caregivers' mother tongues by finding the correspondence between their own vowels and the caregivers' vowels. This paper proposes a learning method based on auto-mirroring bias (AMB) with a self-evaluation mechanism to find such correspondence. AMB is the robot's anticipation of being imitated by its caregiver and has a role of narrowing the candidates for the correspondence. The self-evaluation mechanism biased by AMB works as outlier (incorrect mapping) rejection, expecting that the outliers appear less consistently than the correct mappings do in the interaction. Results from several computer simulations with real sound wave recording from a human experimenter show that the robot could successfully achieve being imitated by the proposed method even if interacting with a caregiver who would seldomly imitate its utterances.
Planar two-particle Coulomb interaction: Classical and quantum aspects

The classical and quantum aspects of planar Coulomb interactions have been studied in detail. In the classical scenario, action angle variables are introduced to handle relativistic corrections, in the scheme of time-independent perturbation theory. Complications arising due to the logarithmic nature of the potential are pointed out. In the quantum case, harmonic oscillator approximations are considered and effects of the perturbations on the excited (oscillator) states have been analyzed. In both the above cases, the known $(3+1)$-dimensional analysis is carried through side by side, for a comparison with the $(2+1)$-dimensional (planar) results.
The MICRO-BOSS Scheduling System: Current Status and Future Efforts

In this paper, a micro-opportunistic approach to factory scheduling was described that closely monitors the evolution of bottlenecks during the construction of the schedule and continuously redirects search towards the bottleneck that appears to be most critical. This approach differs from earlier opportunistic approaches, as it does not require scheduling large resource subproblems or large job subproblems before revising the current scheduling strategy. This micro-opportunistic approach was implemented in the context of the MICRO-BOSS factory scheduling system. A study comparing MICRO-BOSS against a macro-opportunistic scheduler suggests that the additional flexibility of the micro-opportunistic approach to scheduling generally yields important reductions in both tardiness and inventory. Current research efforts include: adaptation of MICRO-BOSS to deal with sequence-dependent setups and development of micro-opportunistic reactive scheduling techniques that will enable the system to patch the schedule in the presence of contingencies such as machine breakdowns, raw materials arriving late, job cancellations, etc.
Cryptocurrency Brings New Battles into the Currency Market

In this paper, we concern ourselves with cryptocurrency and how cryptocurrency affects the cryptocurrency market as well as the fiat currency market. The whole topic will be sepreted into two sections: competition among different currencies, as well as competition among exchanges[2]. We aim at figuring out the current circumstance of cryptocurrency which as a casual visitor in the market, and additionaly we will also look at the prospect of cryptocurrency and the currency market. Cryptocurrency with many new features has an uneasy development after entering into the financial market, although it is not yet powerful to compete with fiat currency, the effects of cryptocurrency and cryptocurrency exchange in financial market will still be full of meaning.
Electric and hybrid vehicles battery charger cluster locations in urban areas

The cluster of EVs' battery chargers is expected to become reality in many European cities in the near future. The strategy for positioning these chargers on the streets, especially in the urban city centres should include numerous parameters, where some of them may not be technical. The paper presents a proposal of procedure for placing the set of battery charger clusters in a city centre. Two examples are presented in a case where there are restrictions on building the new electricity infrastructure and expectation that charging time is short. The main concern is placed on power quality issues, as current harmonic distortion may be very high. It is shown that clusters with 2 to 6 chargers are found to be the most suitable. It is also noticed that current distortion is getting lower as number of chargers is increasing.
Data Reduction for Network Forensics Using Manifold Learning

In network forensic system, there are huge amount of data should be processed, and the data contains redundant and noisy features causing slow training and testing process, high resource consumption as well as poor detection rate. In this paper, a schema is proposed to reduce the data of the forensics using manifold learning. Manifold learning is a popular recent approach to nonlinear dimensionality reduction. Algorithms for this task are based on the idea that the dimensionality of many data sets is only artificially high. In this paper, we reduce the forensic data with manifold learning, and test the result of the reduced data.
Factored Markov Decision Processes with Imprecise Probabilities : a multilinear solution

There are efficient solutions to planning problems modeled as a Markov Decision Process (MDP) envolving a reasonable number of states. However, known extensions of MDP are more suited to represent practical and more interesting applications, such as: (i) an MDP where states are represented by state variables, called a factored MDP; (ii) an MDP where probabilities are not completely known, called an MDPIP. In this work, we are interested in exploring efficient algorithms to solve factored MDPIPs. Introduction The main approach to solve a probabilistic planning problem is modeling it as a Markov decision process (MDP) (Bonet and Geffner 2005). Originally proposed by the community of decision theory, MDPs (Puterman 1994) provide an elegant mathematical framework for representing and solving sequential decision problems under uncertainty in completely observable environments. An MDP models the interaction between an agent and its environment: at every stage, the agent decides to execute an action (with probabilistic effects) that will produce a future state and a reward. The agent’s goal is to maximize the reward gained over a sequence of action choices. Since acquiring the probability distribution of models from humans is difficult and often subjective, we should try to deal with imprecise probabilities in order to represent incomplete, ambiguous or conflicting expert believes about transitions of states. A Markov Decision Process with Imprecise Probabilities (MDPIP) (White III and Eldeib 1994) is a generalization of an MDP that allows the representation of imprecise probabilities. However, there are no efficient solutions for MDPIPs (Shirota et al. 2007). Since, efficient solutions based on linear programming are known for factored MDPs, it seems that an MDPIP modeled in this way can be solved in a more efficient form. The goal of this Ph.D. project is to define the idea of a factored MDPIP and investigate different forms to solve this new problem, for which we have not found solutions in the literature. Copyright c © 2008, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. Background This section contains a brief review of the linear programming formulation for MDPs and factored MDPs. We also show how an MDPIP can be formulated as a non-linear programming. MDP Formally, an MDP is defined by the tuple M = 〈T, S, A,R, P 〉 where: T is a countable set of stages, S is a finite set of states, A is a finite set of actions, R is the reward function and P defines the transition probabilities. Let V ∗(s) be the optimal value of the state s ∈ S, based on the value of the possible successor states s′ ∈ S, for an agent that wants to maximize his expected reward. The Bellman Optimality equation is: V (s) = maxa∈A{R(s, a) + γ X s′∈S P (s|s, a)V (s)} (1) The formulation of an MDP problem as a linear programming is given by (Manne 1960)(α is the state relevance):
Type Safety without Subject Reduction for Session Types

We present a simple and intuitive type system for a variant of the pi calculus with sessions where typable processes are guaranteed to be exempt from runtime errors. The type system, meant to type programs, cannot be directly used to type the runtime language. Hence, type-safety cannot be proved directly, via Subject Reduction. Instead we define a different language enjoying Subject Reduction and prove our result by suitable correspondences between the two languages. The exercise shows that polarities, now widely used in binary session types, are justified solely by technical reasons, and need not be exposed to programmers neither in the operational semantics nor in the type system.
Teachers, learners and black boxes

We introduce a new computational model of a learner attempting to learn an unknown concept from examples, with the help of a teacher who knows the concept. In such models, the term “outright coding” refers to a protocol in which the teacher sends the learner the text of its representation of the concept, either directly or encoded via the examples in some way. Previous models have used classes of adversarial learners or adversarial teachers to try to prevent outright coding. Our model is an attempt to reflect more directly some of the reasons that outright coding is not a common mode of human learning. We model the learner as a Turing machine with “black box” or oracle access to another programming system, which is initially unknown to the learner. Intuitively, the Turing machine represents the “cognitive” part of the learner, while the programming system in the black box represents its “action space. ” The target concept is a partial recursive function and the goal of the learner is to find in the limit a program in its black box that represents the target concept. We exhibit a particular class S of learner/teacher pairs that allows the learner to learn any partial recursive function, provided that the programming system in the learner’s black box is “not too much slower” than the teacher’s, We show that there is no learner/teacher pair in which the learner learns all the partial recursive functions if the learner’s black box can contain any acceptable programming system. We also show that any learner/teacher pair is dominated in a particular sense by one in the class S. ‘This research was supported in part by the National Science Foundation, grant CCR-921388 I, Permission to make digitnl~l~nrd copiss of all or pnfl of this materinl for prtr~onnl or classroom usr: in granted without fee provided that the copies are not made or distributed for profit or commercial advantage. the q~opyright notice, the title ofthe puhlicntion and i& date appear. and notice is given that copyright is hy pennisaion of the ACM. IIVZ. To copy ohwise. IO republish. lo posl on srrvn-s ur IO redistrihutl: to lists. rrquira specific permission and/or fw (‘OLT 97 Nashville, Tennesee. USA Copyright 1097 AC‘X! 0-897~~ I -XV I-6 97 7 $3 50
Flexible screen printed biosensor with high-Q microwave resonator for rapid and sensitive detection of glucose

This paper presents a rapid and sensitive mediator-free glucose biosensor based on microwave resonator implemented using circularly folded T-shaped uniform impedance resonators, screen printed on flexible polyethylene substrate. As a result of high-Q factor of 160, the proposed glucose biosensor features high sensitivity and ultralow detection limit of 71 MHz/mgmL-1 and 0.0167 μM, respectively, at a central frequency of 11.8 GHz, within linear detection range of 1 to 5 mg/mL. Additionally, the clear dependence of loaded quality factor (QL), return loss (S11), propagation constant (γ), and impedance (Z) on glucose level enables the effective multidimensional detection of glucose sensor.
TABS: Link Loss Tolerant Data Routing Protocol for Multi-hop Wireless Sensor Networks

Routing techniques of multi-hop wireless sensor networks try to mask low-power radio properties such as link asymmetry, unidirectionality and unreliability using different techniques like blacklisting, link reliability metrics etc. In addition to associated overhead, these approaches limit routing options. In this paper, we design a novel link loss tolerant data routing protocol, called TABS (Try-Ancestors-Before-Spreading), for multi-hop wireless sensor networks. TABS effectively combines the benefits of wireless broadcast advantages with traditional retransmission based routing while evades route explosion. Also, this protocol instantaneously adapts to network dynamics without periodic link quality maintenance. We evaluate the performance of TABS implementation using TinyOS on a 56-node 802.15. 4 radio based test-bed. We analyze TABS performance on dense and sparse networks, and static and dynamic network topologies. TABS shows over 98% success rate to deliver packet between all pair of nodes. In addition, we compare the performance of TABS with that of hop-by-hop retransmission based routing, periodic link quality estimation based routing and the routing that exploits wireless broadcast advantages.
Index-based genetic algorithm for continuous optimization problems

Accelerating the convergence of Genetic Algorithms (GAs) is a significant and promising research direction of evolutionary computation. In this paper, a novel Index-based GA (termed IndexGA) is proposed for the acceleration of convergence by reducing the number of fitness evaluations (FEs) in the reproduction procedure, i.e. the process of crossover and mutation. The algorithm divides the solution space into multiple regions, each represented by a unique index. Individuals in the IndexGA are redefined as indexes instead of solutions. In the reproduction procedure, an evaluated region is never evaluated again, and the fitness is directly obtained from the memory. Moreover, to improve the fitness of the promising regions, the algorithm performs an orthogonal local search (OLS) operator on the best-so-far region in each generation. Numerical experiments have been conducted on 13 benchmark functions and an application problem of power electronic circuit (PEC) to investigate the performance of IndexGA. The results show that the index-based strategy and the OLS in IndexGA significantly enhance the performance of GAs in terms of both convergence rate and solution accuracy.
Checklists: A Simple Tool to Help Students Stay Organized and Motivated

In their first semester at university, students face greater complexity than in any prior academic experience. Unlike in high school, where teachers assign homework daily, a typical university syllabus assigns the entire semester’s work at once, making students responsible for meeting deadlines. In his popular book, The Checklist Manifesto, Gawande (2009) showed that in highly complex environments like operating rooms and airplane cockpits, welldesigned checklists can reduce error and save lives. While the stakes are admittedly lower in freshman courses, checklists can help students cope with unfamiliar complexity and devote time to learning activities. McMaster University’s Linguistics 1 course gathers 600 students for two 50-minute periods per week. Using a blended-learning format, each class includes active learning exercises (Freeman et al. 2014), for which students should prepare by reading textbook sections, watching short videos, attempting practice exercises, and completing a quiz for distributed retrieval practice (Roediger and Karpicke 2006). The course structure is comparable to many large courses in the sciences and social sciences (traditional, blended, and on-line), which assign regular tasks to engage students throughout the semester and avoid a single high-stakes exam. To help students prepare for each class, I used the Learning Management System to create checklists that appeared as the first item in each week’s content module. Some tasks (quizzes, written assignments) earned points, while some (videos, readings) were crucial for content delivery but were ungraded. A portion of one checklist is shown in figure 1. The checklists themselves were not considered in the grade. In other words, completing a quiz earned points regardless of whether the quiz was checked on the checklist, and checking the box for an ungraded reading or video earned no additional points. Most students (78%) checked at least some items, while 20% of students used the checklists consistently (>80% of items). In a poll asking which elements helped students stay on track with learning the material, 78% of respondents strongly agreed (on a five-point scale) that checklists were helpful—the highest rating of all the polled course elements. This result surprised me, because completing checklists earned no points toward the final