Miracle-dz/UniFAR-FTUs huggingface dataset:
Rank-One Solutions for SDP Relaxation of QCQPs in Power Systems

It has been shown that a large number of computationally difficult problems can be equivalently reformulated into quadratically constrained quadratic programs (QCQPs) in the literature of power systems. Due to the NP-hardness of general QCQPs, main effort of this stream of problems has been put into deriving near-optimal solutions with low computational complexity. Recently, semidefinite programming (SDP) relaxation has been recognized as a promising technique to solve QCQPs from various applications such as the alternating current (ac) optimal power flow (OPF) problem. However, this technique has not been guaranteed to achieve a rank-one solution, which is a necessary condition to recover a feasible solution of the original QCQPs. In this paper, instead of investigating the conditions under which a rank-one solution exists, we propose a general solution framework to derive near-optimal but rank-one solutions for the SDP relaxation of QCQPs. In the proposed algorithm, all the parameters are provided in a systematic manner. In order to demonstrate the effectiveness of our method, the proposed algorithm is applied to solve the ac-OPF and state estimation problems in various settings. Extensive numerical results show that our method succeeds in obtaining rank-one solutions in all our case studies and only small optimality gaps are induced by our approach.
TSV Prebond Test Method Based on Switched Capacitors

As an integrated circuit (IC) technology develops, 3-D stacked ICs based on through-silicon-via (TSV) technology have attracted the attention of the semiconductor industry. In 3-D stacked ICs, the TSV forms signal paths that vertically connect different ICs. The signal integrity largely depends on the quality of the TSV. A key challenge to the commercial viability of 3-D ICs is developing a method of accomplishing prebond TSV tests. To address this problem, we propose a prebond TSV test method with easily applied Design for Testability (DfT) structures and a simple fault-detection process. The proposed method is based on switched-capacitor circuits, which can detect TSV leakage faults, open faults, and high-resistance faults with high resolution. The fault-detection effectiveness is evaluated via HSPICE simulations. We also present an overall assessment of the test resolution, test time, and DfT area cost.
Survey on Steps of Truth Detection on Arabic Tweets

The speed of the Internet, the rapid development of mobile devices, the availability to all and the benefits of easy communication and connection, led to ease dissemination of news and information individuals on social media networks without censorship of the content provided through these sites. This poses a serious risk to the truthiness of online publishing. The deceptive information disseminated through social media sites spreads rapidly and causes negative effects in various areas. Twitter is one of the most popular social networking sites for getting the news and information, especially in the Arab world. There has been a great deal of research on the truthiness of Twitter publications in many languages, but research in Arabic blogs is still a fertile area and needs more work. In this paper, we present a general model of Truth Detection Steps on Arabic Tweets. We survey as well the latest Arabic research and surveys in truth detection. Then we present Arab research in terms of used approaches at each Step.
Usage of Signals with a High PAPR Level for Efficient Wireless Power Transfer

The current research is dedicated to the experimental study of wireless power transfer and RF-to-DC conversion efficiency using waveforms with a high Peak-to-Average Power Ratio (PAPR). Three devices: a classical voltage doubler circuits with and without matching network and a commercially available energy harvesting device – Powercast P2110B are selected for the study. The use of a software-defined radio (SDR) for generation of sub-GHz signals allows to achieve high accuracy and customization of waveforms. The analysis of RF-to-DC conversion efficiency is based on the results of measurements of the input average power and DC voltage in laboratory conditions. The impact of the PAPR level and input average power level on the RF-to-DC conversion efficiency is investigated. Moreover, the results of RF-to-DC conversion for high PAPR signals are compared to the case when a low PAPR single-carrier waveform is used.
Smart Distribution of IT Load in Energy Efficient Data Centers with Focus on Cooling Systems

