Miracle-dz/UniFAR-FTUs huggingface dataset:
MAKING MONEY WITH CVAR

Markowitz introduced his pioneering work on Modern Portfolio Theory in 1952. In this mean-variance approach to optimize a given portfolio of assets, he focused on studying the effects of asset risk, return, correlation and diversification on probable investment portfolio returns [1]. In the late 1980s, minimizing Value-at-Risk (VaR) became widely used among financial institutions and became an important way to both measure the risk of a portfolio of financial instruments, and then to allocate the portfolio to minimize that risk. However, VaR lacks sub-additivity (Artzner at al., 1997, 1999). That is, for a non-normal distribution, diversification of the portfolio may increase VaR. In addition, VaR is a non-convex and non-smooth function of the weights of the individual positions, and has multiple local extrema. Such features can make it difficult to optimize VaR for a discrete distribution [2]. Because of these disadvantages, a new approach to measure risk, Conditional Value-at-Risk (CVaR), was developed. CVaR is a coherent measure of risk, and has the benefit of incorporating all of the tail behavior of the distribution of returns (losses), beyond the minimum loss that is the VaR of the portfolio. CVaR is defined as the expectation of losses that exceed VaR. We implement four methods to minimize CVaR with respect to the weights of the asset. This allocation is defined as the optimal allocation for this collection of assets. The first method to minimize CVaR is to transfer the original problem to a linear programming problem as considered by Rockafellar and Uryasev [3]; the second method is to use a fast gradient descent method proposed by Iyengar and Ma [4]; the third method is to approximate the loss function with aC1 function, as suggested by Alexander, Coleman and Li [5]; and the final method is to approximate the loss function with a smooth convolution of the loss function as constructed by Bemis [6]. We compare the efficiency and accuracy of the four methods, and use as benchmarks a portfolio allocated by Mean Variance methodology, and the optimal portfolio computed in Rockefellar [3]. Finally we analyze the out of sample performance of optimal portfolios computed from each these approaches.
The integrated logistics management system: a framework and case study

Presents a framework for distribution companies to establish and improve their logistics systems continuously. Recently, much attention has been given to automation in services, the use of new information technology and the integration of the supply chain. Discusses these areas, which have great potential to increase logistics productivity and provide customers with high level service. The exploration of each area is enriched with Taiwanese logistics management practices and experiences. Includes a case study of one prominent food processor and retailer in Taiwan in order to demonstrate the pragmatic operations of the integrated logistics management system. Also, a survey of 45 Taiwanese retailers was conducted to investigate the extent of logistics management in Taiwan. Concludes by suggesting how distribution companies can overcome noticeable logistics management barriers, build store automation systems, and follow the key steps to logistics success.
Improved Transient Performance by Lyapunov-based Integrator Reset of PI Thruster Control in Extreme Seas

PI controllers are often tuned such that the overall performance is a trade-off between performance in steady state and transient regimes. By introducing reset of the integrator value in these controllers, the performance in transient regimes may be increased without influencing the performance in steady state. An advantage of this strategy is that it can be integrated into an already existing controller as a separate module. This will only affect the performance in the transient regimes, by speeding up the controller response only when large control errors are measured. We will in this paper show how integrator reset can be used for anti-spin in local thruster speed control on ships with electric propulsion. Transient regimes arise when the ship is in extreme seas, where ventilation and in-and-out of water effects may give rise to loss in propeller thrust. In this paper, a Lyapunov function is used to decide when a reset of the integrator value is appropriate. The method is illustrated with experimental results
Heterogeneous Islam as a Cultural Identity of Multicultural ­Communities in the Suburbs of Pontianak

