Miracle-dz/UniFAR-FTUs huggingface dataset:
A Conservative Prefix Delegation Policy for Nested Mobile Networks Based on Paging Mechanism

Route optimization for nested Mobile Network is an important issue of Network Mobility (NEMO), and prefix delegation is one of the promising optimization schemes. However, the policy of prefix delegation is seldom discussed when this technology is applied in nested NEMO. The problems that may be encountered when applying the basic prefix delegation to nested NEMO are analyzed and identified, and a conservative delegation policy based on paging mechanism is proposed to avoid the dilemma of prefix allocation and improve the handoff performance.
Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided

This report is meant to be used as auxiliary material for the guided grammar convergence technique proposed earlier as problem-specific improvement in the topic of convergence of grammars. It contains a narrated MegaL megamodel, as well as full results of the guided grammar convergence experiment on the Factorial Language, with details about each grammar source packaged in a readable form. All formulae used within this document, are generated automatically by the convergence infrastructure in order to avoid any mistakes. The generator source code and the source of the introduction text can be found publicly available in the Software Language Processing Suite repository.
Central Stellar Populations of S0 Galaxies in the Fornax Cluster

Abstract Based on FORS2-VLT long-slit spectroscopy, the analysis of the central absorption line indices of 9 S0 galaxies in the Fornax Cluster is presented. Central indices correlate with central velocity dispersions (σ0) as observed in ellipticals (E). However, the stellar population properties of these S0s indicates that the observed trends are produced by relative differences in age and α-element abundances and not in metallicity ([Fe/H]) as previous studies have found in E galaxies. The observed scatter in the line indices versus σ0 relations can be partially explained by the rotationally-supported nature of many of these systems. The presence of tighter line indices vs. maximum (circular) rotational velocity (VMAX) relations confirms this statement. It was also confirmed that the dynamical mass is the driving physical property of all these correlations and in our Fornax S0s it has to be estimated assuming rotational support.
Discussion of “ The Risk Channel of Monetary Policy ”

The term “risk channel of monetary policy” refers to the link between monetary policy and risk-taking behavior (Borio and Zhu 2012). According to this channel, changes in current or future central bank policies can cause changes in the perception of risk, which could lead to changes in economic activity through rebalancing of portfolio composition. For example, a central bank reaction function that is more accommodative to a recession ex post can lead households, firms, and financial institutions to take larger leverage positions ex ante, as they perceive the recession to be less severe. In turn, the endogenous adjustment in balance sheet positions can affect the transmission of monetary policy. The key goal of this paper is to quantitatively assess the risk channel of monetary policy. To do so, it constructs a DSGE model with a banking sector with debt and equity financing and nominal rigidities, building on the work of Gertler and Karadi (2011) and Gertler, Kiyotaki, and Queralto (2012). The model is used to analyze how changes in the volatility of fundamental and monetary shocks affect the composition of the balance sheet as well as the volatility in the business cycle. Moreover, the author also investigates the effects of different interest rate rules on the riskiness of the financial sector. There are three ways in which the risk channel operates in the model. First, due to nominal rigidities, lowering the nominal interest rate reduces the real rate and reduces the cost of bank borrowing. Second, lowering the real interest rate increases the present value of cash flows of banks’ assets, increasing their equity value and allowing them to borrow more. Third, even keeping current or future rates
Sign-language-enabled information kiosk

This paper presents design and creation of multimodal sign-language-enabled information kiosk which was developed during eNTERFACE’08 workshop. The kiosk uses automatic computer-vision-based sign language (SL) recognition, automatic speech recognition (ASR) and touchscreen as input modalities. The outputs are presented on a screen displaying 3D signing avatar and on a touchscreen showing special graphical user interface designed for the deaf users. The kiosk was tested on a dialogue providing information about train connections, but the scenario can be easily changed. The kiosk can be used both by hearing (ASR can be used) and deaf users (even who cannot read), in several languages. The human-computer interaction is controlled by a computer-driven dialogue system. A prototype of the kiosk was build and the work experience raised some new usability questions.
Modulation and LCR filter optimum design procedure for medium voltage adjustable speed drives