Cooling system is the second most energy-consuming part of a modern data center; herewith it often consumes energy inefficiently. Therefore, any possibility allowing to reduce energy consumption of cooling systems should be studied and put into practice if successful. In this paper, the idea about impact of IT load distribution between servers on energy consumption of data center cooling system is proposed. The idea is in distribution of total IT load between servers according to the location of the servers inside racks. To test idea, the model simulating the thermal behaviour and energy consumption of a real data center located in Northern Sweden is developed. Comparing the data obtained from the real plant and the data generated at the simulation shows the reliability of the model. Two strategies of IT load distribution between servers are considered, and their impact on energy consumption of cooling system is demonstrated.
Position and Attitude Control Method Using Disturbance Observer for Station Keeping in Underwater Vehicle

This paper proposes the position and attitude control method using a disturbance observer for an underwater vehicle. When the underwater vehicle such as a remotely operated vehicle (ROV) and an autonomous underwater vehicle (AUV) moves, the position and attitude control of the underwater vehicle is important. In this situation, the underwater vehicle is affected by disturbances such as ocean current and tidal current. These disturbances have the bad influence to the position and attitude control of the underwater vehicle. In addition, the dynamic model of the underwater vehicle has the modeling error, since this shape is not simple. This modeling error also degrades the tracking performance. This paper proposes the robust position and attitude control system against disturbances and the modeling error for the station keeping in the underwater vehicle. In order to compensate for disturbances, the disturbance observer is implemented as the proposed method. The advantages of the disturbance observer is high robustness against these disturbances. It is possible to compensate not only disturbances but also modeling error by using the disturbance observer. The validity of the proposed method was confirmed from the simulation results.
Dynamic Characteristics Analysis and Stabilization of PV-Based Multiple Microgrid Clusters

As the penetration of photovoltaic (PV) generation increases, there is a growing operational demand on PV systems to participate in microgrid frequency regulation. It is expected that future distribution systems will consist of multiple microgrid clusters. However, interconnecting PV microgrids may lead to system interactions and instability. To date, no research work has been done to analyze the dynamic behavior and enhance the stability of microgrid clusters considering the dynamics of the PV primary sources and dc links. To fill this gap, this paper presents comprehensive modeling, analysis, and stabilization of PV-based multiple microgrid clusters. A detailed small-signal model for PV-based microgrid clusters considering local adaptive dynamic droop control mechanism of the voltage-source PV system is developed. The complete dynamic model is then used to access and compare the dynamic characteristics of the single microgrid and interconnected microgrids. In order to enhance system stability of the PV microgrid clusters, a tie-line flow and stabilization strategy is proposed to suppress the introduced interarea and local oscillations. Robustly selecting of the key control parameters is transformed to a multiobjective optimization problem which is solved by genetic algorithm. The proposed damping controller can effectively damp the power oscillations and provide robust control performance under variable operating conditions. Theoretical analysis, simulation results under various scenarios are presented to verify the effectiveness of the proposed scheme.
Perceptibility of Mobile Notification Modalities during Multitasking in Smart Environments

Smartphone notifications are a major source of interaction with mobile devices. In this paper we address a gap in literature by establishing a foundation that explains the role of modalities with which a notification is delivered on a mobile device. Though previous studies have attempted to address this question, we find that they suffer from significant internal validity problems. As such we conducted an ecologically valid and carefully designed experiment in a controlled environment that simulates a smart home environment. Our work extends into smart environments, by examining a new modality, implemented by pairing the smartphone to a connected lighting system and replicating mobile notifications to smart light bulbs in the user's field of vision. We derive a set of guidelines for choosing notification modalities and set future research directions.
Diagnosis Prediction via Medical Context Attention Networks Using Deep Generative Modeling