This article discusses the variant of Islam that lives in a multicultural society in the Sungai Ambawang area in the suburbs of Pontianak City, West Kalimantan. In the Javanese, Bugis, Malay and Madurese communities, Islam has served as an important element in the formation of their cultural identity, thus causing them to be synonymous with the Islamic community. Islamic elements that are used and have become part of the culture of society include the choice of Islamic dates such as the Hijri month in determining the time of cultural activities, the use of Al-fitihah and several other verses from the Qur’an as well as shalawat and prayer, the use of mosques as a center of cultural activities and the involvement of Islamic religious leaders in traditional ceremonies. The use of these elements has become a hallmark of the community culture and its form has been preserved until today.
Arrhythmia classification using SVM with selected features

This paper presents support vector machine based methods for arrhythmia classification in ECG datasets with selected features. Among various existing SVM methods, four well-known and widely used algorithms One Against One (OAO), One Against All (OAA), Fuzzy Decision Function (FDF) and Decision Directed Acyclic Graph (DDAG) are used here to distinguish between the presence and absence of cardiac arrhythmia and classifying them into one of the arrhythmia groups. The various types of arrhythmias in the cardiac arrhythmias ECG database chosen from University of California at Irvine (UCI) to train SVM include ischemic changes (coronary artery disease), old inferior myocardial infarction, sinus bradycardy, right bundle branch block, and others. ECG arrhythmia datasets are of generally complex nature and the results obtained through implementation of four well known methods are thus compared as per their accuracy rate in percentages and the performance of the SVM classifier using One Against All (OAA) technique was found to be of vital importance for classification based diagnosing diseases pertaining to abnormal heart beats. We have also used feature selection on the ECG datasets using Principal Component Analysis (PCA) method. It has been observed that after applying feature selection and then performing classification of ECG datasets through SVM based methods, One Against All (OAA) gives better results than classification without feature selection.
Educational inequalities in general health: Does the curricular tracking system matter?

Educational tracking amplifies social inequalities in a wide range of outcomes. From an institutional perspective, the current study examines whether this holds for educational disparities in general health. To investigate this question, we use information from the European Social Survey (Rounds 1–8: 2002–2016) for individuals between the ages of 18 and 45 years (N = 99,771) in 22 European countries. The estimated three-level hierarchical models indicate that tracking is indeed associated with larger educational inequalities in overall health. Individuals who have attained vocational education fare worse in terms of general health than do individuals who have pursued academic qualifications. However, the strength of association is much higher in countries with highly tracked systems (e.g. Germany and Czech Republic) than it is in countries with more comprehensive systems (e.g. the United Kingdom and Scandinavian countries). This result suggests that health inequalities between educational groups can be reduced by reorganizing secondary educational systems.
Voltage control of Ca 2 + permeation through N-type calcium ( CaV 2 . 2 ) channels

Voltage-gated calcium (CaV) channels are involved in processes ranging from neurotransmitter release to cardiac muscle contraction, and mutations in CaV channels have been shown to cause diseases including migraines, autism, epilepsy, and cardiac insufficiency (Bidaud et al., 2006; Catterall et al., 2008; Liao and Soong, 2010; Rajakulendran et al., 2012; Schmunk and Gargus, 2013). One function of voltage-gated channels is to produce changes in membrane voltage. However, CaV channels have an additional function, which is to deliver the second messenger Ca into the cell. Thus, the mechanism by which these channels selectively allow the permeation of Ca has been a burning question for several decades. Ca has micromolar affinity for the CaV channel pore in which it functions as a blocker of Na and K flux through these channels (Almers and McCleskey, 1984; Hess et al., 1986; Rosenberg and Chen, 1991). However, such a strong affinity should preclude Ca permeation of the channel. Several models emerged to explain this paradox, which postulate the existence of a high-affinity site in tandem with one or more low-affinity sites in the
A Method to Analyze Computer Science Students’ Teamwork in Online Collaborative Learning Environments