This paper proposes a systematic procedure in order to make an optimal comparison/selection of modulation techniques and output LCR filter components for adjustable speed drives. Useful indicators are identified, which may help the designer to a global solution, optimizing the modulation-filter selection. The procedure is applied into the design of a real 6.6 kV equipment.
Acoustic-Frequency Vibratory Stimulation Regulates the Balance between Osteogenesis and Adipogenesis of Human Bone Marrow-Derived Mesenchymal Stem Cells

Osteoporosis can be associated with the disordered balance between osteogenesis and adipogenesis of bone marrow-derived mesenchymal stem cells (BM-MSCs). Although low-frequency mechanical vibration has been demonstrated to promote osteogenesis, little is known about the influence of acoustic-frequency vibratory stimulation (AFVS). BM-MSCs were subjected to AFVS at frequencies of 0, 30, 400, and 800 Hz and induced toward osteogenic or adipogenic-specific lineage. Extracellular matrix mineralization was determined by Alizarin Red S staining and lipid accumulation was assessed by Oil Red O staining. Transcript levels of osteogenic and adipogenic marker genes were evaluated by real-time reverse transcription-polymerase chain reaction. Cell proliferation of BM-MSCs was promoted following exposure to AFVS at 800 Hz. Vibration at 800 Hz induced the highest level of calcium deposition and significantly increased mRNA expression of COL1A1, ALP, RUNX2, and SPP1. The 800 Hz group downregulated lipid accumulation and levels of adipogenic genes, including FABP4, CEBPA, PPARG, and LEP, while vibration at 30 Hz supported adipogenesis. BM-MSCs showed a frequency-dependent response to acoustic vibration. AFVS at 800 Hz was the most favorable for osteogenic differentiation and simultaneously suppressed adipogenesis. Thus, acoustic vibration could potentially become a novel means to prevent and treat osteoporosis.
Energy Efficient Cooperative Communications using Location based Relaying

Geographic random forwarding (GeRaF) is a location based distributed routing protocol that allows wireless networks with aggressive sleep cycles of its nodes to deliver messages with low latency. Hybrid-Automatic Repeat Request (H-ARQ) based intra-cluster geographically informed relaying (HARBINGER) is a protocol based on GeRaF with link-layer based adaptive error control techniques and promises better performance than GeRaF. In this paper we will study the performance of HARBINGER relative to GeRaF. We study the energies required for a message to reach its destination with a given latency bound, for both GeRaF and HARBINGER, with a practical High Speed Data Packet Access (HSDPA) based system. In particular, we highlight the different circumstances under which each protocol delivers a better energy efficiency. We propose simple modifications to the GeRaF protocol with which it can achieve the same or better performance as HARBINGER at lower node densities with lesser implementation complexity.
Learning Scientific Explanations by Means of Worked Examples – Promoting Psychology Students’ Explanation Competence

The aim of this study is to investigate whether worked examples are effective in fostering psychology students’ explanation competence. Explanation competence is a context-specific cognitive disposition that enables a person to construct a causal model of an observable psychological phenomenon by drawing on psychological theories. We set up a training intervention using worked examples to demonstrate how the observed psychological phenomenon (e.g., cognitive dissonance) is represented in an explanation. Instructional support was implemented using a fading procedure. We investigated the effects of worked examples on explanation competence using a sample of psychology students (n = 46) from a German university. In an experimental between-group pre- and post-tests design, the participants in the experimental condition received the training intervention, whereas the participants in a control condition did not receive the intervention. The experimental and control groups did not differ in their explanation competence before the training intervention. Participants in the experimental condition had a significant higher explanation competence after the training intervention than the participants in the control condition. Thus, our results indicate that worked examples effectively foster psychology students’ explanation competence. Considerations on how the results could be implemented in actual teaching settings are provided.
Fast Humanoid Robot Collision-Free Footstep Planning Using Swept Volume Approximations