Predicting the clinical outcome of patients from the historical electronic health records (EHRs) is a fundamental research area in medical informatics. Although EHRs contain various records associated with each patient, the existing work mainly dealt with the diagnosis codes by employing recurrent neural networks (RNNs) with a simple attention mechanism. This type of sequence modeling often ignores the heterogeneity of EHRs. In other words, it only considers historical diagnoses and does not incorporate patient demographics, which correspond to clinically essential context, into the sequence modeling. To address the issue, we aim at investigating the use of an attention mechanism that is tailored to medical context to predict a future diagnosis. We propose a medical context attention (MCA)-based RNN that is composed of an attention-based RNN and a conditional deep generative model. The novel attention mechanism utilizes the derived individual patient information from conditional variational autoencoders (CVAEs). The CVAE models a conditional distribution of patient embeddings and his/her demographics to provide the measurement of patient's phenotypic difference due to illness. Experimental results showed the effectiveness of the proposed model.
Analysis Co-Sparse Coding for Energy Disaggregation

Energy disaggregation is the task of segregating the aggregate energy of the entire building (as logged by the smartmeter) into the energy consumed by individual appliances. This is a single channel (the only channel being the smart-meter) blind source (different electrical appliances) separation problem. In recent times dictionary learning-based approaches have shown promise in addressing the disaggregation problem. The usual technique is to learn a dictionary for every device and use the learned dictionaries as basis for blind source separation during disaggregation. Dictionary learning is a synthesis formulation; in this paper, we propose an analysis approach. The advantage of our proposed approach is that, the requirement of training volume drastically reduces compared to state-of-the-art techniques. This means that, we require fewer instrumented homes, or fewer days of instrumentation per home; in either case this drastically reduces the sensing cost. Results on two benchmark datasets show that our method produces the same level of disaggregation accuracy as state-of-the-art methods but with only a fraction of the training data.
A Galindo-Garcia-Like Identity-Based Signature with Tight Security Reduction, Revisited

Galindo-Garcia identity-based signature (GG09 IBS) is an efficient identity-based signature (IBS) based on Schnorr signature scheme. The security of GG09 IBS is proven in the random oracle model under the discrete-log assumption, however, the security proof achieves a loose security only. In CANDAR'17, Fukumitsu and Hasegawa proposed a GG09-like IBS (FH17 IBS). Although their scheme achieves a tight security in the random oracle model under the DDH assumption, the size of components and the computational time is much worse than the original GG09 IBS. In this paper, we revisit FH17 IBS and propose an IBS which is more efficient than FH17 IBS. Our proposed IBS has a tight security in the random oracle model under the DDH assumption as well as FH17 IBS and has about 2 times efficiency than FH17 scheme. The security proof of our scheme utilizes the property of our scheme that the user key generation algorithm is probabilistic.
UPQC-Based High Precision Impedance Measurement Device and its Switching Control Method

When the relative size of the measured grid-connected inverter of renewable energy power generation equipment's impedance and the grid's impedance changes in different frequencies, only using the current-injected impedance measuring device or the voltage-injected impedance measuring device can not accurately measure the wide-bandwidth frequency impedance of the measured equipment. In this paper, the basic theory of impedance measurement under single current-disturbed injection method and single voltage-disturbed injection method is introduced. Then, aiming at the problem of low measurement precision under single perturbation injection method, the impedance measurement of grid-connected three-phase LC-type inverter is taken as the research object, and a UPQC (Unified Power Quality Conditioner) -based impedance measurement device and its switching control method is proposed. The proposed method can realize the switch of the perturbation injection mode: when the impedance of the grid is higher than that of the measured equipment, the impedance measurement device works on the current injection mode; when the impedance of the grid is lower than that of the measured equipment, the device works on the voltage injection mode. So that the high proportion of the perturbation is distributed on the side of the measured equipment to improve the precision of impedance measurement. After measuring the impedance of resistance and grid-connected inverter of renewable energy power generation equipment, the effectiveness of the proposed device is verified by comparison and analysis.
Space Vector Modulation Technique on Single Phase Sensor-Less PUC5 Inverter and Voltage Balancing at Flying Capacitor