Although teamwork has been identified as an essential skill for Computer Science (CS) graduates, these skills are identified as lacking by industry employers, which suggests a need for more proactive measures to teach and assess teamwork. In one CS course, students worked in teams to create a wiki solution to problem-based questions. Through a case-study approach, we test a developed teamwork framework, using manual content analysis and sentiment analysis, to determine if the framework can provide insight into students’ teamwork behavior and to determine if the wiki task encouraged students to collaborate, share knowledge, and self-adopt teamwork roles. Analysis revealed the identification of both active and cohesive teams, disengaged students, and particular roles and behaviors that were lacking. Furthermore, sentiment analysis revealed that teams moved through positive and negative emotions over the course of developing their solution, toward satisfaction. The findings demonstrate the value of the detailed analysis of online teamwork. However, we propose the need for automated measures that provide real-time feedback to assist educators in the fair and efficient assessment of teamwork. We present a prototype system and recommendations, based on our analysis, for automated teamwork analysis tools.
Static Test Compaction for Scan Circuits by Using Restoration to Modify and Remove Tests

This paper describes a new approach to static test compaction for scan circuits that modifies tests in order to reduce the number of tests in a test set. The main contribution of this paper is a procedure referred to as restoration. In a basic step, the restoration procedure considers two tests, t<sub>rem</sub> and t<sub>mod</sub>, with sets of detected faults D<sub>rem</sub> and D<sub>mod</sub>, respectively. Starting from t<sub>new</sub> = t<sub>mod</sub>, and considering t<sub>new</sub> as a variation of t<sub>rem</sub>, the procedure restores bits of t<sub>rem</sub> into t<sub>new</sub> as necessary to ensure that faults from D<sub>rem</sub> are detected by t<sub>new</sub>. The procedure then restores bits of t<sub>mod</sub> into t<sub>new</sub> as necessary to ensure that all the faults from D<sub>mod</sub> are detected by t<sub>new</sub>. The test t<sub>new</sub> is used for replacing t<sub>mod</sub>, and the faults it detects out of D<sub>rem</sub> are moved to D<sub>mod</sub>. After several such steps, if Drem becomes empty, t<sub>rem</sub> can be removed from the test set. The procedure is applied to test sets that are already compacted. The results show that the procedure can achieve significant additional compaction even without considering all the tests for removal or modification.
Verification of Delay Co-Observability for Discrete Event Systems

In this paper, we investigate how to verify delay co-observability for a given discrete event system and its specification language. Delay co-observability is introduced to solve the decentralized nonblocking networked control problem for discrete event systems under nondeterministic communication delays in our previous paper. We first define a set of indistinguishable string collections and transform the verification problem of delay co-observability to the problem of checking if all of the indistinguishable string collections are valid or not. We then construct a set of verifiers to track all of these string collections. Checking if all of the indistinguishable string collections are valid or not can be done by checking if the states in these verifiers are “good” or “bad”. The specification language is delay co-observable if and only if there are no “bad” states in all verifiers. The computational complexity of the proposed algorithm is polynomial with respect to the number of states and events of the system and exponential with respect to the number of local supervisors and the upper bounds on the delays.
Analysis and Simulation of Biological Phosphorus Removal Model

Simple model for anaerobic phosphorus release and aerobic uptake batch test was constructed based on ASM2d and analyzed with sensitivity analysis. And it was simulated with estimated parameters. The phosphorus behaviors were mainly influenced by the initial concentration of soluble COD (SA) in anaerobic condition and PHA (XPHA) in aerobic conditions, respectively. Sensitivity analysis suggested the procedure to estimate model parameters and it includes 1) phosphorus release in anaerobic and organic-rich condition, 2) addition of sufficient phosphorus to ensure PHA-poor condition and 3) subsequent phosphorus uptake in aerobic PHA-poor condition. Genetic algorithms was used for model parameter estimation, and its applicability was verified by estimating predetermined parameters of simulation data. The measured and estimated parameters are XPAO, XPP, XPHA, qPHA and YPO4 in anaerobic condition and qPHA, μPAO and YPHA in aerobic condition assuming that the other parameters were fixed to suggested values. Finally, experimental behavior of phosphorus was used for estimating parameters and it was concluded that XPAO=1450 mg/L, XPP=54.4 mg/L XPHA=206 mg/L at the end of anaerobic condition, qPHA=3.51 1/day and YPO4=0.264 and qPHA=0.967 1/day, μPAO=1.25 1/day and YPHA=0.721, respectively.
Don’t Speak, Let Me Lie in Your Arms: Combined Psychotherapy and Spiritual Care for a Case With Fibromyalgia