In this paper, we propose a novel and coherent framework for fast footstep planning for legged robots on a flat ground with 3-D obstacle avoidance. We use swept volume approximations that are computed offline in order to considerably reduce the time spent in collision checking during the online planning phase, in which a rapidly exploring random tree variant is used to find collision-free sequences of half-steps (which are produced by a specific walking pattern generator). Then, an original homotopy is used to smooth the sequences into natural motions, gently avoiding the obstacles. The results are experimentally validated on the robot HRP-2.
Learning nullspace policies

Many everyday tasks performed by people, such as reaching, pointing or drawing, resolve redundant degrees of freedom in the arm in a similar way. In this paper we present a novel method for learning the strategy used to resolve redundancy by exploiting the variability in multiple observations of different tasks. We demonstrate the effectiveness of this method on three simulated plants: a toy example, a three link planar arm, and the KUKA lightweight arm.
OLAHRAGA DAN REGULASI EMOSI: SEBUAH STUDI KORELASI PADA TARUNA PERGURUAN TINGGI KEDINASAN (PTK)

Abstract — Cadets as students of the School of Services face many kinds of demands. Those demands may trigger both academic and non-academic stress. An effect of stress is emotional response, which needs to be handled. Therefore, cadets need to regulate their emotion. Exercise is a mandatory activity in School of Service. The purpose of this study is to know if there is any relation between exercise and emotion regulation of cadets in School of Services. Using stratified random sampling, the number of participants in the present study is 270 cadets. Questionnaires used in this study are International Physical Activity Questionnaire (IPAQ) and Emotion Regulation Questionnaire (ERQ) that have been adapted. Results showed that there is no significant relationship between exercise and emotion regulation reappraisal (r = .109, p = .074) as well as exercise and emotion regulation suppression (r = .031, p = .612) among participants. Abstrak — Taruna sebagai siswa pada Perguruan Tinggi Kedinasan (PTK) dihadapkan pada berbagai macam tuntutan, baik akademik maupun non-akademik, yang dapat memicu stres. Salah satu respons yang dihasilkan oleh stres yaitu respons emosional. Respons emosi dari stres tersebut perlu ditangani agar tidak memberikan efek yang lebih besar kepada para taruna. Oleh karena itu, para taruna perlu meregulasi emosinya. Salah satu kegiatan yang dapat dilakukan taruna terkait upaya regulasi emosi dan juga yang menjadi karakteristik dari PTK yaitu aktivitas fisik berupa olahraga wajib. Penelitian ini bertujuan untuk mengetahui apakah terdapat hubungan yang signifikan antara olahraga dengan regulasi emosi pada taruna PTK. Sampel penelitian berjumlah 270 orang taruna yang dipilih dengan menggunakan teknik sampling ( stratified random sampling ). Penelitian ini menggunakan alat ukur adaptasi dari International Physical Activity Questionnaire (IPAQ) dan Emotion Regulation Questionnaire . Hasil uji korelasi menunjukkan bahwa tidak terdapat hubungan yang signifikan antara olahraga dengan regulasi emosi reappraisal ( r = .109, p = .074) maupun supresi ( r = .031, p = .612).
Copyright protection of multimedia content using homomorphic public key cryptosystems

Digital fingerprinting provides an effective means for protecting the copyright of multimedia content. It enables a merchant to identify the buyer of an illegally redistributed copy. Due to its property of simplicity for practical implementation, the digital fingerprinting schemes based on homomorphic public key cryptosystems have attracted a lot of attentions recently. Based on the latest research results of the homomorphic public key cryptosystems, this paper presents an anonymous fingerprinting protocol, in which the issue of how to construct the anonymous public key and private key pairs is first addressed in the paper. The security analysis shows that the proposed scheme is secure for both seller and buyer, and it also provides anonymity for the buyer.
Meclofenamate elicits a nephropreventing effect in a rat model of ischemic acute kidney injury by suppressing indoxyl sulfate production and restoring renal organic anion transporters