This paper presents the design of space vector modulation (SVM) technique to control the switches of single phase sensor-less 5-level Packed U-Cell inverter (PUC5) along with voltage balancing at flying capacitor. To generate five equal voltage levels at the output waveform, which results in reducing total harmonic distortion (THD) the switches of PUC5 should be properly triggered. Utilizing SVM technique by tuning the interval time among the state vectors on PUC5 inverter is discussed at this paper for voltage balancing at auxiliary capacitor. Moreover, appropriate patterns of switching states are used in this paper to reduce the switching losses by minimizing the transition from one state to another state. Simulation results by MATLAB Simulink are presented to validate the capability of proposed modulation technique. Furthermore, a comparison between the results of level shift pulsed width modulation technique (LS-PWM) and SVM is carried out to demonstrate the lower power loss of SVM.
Inadequate Nutrient Intakes in Youth of a Remote First NationCommunity: Challenges and the Need for Sustainable Changes inProgram and Policy

Background. The current study established baseline nutrient intakes of youth and examined the potential for sustainability of a pilot school snack program in the remote First Nation of Kashechewan, Ontario, Canada. Methods. Twenty-four-hour dietary recalls established baseline intakes in grade 6–8 students (𝑛=43). Subsequently, a pilot healthy school snack program was initiated. Dietary recalls were completed one week (𝑛=43) and one year after the program (𝑛=67). Paired Wilcoxon signed-ranks tests were used to detect changes in intakes. Impressions of the teachers (𝑛=16), principal, and students were collected qualitatively. Results. Most youth had dietary intakes below current standards. Although vitamin C (𝑃=0.024) and fibre (𝑃=0.015) intakes improved significantly after one week, these improvements were not sustained over the following year. Program impressions were positive. Conclusion. The need for a nutrition program is clear. While benefits were realized in the short term, improvements could not be maintained. Policy changes are needed to address barriers to sustainability.
Generation and Evolution of Harmonic Mode- Locked Square Pulse in an Yb-Doped Fiber Laser

The generation and evolution of harmonic mode- locked (HML) square pulse have been numerically investigated in an all-normal-dispersion Yb-doped figure-eight passively mode-locked fiber laser. By carefully adjusting the polarization controllers with fixed pump power, the square pulse HML have also been experimentally obtained. Further study showed that the square pulse HML nanosecond square pulses had characteristics identical to those of the single square pulse, with pulse energies and widths all increasing continuously with the pump power, while their peak power remained almost constant.
Modeling and Robust Estimation for the Residual Motion Error in Airborne SAR Interferometry

Due to the limited accuracy of the current navigation systems, uncompensated motion errors during airborne synthetic aperture radar (SAR) preprocessing, i.e., the residual motion error (RME), cause undesirable phase errors in the final interferogram. Especially in airborne repeat-pass interferometric SAR (InSAR), the removal of RME is critical for topographic mapping. In this letter, based on the geometry of a single-baseline interferogram, a model is first developed for describing the relationship between the time-varying baseline parameters and the interferometric phase errors. A robust estimation is then employed to estimate the RME-induced phase errors. The performance of the proposed method was validated by the use of P- and L-band single-baseline interferograms acquired by the airborne E-SAR system. The results showed that the phase artifacts in the initial differential interferograms can be greatly mitigated. In addition, the corrected interferograms acquired in the P- and L-bands were used to estimate the digital elevation model (DEM). After correction, the root-mean-square errors (RMSEs) of the two DEMs with respect to the light detection and ranging (LiDAR) DEM were 2.6 and 4.6 m, respectively, which are improvements of 48.0% and 63.8%. Furthermore, even in the case of low coherence, the proposed method can still work well.
The Roles of Output on L2 Vocabulary Acquisition