A 65-year-old woman with late-onset fibromyalgia came to the pain clinic. She expressed excessive anxiety and helplessness for her pain condition but refused to take pain medicine. Therefore, we arranged psychotherapy and spiritual care for her. A clinical psychologist adopted cognitive-behavioral approaches in the therapy sessions. In addition, she received spiritual care from a pastoral counselor. She has made improvements and behavioral changes after therapy. The frequency of her coming to the clinic has also decreased. We see in this patient that incorporation of psychotherapy into spiritual care, or spiritual care into psychotherapy, is a workable caring mode.
Concavity of Monotone Matrix Functions of Finite Order

Let f : (0; 1) ! R be a monotone matrix function of order n for some arbitrary but xed value of n. We show that f is a matrix concave function of order bn=2c and that kf(A) ? f(B)k kf(jA ? Bj)k for all n-by-n positive semideenite matrices A and B, and all unitarily invariant norms k k. Because f is not assumed to be a monotone matrix function of all orders, Loewner's integral representation of functions that are monotone of all orders is not applicable, instead we use the functional characterization of f in proving these results.
A Framework to Assess the Maturity of Customer Involvement in the Service Design of Product-Service Systems

This paper develops and investigates a framework for the assessment of customer involvement in the service design process of result oriented product-service systems in order to improve the service offering in a business-to-business (B2B) context. The framework comprises five main criteria and fifteen sub-criteria that contribute to customer involvement in a hierarchy using a maturity grid to highlight the strengths and weaknesses for each criterion. To develop the customer involvement framework, an extensive literature review related to service design, result oriented product-service system (PSS) and customer involvement in service design was carried out. Key factors that significantly influence customer involvement from industry and literature were identified to develop the framework. A major contribution of the developed framework includes a hierarchy of appropriate criteria for assessing customer involvement in the service design process within results oriented PSS; the definition of four maturity levels which are suitable to describe the whole spectrum of customer involvement in the service design process; and finally, The paper concludes by enabling service providers to: take proactive decisions; screen and evaluate new services; improve perceived service quality; and provide barriers against imitation. Keywords—Customer involvement, maturity grid, new service development, result oriented product-service system, service design.
An Evaluation Approach for Dynamics-Aware Applications Using Linked Data

One possible threat to linked data quality is the lack of knowledge about the dynamics in dependent remote datasets. Linked data consuming applications often need to be aware of changes in these datasets in order to update local data dependencies. Dataset dynamics recently emerged as an active research topic and methods for the detection, propagation, and description of the dynamics in linked datasets are being developed. It is, however, difficult to compare these methods on a quantitative and qualitative level due to the lack of appropriate benchmarks and evaluation infrastructures. Therefore we have implemented a reusable infrastructure for the evaluation of applications that are concerned with linked dataset dynamics. Our contributions comprise a vocabulary for the description of timely-ordered changes in linked datasets and an extensible tool-set for extracting and simulating these changes. We also provide two example datasets and explain their usage in the evaluation of our own tool dealing with dynamic datasets. We consider these contributions as a first step towards a reference benchmark for measuring the performance of solutions dealing with issues resulting from dataset dynamics, such as low and high-level change detection or efficient and scalable notification mechanisms.
LIMNOLOGY AND OCEANOGRAPHY