Indoxyl sulfate (IS), a putative low-molecular weight uremic toxin, is excreted in the urine under normal kidney function, but is retained in the circulation and tissues during renal dysfunction in acute kidney injury and chronic kidney disease. IS, which is one of the most potent inducers of oxidative stress in the kidney and cardiovascular system, is enzymatically produced in the liver from indole by cytochrome P450-mediated hydroxylation to indoxyl, followed by sulfotransferase-mediated sulfate conjugation. We used rat liver S9 fraction to identify inhibitors of IS production. After testing several compounds, including phytochemical polyphenols, we identified meclofenamate as a potent inhibitor of IS production with an apparent IC50 value of 1.34 μM. Ischemia/reperfusion (I/R) of rat kidney caused a marked elevation in the serum IS concentration 48 hours after surgery. However, intravenous administration of meclofenamate (10 mg/kg) significantly suppressed this increase in the serum level of IS. Moreover, IS concentrations in both kidney and liver were dramatically elevated by renal I/R treatment, but this increase was blocked by meclofenamate. Serum creatinine and blood urea nitrogen were markedly elevated in rats after renal I/R treatment, but these increases were significantly restored by administration of meclofenamate. Renal expression of both basolateral membrane-localized organic anion transporters rOAT1 and rOAT3 was downregulated by I/R treatment. However, expression of rOAT1 and rOAT3 recovered after administration of meclofenamate, which is associated with the inhibition of I/R-evoked elevation of prostaglandin E2. Our results suggest that meclofenamate inhibits hepatic sulfotransferase-mediated production of IS, thereby suppressing serum and renal accumulation of IS. Meclofenamate also prevents the prostaglandin E2-dependent downregulation of rOAT1 and rOAT3 expression. In conclusion, meclofenamate was found to elicit a nephropreventive effect in ischemic acute kidney injury.
Fundamentals of Heterogeneous Cellular Networks with Energy Harvesting

We develop a new tractable model for K-tier heterogeneous cellular networks (HetNets), where each base station (BS) is powered solely by a self-contained energy harvesting module. The BSs across tiers differ in terms of the energy harvesting rate, energy storage capacity, transmit power and deployment density. Since a BS may not always have enough energy, it may need to be kept OFF and allowed to recharge while nearby users are served by neighboring BSs that are ON. We show that the fraction of time a kth tier BS can be kept ON, termed availability ρk, is a fundamental metric of interest. Using tools from random walk theory, fixed point analysis and stochastic geometry, we characterize the set of K-tuples (ρ1, ρ2, . ρK), termed the availability region, that is achievable by general uncoordinated operational strategies, where the decision to toggle the current ON/OFF state of a BS is taken independently of the other BSs. If the availability vector corresponding to the optimal system performance, e.g., in terms of rate, lies in this availability region, there is no performance loss due to the presence of unreliable energy sources. As a part of our analysis, we model the temporal dynamics of the energy level at each BS as a birth-death process, derive the energy utilization rate, and use hitting/stopping time analysis to prove that there exists a fundamental limit on ρk that cannot be surpassed by any uncoordinated strategy.
Research of distributed database system based on Hadoop

Cloud computing is a hot spot of current research, involving distributed storage and distributed computing and other aspects. In view of the requirements for massive data processing and analysis, this paper analyzed the distributed computing platform based on Hadoop, and designed a Hadoop-based distributed database system model. It provides a feasible approach for the development of cloud computing application system.
On Measuring Time Preferences