A number of studies have recently proposed that input alone does not adequately promote both receptive and productive aspects of L2 vocabulary, and output is as necessary a condition as input for full development of L2 learners" lexical proficiency. The goal of the present study is to address the question of what specific functions of output may affect L2 vocabulary development. This study considers that output could positively affect L2 learners" vocabulary acquisition in terms of three aspects: a) noticing, b) retrieval, c) retention. The experiment was conducted with sixty-three learners of English in South Korea over the course of eight weeks. The results of ANOVA analyses of vocabulary and written production tests indicated that output plus input treatments affected more positively participants" noticing, retrieval and retention of target vocabulary than the input only treatments did. The findings of this study suggest the importance of output in developing L2 vocabulary knowledge, as well as argue for the need to consider effective classroom instruction involving both input and output for receptive and productive vocabulary knowledge.
Analisis Penerapan Sistem informasi ZISW Dengan Menggunakan Metode UTAUT

Abstract – In the process of searching for donors foundation Yatim Mandiri employees still use manual. The problems that often occur in manual processing are employees should go from door to door of a company or an association to look for donors so that it is considered inefficient because other areas untouched. The solution offered is to build Infaq Sodaqoh Information System Zakat and waqf (SIZISW) web-based foundation to facilitate services Yatim Mandiri donors. To determine the feasibility of applying information system Infaq Sodaqoh Zakat and waqf (SIZISW) This web-based researcher using Unified Theory of Acceptance and Use of Technology (UTAUT). And this study aims to determine the factors that influence the level of acceptance (acceptance) and use (use) SIZISW, and whether there is influence moderating variable. The results obtained is that the acceptance and use SIZISW influenced by variable Performance Expectancy, Social Influence and Facilitating Condition. While Effort Expectancy While Effort Expectancy no effect, while no effect of moderating variables in this study. Keywords: variable performance expectancy, social influence, facilitating condition, effort expectancy, moderation Abstrak - Dalam proses mencari Donatur para karyawan yayasan Yatim Mandiri masih menggunakan cara manual. Permasalahan yang kerap terjadi pada proses manual adalah karyawan harus mendatangi dari pintu ke pintu sebuah perusahaan atau sebuah perkumpulan untuk mencari donator sehingga hal ini dirasa tidak efisien karena wilayah-wilayah lain tidak tersentuh. Solusi yang ditawarkan adalah membangun Sistem Informasi Zakat Infaq Sodaqoh dan wakaf (SIZISW) berbasis web di yayasan Yatim Mandiri untuk mempermudah layanan donator. Untuk mengetahui kelayakan penerapan Sistem Informasi Zakat Infaq Sodaqoh dan wakaf (SIZISW) berbasis web ini Peneliti menggunakan metode Unified Theory of Acceptance and Use of Technology (UTAUT). Dan penelitian ini bertujuan untuk mengetahui faktor-faktor apa saja yang mempengaruhi tingkat penerimaan (acceptance) dan penggunaan (use) SIZISW, dan apakah ada pengaruh variabel moderasi. Hasil penelitian yang diperoleh adalah bahwa penerimaan dan penggunaan SIZISW dipengaruhi oleh variable Performance Expectancy, Social Influence dan Facilitating Condition. Sedangkan Effort Expectancy tidak berpengaruh, sementara variabel moderasi ada pengaruh dalam penelitian ini. Kata kunci : variabel performance expectancy, social influence , facilitating condition, effort expectancy, moderasi
From Guest to Witness: Teaching Audience Studies in Postsecondary Theatre Education

I begin with an anecdote. Recently, at a large professional regional Canadian theatre in a major city, we in the audience were greeted with the ubiquitous pre-show chat (always, for me, a painful process that takes me out of, rather than into, the world of the play I am preparing to see). The house manager in this instance introduced himself as the “guest services manager” of the theatre, as he admonished us to turn off our cell phones and unwrap our candies. And everything in me wanted to rise up from my seat in the balcony to scream, inspired by Neil Blackadder’s historical study of spectatorial acts of counter-performance, “I AM NOT YOUR F*&#@%G GUEST! ” Of course, I kept my scream repressed and went on to enjoy the production, but I have remembered this strong response to being labeled a guest in the role of spectator that has led to the title of this present article.