Emiliania h uxleyi clones CCMP 370 and CCMP 373 produced similar amounts of dimethylsulfoniopro-pionate (DMSP) during axenic exponential growth, averaging 109 mM internal DMSP. Both clones had detectable DMSP lyase activity, as measured by production ofdimethyl sulfide (DMS) during in vitro assays of crude cell preparations, but activities and conditions differed considerably between clones. Clone 373 had high activity; clone 370 had low activity and required chloride. For both strains, enzyme activity per cell was constant during exponential growth, but little DMS was produced by healthy cells. Rather, DMS production was activated when cells were subjected to physical or chemical stresses that caused cell lysis. We propose that DMSP lyase and DMSP are segregated within these cells and reaction only under conditions that result in cell stress or damage. Such activation occurs during microzooplankton grazing. When these clones were grazed by the dinoflagellate Oxyrrhis marina, DMS was produced; ungrazed
Design of a highly reliable three-phase four-leg inversion power supply for more electric aircraft

In a more electric aircraft (MEA), there are always needs of inversion power supplies to power a bunch of legacy loads that need 115VAC/400Hz electric power. Space vector pulse width modulation (SVPWM) controlled three-phase three-leg inverter is usually adopted as the inversion power supply at present. The drawback of such inverter is that it does not have the ability to operate under unbalanced load conditions, especially under short-circuit condition, which makes it hard to be implemented in future commercial and especially military MEAs. Sinusoidal pulse width modulation (SPWM) controlled three-phase four-leg inverter may be a solution to such a problem, however, its DC voltage utility is low compared to the SVPWM controlled inverters. As a result, higher input DC voltage is required, which not only increases the voltage stresses of power switches but also deteriorates the system efficiency. Therefore, in this paper, a new saddle pulse width modulation (SAPWM) method is proposed and applied to a three-phase four-leg inverter to form a highly reliable inversion power supply which is very suitable for future MEAs. The way to generate the saddle pulse width modulation waveform using analog circuits, the system control method and the operational principle of the inversion power supply are elaborated. A 6kVA simulation platform is designed in Saber. The validity of the proposed inversion power supply is verified by simulation results.
Differential beamspace MIMO for high-dimensional multiuser communication

We develop a new multiple input multiple output (MIMO) transceiver architecture - Differential Beamspace MIMO (DB-MIMO) for high-dimensional MIMO systems. DB-MIMO enables linear quasi-coherent interference suppression between multiple spatially multiplexed data streams in conjunction with differential transmission. The differential nature of DB-MIMO is particularly attractive in emerging high-frequency systems, e.g. centimeter-wave (cmW) and millimeter-wave (mmW) systems, where the requirement of a phase-coherent local oscillator at the receiver can be challenging. The beamspace approach is naturally relevant to tame the complexity of massive MIMO due to the expected channel sparsity in beamspace, especially at cmW and mmW. We focus on downlink multiuser systems in which an access point equipped with a high-dimensional antenna array serves multiple single-antenna mobile stations (MSs). First, the concept of dominant multi-beam selection is discussed that enables transceivers whose complexity tracks the number of MSs. Then the recently introduced concept of differential MIMO is applied in which a quasi-coherent channel estimate is obtained from differential measurements. This enables the development of low-complexity quasi-coherent DB-MIMO transceivers. Numerical results are presented to demonstrate the minimal performance loss of the low-complexity DB-MIMO transceivers in comparison with their full dimensional coherent counterparts.
Bewell: A smartphone application to monitor, model and promote wellbeing

A key challenge for mobile health is to develop new technology that can assist individuals in maintaining a healthy lifestyle by keeping track of their everyday behaviors. Smartphones embedded with a wide variety of sensors are enabling a new generation of personal health applications that can actively monitor, model and promote wellbeing. Automated wellbeing tracking systems available so far have focused on physical fitness and sleep and often require external non-phone based sensors. In this work, we take a step towards a more comprehensive smartphone based system that can track activities that impact physical, social, and mental wellbeing namely, sleep, physical activity, and social interactions and provides intelligent feedback to promote better health. We present the design, implementation and evaluation of BeWell, an automated wellbeing app for the Android smartphones and demonstrate its feasibility in monitoring multi-dimensional wellbeing. By providing a more complete picture of health, BeWell has the potential to empower individuals to improve their overall wellbeing and identify any early signs of decline.