Eliciting time preferences has become an important component of both laboratory and field experiments, yet there is no consensus as how to best measure discounting. We examine the predictive validity of two recent, simple, easily administered, and individually successful elicitation tools: Convex Time Budgets (CTB) and Double Multiple Price Lists (DMPL). Using similar methods, the CTB and DMPL are compared using within- and out-of-sample predictions. While each perform equally well within sample, the CTB significantly outperforms the DMPL on out-of-sample measures.
An UHF RFID reader in IOT

An UHF RFID(radio frequency identification) reader is implemented to meet the needs of data acquisition in the IOT(internet of things). Firstly, this paper introduced the principle of the reader. The RF front-end circuit was taken as the focal point,and it was simulated with ADS. AS3992 and its peripheral circuit implemented the transceiving of RF signals, STM32 completed the process and control of baseband signals, USB and RS232 communication interface were designed.And also we have considered the collision algorithm and low power details. Test results show that the reader supports ISO/IEC18000-6B/C, reading and writing distance up to 3 m, rated power less than 5 W. It is of miniaturization, long distance reading, low power consumption, easy to expand. It could meet the practical requirement of perception layer in intelligent IOT.
Recognizable-Image Selection for Fingerprint Recognition With a Mobile-Device Camera

This paper proposes a recognizable-image selection algorithm for fingerprint-verification systems that use a camera embedded in a mobile device. A recognizable image is defined as the fingerprint image which includes the characteristics that are sufficiently discriminating an individual from other people. While general camera systems obtain focused images by using various gradient measures to estimate high-frequency components, mobile cameras cannot acquire recognizable images in the same way because the obtained images may not be adequate for fingerprint recognition, even if they are properly focused. A recognizable image has to meet the following two conditions: First, valid region in the recognizable image should be large enough compared with other nonrecognizable images. Here, a valid region is a well-focused part, and ridges in the region are clearly distinguishable from valleys. In order to select valid regions, this paper proposes a new focus-measurement algorithm using the secondary partial derivatives and a quality estimation utilizing the coherence and symmetry of gradient distribution. Second, rolling and pitching degrees of a finger measured from the camera plane should be within some limit for a recognizable image. The position of a core point and the contour of a finger are used to estimate the degrees of rolling and pitching. Experimental results show that our proposed method selects valid regions and estimates the degrees of rolling and pitching properly. In addition, fingerprint-verification performance is improved by detecting the recognizable images.
Receipt-free secret-ballot elections (extended abstract)

Prior verifiable secret-ballot election protocols all suffer from a common defect whkhrenderst hemunsuitablef orpracticalu se: they allow voters to (if they wish) carry away from the protocol receipts which can be used to prove to others how they voted. This simple defect enables vote buying and coercion which are impractical in current physical election systems due to the " plausible deniability " offered by a voting booth. This defect is embedded, not only within prior election protocols, but within all of the more general protocols for collective computation of a public function from private inputs. This paper presents the first verifiable secret-ballot election protocols in which participants are unable to prove to others how they voted. 1 Introduction In traditional elections, the voting booth does more thi~n allow voters to keep their votes private, it actually requires that votes stay secret. This may seem like a subtle distinction, but it is, in fact, an essential component of secret-ballot elections. If a voter is allowed, but not required, to keep a vote secret, the voter could be coerced by an employer or anyone with power over the voter into casting a certain vote. The cryptographic election schemes found in the literature all suffer from a common deficiency. While they may allow a voter to conceal a vote, they also allow a voter to carry away a receipt which can be used to prove to a third party that a particular vote was cast. While thki receipt may seem like a feature, it eliminates the ability of a voter to deceive others about its vote. The additional capabilities given to an individual voter are actually a dlsadv.antage for that voter! * benaloh@crypt.mcs. — supported in pmt by a Clarkson Graduate Trustees' Scholarship. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Association of Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission. With voting booths, a voter can make promises to employers, accept bribes, and belong to organizations which are committed to a particular vote. Yet the voter, in the privacy of a voting booth, may cast the opposite vote without fear of repercussions or …